The problematic features of Quine's 'set' theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by ...

We develop the theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate (╞*) appropriate to such structures. We indicate the utility of ...

Forbes contributors publish independent expert analyses and insights. I cover health care management and the future of it. Late last week the Obama administration shelved a long-term care policy ...

Logic is among the oldest and most foundational of the university disciplines. The goal is to equip students with most general possible framework for sound and rigorous reasoning — one that works ...