Combining Texts

Ideas for 'Philosophy of Mathematics', 'Rationality in Action' and 'Problems of Philosophy'

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

display all the ideas for this combination of texts

---

6 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic

3809	If complex logic requires rules, then so does basic logic [Searle]

5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens

5395	Demonstration always relies on the rule that anything implied by a truth is true [Russell]

5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive

5386	Proper names are really descriptions, and can be replaced by a description in a person's mind [Russell]

5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions

5385	The phrase 'a so-and-so' is an 'ambiguous' description'; 'the so-and-so' (singular) is a 'definite' description [Russell]

5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic

3810	In real reasoning semantics gives validity, not syntax [Searle]

5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms

10884

A theory is 'categorical' if it has just one model up to isomorphism [Horsten]