Combining Texts

All the ideas for 'books (all lost)', 'Anti-essentialism' and 'On Second-Order Logic'

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

21 ideas

1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / b. Pre-Socratic philosophy
5988 Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
1496 The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
14249 Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley]
10830 Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
10829 A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos]
12766 Logical space is abstracted from the actual world [Stalnaker]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10832 '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10834 Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos]
5. Theory of Logic / K. Features of Logics / 6. Compactness
13841 Why should compactness be definitive of logic? [Boolos, by Hacking]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
10833 Many concepts can only be expressed by second-order logic [Boolos]
7. Existence / A. Nature of Existence / 1. Nature of Existence
14874 Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche]
9. Objects / C. Structure of Objects / 7. Substratum
12764 For the bare particular view, properties must be features, not just groups of objects [Stalnaker]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
12761 An essential property is one had in all the possible worlds where a thing exists [Stalnaker]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
12763 Necessarily self-identical, or being what it is, or its world-indexed properties, aren't essential [Stalnaker]
9. Objects / D. Essence of Objects / 15. Against Essentialism
12762 Bare particular anti-essentialism makes no sense within modal logic semantics [Stalnaker]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
12765 Why imagine that Babe Ruth might be a billiard ball; nothing useful could be said about the ball [Stalnaker]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / d. The unlimited
1495 Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius]
405 The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander]
13222 The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander]
404 Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander]
27. Natural Reality / E. Cosmology / 2. Eternal Universe
1746 The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius]