Studia Logica 76 (1):3 - 16 (2004)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Mikkel Gerken (2012). Univocal Reasoning and Inferential Presuppositions. Erkenntnis 76 (3):373-394.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Ignacio Jané (2006). What is Tarski's Common Concept of Consequence? Bulletin of Symbolic Logic 12 (1):1-42.
Piotr Wilczek, Model-Theoretic Investigations Into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach.
Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). A Contentious Trinity: Levels of Entailment in Brandom's Pragmatist Inferentialism. Philosophia 40 (1):41-53.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Grzegorz Malinowski (2009). Beyond Three Inferential Values. Studia Logica 92 (2):203 - 213.
Pablo Cobreros (2008). Supervaluationism and Logical Consequence: A Third Way. Studia Logica 90 (3):291 - 312.
Added to index2009-01-28
Total downloads6 ( #145,729 of 549,516 )
Recent downloads (6 months)1 ( #63,397 of 549,516 )
How can I increase my downloads?