3 ms·
Axiomatic set theory can't very well be considered foundational for logic, as its axioms are formulas of first-order predicate logic.
by foldr 5y ago
Axiomatic set theory can't very well be considered foundational for logic, as its axioms are formulas of first-order predicate logic.
- mypalmike 5y agoYeah that's fair. I was more thinking about the natural mapping of set operations to boolean logic operations (e.g. OR equivalence to union for given sets, de Morgan's laws applied to sets and boolean operations, etc.).