Substitutional Quantifier
A substitutional quantifier ranges over expressions or names, not objects. It's crucial…
Modal Actualism
Modal actualism asserts that only actual, existing entities are possible. This philosophical…
Intuitionism
Intuitionism is a philosophy of mathematics that questions the existence of the…
Disjunction Property
The disjunction property in intuitionistic logic asserts that if a statement P…
