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.




Bookmark and Share




logo
 
 
 
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.


ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism