Logic and Truth
Journal of Philosophical Research 25:101-123 (2000)
| Abstract | It is usually held that what distinguishes a good inference from a bad one is that a good inference is truth-preserving. Against this view, this paper argues that a logical inference is good or bad depending not on whether it is truth-preserving or not, but whether it belongs to a logical system the addition of which makes a deductively conservative extension of the derivation relations among the atomic statements. To so argue, the paper first contends that the meaning of the logical operators of classical logic is determined not by their connections to truth, but by their inferential roles. It is claimed in conclusion that there is no genuine issue over which logic, classical or intuitionistic, is the correct logic, for they are both conservative in the relevant sense | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
|
| Through your library | Configure |
Ken Akiba (1996). Logic as Instrument: The Millian View on the Role of Logic. History and Philosophy of Logic 17 (1-2):73-83.
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
Danilo Suster (2012). Informal Logic and Informal Consequence. In Trobok Majda, Miscevic Nenad & Zarnic Berislav (eds.), Between logic and reality : modeling inference, action and understanding, (Logic, epistemology, and the unity of science, vol. 25). Springer.
Mario Gómez-Torrente (2000). A Note on Formality and Logical Consequence. Journal of Philosophical Logic 29 (5):529-539.
L. A. Zadeh (1975). Fuzzy Logic and Approximate Reasoning. Synthese 30 (3-4):407-428.
Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi (1992). What is an Inference Rule? Journal of Symbolic Logic 57 (3):1018-1045.
Jaroslav Peregrin (2008). What is the Logic of Inference? Studia Logica 88 (2):263 - 294.
Yaroslav Shramko (2005). Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. Studia Logica 80 (2-3):347 - 367.
Greg Restall (2009). Truth Values and Proof Theory. Studia Logica 92 (2):241 - 264.
Newton C. A. Da Costa, Otávio Bueno & Steven French (1998). The Logic of Pragmatic Truth. Journal of Philosophical Logic 27 (6):603-620.
G. B. Keene (1995). The Psychology-Logic Overlap. Behavior and Philosophy 23 (2):57 - 62.
Enrico Martino & Gabriele Usberti (1994). Temporal and Atemporal Truth in Intuitionistic Mathematics. Topoi 13 (2):83-92.
Theodore Hailperin (1991). Probability Logic in the Twentieth Century. History and Philosophy of Logic 12 (1):71-110.
Monthly downloads |
Added to index2011-12-02Total downloads8 ( #122,951 of 548,984 )Recent downloads (6 months)3 ( #25,729 of 548,984 )How can I increase my downloads? |

