Combining Texts

Ideas for 'Types and Ontology', 'Elements of Mathematical Logic' and 'The Limits of Contingency'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic

8942	Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II

18851

Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen]