Combining Texts

Ideas for 'Parmenides', 'The Therapy of Desire' and 'Logical Consequence'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
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?