Logica Universalis 7 (2):125-145 (2013)
AbstractIn this paper we develop an abstract theory of adequacy. In the same way as the theory of consequence operations is a general theory of logic, this theory of adequacy is a general theory of the interactions and connections between consequence operations and its sound and complete semantics. Addition of axioms for the connectives of propositional logic to the basic axioms of consequence operations yields a unifying framework for different systems of classical propositional logic. We present an abstract model-theoretical semantics based on model mappings and theory mappings. Between the classes of models and theories, i.e., the set of sentences verified by a model, it obtains a connection that is well-known within algebra as Galois correspondence. Many basic semantical properties can be derived from this observation. A sentence A is a semantical consequence of T if every model of T is also a model of A. A model mapping is adequate for a consequence operation if its semantical inference operation is identical with the consequence operation. We study how properties of an adequate model mapping reflect the properties of the consequence operation and vice versa. In particular, we show how every concept of the theory of consequence operations can be formulated semantically
Similar books and articles
Model-theoretic investigations into consequence operation (cn) in quantum logics: An algebraic approach.Piotr Wilczek - unknown
The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
A new theory of content II: Model theory and some alternatives. [REVIEW]Ken Gemes - 1997 - Journal of Philosophical Logic 26 (4):449-476.
A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.
Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.Eli Dresner - 2011 - Notre Dame Journal of Formal Logic 52 (1):75-93.
Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
Added to PP
Historical graph of downloads
References found in this work
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
From consequence operator to universal logic: a survey of general abstract logic.Jean-Yves Beziau - 2005 - In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlog. pp. 3--17.
Minimally generated abstract logics.Steffen Lewitzka & Andreas B. M. Brunner - 2009 - Logica Universalis 3 (2):219-241.