David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
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
No references found.
Citations of this work BETA
No citations found.
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 downloads9 ( #185,453 of 1,692,888 )
Recent downloads (6 months)1 ( #193,926 of 1,692,888 )
How can I increase my downloads?