Theorie der Konsequenzoperationen und logische Unabhängigkeit

Kriterion - Journal of Philosophy 23 (1):5-23 (2010)
  Copy   BIBTEX

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 gr- eat 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 infinite independent set is finite axiomatizable, and every finite axiomatizable set has relative to a finitary consequence operation an independent axiom system. The main result is that in sentential logic every set of formulas has an independend axiom system.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,346

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Some remarks on axiomatizing logical consequence operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.
A characterization of consequence operations preserving degrees of truth.Marek Nowak - 1987 - Bulletin of the Section of Logic 16 (4):159-165.
Quasi-strongly Finite Sentential Calculi.Zdzislaw Dywan - 1980 - Bulletin of the Section of Logic 9 (4):154-157.
On strongly finite consequence operations.Wieslaw Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):87-92.
Logical Consequence in Modal Logic.John Corcoran & George Weaver - 1969 - Notre Dame Journal of Formal Logic 10 (4):370-384.
Remarks on characteristic consequence operation.Marek Nowak - 1987 - Bulletin of the Section of Logic 16 (1):11-20.
Should Tarski’s Idea of Consequence Operation be Revised?Ryszard Wójcicki - 1999 - Vienna Circle Institute Yearbook 6:231-242.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,104,966)

6 months
1 (#450,993)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references