David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 88 (2):263 - 294 (2008)
The topic of this paper is the question whether there is a logic which could be justly called the logic of inference. It may seem that at least since Prawitz, Dummett and others demonstrated the proof-theoretical prominency of intuitionistic logic, the forthcoming answer is that it is this logic that is the obvious choice for the accolade. Though there is little doubt that this choice is correct (provided that inference is construed as inherently single-conclusion and complying with the Gentzenian structural rules), I do not think that the usual justification of it is satisfactory. Therefore, I will first try to clarify what exactly is meant by the question, and then sketch a conceptual framework in which it can be reasonably handled. I will introduce the concept of 'inferentially native' logical operators (those which explicate inferential properties) and I will show that the axiomatization of these operators leads to the axiomatic system of intuitionistic logic. Finally, I will discuss what modifications of this answer enter the picture when more general notions of inference are considered
|Keywords||Philosophy Computational Linguistics Mathematical Logic and Foundations Logic|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Robert Brandom (2000). Articulating Reasons: An Introduction to Inferentialism. Harvard University Press.
Robert B. Brandom (1994). Making It Explicit: Reasoning, Representing, and Discursive Commitment. Harvard University Press.
Michael A. E. Dummett (1991). The Logical Basis of Metaphysics. Harvard University Press.
W. V. Quine (1986). Philosophy of Logic. Harvard University Press.
Bertrand Russell (2005). On Denoting. Mind 114 (456):873 - 887.
Citations of this work BETA
Allen P. Hazen & Francis Jeffry Pelletier (2014). Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Studia Logica 102 (6):1103-1142.
Jaroslav Peregrin (2015). Logic Reduced To Bare Bones. Journal of Logic, Language and Information 24 (2):193-209.
Similar books and articles
Nicolas Troquard, Wiebe Hoek & Michael Wooldridge (2011). Reasoning About Social Choice Functions. Journal of Philosophical Logic 40 (4):473-498.
Joan Weiner (2005). Semantic Descent. Mind 114 (454):321-354.
Lennart Åqvist (1996). Discrete Tense Logic with Infinitary Inference Rules and Systematic Frame Constants: A Hilbert-Style Axiomatization. [REVIEW] Journal of Philosophical Logic 25 (1):45 - 100.
Vladimir V. Rybakov (1992). Rules of Inference with Parameters for Intuitionistic Logic. Journal of Symbolic Logic 57 (3):912-923.
Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi (1992). What is an Inference Rule? Journal of Symbolic Logic 57 (3):1018-1045.
Ken Akiba (1996). Logic as Instrument: The Millian View on the Role of Logic. History and Philosophy of Logic 17 (1-2):73-83.
Ken Akiba (2000). Logic and Truth. Journal of Philosophical Research 25:101-123.
Added to index2009-01-28
Total downloads22 ( #167,291 of 1,793,002 )
Recent downloads (6 months)7 ( #119,254 of 1,793,002 )
How can I increase my downloads?