Combining Texts

All the ideas for 'The Statesman', 'Carnap and Logical Truth' and 'Foundations of Geometry'

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


22 ideas

1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
Whenever you perceive a community of things, you should also hunt out differences in the group [Plato]
2. Reason / D. Definition / 2. Aims of Definition
To reveal a nature, divide down, and strip away what it has in common with other things [Plato]
No one wants to define 'weaving' just for the sake of weaving [Plato]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara]
Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew]
Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine]
10. Modality / A. Necessity / 6. Logical Necessity
Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / b. Recollection doctrine
The soul gets its goodness from god, and its evil from previous existence. [Plato]
12. Knowledge Sources / A. A Priori Knowledge / 7. A Priori from Convention
Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine]
19. Language / F. Communication / 1. Rhetoric
The question of whether or not to persuade comes before the science of persuasion [Plato]
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
Non-physical beauty can only be shown clearly by speech [Plato]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / f. The Mean
The arts produce good and beautiful things by preserving the mean [Plato]
24. Political Theory / D. Ideologies / 5. Democracy / a. Nature of democracy
Democracy is the worst of good constitutions, but the best of bad constitutions [Plato, by Aristotle]
28. God / A. Divine Nature / 2. Divine Nature
Only divine things can always stay the same, and bodies are not like that [Plato]