Abstract
Logical 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:
-
1.1.
unilateral deductive (incl. its sub-types: deductive inference and proof),
-
1.2.
bilateral deductive (incl. complete induction), and
-
2.1.
reductive (incl. the sub-types: explanation and verification),
-
2.2.
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^+\) (\(Cn^+ = Cn\)) and dual consequences \(Cn^{-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^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let us begin with giving the definition of reasoning which is of interest to us. Reasoning (i.e. inference in a broad sense) is a thought process in which—on the basis of sentences that have already been acknowledged or assumed, called premises of reasoning—one arrives at acknowledgment or justification of another sentence called a conclusion of reasoning.
In logic we do not study reasoning as a process of thinking but only its forms, schemata of its premises and conclusion.
Western philosophical literature provides a variety of types of reasoning. Among them three major kinds of inference are distinguished, namely: deduction, abduction and induction (see entry “Abduction” by Douven [3] in the Stanford Encyclopedia of Philosophy). The problem area of classification of reasoning has been dealt with chiefly in texts by Polish researchers. Accordingly, three classifications accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz [4, 5], Tadeusz Czeżowski [2] and Kazimierz Ajdukiewicz [1] are the most popular. All of them make use of the so called “classical” notion of logical entailment to some extent. This notion is defined here only for classical logic CL (classical propositional logic CL* and classical predicate logic). Its definition is as follows:
The sentences \(s_1, s_2, \ldots , s_n\) entail logically by virtue of CL, the sentence s (in other words: from the sentences \(s_1, s_2, \ldots , s_n\) there follows logically by virtue of CL, the sentence s) if and only if the implication in the form: \(s_1\rightarrow (\ldots \rightarrow (s_{n-1} \rightarrow (s_n \rightarrow s)\ldots ))\) or \(s_1 \wedge (s_2 \wedge \ldots \wedge (s_{n-1} \wedge (s_n \rightarrow s))\ldots )\) is the substitution of a logical law of CL.
The sentences \(s_1, s_2, \ldots , s_n\) from which there follows the sentence s (\(n \ge 1\)), taken jointly (or their conjunction), are called the reason; the sentence s is then called the consequence. Transition from the reason to the consequence determines the direction of the relation of logical entailment. We denote this relation by \(\vDash _{_{\!\!CL}}\).
The classification of reasoning proposed in this work (Sect. 2) is a modification of the above-mentioned classifications of the Polish authors. It also makes use of the classical concept of logical entailment, yet in a slightly different way. It serves to assign appropriate operators to the distinguished types of reasoning. The definitions of these operators will be given in Sect. 3. Their certain formal properties are formulated in Sect. 4, while some relations of these operators with the operations of Tarski’s consequence and dual consequences are described in Sect. 5.
2 Proposed Classification of Reasoning
The set of all reasonings is dichotomously divided into:
-
1.
set of deductive reasonings, and
-
2.
set of non-deductive reasonings.
Deductive reasoning is one whose conclusion is logically entailed by its premises (i.e. its conclusion logically follows by virtue of CL from its premises). Non-deductive reasoning is one in which its conclusion does not logically follow from its premises.
Premises of deductive reasoning are a reason, whereas the conclusion is a consequence. The direction of the deductive reasoning is in agreement with that of the relation of logical entailment.
The schema of deductive reasoning can be presented in the form of a quasi-fraction: \(\frac{R}{C}\), where above the bar, as its premises, the symbol of the reason, R, is placed, while under the bar, as its conclusion—the symbol of consequence, C.
In classical approach to reasoning deductive reasoning is reliable, i.e. it always leads from true premises to true conclusions. Non-deductive reasoning is unreliable: it can lead from true premises to a false conclusion.
Depending on the manner of connecting premises with the conclusion due to the relation of logical entailment within both types of reasoning, we can distinguish their two sub-types in each category: i.e., in the type of deductive reasoning:
-
1.1.
unilateral deductive (incl. deductive inference and proof), and
-
1.2.
bilateral deductive (incl. complete induction, proof of equivalence);
and in the type of non-deductive reasoning:
-
2.1.
reductive (incl. verification, explanation), and
-
2.2.
logically nonvaluable (incl. inference by analogy, statistic inference).
Unilateral deductive reasoning (1.1) is one in which from premises there logically follows the conclusion, but not conversely—from the conclusion there do not logically follow premises.
Bilateral deductive reasoning (1.2) is reasoning in which not only from premises there logically follows the conclusion, but also from the conclusion there logically follow premises.
Reductive reasoning (2.1) is reasoning in which from premises the conclusion does not follow logically, but from the conclusion (and enthymeme (i.e. an argument in which one premise is not explicitly stated)) there logically follow premises. The direction of the reductive reasoning is not in agreement with that of the relation of logical entailment.
Logically nonvaluable reasoning (2.2) is one in which neither from the premises there logically follows the conclusion nor from the conclusion there logically follow premises.
The distinguished four classes of reasoning, pairwise disjoint (see Fig. 1) will correspond to four operators of derivability, respectively.
However, before we define them (Sect. 3), let us draw attention to the best-known sub-types of the four distinguished types of reasoning.
The proposed fuller classification of reasoning can be illustrated by means of Fig. 2.
The type of deductive reasoning (unilaterally deductive 1.1) with the schema: \(\frac{R}{C}\) is usually set against the type of reductive reasoning 2.1 with the schema: \(\frac{C}{R}\). (Premises in the last ones are Consequence C, while the conclusion—Reason R).
Due to the manner of selecting (searching) for the reason of a consequence or for the consequence of a reason in both types of reasoning mentioned above, we distinguish two sub-types in each category. Thus, the type of deductive reasoning is divided into sub-types: deductive inference and proof, whereas the type of reductive reasoning into sub-types: verification and explanation. The distinguished types of reasoning can be presented in the form of schemata, in which the arrows \(\downarrow \), \(\uparrow \) denote the direction of fitting the consequence to the reason, or conversely—the reason to the consequence:
Thus, deductive inference is a deductive reasoning in which we fit a consequence not known to be true to a reason acknowledged to be true, while proof is the deductive reasoning in which we search a reason acknowledged to be true to a consequence that is not known to be true. On the other hand, verification stands for the reductive reasoning in which we fit consequences known to be true to a reason not known to be so (often a hypothesis), whereas explanation is the reductive reasoning in which we fit reasons not acknowledged to be true to the consequence known to be true. The explanation includes, in particular, incomplete induction and abduction (i.e. explanatory reasoning in generating hypotheses or explanatory reasoning in justifying hypotheses).
3 Definitions of Operators Corresponding to Main Types of Reasoning
Reasoning can be defined as an operation on sentences (propositions): a proposition is justified or acknowledged through making reference to other propositions. Therefore, certain operators (operations) defined on sets of propositions with values in sets of propositions will correspond to types of reasoning.
3.1 Entailment Relations and Tarski’s Consequence Operation
The considerations in this section intend to take into account a classical approach to reasoning. On the ground of classical logic CL the relation of logical entailment \(\vDash _{_{\!\!CL}}\) is equivalent to the classical consequence relation \(\vdash _{_{\!\!CL}}\) (inferential entailment, deducibility), i.e. a relation defined as follows:
The sentence s is a consequence of (is deducible from) the sentences \(s_1, s_2, \ldots , s_n\) (symbolically: \(\{s_1, s_2, \ldots , s_n\}\vdash _{_{\!\!CL}} s\)) iff there exists a proof of the sentence s on the basis of the set \(\{s_1, s_2,...s_n\}\) and logic CL.
The relation \(\vdash _{_{\!\!CL}}\) is equivalent to the Tarski’s operation of the classical consequence \(Cn = Cn^+\), i.e. for any set of propositions X and any proposition x we have:
Thus, it is evident that
Therefore, certain operators (operations) that can be defined by means of the consequence operator Cn will correspond to the types of reasoning described in Sect. 2. The properties of these operators will be thus established on the basis of the properties entitled to the classical consequence operation Cn (\(Cn = Cn^+\)). The last properties, on the other hand, are established on the ground of Tarski’s axiomatic theory of deductive systems based on the classical propositional logic CL* (see Tarski [14,15,16], Wybraniec-Skardowska [19]). Let us recall these properties now.
3.2 Basic Properties of the Consequence Operation Cn
Let S be the set of all propositions of an arbitrary, but fixed language L and the consequence operation Cn be a function:
which to any set of propositions X of the family P(S) of all subsets of the set S assigns the set \(CnX \subseteq S\) of all propositions deducible from the propositions of the set X (i.e. the consequences of the propositions of the set X).
We assume that the variables \(X, Y, Z, \ldots \) run over the elements of the family P(S) and the variables \(x, y, z, \ldots \) run over the propositions of the set S.
The consequence operation Cn satisfies the following axioms of Tarski’s general theory of deductive systems (cf. Tarski [14]):
where Fin(X) denotes the family of all finite subsets of the set X.
3.3 Basic Properties of the Classical Consequence \(Cn^+\)
If the classical consequence operation Cn (\(Cn = Cn^+\)) is based on the classical propositional logic CL* with primitive notions corresponding to the symbols:
representing the propositional connectives, respectively: implication, negation, conjunction, disjunction, then their metalogical counterparts for the language L are, respectively:
and the classical consequence Cn (\(Cn = Cn^+\)) satisfies additionally the following specific axioms of the so-called reached theory of deductive systems based on the logic Cn* (cf. Tarski [15], Pogorzelski and Słupecki [8]):
On the basis of the condition A\(10^+\) we can easily state that deducibility from a finite set of propositions of the set S is the same as deducibility from the conjunction of these propositions.
Conjunction of the finite number of propositions \(x_1, x_2, \ldots , x_m\) (\(m \ge 1\)) can be defined inductively as follows:
A generalization of A\(10^+\) is the valid formula
Proof of Tk is inductive. Tk follows from Dk, A\(10^+\) and A\(7^+\leftarrow \), A\(7^+\rightarrow \).
Further in this work, we will also use the notion of set \(\text {K}X\) of all conjunctions built from different sentences of the set X. It is defined by the following formula:
From DK it directly follows that
Let us note that most often a deduction from a finite set of propositions can be reduced to a deduction from a single proposition—a conjunction of the propositions of the finite set (see Tk).
Using the consequence \(Cn^+\), we can define an operation \(Cn^{+1}\):
which is also a consequence operation (see Wybraniec-Skardowska [18]) called the unit consequence operation induced by the consequence operation \(Cn^+\), and on the basis of A5, Tk, DK, A4 we can indeed easily state (cf. [11, 18]) that the following theorem holds:
We will also make use the following generalized theorem Tk:
The proof of Tka is inductive and based on DK, Tk, A\(7^+\), given below MT1(a) and the fact that the S-substitution of the following law of CL*:
belongs to \(Cn^+ \emptyset \).
S-substitution of law \(\alpha \) of language CL* is the “translation” of \(\alpha \) in the formula of language L, obtained by replacing in \(\alpha \) all symbols of language CL* with the corresponding symbols of language L.
Let us remind about of the important metatheorem on adequacy of axioms A\(6^+\)–A\(11^+\) for the classical consequence \(Cn^+\) with respect to the classical propositional logic CL*:
3.4 Operators Corresponding to Main Types of Reasoning
As we have already mentioned, certain operators (operations) defined on sets of propositions (premises) and with the values in sets of propositions (conclusions) correspond to the four main types of reasoning discussed in Sect. 2. Thus, they are the operators \(O^{\textrm{ab}}\) (\(\text {a, b} \in \{+, -\}\)):
defined, respectively, by means of the consequence operation \(Cn^+\).
Similarly, as it was in the case of deducibility, we assume that derivability from a finite set of propositions (premises) of the set S is the same as derivability from the conjunction of these propositions (premises).
The counterpart of unilateral deductive reasoning is the unilateral deductive operator \(O^{+-}\) defined in the following way:
The proposition y is a conclusion unilaterally deductive derivable from the set of propositions (premises) X iff y is a consequence of some conjunction of propositions (premises) of the set X but this conjunction is not a consequence of the conclusion y.
The counterpart of bilateral deductive reasoning is the bilateral deductive operator \(O^{++}\) defined as follows:
The proposition y is a conclusion bilaterally deductive derivable from the set of propositions (premises) X iff y is a consequence of some conjunction of propositions (premises) of the set X and this conjunction is a consequence of the conclusion y.
The counterpart of reductive reasoning is the reductive operator \(O^{-+}\) defined as follows:
The proposition y is a conclusion reductive derivable from the set of propositions (premises) X iff y is not a consequence of any conjunction of propositions (premises) of the set X but this conjunction is a consequence of the conclusion y.
The counterpart of logically nonvaluable reasoning is the operator \(O^{- -}\) defined in the following way:
The proposition y is a conclusion logically nonvaluable derivable from the set of propositions (premises) X iff neither y is a consequence of a conjunction of propositions (premises) of the set X nor this conjunction is a consequence of the conclusion y.
4 Properties of the Derivability Operators Corresponding to Types of Reasoning
In this section, theorems and metatheorems establishing the properties of the operators defined in Sect. 3.4 are formulated. More difficult proofs of some of these theorems will be given in the Appendix.
From the definitions of operators \(O^{\textrm{ab}}\) (a, b \(\in \{+, -\}\)) we easily get the following corollaries:
We cannot derive any conclusion from the empty set.
A proposition is a conclusion of any derivability operator \(O^{\textrm{ab}}\) (a, b \(\in \{+, -\}\)) iff it is the conclusion of only one proposition which is a conjunction of some premises of that operator.
Derivability from conjunction of propositions is derivability from the set of all conjuncts of the conjunction.
Corollary O4 follows from the corollaries O2 and O3.
From the definitions of operators \(O^{\textrm{ab}}\) (a, b \(\in \{+, -\}\)) and the fact K3 we immediately state that
Let us establish now for what derivability operators properties reflexivity and idempotency hold. Proofs of the properties below are given in the Appendix.
So, the unilateral deductive operator is reflexive for every set of premises which is not a singleton.
The reductive and logically nonvaluable operators are neither reflexive nor irreflexive. In particular, for the reductive operator \(O^{-+}\) we have only the following corollary:
The similar corollary, corollary O\(^{--}\)1, is valid for the logically nonvaluable operator \(O^{--}\).
On the basis of the corollaries given in this section we can formulate the following metatheorems:
MT2 follows from corollaries O\(^{+-}\)1 (A2), O\(^{+-}\)2 (A3), O5 (A4) and O4 (A5).
MT3 follows from corollaries O\(^{++}\)1 (A2), O\(^{++}\)2 (A3), O5 (A4) and O4 (A5).
MT4 follows from the fact that operators \(O^{+-}\) and \(O^{- -}\) are not reflexive (see corollaries O\(^{+-}\)1 and O\(^{- -}\)1).
5 Relationships Between Derivability Operations and Classical and Dual Consequences
In Sect. 1 we defined the unit consequence \(Cn^{+1}\) by means of Tarski’s consequence Cn (\(Cn = Cn^+\)):
and we formulated the theorem
Thus, the deduction from a finite set of propositions is the deduction from only one proposition which is a conjunction of propositions of the finite set.
The consequence \(Cn^{+1}\) is normal (\(Cn^{+1}\emptyset = \emptyset \)) and unit because it satisfies the condition:
Using the consequence Cn, Słupecki [9] defined the operation \(Cn^{-1}\) and proved that it is also a consequence operation—the so-called rejection consequence (see [12, 18, 20, 21]). The definition of the operation \(Cn^{-1}\) is the following:
The consequence \(Cn^{-1}\) is normal (\(Cn^{-1}\emptyset = \emptyset \)) and unit because it satisfies the condition:
The unit rejection consequence \(Cn^{-1}\) is dual to the unit consequence \(Cn^{+1}\) (see [13, 22]).
In a similar way as by means of the unit consequence \(Cn^{+1}\) we can define the finitistic consequence \(Cn^+\) (see T1’), with the help of the unit rejection consequence \(Cn^{-1}\) we can define a dual, with respect to Cn, finitistic consequence \(Cn^-\). The theorem analogous to T1’ is the theorem:
where AX is the set of all disjunctions formed of different sentences of the set X, defined by DA in a analogous way as the set KX (see DK, Dk and K1-K4) and \(Cn^-\) is the operation defined by Wójcicki [17] in the following way:
Proof
In the proof T2, we use the following lemma Ta for finite disjunction (similar to the lemma Tk for finite conjunction) following from Da, the axiom A\(^+\)11 (for \(X = \emptyset \)) and the axiom A\(7^+\leftarrow \), A\(7^+\rightarrow \):
Let \(X \ne \emptyset \). Then
\(\square \)
Wójcicki’s operation \(Cn^-\) is a finitistic consequence in the usual sense (it satisfies Tarski’s axioms A1-A5).
In accordance with T2, we can state that the rejection of a proposition on the basis of a finite set of propositions is rejection of this proposition on the basis of only one proposition which is the disjunction of propositions of the finite set.
Since the unit consequences are normal, T1’, T2 hold and we have: \(X \subseteq \text {K}X\), \(X \subseteq \text {A}X\), it is easy to notice that the above-given unit consequences are weaker than the finitistic consequences which are defined by them. Thus,
By means of the definitions of the operators given in Sect. 2 it is also easy to justify that for the operators corresponding to reasonings we have:
Thus, if a proposition is unilaterally deductive derivable from a set of propositions (premises), then it is deducible from this set (is a consequence of this set) of propositions (premises).
Thus, if a proposition is bilaterally deductive derivable from a set of propositions (premises), then it is deducible from this set (it is a consequence of this set) of propositions and, simultaneously, it is a dual consequence of that set of propositions (premises).
Thus, if a proposition is reductive derivable from a set of propositions (premises), then it is a dual consequence of the set of propositions (premises).
Proofs of these metatheorems are given in the Appendix, in which we also give proofs of two further theorems that show the intuitive meaning of the consequences \(Cn^+\), \(Cn^{-1}\), \(Cn^-\) and operators weaker than them.
The names rejection consequence given to \(Cn^{-1}\) and dual consequence given to \(Cn^-\) are related to the following two theorems provable by means of Tarski’s axioms A1-A5, definitions D\(Cn^{-1}\), D\(Cn^-\) and theorem T2:
If \(Cn^+\) (\(Cn = Cn^+\)) is the usual consequence, a reliable consequence which yields true (or accepted as true) conclusions for true (or accepted as true, respectively) premises, then taking Y to be the set of true (or accepted as true) propositions, \(S {\setminus } Y\) is the set of false (or nonaccepted as true) propositions, and by T3 and T4, the expressions rejected on the basis of false propositions (or not accepted as true) are also false (or not accepted as true, respectively). Thus, if we denote a reliable consequence, or in other terms—a consequence with respect to acceptance by \(Cn^+\) and assume that \(Cn = Cn^+\), then this consequence and the corresponding unit consequence \(Cn^{+1}\) yield true expressions (or accepted as true) when applied to true ones (or accepted as true), whereas the rejection consequence \(Cn^{-1}\) and the dual consequence \(Cn^-\) with respect to \(Cn^+\) always yields false (or nonaccepted as true) expressions when applied to false (or nonaccepted as true) premises.
Since the operator \(Cn^+\) of classical consequence is reliable, its weaker operators of unilateral and bilateral deductive derivability \(O^{+-}\) and \(O^{++}\) (see M6a,b) are also reliable (they lead from true premises to true conclusions). From T4, M6b and M6c it also follows that the bilateral deductive operator \(O^{++}\) and the reductive operator \(O^{-+}\), as weaker than the dual consequence operator \(Cn^-\), have the property that from false (or nonaccepted as true) premises lead to false (or not accepted as true) conclusions.
6 Final Remarks
-
Derivability operators offer a handy tool serving to establish some general properties of types of reasoning corresponding to them.
-
While settling these properties, we accepted the assumption that the operator consequence Cn (\(Cn = Cn^+\)) satisfies Tarski’s axioms A1-A5 and axioms A6\(^+\), A7\(^+\), A10\(^+\), A11\(^+\) characterizing only the functors c, k and a, corresponding to connectives of the classical propositional logic CL*: implication, conjunction and disjunctions, respectively, (we did not make use of axioms for the functor of negation n). Thus, these properties do not include some specific properties that are available to certain known sub-types of reasoning, e.g. indirect proof.
-
All the above-mentioned axioms are satisfied by the consequence operators based on some nonclassical logics assuming classical propositional calculus CL* and on intuitionistic or minimal propositional calculi (for example, see [6, 7, 19]).
-
Hence all the properties and relations established for the operator \(Cn^+\) in Sects. 4 and 5 are valid for mentioned nonclassical operators of consequences characterized only by axioms for functors c, k and a.
-
The properties are transferable thus not only onto the reasonings corresponding to them, which are run on the basis of the classical logic CL, but also onto reasonings based on the mentioned nonclassical logics.
References
Ajdukiewicz, K.: Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht (1975)
Czeżowski, T.: Główne zasady nauk filozoficznych [Main Principles of Philosophical Sciences], 3rd edn. Ossolineum, Wrocław (1959)
Douven, I.: Abduction. In: Zalta, E.N. (ed.) The Stanford Encyklopedia of Philosophy (Summer 2021 Edition). https://plato.stanford.edu/archives/sum2021/entries/abduction/
Ł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
Łukasiewicz, J.: Selected Works (edited by L. Borkowski). North-Holland Publishing Company & PWN, Amsterdam (1970)
Pogorzelski, W.A., Słupecki, J.: Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach, cz. I [Basic properties of deductive systems based on non-classical logics, part I]. Stud. Log. 9, 163–176 (1960)
Pogorzelski, W.A., Słupecki, J.: Podstawowe własności systemów dedukcyjnych opartych na nieklasycznych logikach, cz. II [Basic properties of deductive systems based on non-classical logics, part II]. Stud. Log. 10, 77–91 (1960)
Pogorzelski, W.A., Słupecki, J.: O dowodzie matematycznym [On Mathematical Proof]. Mathematical Library. Wydawnictwa Szkolne i Pedagogiczne, Warszawa (1962)
Słupecki, J.: Funkcja Łukasiewicza [Łukasiewicz’s function]. Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B Nr 3, 33–40 (1959)
Słupecki, J., Borkowski, L.: Elements of Mathematical Logic and Set Theory. In: International Series of Monography in Pure and Applied Mathematics. Pergamon Press & PWN, Oxford (1967)
Słupecki, J., Bryll, G., Wybraniec-Skardowska, U.: Pewna teoria równoważna teorii systemów dedukcyjnych Tarskiego [A theory equivalent to Tarski’s theory of deductive systems]. Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Mathematics Series, 61–67 (1970)
Słupecki, J., Bryll, G., Wybraniec-Skardowska, U.: Theory of rejected propositions, part I. Stud. Log. 29, 76–123 (1971)
Spasowski, M.: Some connections between \(Cn\), \(Cn^{-1}\), \(dCn\). Bull. Sect. Log. 2(1), 46–50 (1973)
Tarski, A.: Fundamentale Begriffe der Methodologie der deductive Wisenchaften. Monatshefte für Mathematik und Physik 37, 361–404 (1930). (English translation: Fundamental Concepts of Metamathematics. In: [16], pp. 60–109)
Tarski, A.: Über einige fundamentale Begriffe der Metamathematik. Comptes Rendus des séances de la Société des Sciences et des Letters de Varsovie 23, 22–29 (1930). (English translation: On Some Fundamental Concepts of Metamathematics. In: [16], pp. 30–37)
Tarski, A.: Logic, Semantics, Metamathematics: Papers from 1923 to 1938. First edition published by Oxford University Press, Oxford (1956). translated by J.H. Woodger. Second edition edited and introduced by John Corcoran, Hackett Publishing Company, Indianapolis, Indiana (1983)
Wójcicki, R.: Dual counterparts of consequences operations. Bull. Sect. Log. 2(2), 54–57 (1973)
Wybraniec-Skardowska, U.: Teoria zdań odrzuconych [theory of rejected propositions]. In: Wybraniec-Skardowska, U., Bryll, G. (eds.) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, no 22, pp. 5–131. Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole (1969)
Wybraniec-Skardowska, U.: Foundations for the formalizations of metamathematics and axiomatizations of consequence theories. Ann. Pure Appl. Log. 127, 234–266 (2004)
Wybraniec-Skardowska, U.: On the notion and function of rejected propositions. In: Magdziak, M., Zygmunt, J. (eds.) Logika 23, Acta Universitatis Wratislaviensis, no. 2754, pp. 179–202 (2005)
Wybraniec-Skardowska, U.: Rejection in Łukasiewicz’s and Słupecki’s Sense. In: Garido, A., Wybraniec-Skardowska, U. (eds.) The Lvov-Warsaw School. Past and Present, pp. 763–777. Birkhäuser, Cham (2018). https://doi.org/10.1007/978-3-319-65430-0_40
Wybraniec-Skardowska, U., Waldmajer, J.: On pairs of dual consequence. Log. Univers. 5(2), 177–203 (2011)
Acknowledgements
I would like to thank the Referee of my paper for all the insightful remarks and comments that helped to clarify or improve certain wordings in the original text.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
We give proofs here of corollaries and theorems formulated in Sects. 4 and 5 using the (assumptive) method of natural deduction put forward in the book of Słupecki and Borkowski [10]. When referring to the axioms A3 and A4 we use the abbreviation AT.
\(\text {O}^{+-}1.\ \text {Card}(X) \ne 1 \Rightarrow X \subseteq O^{+-}(X).\)
Proof
\(\square \)
\(\text {O}^{++}1. \ X \subseteq O^{++}(X)\)
Proof
\(\square \)
Proof
-
a.
$$\begin{aligned} \begin{array}{lll} 1. &{}\ \ X=\{x\} &{}\ \ \{\text {assum}.\}\\ 2. &{}\ \ \text {K}\{x\} = X \wedge \lnot \exists x \in \text {K}X (x \notin Cn\{x\} \wedge x \in Cn\{x\}) &{}\ \ \{1,\text {K}1\}\\ 3. &{}\ \ \exists y \in X (y \notin O^{-+}(X)) &{}\ \ \{1,2,\text {D}^{-+}\}\\ &{}\ \ \lnot (X \subseteq O^{-+}(X)) &{}\ \ \{3\} \end{array} \end{aligned}$$
-
b.
$$\begin{aligned} \begin{array}{lll} 1. &{}\ \ y \in X &{}\ \ \{\text {assum}.\}\\ 2. &{}\ \ Z=\{z:z=\text {k}(x_1,x_2,...,x_n) \in \text {K}X \wedge \exists i=1,2,...,n (x_i=y)\} &{}\ \ \{\text {assum}.\}\\ 3. &{}\ \ y \in Z &{}\ \ \{2,1,\text {Dk,K}2\}\\ 4. &{}\ \ \lnot \exists x \in \text {K}Z (y \notin Cn\{x\} \wedge x \in Cn\{y\}) &{}\ \ \{2,\text {DK,Tk,Tka}\}\\ 5. &{}\ \ \exists y \in Z (y \notin O^{-+}(Z)) \wedge \exists y \in X (y \notin O^{-+}(Z)) &{}\ \ \{3,4,1,\text {D}^{-+}\}\\ &{}\ \ \lnot (Z \subseteq O^{-+}(Z))\ \text {and} \ \lnot (X \subseteq O^{-+}(Z)) &{}\ \ \{5\} \end{array} \end{aligned}$$
\(\square \)
\(\text {O}^{+-}2.\ O^{+-}(O^{+-}(X)) \subseteq O^{+-}(X)\)
Proof
\(\square \)
\(\text {O}^{++}2.\ O^{++}(O^{++}(X)) \subseteq O^{++}(X)\)
Proof
\(\square \)
\(\text {O}^{-+}2.\ O^{-+}(O^{-+}(X)) \subseteq O^{-+}(X)\)
Proof
\(\square \)
Proof
\(\square \)
Proof
\(\square \)
Proof
T4 follows from the above given Lemma and T2. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wybraniec-Skardowska, U. Operator Counterparts of Types of Reasoning. Log. Univers. 17, 511–528 (2023). https://doi.org/10.1007/s11787-023-00339-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-023-00339-7