Tag: fundamentally

Substitutional Quantifier

A substitutional quantifier ranges over expressions or names, not objects. It's crucial…

Steven Haynes

Modal Actualism

Modal actualism asserts that only actual, existing entities are possible. This philosophical…

Steven Haynes

Intuitionism

Intuitionism is a philosophy of mathematics that questions the existence of the…

Steven Haynes

Disjunction Property

The disjunction property in intuitionistic logic asserts that if a statement P…

Steven Haynes