Browsing Philosophy by Subject "Logic"

Now showing items 1-3 of 3

Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic

Mulvihill, Corey Edward (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

Munro, Bradley (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

Ferenz, Nicholas (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 ...