Author:
Wybraniec-Skardowska Urszula
Abstract
AbstractLogical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning:
unilateral deductive (incl. its sub-types: deductive inference and proof),
bilateral deductive (incl. complete induction), and
reductive (incl. the sub-types: explanation and verification),
logically nonvaluable (incl. inference by analogy, statistic inference),
correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation Cn (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations $$Cn^+$$
C
n
+
($$Cn^+ = Cn$$
C
n
+
=
C
n
) and dual consequences $$Cn^{-1}$$
C
n
-
1
(Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and $$Cn^-$$
C
n
-
(Wójcicki in Bull Sect Log 2(2):54–57, 1973)).
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference22 articles.
1. Ajdukiewicz, K.: Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht (1975)
2. Czeżowski, T.: Główne zasady nauk filozoficznych [Main Principles of Philosophical Sciences], 3rd edn. Ossolineum, Wrocław (1959)
3. Douven, I.: Abduction. In: Zalta, E.N. (ed.) The Stanford Encyklopedia of Philosophy (Summer 2021 Edition). https://plato.stanford.edu/archives/sum2021/entries/abduction/
4. Łukasiewicz, J.: O twórczości w nauce [On creative elements in science]. In: Księga pamiątkowa ku uczczeniu 250 rocznicy Uniwersytetu Lwowskiego [The Commemorative Book in Memory of the 250th Anniversary of the University of Lvov], pp. 1–15. Uniwersytet Lwowski, Lwów (1912). Translated in: [15], pp. 1–15
5. Łukasiewicz, J.: Selected Works (edited by L. Borkowski). North-Holland Publishing Company & PWN, Amsterdam (1970)