The consequence relation preserving logical information
DOI:
https://doi.org/10.12775/LLP.2004.006Keywords
consequence relation, logical informationAbstract
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.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.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 534
Number of citations: 0
