Browsing Theses by Subject "Intuitionism"
Now showing items 1-2 of 2
-
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic
(University of Waterloo, 2015-09-02)Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions ... -
Mathematical Actualism: An Alternative Realist Philosophy of Mathematics
(University of Waterloo, 2022-09-23)The present thesis argues for a philosophy of mathematics, herein dubbed Actualism, which is contrasted with several existing views on the philosophy of mathematics. It begins with a brief introduction to the classical ...