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 |
16721 | Changes in secondary qualities are caused by changes in primary qualities [Giles of Orleans] |
Full Idea: Every alteration in secondary qualities is caused by some alteration made in the primary qualities. | |
From: Giles of Orleans (On 'Generation and Corruption' [1270], I.6c) | |
A reaction: Pasnau calls this the 'supervenience' thesis, here with the addition of causation. Was this doctrine retained by Locke and Boyle? |
4042 | Metaphysics requires the idea of people (speakers) located in space and time [Davidson] |
Full Idea: An intelligible metaphysics will assign a central place to the idea of people (= speakers) with a location in public space and time. | |
From: Donald Davidson (The Method of Truth in Metaphysics [1977], §III) | |
A reaction: The 'location' is the interesting bit, requiring people to be bodies, not abstractions. A big, plausible claim, but hard to prove. |
4041 | Sentences held true determine the meanings of the words they contain [Davidson] |
Full Idea: Sentences held true (the linguistic representatives of beliefs) determine the meanings of the words they contain. | |
From: Donald Davidson (The Method of Truth in Metaphysics [1977], §II) | |
A reaction: Maybe. Historically, truth and belief presumably precede words and sentences. But words separate off from beliefs very easily. I'm not convinced. Words initiate language, not beliefs? |