Remarks about Material Implication

  • Stanisław Kiczuk John Paul II Catholic University of Lublin
Keywords: logic, truth-functional operator, negation sign, disjunction sign, material implication, conjunction

Abstract

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.

Author Biography

Stanisław Kiczuk, John Paul II Catholic University of Lublin

Prof. Dr Stanisław Kiczuk – Chair of Logic, Faculty of Philosophy, The John Paul II Catholic University of Lublin

References

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.

Published
2020-10-13
Section
Articles