O logice modalnej

Stanisław Kiczuk

Stanisław Kiczuk Katolicki Uniwersytet Lubelski, Wydział Filozofii

Słowa kluczowe: konieczność logiczna, możliwość logiczna, logika modalna, funktor modalny, ścisła implikacja

Abstrakt

The paper appreciates six conditions which, according to G.E. Hughes and M.J. Cresswell, must be respected by those formal systems which aspire to be systems of modal logic. There are few such systems. The sense of modal functors “it is necessary that,” “it is possible that,” in this type of systems is in no way made precise. The paper undermines the validity of some conditions shown by Hughes and Cresswell. It outlines the way by which to construct a system of modal logic in which the functor of logical necessity and logical possibility would be unambiguously characterised by methods of contemporary logic.

Bibliografia

Ajdukiewicz K.: Zarys logiki, Warszawa 1960.

Belnap N. D.: Modal and Relevance Logics, [w:] Modern Logic – A Survey, ed. by E. Agazzi, Dordrecht 1981, s. 131-151.

Bigelow J., Pargetter R.: Science and Necessity, Cambridge 1990.

Bocheński J. M.: Logika i ontologia, [w:] Logika i filozofia, red. J. Parys, Warszawa 1993, s. 110-117.

Borkowski L.: Wprowadzenie do logiki i teorii mnogości, Lublin 1991.

Bowen K. A.: Model Theory for Modal Logic, Dordrecht 1979.

Burks A. W.: Change, Cause, Reason, Chicago–London 1977.

Hughes G. E., Cresswell M. J.: An Introduction to Modal Logic, London 1974.

Kiczuk S.: Przedmiot logiki formalnej oraz jej stosowalność, Lublin 2001.

Kraszewski Z.: Logika – nauka rozumowania, Warszawa 1975.

Lejewski C.: On Leśniewski’s Ontology, „Ratio”, 1 (1958), s. 150-156.

Lemmon E. J., Henderson G. P.: Is there only One Correct System of Modal Logic?, „Aristotelian Society Suppl.”, 33 (1959), s. 23-40.

Leśniak K., Wstęp, [w:] Arystoteles. Analityki pierwsze i wtóre, tłumaczenie i wstęp K. Leśniak, Warszawa 1973.

Pogorzelski W. A.: Elementarny słownik logiki formalnej, Białystok 1992.

Regner L.: Logika, Kraków 1973.

Stępień A. B.: Teoria poznania, Lublin 1971.

Zawirski Z.: [Rec.:] Dominiczak Stanislas, Les jugements modaux chez Aristote et les scholastiques, Louvain 1923, „Ruch Filozoficzny”, 9 (1925), s. 93.