Logika współczesna a matematyka i filozofia

Stanisław Kiczuk

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

Słowa kluczowe: logika współczesna, funktor prawdziwościowy, znak negacji, znak alternatywy, implikacja materialna, koniunkcja

Abstrakt

The first part of the paper shows two types of the systems of contemporary logic placed in one of J. Bocheński’s works. The second part of the paper contains Bocheński’s theses concerning contemporary logic. They have been shown against the backdrop of the views held by other authors who discussed some kin issues. In order to supplement Bocheński’s considerations a division of functors has been added. They are divided into extensional and non-extensional. Much attention has been devoted to the problems of logical constants that is rarely discussed in learned literature. It has been stressed that at least one of Bocheński’s typologies should basically be changed, having taken into account the remarks in the paper that supplement Bocheński’s analyses. The above issues have been discussed against the backdrop of the question of relations that obtain between contemporary logic, mathematics, and philosophy.

Bibliografia

Ajdukiewicz K.: Zarys logiki, Warszawa 1960.

Bocheński J. M.: The General Sense and Character of Modern Logic, [w:] Modern Logic – A Survey, red. E. Agazzi, Dordrecht–Boston–London 1980, s. 3-14.

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

Czernecka B.: Kilka uwag o przedmiocie logiki intuicjonistycznej, „Roczniki Filozoficzne” 49 (2001), z. 1, s. 151-165.

Grzegorczyk A.: Nieklasyczne rachunki zdań a metodologiczne schematy badania naukowego i definicje pojęć naukowych, „Studia Logica” 20 (1967), s. 117-130.

Ивин А. А.: Логика норм, Москва 1973.

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

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

Lechniak M.: Interpretacje wartości matryc logik wielowartościowych, Lublin: RW KUL 1999.

Łukasiewicz J.: O determinizmie, [w:] Z zagadnień logiki i filozofii, red. J. Słupecki, Warszawa 1961, s. 114-126.

Melia J.: The Conservativeness of Mathematics, „Analysis” 66 (2006), nr 3, s. 202-208.

Rescher N.: Recent Developments in Philosophical Logic, [w:] La philosophie contemporaine, ed. R. Klibansky, Firenze: La nuova Italia 1968, s. 31-40.

Słupecki J.: Próba intuicyjnej interpretacji logiki trójwartościowej Łukasiewicza, [w:] Rozprawy logiczne, Warszawa 1964, s. 185-191.

Sobociński B.: In Memoriam Jan Łukasiewicz, „Philosophical Studies” 6 (1956), s. 3-49.

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

Theron S.: The Interdependence of Semantics, Logic and Metaphysics as Exemplified in Aristotelian Tradition, „International Philosophical Quarterly” 42 (2002), nr 1, s. 63-91.

Vaidya A. J.: The Metaphysical Foundation of Logic, „Journal of Philosophical Logic” 2006, nr 35/2, s. 179-182.

Woleński J.: Koncepcje logiki w Szkole Lwowsko-Warszawskiej, [w:] Polska filozofia analityczna, red. W. Tyburski, R. Wiśniewski, Toruń 1999, s. 57-73.

Wright G. H. von: “And Then”, „Commentationes Physico-Mathematicae” 1966, nr 7 (32), s. 1-11.

Wright G. H. von: “And Next”, „Acta Philosophica Fennica” 18 (1965), s. 293-304.