Skip to main content

Theorie der Konsequenzoperationen und logische Unabhängigkeit

Wallmann, Christian (2010) Theorie der Konsequenzoperationen und logische Unabhängigkeit. Kriterion Journal of Philosophy: Special Issue SOPhiA - Salzburg Conference for Young Analytic Philosophy 2010, 23 . pp. 5-23. ISSN 1019-8288. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Abstract

This article deals with algebraic logic. In particular, it discusses the theory of consequence operations and the general concept of logical independency. The advantage of this general view is its great applicability: The stated properties of consequence operations hold for almost every logical system. The notion of independency is well known and important in logic, philosophy of science and mathematics. Roughly speaking, a set is independent with respect to a consequence operation, if none of its elements is a consequence of the other elements. The property of being an independent set guarantees therefore that none of its elements is superfluous. In particular, I'm going to show fundamental results for every consequence operation, and hence for every logic: no innite independent set is nite axiomatizable, and every nite axiomatizable set has relative to a nitary consequence operation an independent axiom system. The main result is that in sentential logic every set of formulas has an independent axiom system.

Item Type: Article
Subjects: B Philosophy. Psychology. Religion > B Philosophy (General)
Divisions: Faculties > Humanities > School of European Culture and Languages
Faculties > Humanities > School of European Culture and Languages > Philosophy
Depositing User: Fiona Godfrey
Date Deposited: 30 Jul 2015 12:55 UTC
Last Modified: 29 May 2019 14:57 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/49909 (The current URI for this page, for reference purposes)
  • Depositors only (login required):