Premium
ON THE EXPLANATORY POWER OF TRUTH IN LOGIC
Author(s) -
Sher Gila
Publication year - 2018
Publication title -
philosophical issues
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.638
H-Index - 18
eISSN - 1758-2237
pISSN - 1533-6077
DOI - 10.1111/phis.12129
Subject(s) - explanatory power , citation , power (physics) , information retrieval , epistemology , computer science , philosophy , library science , physics , quantum mechanics
Philosophers are divided on whether the proof-theoretic or truththeoretic approach to logic is more fruitful. The proof-theoretic approach has its roots in Gentzen (1934–35) and Prawitz (1965). The truth-theoretic or semantic approach has its roots in Tarski (1936). More recently, the proof-theoretic approach has begun to encroach on semantics itself, with Dummett (1991), Brandom (2000), and others advocating proof-theoretic or inferentialist semantics, which they contrast with truth-theoretic, and in particular truth-conditional, semantics. Thematically, proof-theoretic semantics is associated with verificationism, the meaning-as-use approach to language, assertibilism, anti-realism, anti-representationalism, pragmatist approach to truth, and/or epistemic approach to logic. Truth-theoretic semantics is often associated with a truth-conditional theory of meaning, representational approach to mind and language, realism, correspondence truth, and/or metaphysics. Although the debate on the preferable approach to semantics goes beyond logic, it is often focused on logic—logical constants, logical inference, etc. My aim in this paper is to demonstrate the considerable explanatory power of a truth-based approach to logic. I will show that, and how, by employing a robust notion of truth (of a kind I will specify) we are able to provide: