Combining Texts

All the ideas for 'The Iliad', 'The Development of Logic' and 'The Runabout Inference Ticket'

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


10 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap]
Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking]
Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN]
Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read]
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
Homer does not distinguish between soul and body [Homer, by Williams,B]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
The 'will' doesn't exist; there is just conclusion, then action [Homer, by Williams,B]
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
Plato says the Good produces the Intellectual-Principle, which in turn produces the Soul [Homer, by Plotinus]
24. Political Theory / C. Ruling a State / 2. Leaders / a. Autocracy
Let there be one ruler [Homer]
28. God / C. Attitudes to God / 5. Atheism
Homer so enjoys the company of the gods that he must have been deeply irreligious [Homer, by Nietzsche]