Combining Texts

All the ideas for 'Intro to Naming,Necessity and Natural Kinds', 'On the General Idea of Proof Theory' and 'Identity in Substances and True Propositions'

expand these ideas     |    start again     |     specify just one area for these texts

---

7 ideas

2. Reason / D. Definition / 1. Definitions

5831	The new view is that "water" is a name, and has no definition [Schwartz,SP]

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

13827

Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]

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

5829	We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP]

5830	The traditional theory of names says some of the descriptions must be correct [Schwartz,SP]

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models

13826

Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]

7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads

19405

Substances are in harmony, because they each express the one reality in themselves [Leibniz]

18. Thought / C. Content / 8. Intension

5826	The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP]