Operator Counterparts of Types of Reasoning

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: 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+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Cn^+$$\end{document} (Cn+=Cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Cn^+ = Cn$$\end{document}) and dual consequences Cn-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Cn^{-1}$$\end{document} (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-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Cn^-$$\end{document} (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). 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),


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 whichon 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 , . . ., s n entail logically by virtue of CL, the sentence s (in other words: from the sentences s 1 , s 2 , . . ., s n there follows logically by virtue of CL, the sentence s) if and only if the implication in the form: s 1 → (. . .→ (s n−1 → (s n → s) . ..)) or s 1 ∧ (s 2 ∧ . . .∧ (s n−1 ∧ (s n → s)) . ..) is the substitution of a logical law of CL.
The sentences s 1 , s 2 , . . ., s n from which there follows the sentence s (n ≥ 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 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.

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).Nondeductive 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: 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.  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 ↓, ↑ denote the direction of fitting the consequence to the reason, or conversely-the reason to the consequence: ded.inference proof verification explanation 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).

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.

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 CL is equivalent to the classical consequence relation 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 , . . ., s n (symbolically: {s 1 , s 2 , . . ., s n } 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 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.

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 ⊆ 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, . . .run over the elements of the family P (S) and the variables x, y, z, . . .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 F in(X) denotes the family of all finite subsets of the set X.

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: c, n, k, a 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 A10 + 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 , . . ., x m (m ≥ 1) can be defined inductively as follows: A generalization of A10 + is the valid formula Tk.
Further in this work, we will also use the notion of set KX 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).
We will also make use the following generalized theorem Tk: , where {x 1 , x 2 , . . ., x n } is the set of all propositions of X which are elements of the conjunctions v 1 , v 2 , . . ., v m .
The proof of Tka is inductive and based on DK, Tk, A7 + , given below MT1(a) and the fact that the S-substitution of the following law of CL*: belongs to Cn + ∅.S-substitution of law α of language CL* is the "translation" of α in the formula of language L, obtained by replacing in α all symbols of language CL* with the corresponding symbols of language L.
Let us remind about of the important metatheorem on adequacy of axioms A6 + -A11 + for the classical consequence Cn + with respect to the classical propositional logic CL*: MT1.Let L C l be the set of all S-substitutions of the laws of CL * .Then (a) The expression 'L Cl ⊆ Cn + ∅' follows from the axioms A1−A5, A6 + −A11 + , (b) If the expression 'α ∈ Cn + ∅' follows from the axioms A1−A5, A6 + −A11 + , then α ∈ L C l .

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 ab (a, b ∈ {+, −}): 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.

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 ab (a, b ∈ {+, −}) 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 ab (a, b ∈ {+, −})
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.
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 −the reductive operator is idempotent.
On the basis of the corollaries given in this section we can formulate the following metatheorems:

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 ∅ = ∅) 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 ∅ = ∅) 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 = ∅) and the axiom A7 + ←, A7 + →: 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 ⊆ KX, X ⊆ AX, it is easy to notice that the above-given unit consequences are weaker than the finitistic consequences which are defined by them.Thus, M5.Cn +1 ≤ Cn + and Cn −1 ≤ Cn − .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: M6a.O +− ≤ Cn + − the (almost) consequence, the unilateral deductive operator is weaker than the consequence Cn + .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).
M6b. O ++ ≤ Cn + and O ++ ≤ Cn − − the consequence, the bilateral deductive operator is weaker than the consequence Cn + and it is weaker than the dual consequence Cn − .
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 DCn −1 , DCn − 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\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.

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. Proof.

∀X(X ⊆ Y ⇒ Cn
Proof.T4 follows from the above given Lemma and T2.

2 .Figure 1 .
Figure 1.The main four types of reasoning

Figure 2 .
Figure 2. The best known sub-types of the main types of reasoning for a, b ∈ {+, −} −derivability operators are finitistic.Corollary O4 follows from the corollaries O2 and O3.From the definitions of operators O ab (a, b ∈ {+, −}) and the fact K3 we immediately state that O5.X ⊆ Y ⇒ O ab (X) ⊆ O ab (Y ), for a, b ∈ {+, −} −derivability operators are monotonic.Let us establish now for what derivability operators properties reflexivity and idempotency hold.Proofs of the properties below are given in the Appendix.