Browsing Philosophy by Subject "Philosophy of Logic"
Now showing items 1-3 of 3
-
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 ... -
Foundations of Deduction's Pedigree: A Non-Inferential Account
(University of Waterloo, 2010-01-05)In this thesis I discuss the problems associated with the epistemological task of arriving at basic logical knowledge. This is knowledge that the primitive rules of inference we use in deductive reasoning are correct. ... -
Skeptics and Unruly Connectives: A Defence of and Amendment to the Non-Factualist Justification of Logic
(University of Waterloo, 2018-10-04)This thesis attempts to positively solve three problems in the foundations of logic. If logical connectives are defined by their introduction and elimination rules, then how might one prohibit the construction of dysfunctional ...