You have chosen 'Introduction to Russell's Theory of Types' by Willard Quine, 'Review of Chihara 'Struct. Accnt of Maths'' by John P. Burgess and 'Forget the 'correspondence theory of truth'' by David Lewis
start again | choose another area for these texts | all the ideas for this combination of texts| All the ideas for Formal Logic, or select a subheading: |
| A. | Syllogistic Logic | |
| B. | Propositional Logic PL | |
| C. | Predicate Calculus PC | |
| D. | Modal Logic ML | |
| E. | Nonclassical Logics | |
| F. | Set Theory ST | |
| G. | Formal Mereology |