The consequence relation preserving logical information

Andrzej Pietruszczak

DOI: http://dx.doi.org/10.12775/LLP.2004.006

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.

Keywords


consequence relation; logical information

Full Text:

PDF

References


Asser, G., 1959, Einführung in die matematische Logik, Teil I, Leipzig.

Bell, J. L., 1977 Boolean-ValuedModels and Independence Proofs in Set Theory, Oxford.

Epstein, R.L., 1990 The semantic Foundations of Logic. Vol. 1: Propositional Logics, Dordrecht.

Perzanowski, J., 1989, “Logika a filozofia. Uwagi o zasi˛ egu analizy logicznej w naukach filozoficznych”, pp. 229–261 in: Jak filozofowa´ c, J. Perzanowski (ed.), Warsaw.

Pietruszczak, A., 1992, “O ścisłym wynikaniu logicznym i jego modyfikacji”, pp. 5–20 in: Acta Universitatis Nicolai Copernici, 255, Logika III, Toruń.

Pietruszczak, A., 1997, “Wynikanie zachowujące informację logiczną”, pp. 251–280 in: Byt, Logos, Matematyka. FLFL 1995, J. Perzanowski and A. Pietruszczak (eds.), The NCU Press, Toruń.

Pietruszczak, A., 2004, “The axiomatization of Horst Wessel’s strict logical consequence”, this volume, pp. 121–138.

Wessel, H., 1984, Logik, Deutshe Verlag der Wissenschaften Berlin.

Zinov’ev, A.A., 1971, Logika nauki, Moskva.








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism