Combining Texts

Ideas for 'fragments/reports', 'The Nature of Rationality' and 'Logical Properties'

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 / B. Logical Consequence / 5. Modus Ponens

8078	Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin]

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle

6023	Every proposition is either true or false [Chrysippus, by Cicero]

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 / 7. Unorthodox Quantification

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