Uwagi o implikacji materialnej

  • Stanisław Kiczuk Katolicki Uniwersytet Lubelski Jana Pawła II
Słowa kluczowe: logika, funktor prawdziwościowy, znak negacji, znak alternatywy, implikacja materialna, koniunkcja

Abstrakt

In the initial part of the article texts of some authors are analyzed concerning material implication. In the further part of the article the proposition is justified that the operator of material implication differs in quality from other truth-functional operators. The final part of the article is devoted to considerations aiming at presenting what the thesis of the classical propositional calculus, in which the main operator is the operator of material implication, denote.

Biogram autora

Stanisław Kiczuk, Katolicki Uniwersytet Lubelski Jana Pawła II

Prof. dr hab. Stanisław Kiczuk – Katedra Logiki na Wydziale Filozofii KUL

Bibliografia

Ajdukiewicz K.: Okres warunkowy a implikacja materialna, „Studia Logica” 1956, t. IV, s. 117-119.

Ajdukiewicz K.: Zarys logiki, Warszawa 1960.

Blanché R.: Modalité et temporalité, „International Logic Review” 5 (1974), s. 94-105.

Borkowski L.: Logika formalna, wyd. 2, Warszawa 1977.

Borkowski L.: Uwagi o okresie warunkowym oraz implikacji materialnej i ścisłej, [w:] Rozprawy logiczne, Warszawa 1964, s. 11-22.

Dopp J.: Notions de logique formelle, Louvain–Paris 1965.

Grzegorczyk A.: Zarys logiki matematycznej, wyd. 3, Warszawa 1973.

Heisenberg W.: Physics and Philosophy, New York 1958.

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

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

Kotarbiński T.: Wykłady z dziejów logiki, Warszawa 1985.

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

Mostowski A.: Logika matematyczna, Warszawa–Wrocław 1948.

Reichenbach H.: Elementy logiki formalnej (fragmenty), [w:] Logika i język, red. J. Pelc, Warszawa 1967.

Stanosz B.: Wprowadzenie do logiki formalnej, Warszawa 1998.

Opublikowane
2020-10-13
Dział
Artykuły