Combining Texts

Ideas for 'Logical Properties', 'De Re Aedificatoria' and 'Modality'

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

display all the ideas for this combination of texts

---

9 ideas

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic

6051	In 'x is F and x is G' we must assume the identity of x in the two statements [McGinn]

6055	Both non-contradiction and excluded middle need identity in their formulation [McGinn]

6059	Identity is unitary, indefinable, fundamental and a genuine relation [McGinn]

5. Theory of Logic / G. Quantification / 1. Quantification

6042	The quantifier is overrated as an analytical tool [McGinn]

6067	Existential quantifiers just express the quantity of things, leaving existence to the predicate 'exists' [McGinn]

5. Theory of Logic / G. Quantification / 3. Objectual Quantification

6069	'Partial quantifier' would be a better name than 'existential quantifier', as no existence would be implied [McGinn]

5. Theory of Logic / G. Quantification / 5. Second-Order Quantification

5740	Second-order logic needs second-order variables and quantification into predicate position [Melia]

5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification

6068	We need an Intentional Quantifier ("some of the things we talk about.."), so existence goes into the proposition [McGinn]

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]