The consequence relation preserving logical information

Logic and Logical Philosophy 13:89-120 (2004)
  Copy   BIBTEX

Abstract

Information is contained in statements and «flows» from their structure and meaning of expressions they contain. The information that flows only from the meaning of logical constants and logical structure of statements we will call logical information. In this paper we present a formal explication of this notion which is proper for sentences being Boolean combination of atomic sentences. 1 Therefore we limit ourselves to analyzing logical information flowing only from the meaning of truth-value connectives and logical structure of sentences connected with these connectives

Categories

Keywords

Reprint years

DOI

10.12775/llp.2004.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

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

Through your library

My notes

Similar books and articles

The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
The axiomatization of Horst Wessel's strict logical consequence relation.Andrzej Pietruszczak - 2004 - Logic and Logical Philosophy 13:121-138.
Do logical truths carry information?Manuel E. Bremer - 2003 - Minds and Machines 13 (4):567-575.
Theories of meaning and logical constants: Davidson versus Evans.Jim Edwards - 2002 - Mind 111 (442):249-280.
Some remarks on axiomatizing logical consequence operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.
What is the axiomatic method?Jaakko Hintikka - 2011 - Synthese 183 (1):69-85.
Ray on Tarski on logical consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.
Logical pluralism and semantic information.Patrick Allo - 2007 - Journal of Philosophical Logic 36 (6):659 - 694.
Consequence Mining: Constans Versus Consequence Relations.Denis Bonnay & Dag Westerståhl - 2012 - Journal of Philosophical Logic 41 (4):671-709.
Problems for Logical Pluralism.Owen Griffiths - 2013 - History and Philosophy of Logic 34 (2):170-182.
Models and Logical Consequence.Gil Sagi - 2014 - Journal of Philosophical Logic 43 (5):943-964.
Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence.José M. Sagüillo - 2009 - History and Philosophy of Logic 30 (1):21-48.
From constants to consequence, and back.Dag Westerståhl - 2012 - Synthese 187 (3):957-971.

Analytics

Added to PP
2013-11-24

Downloads
64 (#254,276)

6 months
22 (#124,404)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrzej Pietruszczak
Nicolaus Copernicus University

Citations of this work

Add more citations

References found in this work

The semantic foundations of logic.Richard L. Epstein - 1994 - New York: Oxford University Press.
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1986 - Journal of Symbolic Logic 51 (4):1076-1077.
Einführung in die mathematische Logik.G. Asser - 1963 - Studia Logica 14:343-345.

Add more references