The consequence relation preserving logical information
DOI:
https://doi.org/10.12775/LLP.2004.006Słowa kluczowe
consequence relation, logical informationAbstrakt
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.Bibliografia
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.
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Statystyki
Liczba wyświetleń i pobrań: 576
Liczba cytowań: 0
