Combining Texts

All the ideas for 'fragments/reports', 'Elements of Mathematical Logic' and 'How to Russell a Frege-Church'

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


7 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
For Russell, expressions dependent on contingent circumstances must be eliminated [Kaplan]
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
'Haecceitism' says that sameness or difference of individuals is independent of appearances [Kaplan]
'Haecceitism' is common thisness under dissimilarity, or distinct thisnesses under resemblance [Kaplan]
If quantification into modal contexts is legitimate, that seems to imply some form of haecceitism [Kaplan]
19. Language / B. Reference / 1. Reference theories
The Electra: she knows this man, but not that he is her brother [Eucleides, by Diog. Laertius]
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
The chief good is unity, sometimes seen as prudence, or God, or intellect [Eucleides]