Graduate studies at Western
Journal of Philosophical Logic 42 (2):335-355 (2013)
|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|
|Keywords||Non-classical logic Metalogic Vagueness Higher order vagueness Fuzzy logic|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Peter Verdée & Stephan der Waart van Gulivank (2008). A Generic Framework for Adaptive Vague Logics. Studia Logica 90 (3):385 - 405.
D. Hyde (1997). From Heaps and Gaps to Heaps of Gluts. Mind 106 (424):641-660.
Nicholas J. J. Smith (2004). Vagueness and Blurry Sets. Journal of Philosophical Logic 33 (2):165-235.
Richard DeWitt (2005). On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics. Journal of Philosophical Logic 34 (5/6):545 - 560.
Greg Restall (forthcoming). Substructural Logics. Stanford Encyclopedia of Philosophy.
Marcelo E. Coniglio & Newton M. Peron (2013). Modal Extensions of Sub-Classical Logics for Recovering Classical Logic. Logica Universalis 7 (1):71-86.
Timothy Williamson (forthcoming). Logic, Metalogic and Neutrality. Erkenntnis:1-21.
Diana Raffman (2009). Demoting Higher-Order Vagueness. In Sebastiano Moruzzi & Richard Dietz (eds.), Cuts and Clouds. Vaguenesss, its Nature and its Logic. Oxford University Press.
Brian Weatherson (2005). True, Truer, Truest. Philosophical Studies 123 (1-2):47-70.
Susanne Bobzien (2013). Higher‐Order Vagueness and Borderline Nestings: A Persistent Confusion. Analytic Philosophy 54 (1):1-43.
Elia Zardini (2008). A Model of Tolerance. Studia Logica 90 (3):337 - 368.
Joanna Tędziagolska (1998). Zastosowanie metody superwaluacji do analizy paradoksów związanych z nieostrością. Filozofia Nauki 1.
S. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
Timothy Williamson (1994). Vagueness. Routledge.
Added to index2010-11-13
Total downloads143 ( #3,758 of 739,345 )
Recent downloads (6 months)32 ( #3,672 of 739,345 )
How can I increase my downloads?