On the explanatory power of truth in logic

Philosophical Issues 28 (1):348-373 (2018)
Download Edit this record How to cite View on PhilPapers
Abstract
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, topic neutrality, basicness, and (quasi-)apriority, (v) the veridicality of logic and its applicability to science, (v) the normativity of logic, (vi) error, revision, and expansion in/of logic, and (vii) the relation between logic and mathematics. The high explanatory power of the truth-theoretic approach does not rule out an equal or even higher explanatory power of the proof-theoretic approach. But to the extent that the truth-theoretic approach is shown to be highly explanatory, it sets a standard for other approaches to logic, including the proof-theoretic approach.
Categories
No categories specified
(categorize this paper)
PhilPapers/Archive ID
SHEOTE-7
Revision history
First archival date: 2018-05-24
Latest version: 2 (2018-09-16)
View upload history
References found in this work BETA
Truth.Horwich, Paul
Critique of Pure Reason.Kant, Immanuel & Smith, Norman Kemp
The Logical Basis of Metaphysics.Dummett, Michael; Putnam, Hilary & Conant, James

View all 37 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-05-24

Total views
121 ( #23,988 of 42,943 )

Recent downloads (6 months)
57 ( #11,217 of 42,943 )

How can I increase my downloads?

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