Combining Philosophers

Ideas for Roger Fry, Hans-Georg Gadamer and Michal Walicki

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

display all the ideas for this combination of philosophers

---

6 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic

17749

Post proved the consistency of propositional logic in 1921 [Walicki]

17765

Propositional language can only relate statements as the same or as different [Walicki]

4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables

17764

Boolean connectives are interpreted as functions on the set {1,0} [Walicki]

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set

17752

The empty set is useful for defining sets by properties, when the members are not yet known [Walicki]

17753

The empty set avoids having to take special precautions in case members vanish [Walicki]

4. Formal Logic / F. Set Theory ST / 6. Ordering in Sets

17759

Ordinals play the central role in set theory, providing the model of well-ordering [Walicki]