Non-classical Metatheory for Non-classical Logics

Journal of Philosophical Logic 42 (2):335-355 (2013)
Download Edit this record How to cite View on PhilPapers
Abstract
A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete
PhilPapers/Archive ID
BACNMF
Revision history
First archival date: 2010-11-13
Latest version: 4 (2012-01-10)
View upload history
References found in this work BETA
Vagueness.Williamson, Timothy

View all 20 references / Add more references

Citations of this work BETA
What Is an Inconsistent Truth Table?Weber, Zach; Badia, Guillermo & Girard, Patrick

View all 7 citations / Add more citations

Added to PP index
2010-11-13

Total downloads
540 ( #3,781 of 37,117 )

Recent downloads (6 months)
39 ( #9,075 of 37,117 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.