Browsing University of Waterloo by Subject "Logic"
Now showing items 1-4 of 4
-
Degree Spectra of Unary relations on ω and ζ
(University of Waterloo, 2009-08-13)Let X be a unary relation on the domain of (ω,<). The degree spectrum of X on (ω,<) is the set of Turing degrees of the image of X in all computable presentations of (ω,<). Many results are known about the types of degree ... -
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 ...