display all the ideas for this combination of philosophers
2 ideas
| 18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
| Full Idea: A model of a language assigns values to non-logical terms. If a sentence is true in every model, its truth doesn't depend on those non-logical terms. Hence the validity of an argument comes from its logical form. Thus models explain logical validity. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: [compressed] Thus you get a rigorous account of logical validity by only allowing the rigorous input of model theory. This is the modern strategy of analytic philosophy. But is 'it's red so it's coloured' logically valid? |
| 19237 | Deduction is true when the premises facts necessarily make the conclusion fact true [Peirce] |
| Full Idea: The question of whether a deductive argument is true or not is simply the question whether or not the facts stated in the premises could be true in any sort of universe no matter what be true without the fact stated in the conclusion being true likewise. | |
| From: Charles Sanders Peirce (Reasoning and the Logic of Things [1898], III) | |
| A reaction: A remarkably modern account, fitting the normal modern view of semantic consequence, and expressing the necessity in the validity in terms of something close to possible worlds. |