4 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
Full Idea: Church showed that logic has a proof procedure, but no decision procedure. If an argument is invalid, there is a model with true premises and false conclusion, but the model will typically be infinite, so there is no way to display it concretely. | |
From: report of Alonzo Church (A Note on the entscheidungsproblem [1936]) by Vann McGee - Logical Consequence 5 |
14286 | In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker] |
Full Idea: Consider a possible world in which A is true and otherwise differs minimally from the actual world. 'If A, then B' is true (false) just in case B is true (false) in that possible world. | |
From: Robert C. Stalnaker (A Theory of Conditionals [1968], p.34), quoted by Dorothy Edgington - Conditionals (Stanf) 4.1 | |
A reaction: This is the first proposal to give a possible worlds semantics for conditional statements. Edgington observes that worlds which are nearby for me may not be nearby for you. |
14285 | A possible world is the ontological analogue of hypothetical beliefs [Stalnaker] |
Full Idea: A possible world is the ontological analogue of a stock of hypothetical beliefs. | |
From: Robert C. Stalnaker (A Theory of Conditionals [1968], p.34), quoted by Dorothy Edgington - Conditionals (Stanf) 4.1 | |
A reaction: Sounds neat and persuasive. What is the ontological analogue of a stock of hopes? Heaven! |
1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |