Browsing Philosophy by Subject "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 ... -
THE PHILOSOPHICAL SIGNIFICANCE OF QUINE'S D-THESIS
(University of Waterloo, 2016-02-02)The philosophical significance of Quine's D-thesis is considered. The D-thesis - "Any statement can be held true come what may, if we make drastic enough adjustments elsewhere in the system? (W.V.0. Quine, From a Logical ... -
A Preservationist Approach to Relevant Logic
(University of Waterloo, 2014-08-29)The semantics I develop extend an approach to logic called preservationism. The preservationist approach to logic interprets non-classical consequence relations as preserving something other than truth. I specifically ...