Combining Texts

Ideas for 'The Elm and the Expert', 'Modality' and 'The Individual, the State, and the Common Good'

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 / J. Model Theory in Logic / 1. Logical Models

5741	If every model that makes premises true also makes conclusion true, the argument is valid [Melia]
	Full Idea: In first-order predicate calculus validity is defined thus: an argument is valid iff every model that makes the premises of the argument true also makes the conclusion of the argument true.
	From: Joseph Melia (Modality [2003], Ch.2)
	A reaction: See Melia Ch. 2 for an explanation of a 'model'. Traditional views of validity tend to say that if the premises are true the conclusion has to be true (necessarily), but this introduces the modal term 'necessarily', which is controversial.