David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 76 (1):3 - 16 (2004)
The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in . The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses rather than axioms and their further occurrence in place of conclusions may be justified or not. The main semantic feature of the q-consequence reflecting the idea is that its rules lead from the non-rejected assumptions to the accepted conclusions.First, we focus on the syntactic features of the framework and present the q-consequence as related to the notion of proof. Such a presentation uncovers the reasons for which the adjective inferential is used to characterize the approach and, possibly, the term inference operation replaces q-consequence. It also shows that the inferential approach is a generalisation of the Tarski setting and, therefore, it may potentially absorb several concepts from the theory of sentential calculi, cf. . However, as some concrete applications show, see e.g., the new approach opens perspectives for further exploration.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|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
Heinrich Wansing & Yaroslav Shramko (2008). Suszko's Thesis, Inferential Many-Valuedness, and the Notion of a Logical System. Studia Logica 88 (3):405 - 429.
Heinrich Wansing & Yaroslav Shramko (2008). Suszko’s Thesis, Inferential Many-Valuedness, and the Notion of a Logical System. Studia Logica 88 (3):405-429.
Similar books and articles
Mikkel Gerken (2012). Univocal Reasoning and Inferential Presuppositions. Erkenntnis 76 (3):373-394.
Pablo Cobreros (2008). Supervaluationism and Logical Consequence: A Third Way. Studia Logica 90 (3):291 - 312.
Grzegorz Malinowski (2009). Beyond Three Inferential Values. Studia Logica 92 (2):203 - 213.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). A Contentious Trinity: Levels of Entailment in Brandom's Pragmatist Inferentialism. Philosophia 40 (1):41-53.
Piotr Wilczek, Model-Theoretic Investigations Into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach.
Ignacio Jané (2006). What is Tarski's Common Concept of Consequence? Bulletin of Symbolic Logic 12 (1):1-42.
Added to index2009-01-28
Total downloads20 ( #194,199 of 1,911,519 )
Recent downloads (6 months)8 ( #81,004 of 1,911,519 )
How can I increase my downloads?