Combining Texts

All the ideas for 'fragments/reports', 'The Philosophy of Mathematics' and 'reports of last days'

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

18 ideas

1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
343 The unexamined life is not worth living for men [Socrates]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
9193 ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett]
9194 The main alternative to ZF is one which includes looser classes as well as sets [Dummett]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
9195 Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
9186 First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
9187 Logical truths and inference are characterized either syntactically or semantically [Dummett]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
9191 Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
9192 The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett]
22. Metaethics / B. Value / 2. Values / e. Death
339 Men fear death as a great evil when it may be a great blessing [Socrates]
344 If death is like a night of dreamless sleep, such nights are very pleasant [Socrates]
23. Ethics / B. Contract Ethics / 8. Contract Strategies
2 We should not even harm someone who harms us [Socrates]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
345 A good man cannot be harmed, either in life or in death [Socrates]
23. Ethics / C. Virtue Theory / 3. Virtues / c. Justice
346 One ought not to return a wrong or injury to any person, whatever the provocation [Socrates]
23. Ethics / C. Virtue Theory / 4. External Goods / c. Wealth
341 Wealth is good if it is accompanied by virtue [Socrates]
25. Social Practice / D. Justice / 2. The Law / a. Legal system
347 Will I stand up against the law, simply because I have been unjustly judged? [Socrates]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
1748 Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
5989 Archelaus said life began in a primeval slime [Archelaus, by Schofield]
28. God / C. Attitudes to God / 5. Atheism
338 Socrates is accused of denying the gods, saying sun is stone and moon is earth [Socrates, by Plato]