Rejection in Łukasiewicz s and Słupecki s Sense
|
|
- Trevor Norman
- 5 years ago
- Views:
Transcription
1 Rejection in Łukasiewicz s and Słupecki s Sense Urszula Wybraniec-Skardowska Abstract. The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. Mathematics Subject Classification (2000). Primary 01A60, 03B22; Secondary 03B30. Keywords. Aristotle s syllogistic; genesis of rejection notion; rejection in Łukasiewicz s sense; Słupecki s solution of decidability problem of Aristotle s syllogistic; deductive systems; axiomatic method of rejection; refutation systems; Słupecki s rejection function; generalization of rejection notion. 1. Introduction The European logic as a science arose in 4th c. BC in ancient Greece. Aristotle is thought to be the creator of logic. First of all, he is recognized as the creator of the first formal logic system, deductive system, the so called Aristotle s syllogistic, which together with the theory of immediate reasoning (square of opposition, conversion, obversion, contraposition, inversion) is treated as traditional logic in a narrower meaning. It is the logic of names. The idea of rejection of some sentences on the basis of others was originated by Aristotle, who in his systematic investigations regarding syllogistic forms not only proves the proper (true) forms but also rejects the false (invalid, erroneous) ones. Aristotle to reject some false syllogistic forms very often used examples, but he also used another way of rejecting false forms by reducing them to other ones, already rejected (see Łukasiewicz [22, 23]).
2 2 Urszula Wybraniec-Skardowska The method of rejecting sentences always functioned in empirical sciences in connection with the procedure of refutation of hypotheses, and we can assume that it was also known to Stoics: because within the five unprovable, hypothetical syllogistic rules, their logic of sentences, formulated probably by Chrisippus, the rule of deduction called in Latin modus tollendo tollens, or modus tollens (If p, then q; not-q, so not-p) appears as the second one. Although the method of rejection of sentences has always existed in empirical science, in relation to the procedure of refutation of hypothesis, the Aristotle s idea of rejection of some sentences on the basis of the others has never been properly understood by logicians or mathematicians, especially the ones convinced that rejection of closed sentences of the language of deductive system can be always replaced by introducing into such system the negation of such sentences. The proper understanding of Aristotle s ideas and implementation of the concept of rejection into the formal researches on logical deductive systems (including on Aristotle s syllogistics) we owe to Jan Łukasiewicz the co-founder of world famous Warsaw Logical School, which functioned in the interwar period ( ). Łukasiewicz and his pupil Jerzy Słupecki are classified as pioneers of meta-logical studies on the concept of rejection and related to it the notion of saturation (in Słupecki s terminology Ł-decidability) of deductive systems. The notion of rejection was introduced into formal logic by Łukasiewicz in his work Logika dwuwartościowa ( Two-valued logic ) [20], in which, apart from the term assertion (introduced by Frege), Łukasiewicz introduces also the term rejection. In adding rejection to assertion he, as he states himself, followed Brentano, but he did not mention any more about it. The notion of rejected proposition later played an important role in his research on Aristotle s syllogistic [22, 23], as well as in his metalogical studies of some propositional calculi [24, 25]. In that research Łukasiewicz makes use of the idea of rejection originated by Aristotle. Łukasiewicz applied it to complete a syntactical characterization of deductive systems using an axiomatic method of rejection, introduced by him into the formal logic in his paper on Aristotle s syllogistic [22], and then, after the war, in a monograph [23], which followed many years of research on Aristotelian logic, and which included the results presented in the paper prepared before the war. As was pointed out by Łukasiewicz (see [23, p.67]), Aristotle, in his systematic investigations of syllogistic forms, not only proves the true ones but also shows that all the others are false, and must be rejected. Further on (p.74), Łukasiewicz observes: Aristotle rejects invalid forms by exemplification through concrete terms. This procedure is logically correct, but it introduces into the systems terms and propositions not germane to it. There are, however, cases where he applies a more logical procedure, reducing one invalid form to another already rejected. On the basis of this remark, a rule of rejection could be stated corresponding to the rule of detachment by assertion; this can be regarded as the commencement of a new field of logical inquiries and of new problems that have to be solved.
3 Rejection in Łukasiewicz s and Słupecki s Sense 3 Modern formal logic, as far as I know writes Łukasiewicz (see [23, p.71]) does not use rejection as an operation opposed to Frege s assertion. The rules of rejection are not yet known. As a rule of rejection corresponding to the rule of detachment by assertion, Łukasiewicz adopts [22, 23] the following rule, which was anticipated by Aristotle: the rule of rejection by detachment: if the implication If α, then β is asserted, but its consequent β is rejected, then its antecedent α must be rejected, too. As a rule of rejection corresponding to the rule of substitution for assertion Łukasiewicz adopts [22, 23] the following rule, which was unknown to Aristotle: the rule of rejection by substitution: if β is a substitution instance of α, and β is rejected, then α must be rejected, too. Both rules enable us to reject some syllogistic forms, provided that some other forms have already been rejected. As we mentioned above, Aristotle used the procedure of rejection of some forms by means of concrete terms, but such a procedure, though correct, introduces into logic terms and propositions that are not germane to it. To avoid this difficulty, Łukasiewicz rejects some forms axiomatically, which leads him to biaspectual axiomatic characterization of deductive systems analyzed by him [22 25]. The idea of rejection was first used by Łukasiewicz for two-level syntactic description of Aristotle s axiomatic system of syllogistics: as a system with respect to acceptance (the first level) and as a system with respect to rejection (the second level). The sentence rejected from the system he understood as a false sentence, or a sentence which due to some reasons we cannot classify as a thesis of this system. The idea of rejection was used by Łukasiewicz while studying the decidability (saturation) of the system: each sentence, which is not the thesis of a decidable (saturated) system, is rejected. Reconstruction of concepts of rejection and decidability (saturation) used by Łukasiewicz, was done by his pupil Jerzy Słupecki [39, 40] (see also Słupecki et al. [45]). Słupecki modified, developed and later generalized the concept of rejected sentence, he also made its certain formalization. He also inspired systematic, formal studies on this and related concepts, and also initiated research on the decidability of many deductive systems. In this paper 1 I am starting from Słupecki s and mine reconstruction of concepts rejection and decidability the notions introduced and used by Łukasiewicz (Section 2). Later on (Section 3), I am discussing the problem of decidability of Aristotle s syllogistic, set by Łukasiewicz, and I outline its solution given by Słupecki. To follow with, I am describing Słupecki s modification and generalization of the concept of rejection and also presenting the importance of Słupecki s research on 1 The paper is elaborated on the basis of my works [63 65] and Słupecki et al. [45].
4 4 Urszula Wybraniec-Skardowska syllogistics for contemporary metalogic (Section 4). Later on, I am showing the relation of idea of decidability in Łukasiewicz s sense with the common concept of decidability given by Słupecki, and I am discussing the decidability of more important logical systems (Section 5). Finally, I am presenting Słupecki s generalization of the concept of rejection to the function of rejection, and its formalization in the theory of rejected sentences (Section 6). The final notes relate to presentation of different than Łukasiewicz s way of two-level formalization of deductive systems (Section 7). 2. Reconstruction of Concepts of Rejection and Decidability the notions introduced and used by Łukasiewicz The notion of decidability of the deductive system that was used by Łukasiewicz in his research on Aristotle s syllogistic [22, 23] and systems of propositional calculi [24, 25] is based on the notion of a rejected sentence introduced by him. The main idea of a syntactic biaspectual characterization of deductive systems in Łukasiewicz s sense is compatible with providing both: the axioms and inference rules for the given deductive system, which intuitively lead from some true formulas to true ones of this system and the rejected axioms (treated as false formulas of this system) and rejection (refutation) rules of this system, which intuitively lead from some false formulas to false ones of this system. 2 Łukasiewicz used the terms decidable system and consistent system in the meaning different from the one accepted in logic. Łukasiewicz does not give clear definitions of these terms, but the context points out that he used them in the following meaning: The system is decidable if every its expression which is not its thesis is rejected on the ground of finite number of axiomatically rejected expressions; The system is consistent if none of its thesis is rejected. Łukasiewcz did not use the term decidable system consequently. He also employed interchangeably the terms saturated system or categorical system. In nomenclature introduced by Słupecki, decidability of a deductive system in Łukasewicz s sense was called Ł-decidability and its consistency was called Ł- consistency. The meaning of the term decidable system compatible with the understanding of the notion of a decidable system by Łukasiewicz gives the following definition: The deductive system determined by means of the ordered triple: 2 Such a syntactic formalization of some propositional calculi was also, probably independently, introduced by Rudolf Carnap [6, 7]; see Citkin [10].
5 Rejection in Łukasiewicz s and Słupecki s Sense 5 F, A, R where F is the set of all well-formed formulas of this system, A is the set of its axioms and R is the set of its primitive inference rules, is Ł-decidable if and only if there exist finite sets: the set A 1 of rejected axioms (included in F ) and the set R 1 of primitive rejected rules, such that the following two conditions are satisfied: I. T T 1 = and II. T T 1 = F, where T is the set of all theses of the system, T 1 is the set of all rejected formulas (the smallest set including the set A 1 and closed with respect to every relation determined by rejected rules of the set R 1 ). The conditions I and II we call, respectively, Ł-consistency of the deductive system and Ł-completeness of the system. Characterizing the deductive system by means of tuples F, A, R; A 1, R 1 or F, T ; T 1, the definition given above can be defined as follows: The deductive system is Ł-decidable if and only if the following conditions are satisfied: I. the set of all its theses (asserted expressions) determining the system is disjoined with the set of all its rejected formulas, II. every propositional formula is either asserted or rejected. 3. The Problem of Decidability of Aristotle s Syllogistics, Set by Łukasiewicz, and its Solution Given by Słupecki 3.1. Łukasiewicz s biaspectual formalization of Aristotelian Logic AS On the first level AS is characterized as follows (cf. Łukasiewicz [21]): The Vocabulary of AS: constant symbols of classical logic CL, i.e., the connectives of CL, primitive terms of AS: constants a and i which are sentence forming functors of two-term arguments: all... are... and some... are..., nominal variables: S, P, M, N,.... Well-formed Expressions of AS: atomic affirmative expressions: formulas of the form of S a P and S i P, which are read: all S are P, some S are P, respectively, compound expressions: formulas that are created from the atomic ones using the connectives of CL, the set F of all well-formed expressions the smallest set of formulas including the atomic expressions and closed under the connectives of CL. Defined Terms of AS: the remaining constants of Aristotelian logic: e and o, i.e. the functors: no... are... and some... are not... which are defined as follows:
6 6 Urszula Wybraniec-Skardowska D1. S e P df = S i P, D2. S o P df = S a P. The negative expressions S e P and S o P are read, respectively: no S are P and some S are not P. Apart from the atomic expressions, we include them into the so called simple expressions. Axioms of AS: A + 1. S a S, A + 2. S i S, A + 3. M a P S a M S a P (Barbara), A + 4. M a P M i S S i P (Datisi). Axioms A + 1 and A + 2 are the two laws of identity; Aristotle did not accept them. Primitive Inference Rules for AS: rłˆ: the rule of definitional replacement (according to D1, S e P may be everywhere replaced by S i P, and, according to D2, S o P may be everywhere replaced by S a P ); r + 1: the rule of detachment (modus ponens) (if α β and α are asserted expressions of a system, then β is an asserted expression); r + 2: the rule of substitution (if α is an asserted expression of the system, then any expression produced from α by a valid substitution is also an asserted expression; the valid substitution is to put, for term-variables, other term-variables). The schemes of the rules r + 1 and r + 2 are as follows: r + 1: α β r + 2: α β α e(α) The symbol is a sign of assertion introduced by Frege, whereas, the expression e(α) denotes a substitution instance of α. Characterization of the system AS on the second level consists in supplementing it with rejected axioms and rejection rules. Łukasiewicz formulates the following rejected axioms and rejection rules: Rejected Axioms of AS: A 1. P a M S a M S i P, A 2. P e M S e M S i P. Primitive Rejection Rules for AS: r 1: the rule of rejection by detachment (reverse modus ponens), r 2: the rule of rejection by substitution. The schemes of the rules are the following:
7 Rejection in Łukasiewicz s and Słupecki s Sense 7 r 1: α β r 2: β α e(α) α The symbol is the sign of rejection. The characterized system AS is determined by the following ordered 5-tuple, which may be called the basis of AS: F, A +, R + ; A, R, where F is the set of all well-formed formulas of this system; A + the set of its axioms; R + the set of its primitive inference rules; A the set of its rejected axioms, and R the set of its primitive rejection rules. The tuples F, A +, R + and F, A, R determine, respectively, the set T + of all theses of this system and the set T of all its rejected formulas. The first tuple may be called the assertion system for AS, whereas, the second one may be called the refutation system for AS. T + is the set of all well-formed formulas derivable from the set of theses of metalogically formulated CL and axioms of A + by means of inference rules of R +, while T is the set of all well-formed formulas derivable from the rejected axioms A by means of theses of T + and rejection (refutation) rules of R. So T + = Cn + (CL A +, R + ), and T + is the smallest set including CL A + and closed under the inference rules of R +. T = Cn (T + A, R ), (B) D(Ł) and T is the smallest set including A and closed under the rejection rules of R. The set T is the set of all rejected expressions of the system in Łukasiewicz s sense. To the set T + there also belong all 24 valid syllogistic forms, the laws of logical square and the laws of conversion, and, to the set T of all rejected formulas, there belong all the remaining 232 invalid forms. However, it turned out that there exists such well-formed expression of AS, which is neither a thesis of this system nor a rejected expression of the set T. Such, for example, is the formula: S i P ( S a P P a S). In order to remove this difficulty, we could reject the expression (Fl) axiomatically. However, a question arises whether there exists some other formula of the same kind as (Fl), or, may be, an infinite number of such formulas, which can be called undecidable on the strength of our basis (B). Therefore, we may only claim that the following condition holds: T + T F. (Fl)
8 8 Urszula Wybraniec-Skardowska 3.2. The problem of Ł-decidability of AS The system AS whose basis is (B) analyzed by us, is not saturated or decidable in the sense that it is both 1 Ł-consistent and 2 Ł-complete, i.e. 1 T + T = and 2 T + T = F. As we know, a system satisfying both conditions was called by Słupecki an Ł-decidable system (see Sec.2). The problem concerning the finite Ł-decidability of Aristotelian syllogistic was raised by Łukasiewicz in December 1937, during his seminar on Mathematical Logic at the University of Warsaw. Łukasiewicz presented the problem in the form of the following questions: Q1. Are the axioms of A + for AS together with the inference rules of R + for AS sufficient to prove all true expressions of the AS? Q2. Are the rules of rejection of R = {r 1, r 2} for AS sufficient to reject all false expressions (every formula of F that is not a thesis of T + ), provided that a finite number of them are rejected axiomatically? 3.3. Słupecki s Solution of the Problem of Ł-decidability of AS Jerzy Słupecki, who participated in Łukasiewicz s seminar, solved in 1938 the problem providing a basis for which the system of Aristotelian syllogistic is Ł- decidable (see Łukasiewicz [22, 23]). His answer to the question Ql was positive; to the second one, negative. Słupecki was able to prove that it is not possible to reject all the false expressions of AS by means of the rules r 1 and r 2, provided a finite number of them is rejected axiomatically. This way Słupecki gave a negative answer to the question Q2: (i) The system AS with the basis (B) is not Ł-complete with any finite set of rejected axioms of A. Słupecki extended the system AS, adding to it a new rejection rule, called by Łukasiewicz Słupecki s rule of rejection. It is denoted by r S and has the following scheme: r S: α γ β γ α β γ where α and β denote negative expressions in the form: S e P or S o P and γ denotes a simple expression or an implication the consequent of which is a simple expression and the antecedent, a conjunction of such expressions. The Słupecki s rule says: If the expression γ does not follow from any of two negative expressions then it does not follow from their conjunction. Słupecki s rule is closely related to the principle of traditional logic (ex mere negative nihil sequitur).
9 Rejection in Łukasiewicz s and Słupecki s Sense 9 As was noticed by Łukasiewicz, having added Słupecki s rule, it is enough to adopt merely one rejected axiom, namely, A 1. Słupecki demonstrated that: (ii) System of Aristotle s syllogistic determined by the following base: F, A +, R + ; {A 1}, R {r S} with the refutation system: (iii) F, {A 1}, R {r S}, is Ł-decidability system, i.e. (BS) 1 T + T S = and 2 T + T S = F, where T S = Cn (T + {A 1}, R {r S}), D(Ł) is the set of all rejected propositions, i.e. the set of propositions derivable from the axiom A 1 by means of the thesis of AS and Łukasiewicz s rejection rules and Słupecki s rejection rule. And the problem of Ł-decidability of AS has been solved: any well-formed formula of AS is either a thesis or is a rejected formula of AS. It is clear that Słupecki extended the notion of the rejected proposition used by Łukasiewicz, because: T T S. D(Ł) D(Ł) The results obtained by Słupecki were summarized by Łukasiewicz in his work [22] containing also the text of his paper on Aristotle s syllogistic. The results of research of both Łukasiewicz and Słupecki were later, after the war, presented in detail in Łukasiewicz s monograph [23]. In both works Łukasiewicz expressed his high opinion of Słupecki s findings, which, in the words of Łukasiewicz [22] were organically united with researches of the author... the author regards as the most significant discovery made in the field of syllogistic since Aristotle Słupecki s Definiton of a Rejected Proposition Słupecki failed to publish his findings before the war. After the war ends, Słupecki published them in [38] and in a monograph [39]. In the monograph [39], in his proof of Ł-completeness (condition (ii), 2 ), he also used a definition of the rejected proposition different than Łukasiewicz D(Ł), and additionally, he modified its extension D(Ł), adopted earlier by himself. Instead of Łukasiewicz s definition D(Ł), Słupecki adopts the following equivalent definition: D(Sł). A rejected proposition on the ground of the basis F, A +, R + ; A,, (B \ R ) is such an expression for which there exists a rejected axiom of the set A which is derivable from it and theses of the set T + by means of inference rules of R +.
10 10 Urszula Wybraniec-Skardowska Denoting a set of all rejected propositions in the sense of the definition D(Sł) by Cn 1 (T + A, R + ), we obtain the following symbolic notation of it: α Cn 1 (T + A, R + ) β A (β Cn + (T + {α}, R + )), D(Sł) where Cn + is a consequence operation with respect to the set T + of all theses of the system and its set of rules R +. The definition of a rejected proposition D(Sł) is closer to Aristotle s idea of refutation of syllogisms by means of reducing them to syllogisms rejected earlier. We note (see D(Ł)) that: T = Cn (T + A, R ) = Cn 1 (T + A, R + ). D(Ł) D(Sł) Thus, the notions of rejected propositions, both the one used by Łukasiewicz and that introduced by Słupecki in the form of the definition D(Sł), are equivalent Słupecki s Definition of an Extended Notion of Rejected Proposition We will reconstruct Słupecki s definition of an extended notion of the rejected proposition, equivalent to the definition D(Ł). D(Sł). A rejected proposition on the ground of the basis F, A +, R + ; {A 1}, {r S} (BSł) is either a rejected axiom A 1 or a proposition rejected with respect to those rejected earlier in the sense of D(Sł; A /X), or an expression rejected on the basis of those rejected earlier, by means of using Słupecki s rule. Let Cn (T + {A 1}, R + ; {r S}) be the set of all rejected propositions in the sense of D(Sł). We may note that T S = Cn (T + {A 1}, R {r S}) = Cn (T + {A 1}, R + ; {r S}). D(Ł) D(Sł) 3.6. Three Different Ways of Understanding the Notion of Rejected Proposition It is easy to see that the given definitions of rejected propositions provide three different ways of understanding this notion: D(Sł) D(Sł). Cn 1 (T + A, R + ) Cn (T + {A 1}, R + ; {r S}) T T S D(Ł) D(Ł). Cn (T + A, R ) Cn (T + {A 1}, R {r S}) The first of them refers to Łukasiewicz s understanding of the rejected proposition (see D(Ł)) and to its strengthening given by Słupecki (see D(Ł)); the second and the third ones, to Słupecki s understanding of the rejected proposition (see D(Sł) and D(Sł). At the same time, the second one refers directly to Aristotle s
11 Rejection in Łukasiewicz s and Słupecki s Sense 11 method of rejection of syllogisms by reducing them to previously rejected syllogisms and makes it possible to simplify the procedure of rejection without supplementing the system with the rules of rejection, and the third one (see D(Sł)) is a combination of both former methods. 4. Notions of Rejection in a Deductive System and Notions of Ł-decidability 4.1. Three Different Notions of Rejection We are adapting the previous definitions of rejection for AS for any deductive system. Let S be any deductive system with biaspectual formalization and with the basis F S, A + S, R+ S ; A S, R S R S (B S ) determined, respectively, by computable sets: the set F S of all well-formed formulas, the set A + S of axioms (asserted axioms), the set R+ S of inference rules, the set A S of rejected axioms and by the set R S R S of rejection rules, with an assumption that the sets R + S and R S are sets of mutual dual rules, while the set R S is a set of non-dual rejection rules. Let T + S be a set of all theses of S. Then, according to Łukasiewicz s conception, on the analogy to D(Ł), the set 1 T S of all rejected propositions of S, with respect to the set T + S and the basis (B S ) (the refutation system F S, A S, R S R S ) is defined as follows: 1 T S = Cn S (T + S A S, R S R S) D S (Ł) And 1 T S is a set of all formulas with rejection proofs in Łukasiewicz s sense, i.e. it is a set of all formulas derivable from rejected axioms of A S by means of theses of T + S and rejection rules of R S R S ; i.e. 1 T S is the smallest set including A S and closed under the rejection rules of R S R S. If R S =, the basis (B S) of the system S can be replaced by the basis F S, A + S, R+ S ; A S, (B S \ R S ) and the set 2 T S of all rejected propositions of S with respect to the set T + S and the basis (B S \ R S ), on the analogy to D(Sł), is defined as follows: 2 T S = Cn 1 S (T + S A S, R+ S ) D S(Sł) and 2 T S is a set of all propositions with rejection proofs in Słupecki s sense, i.e. it is a set of all such formulas from which, and from theses of T + S, and by means of inference rules of R + S a rejected axiom of A S is derivable. If R S, the basis (B S) can be replaced by the basis F S, A + S, R+ S ; A S, R S (B S )
12 12 Urszula Wybraniec-Skardowska and the set 3 T S of all rejected propositions of S with respect to the set T + S and the basis (B S ), on the analogy to D(Sł), can be defined as follows: 3 T S = Cn S(T + S A S, R+ S ; R S) D S (Sł) and the set 3 T S is a set of rejected propositions with rejected proofs in Słupecki- Łukasiewicz s sense, i.e. it is a set of all such propositions every one of which is either: 1 a rejected axiom of A S, or 2 a proposition rejected with respect to those rejected earlier in Słupecki s sense, or 3 a proposition rejected on the basis of those rejected earlier by means of rejection rules of R S. Let us note that the given above definitions D S (Ł), D S (Sł) and D S (Sł) are in some extent a simplification and require the precise definitions of the abovementioned rejection proofs on the basis of any set X F S, with respect to the bases (B S ), (B S \ R S ) and (B S) (see Słupecki [43], Słupecki and Bryll [44], Wybraniec- Skardowska [63, 64]). Let us observe that among the set of rejected propositions defined above, the following relationships hold: a. If R S = then 2 T S = 1 T S b. 2 T S 1 T S = 3 T S Three Different Notions of Ł-decidability; Decidability The three different definitions of the sets of rejected propositions of the system S entail three different definitions of Ł-decidability of this system. Definition: The system S is Ł-decidable if and only if, for some i = 1, 2, 3, S is i Ł-decidable, i.e. it satisfies the two following conditions: 1 T + S i T S =, 2 T + S i T S = F S. The condition 1 is called i Ł-consistence condition and the condition 2 is called i Ł-completeness condition of the system S. A question arises: What the relationship between Ł-decidability and decidability in the usual sense is? The answer was given by J. Słupecki. Słupecki s Theorem [43]: If the system S is Ł-decidable and any rejection rule, except for the rule of rejection by detachment, is computable, then the system S is decidable in the usual meaning. 3 It is easy to show that Corollary: The system AS of Aristotle s syllogistic with the bases (BSŁ) is decidable. In the next section we will present Ł-decidable systems that are also decidable. 3 Słupecki s theorem is an immediate consequence of the following theorem of the theory recursion, which we quote from Grzegorczyk s book [14, p.355 in the Eng. ed.]: If the union of two recursively enumerable disjoint sets T and S is computable set, then the sets T and S are also computable.
13 Rejection in Łukasiewicz s and Słupecki s Sense More Important Findings Concerning Ł-decidability of Deductive Systems The axiomatic rejection method introduced by Lukasiewicz to complete, biaspectual characterization of deductive systems (which was effectively used and developed by Słupecki) provided a broad response in literature after the Second World War. Łukasiewicz, already living in Dublin, uses such method in his research on intuitionistic logic [24], as well as in a four-valued modal system of propositional calculus [25], built by himself. At the same time, in Poland, further studies, inspired by Słupecki on Ł-decidability of deductive systems and the very notion of rejected proposition were taken up. In studies on Ł-decidability and providing complete refutation systems for logical systems (assertion systems) one of three methods, modeled on those described in the previous section, is usually used. In the next subsections we will present a few, more important results, connected with this research Calculi of Names J. Słupecki s research on Aristotle s syllogistic was continued mainly by B. Iwanuś. Using the Słupecki-Łukasiewicz s methods, Iwanuś managed to prove Ł-decidability of a few systems of calculi of names. Iwanuś [17] gave a proof of Ł-decidability of the whole traditional calculus of names, i.e. the system of Aristotle s syllogistic enriched by nominal negation. Another interesting, though much later obtained result of Iwanuś s research [18] is a proof of Ł-decidability of the system of Aristotle s syllogistic built by Słupecki [38]. In this system, the two initial Łukasiewicz s axioms (laws of identity) of the system AS (those that are absent in Aristotle s logic) are replaced with the following axioms: S a P S i P, S i P P i S. In Słupecki s system, unlike in the system AS, it is permissible for variables to represent empty names. A complete refutation system for the system given by Iwanuś [18] is based on three rejected axioms and one rejected rule that is germane to the traditional calculus of names. Iwanuś also, in [16], gave a proof of Ł-decidability of a certain version of elementary ontology, distinguished from the system of Leśniewski s Ontology (both terms were invented by Słupecki in [41], who presented a system of calculus of names, based on Leśniewski s findings). In elementary ontology it is possible to interpret both the asserted system AS and other asserted syllogistic systems richer than AS, with nominal negation. Iwanuś gave a complete refutation system for the version of the system of elementary ontology; Iwanuś s refutation system consist of two independent rejected axioms and one non-łukasiewicz s specific rejection rule. 4 G. Bryll (as well as his book [2]) and T. Skura have been very helpful in verifying certain significant facts.
14 14 Urszula Wybraniec-Skardowska 5.2. Propositional Logic As we have already mentioned, Łukasiewicz used to apply the axiomatic method of rejection also to some systems of propositional calculus Classical logic. Łukasiewicz mentioned in [25], that the classical propositional calculus with the inference rules r + 1 and r + 2 is Ł-decidable. A complete refutation system for it determines one rejected axiom, namely the sentential variable p, and two Łukasiewicz s rules: r 1 and r 2. Let us note that the method of rejection of false formulas (i.e. non-theses) used by Łukasiewicz can be replaced by Słupecki s method, omitting Łukasiewicz s rules, i.e. applying the following principle: If, from a formula of propositional calculus and the set of theses, it is possible to deduce, according to the rules r + 1 and r + 2, the rejected axiom p, then the formula is rejected (see D(Sł)). For the classical first-order calculus rejected axioms and rejected rules were formulated by T. Skura in [32]. Skura made use of the tableaux method. The rejection procedure accompanying the syntactic characterization of systems of propositional logic became a standard among logicians. We will limit our presentation of results in the scope of the rejection procedure in the systems to a brief mention of only intuitionistic logic and extensions, modal logic and Łukasiewicz s logics Intuitionistic logic and extensions. In his research on intuitionistic propositional calculus, Łukasiewicz [24] advanced the hypothesis that it is Ł-decidable. Moreover, he supposed that a sole rejected axiom of it is a propositional variable, and that the rejection rules are: r 1, r 2, and one special rule (Gödel rule) which states that the disjunction α β is rejected whenever so are α and β. Thanks to Kreisel-Putnam [19], we know that the rules proposed by Łukasiewicz do not suffice to reject all non-theses of the intuitionistic calculus. It is also known that there is no finite set of rejected axioms that, together with Łukasiewicz s rules, gives a complete refutation of intuitionistic system (cf. Maduch [28]). Ł-decidability of the intuitionistic propositional logic was achieved by D. Scott [29] using a countable number of non-structural rejection rules. However, Scott s results, which were presented in Summaries of Talks at Cornell University, were inaccessible to Słupecki s circle in behind the Iron Curtain (then) Poland. Independently of Scott s results, the proof of Ł-decidability of the intuitionistic propositional calculus was provided by R. Dutkiewicz [11]. In his approach, a complete refutation intuitionistic system is compounded of one axiom and three rejection rules: Łukasiewicz s rules, and a new, original rejection rule, which is, in fact, an infinite countable class of rejection rules of a common scheme. In his proof, Dutkiewicz uses the method of rejection modeled on the one applied by Łukasiewicz, as well as the method of Beth s semantic tableaux. Another proof of Ł-decidability for the intuitionistic calculus was given by Skura [30, 36], who, while defining a complete intuitionistic refutation system, added to Łukasiewicz s rules a new rule, or rather, a class of structural rules
15 Rejection in Łukasiewicz s and Słupecki s Sense 15 of rejection, the number of which is infinite. Skura in [31], provided a complete refutation system for certain intermediate logics Modal logic. The first research into a complete syntactic characterization of a modal propositional calculus was undertaken by Łukasiewicz [25]: he extends the four-valued modal system, built by himself, by two rejected axioms and his rejection rules, obtaining Ł-decidability of this system. Afterwards, Słupecki initiated research on Ł-decidability of Lewis system S5. In his and Bryll s paper [44], the proof of Ł-decidability was achieved with an assumption of one rejected axiom (the prepositional variable p) and, apart from Łukasiewicz s rules, a class of rejection rules of the common scheme. Skura [31, 32, 34] gave a simpler proof of Ł-decidability of Lewis system S5, assuming that the language of this system was supplemented with a symbol, i.e. the constant of falsity. Skura adopts this constant as the rejected axiom and extends the systems of Łukasiewicz s rules by: 1) a rule stating that: if formula p is rejected, the formula p is rejected, too; and 2) a class of structural rejection rules of the same scheme. Skura in [31, 35, 36], using the algebraic method, also provided a complete refutation system for the logic S4 and for some of its extension (Grzegorczyk s logic). A little earlier, V. Goranko [12, 13] formulated a complete refutation system for some normal modal propositional logics (including S4 and Grzegorczyk s logic) that are characterized by a class of finite trees. His refutation systems for these logics are based on the same rejected axiom (the constant ), Łukasiewicz s rules, and a class of non-structural rejected rules of the same scheme. The method of constructing refutation systems corresponding to classes of finite models was used by Skura [31] for intermediate logics and, by Skura [33] and Goranko [13], for certain normal modal logics. Skura in [33], showed that the refutation systems can be useful in such cases when a given system of logic cannot be characterized by any class of finite models: there is a decidable modal logic without a finite model property that has a simple refutation system. Tomasz Skura is regarded as an expert on the methods in refutation systems; his book [37] is devoted to refutation methods in modal propositional logics Łukasiewicz s many-valued logics. Researches into Ł-decidability of Łukasiewicz s sentential calculus were conducted in the Opole circle of logical research, which, for many years, was led by Jerzy Słupecki. G. Bryll and M. Maduch [3], formulated a uniform method of rejection of formulas in an n + 1-valued implicational, implicative-negative and definitionally complete Łukasiewicz s calculus. In these systems the same formula may be adopted as the sole rejected axiom 5 C(Cp) n q(cp) n 1 q 5 It is saved in Łukasiewicz s, so called Polish notation.
16 16 Urszula Wybraniec-Skardowska (for n = 1 we get, in particular, the rejected axiom: CCpqq in the classical implicational calculus). The only rejection rules are, here, Łukasiewicz s rules. A complete refutation system for ℵ 0 -valued Łukasiewicz s calculus was built by Skura [32] by extension of Łukasiewicz s rejection rules. Research into Ł-decidability of this system has been also conducted by Bryll [2]. His research was continued by R. Sochacki. R. Sochacki [50] gave complete refutation systems for all invariant Łukasiewicz s many-valued logics (in which the rule of rejection by substitution was eliminated; see also Sochacki [48], Bryll and Sochacki [4, 5]. Sochacki also built refutation systems for selected many-valued logics: the k-valued logic of Sobociński and some systems of nonsense logic [49, 51] The Generalized Method of Natural Deduction The method of rejection introduced to metalogical investigations by Łukasiewicz in many cases can be replaced with the generalized method of natural deduction. The latter is applicable to all propositional calculi which have finite adequate matrices, as well as to the intuitionistic propositional calculus and the first-order predicate calculus, that is, to almost all logics discussed in this section. The basis for such systems consists then of only assertion rules and rejection rules; the sets asserted and the rejected axioms are empty sets. The method used in the proofs is similar to Słupecki-Łukasiewicz s method of rejection, though they are apagogic proofs (by reductio ad absurdum). This method refers to the tableaux method. It is presented by Bryll [2], who in his studies refers to results obtained by Hintikka [15], Smullyan [47], Suchoń [54], Surma [55, 56] and Carnielli [8, 9]. 6. Rejection Operation As was noticed by Słupecki, the notion of rejected proposition is so general that it is most convenient to base studies concerning this notion on Tarski s theory of deductive systems, i.e. the axiomatic theory of consequence built by Alfred Tarski [57]. Let us recall that the only primitive notions of this theory are: the set F of all propositions (well-formed formulas) of an arbitrary but fixed language of a given system and the consequence operation: Cn + : 2 F 2 F ; the symbol Cn + (X) denotes the set of all consequences of the set X F. Properties of deductive systems characterized by the bases with refutation systems can be established by means of Tarski s theory of consequence enriched by the following definition of rejection operation: Cn 1 : 2 F 2 F,
17 Rejection in Łukasiewicz s and Słupecki s Sense 17 determined by the consequence operation Cn + (see D(Sł)): For any X F, α F α Cn 1 (X) β X(β Cn + ({α})) MD(Sł) According to the definition MD(Sł): a proposition α is a rejected proposition on the ground of the set X if and only if at least one of the propositions of X is derivable from (is a consequence of) α; the symbol Cn 1 (X) denotes the set of all propositions rejected on the ground of propositions of X. The following theorem helps to understand the intuitive sense of the definition MD(Sł): X F (X Y Cn + (X) Y ) X F (X Y Cn 1 (X) Y ). If Y is the set of all true propositions of F (then the set Y is the set of all false propositions of F ), then, according to the above theorem, we can state that: If consequence operation always leads from true propositions to true propositions, then a rejected operation always leads from false propositions to false propositions. So, the defined rejection operation (function) Cn 1 is a generalization of the notion of rejection introduced by Łukasiewicz. The definition MD(Sł) of the function Cn 1 was formulated by Słupecki [42]. Słupecki proved that the function satisfies all axioms of Tarski s general theory of deductive systems [57] for the consequence Cn + and that it is additive. Thus, the rejected operation is another consequence operation and is called a rejection consequence. It is clear that Every deductive system with a bi-level formalization (with the assertion system and the refutation system) can be characterized by the basis: F, Cn +, Cn 1 and that the extension of Tarski s theory of the definition MD(Sł) describes every such system. This theory has been developed in the form of the theory of rejected propositions by Wybraniec-Skardowska [62], and later also by Bryll [1]. Their researches have been a continuation of investigations initiated by J. Słupecki and have been conducted under his supervision to be later presented in co-authored papers (see Słupecki et al. [45, 46]. The theory of rejected propositions contains many significant theorems that are not counterparts of any theorem of Tarski s theory [58]. The following are examples of such theorems about the rejection operation Cn 1 : Cn 1 ( ) = it is normal, Cn 1 ( {X G: G F }) = {Cn 1 (X): X G F } it is complete additive, Cn 1 (X) = {Cn 1 ({α}): α X} it is unit operation,
18 18 Urszula Wybraniec-Skardowska α Cn 1 (X) β X(Cn 1 ({α} Cn 1 ({β})) it is a unit consequence. In the theory the following formulation of the rule of rejection by detachment is valid: c αβ Cn + (X) β Cn 1 (Y X) α Cn 1 (Y X), while in the Tarski s theory the formulation of rule of detachment has the form: c αβ Cn + (Y ) α Cn + (Y X) β Cn + (Y X). The set Y F can be understood as a set of axioms A + or the set of theses T + of a given deductive system. 7. Rejection Operation as a Primitive Notion There is a possibility of the axiomatization of a theory of rejected propositions in a dual and equivalent way, i.e. assuming that a primitive notion is the rejection consequence Cn 1, while Cn + is defined operation. Such dual theory of rejected propositions was formulated by Wybraniec- Skardowska [62](see also [67]). It can be understood as the theory describing the deductive systems with the basis F, Cn 1, Cn +. A theory of rejected propositions was developed also to formalize some problems of methodology of empirical sciences, mainly by G. Bryll [1] (see also Słupecki et al. [46]). The theories of rejected propositions have a natural interpretation, which was given by W. Staszek [53]: the set Cn 1 (X) can be understood as a set of all rejection proofs on the ground of a proposition of the set X, in the sense relating to the nature of rejection proofs used by Słupecki in his researches on Aristotle s syllogistic. In the theory of rejected propositions can be defined the notion of Ł-decidability Rejection Operation as a Finitistic Consequence. Dual consequences Rejection function Cn 1 can be generalized into a dual, finitistic consequence in the usual meaning. The notion of the dual consequence dcn + relating to the consequence Cn + was introduced by R. Wójcicki [61] by definition: α dcn + (X) Y X card(y ) < ℵ 0 ( {Cn + ({β}): β Y } Cn + ({α})). The dual consequence dcn + is stronger than the rejected consequence Cn 1 (i.e. Cn 1 dcn + ), though the former is linked with the latter by a number of interesting relationships (see Spasowski [52]). Facts: a. dcn +1 = Cn 1 and b. dcn 1 = Cn +1,
19 REFERENCES 19 where the unit consequence Cn +1 is defined as follows: α Cn +1 (X) β X(α Cn + ({β}). Certain studies of generalization of the notion of rejected expression in the form of a function of a consequence of rejection or a dual consequence are disscused by Wybraniec-Skardowska and Waldmajer [68]. The dual consequences Cn + and dcn + as well as Cn +1 and Cn 1 can be used to study both true (asserted), and respectively, false (rejected) contents of a given theory. The fact was noticed by J. Woleński [60] in his studies relating to Popper s conception of a comparison of scientific theories by their contents. References [1] Bryll, G.: Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejected sentences). In: [67, pp ] [2] Bryll, G.: Metody odrzucania wyrażeń(the methods of the rejection of expressions). Akademicka Oficyna Wydawnicza PLJ, Warszawa (1996) [3] Bryll, G., Maduch, M.: Aksjomaty odrzucone dla wielowartościowych logik Łukasiewicza (Rejected axioms for Łukasiewicz s many-valued logics). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Matematyka 6, 3 17 (1968) [4] Bryll, G., Sochacki, R.: Aksjomatyczne odrzucanie w inwariantnych rachunkach zdaniowych Łukasiewicza (Axiomatic rejection in invariant Łukasiewicz s propositional calculi). Zeszyty Naukowe Uniwersytetu Opolskiego, Matematyka 29, (1995) [5] Bryll, G., Sochacki, R.: Elimination of the rejection rule by substituting in the three-valued Łukasiewicz calculus. Acta Universitatis Wratislaviensis, Logika 18, (1998) [6] Carnap, R.: Introduction to semantics. Harvard University Press, Cambridge, Mass. (1942) [7] Carnap, R.: Formalization of logic. Harvard University Press, Cambridge, Mass. (1943) [8] Carnielli, W.A.: Systematization of finite many-valued logics. Journal of Symbolic Logic 52 (2), (1987) [9] Carnielli, W.A.: On sequents and Tableaux for many-valued logics. Journal for Non-Classical Logics 8 (1), (1991) [10] Citkin, A.: A meta-logic of inference rules. Syntax Log. Log Philos. 24, (2015) [11] Dutkiewicz, R.: The method of axiomatic rejection for the intuitionistic propositional logic. Studia Logica 48(4), (1989) [12] Goranko, V.: Proving unprovability in some normal modal logics. Bulletin of the Section of Logic of Polish Academy of Sciences 20, (1991) [13] Goranko, V.: Refutation systems in modal logic. Studia Logica 53, (1994)
20 20 REFERENCES [14] Grzegorczyk, A.: Zarys logiki matematycznej. PWN, Warszawa (1961). English trans.: Outline of mathematical logic. R.Reidel Publishing Company, Dordrecht (1974) [15] Hintikka, J.: Form and content in quantification theory. Acta Philosophica Fennica 8, 7 55 (1955) [16] Iwanuś, B.: On Leśniewski s elementary ontology. Studia Logica 31, (1972) [17] Iwanuś, B.: Proof of decidability of the traditional calculus of names. Studia Logica 32, (1973) [18] Iwanuś, B.: Z badań nad sylogistyką Arystotelesa (Investigations on Aristotle s syllogistic). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Matematyka 28, (1992) [19] Kreisel, G., Putnam, H.: Unableitbarkeits-beweismethode für den intuitionistischen Aussagenkalkül. Archiv für Mathematische Logik und Grundlagenforschung 3, (1957) [20] Łukasiewicz, J.: Logika dwuwartościowa (Two-valued logic). Przegląd Filozoficzny 23, (1921); English trans. by Wojtasiewicz, O.A. in: [27, pp ] [21] Łukasiewicz, J.: Elementy logiki matematycznej (an authorized collection of Łukasiewicz s lectures), ed. Presburger, M., (1929). Second edition, PWN, Warszawa (1958). English trans.: Elements of Mathematical Logic. Pergamon Press, Oxford and The Macmillan Company, New York (1963) [22] Łukasiewicz, J.: 0 sylogistyce Arystotelesa (On Aristotle s Syllogistic). Sprawozdania z Czynności i Posiedzeń Polskiej Akademii Umiejętności, no 44 (1939). Reprinted in: [26, pp ] [23] Łukasiewicz, J.: Aristotle s syllogistic from the standpoint of modern formal logic. Oxford (1951) (second edition in 1955) [24] Łukasiewicz, J.: On the intuitionistic theory of deduction. Indigationes Mathematicae, series A, 3, (1952). Reprinted in: citep[pp ]luk70 [25] Łukasiewicz, J.: A system of modal logic. The Journal of Computing Systems 1 (3), (1953). Reprinted in: [27, pp ] [26] Łukasiewicz, J.: Z zagadnień logiki i filozofii. Pisma wybrane (Problems in logic and philosophy. Selected papers). Słupecki, J. (ed., selection, introduction and footnotes). PWN, Warszawa (1961) [27] Łukasiewicz, J.: Selected works. Borkowski, L. (ed.). North-Holland Publishing Co., Amsterdam (1970) [28] Maduch, M.: O Łukasiewiczowskich regułach odrzucania (On Łukasiewicz s rules of rejection). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Matematyka 13, (1973) [29] Scott, D.: Completeness proofs for intuitionistic sentential calculus. In: Summaries of talks presented at the Summer Institute of Symbolic Logic, Cornell University (1957). Second edition by: Communications Research Div., pp , Princeton (1960)
21 REFERENCES 21 [30] Skura, T.: A complete syntactic characterization of the intuitionistic logic. Reports on Mathematical Logic 23, (1989) [31] Skura, T.: Refutation calculi for certain intermediate propositional logics. Notre Dame Journal of Formal Logic 33, (1992) [32] Skura, T.: Some results concerning refutation procedures. Acta Universitatis Wratislaviensis, Logika 15, (1993) [33] Skura, T.: Syntactic refutation against finite models in modal logic. Notre Dame Journal of Formal Logic 35, (1994) [34] Skura, T.: A Łukasiewicz-style refutation system for the modal logic S5. Journal of Philosophical Logic 24, (1995) [35] Skura, T.: Refutation and proofs in S4. In: Wansing, H. (ed.) Proof theory of modal logic, pp Kluwer Academic Publishers, Dordrecht (1996) [36] Skura, T.: Aspects of refutation procedures in the intuitionistic logic and related modal systems. Acta Universitatis Wratislawiensis, Logika 20, Wrocław (1999) [37] Skura, T.: Refutation Methods in Modal Propositional logic. Semper, Warszawa (2013) [38] Słupecki, J.: Uwagi o sylogistyce Arystotelesa (Remarks about Aristotle s syllogistic). Annales Universitatis M. Curie-Skłodowska, vol. I (3), (1946) [39] Słupecki, J.: Z badań nad sylogistyką Arystotelesa. Prace Wrocławskiego Towarzystwa Naukowego (B), (6), Wrocław (1948). English trans. in: [40] [40] Słupecki, J.: On Aristotelian syllogistic. Studia Philosophica 4, (1951) [41] Słupecki, J.: St. Leśniewski s calculus of names. Studia Logica 3, 7 76 (1955) [42] Słupecki, J.: Funkcja Łukasiewicza (The Łukasiewicz function). Zeszyty Naukowe Uniwersytetu Wrocławskiego, seria B, 3, (1959) [43] Słupecki, J.: Ł-decidability and decidability. Bulletin of the Section of Logic of Polish Academy of Sciences 1 (3), (1972) [44] Słupecki, J., Bryll, G.: Proof of Ł-decidability of Lewis system S5. Studia Logica 12, (1973) [45] Słupecki, J., Bryll, G., Wybraniec-Skardowska, U.: Theory of rejected propositions, part I. Studia Logica 29, (1971) [46] Słupecki, J., Bryll, G., Wybraniec-Skardowska, U.: Theory of rejected propositions, part II. Studia Logica 30, (1972) [47] Smullyan, R.M.: First order logic. Springer, Berlin-Heidelberg-New York (1968) [48] Sochacki, R.: Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz. Bulletin of the Section of Logic of Polish Academy of Sciences 36, 1 6 (2007) [49] Sochacki, R.: Rejected axioms for the nonsense-logic W and the k-valued logic of Sobociński. Logic and Logical Philosophy 17, (2008) [50] Sochacki, R.: Metody refutacyjne w badaniach nad systemami logicznymi (Refutation methods in research on logical systems). Studia i Monografie, nr 445, 1 122, Wydawnictwo Uniwersytetu Opolskiego, Opole (2010)
On Pairs of Dual Consequence Operations
Log. Univers. 5 (2011), 177 203 c 2011 The Author(s). This article is published with open access at Springerlink.com 1661-8297/11/020177-27, published online June 15, 2011 DOI 10.1007/s11787-011-0030-9
More informationPiotr Kulicki The Use of Axiomatic Rejection
Piotr Kulicki The Use of Axiomatic Rejection 1. Introduction The central point of logic is an entailment relation, which in different contexts is expressed as an implication in a system, syntactic derivability
More informationON A MINIMAL SYSTEM OF ARISTOTLE S SYLLOGISTIC
Bulletin of the Section of Logic Volume 40:3/4 (0), pp. 9 45 Piotr Kulicki ON A MINIMAL SYSTEM OF ARISTOTLE S SYLLOGISTIC Abstract The system of Syllogistic presented by J. S lupecki is a minimal, Lukasiewicz
More informationON THE ATOMIC FORMULA PROPERTY OF HÄRTIG S REFUTATION CALCULUS
Takao Inoué ON THE ATOMIC FORMULA PROPERTY OF HÄRTIG S REFUTATION CALCULUS 1. Introduction It is well-known that Gentzen s sequent calculus LK enjoys the so-called subformula property: that is, a proof
More informationGentzen-type Refutation Systems for Three-Valued Logics
Gentzen-type Refutation Systems for Three-Valued Logics Johannes Oetsch and Hans Tompits Technische Universität Wien, Institut für Informationssysteme 184/3, Favoritenstraße 9-11, A-1040 Vienna, Austria
More informationProseminar on Semantic Theory Fall 2013 Ling 720 Propositional Logic: Syntax and Natural Deduction 1
Propositional Logic: Syntax and Natural Deduction 1 The Plot That Will Unfold I want to provide some key historical and intellectual context to the model theoretic approach to natural language semantics,
More informationA SIMPLE AXIOMATIZATION OF LUKASIEWICZ S MODAL LOGIC
Bulletin of the Section of Logic Volume 41:3/4 (2012), pp. 149 153 Zdzis law Dywan A SIMPLE AXIOMATIZATION OF LUKASIEWICZ S MODAL LOGIC Abstract We will propose a new axiomatization of four-valued Lukasiewicz
More informationNON-FREGEAN LOGICS OF ANALYTIC EQUIVALENCE (II)
Bulletin of the Section of Logic Volume 44:1/2 (2015), pp. 69 79 Andrzej Bi lat In memory of Andrzej Grzegorczyk NON-FREGEAN LOGICS OF ANALYTIC EQUIVALENCE (II) Abstract This paper presents the main assumptions
More information1. Tarski consequence and its modelling
Bulletin of the Section of Logic Volume 36:1/2 (2007), pp. 7 19 Grzegorz Malinowski THAT p + q = c(onsequence) 1 Abstract The famous Tarski s conditions for a mapping on sets of formulas of a language:
More informationRefutability and Post Completeness
Refutability and Post Completeness TOMASZ SKURA Abstract The goal of this paper is to give a necessary and sufficient condition for a multiple-conclusion consequence relation to be Post complete by using
More informationAXIOMATIZATION OF THE SENTENTIAL LOGIC DUAL TO SOBOCIŃSKI S n-valued LOGIC
Bulletin of the Section of Logic Volume 40:1/2 (2011), pp. 47 54 Anetta Górnicka AXIOMATIZATION OF THE SENTENTIAL LOGIC DUAL TO SOBOCIŃSKI S n-valued LOGIC Abstract In [4] we introduced the sentential
More informationON THE AXIOMATIC SYSTEMS OF SYNTACTICALLY-CATEGORIAL LANGUAGES
Bulletin of the Section of Logic Volume 13/4 (1984), pp. 241 249 reedition 2008 [original edition, pp. 241 251] Urszula Wybraniec-Skardowska ON THE AXIOMATIC SYSTEMS OF SYNTACTICALLY-CATEGORIAL LANGUAGES
More informationRELATIONS BETWEEN PARACONSISTENT LOGIC AND MANY-VALUED LOGIC
Bulletin of the Section of Logic Volume 10/4 (1981), pp. 185 190 reedition 2009 [original edition, pp. 185 191] Newton C. A. da Costa Elias H. Alves RELATIONS BETWEEN PARACONSISTENT LOGIC AND MANY-VALUED
More informationCHAPTER 2 INTRODUCTION TO CLASSICAL PROPOSITIONAL LOGIC
CHAPTER 2 INTRODUCTION TO CLASSICAL PROPOSITIONAL LOGIC 1 Motivation and History The origins of the classical propositional logic, classical propositional calculus, as it was, and still often is called,
More informationcse541 LOGIC FOR COMPUTER SCIENCE
cse541 LOGIC FOR COMPUTER SCIENCE Professor Anita Wasilewska Spring 2015 LECTURE 2 Chapter 2 Introduction to Classical Propositional Logic PART 1: Classical Propositional Model Assumptions PART 2: Syntax
More informationNEW RESULTS IN LOGIC OF FORMULAS WHICH LOSE SENSE
Bulletin of the Section of Logic Volume 14/3 (1985), pp. 114 119 reedition 2007 [original edition, pp. 114 121] Adam Morawiec Krystyna Piróg-Rzepecka NEW RESULTS IN LOGIC OF FORMULAS WHICH LOSE SENSE Abstract
More informationPropositional logic (revision) & semantic entailment. p. 1/34
Propositional logic (revision) & semantic entailment p. 1/34 Reading The background reading for propositional logic is Chapter 1 of Huth/Ryan. (This will cover approximately the first three lectures.)
More information185.A09 Advanced Mathematical Logic
185.A09 Advanced Mathematical Logic www.volny.cz/behounek/logic/teaching/mathlog13 Libor Běhounek, behounek@cs.cas.cz Lecture #1, October 15, 2013 Organizational matters Study materials will be posted
More informationRasiowa-Sikorski proof system for the non-fregean sentential logic SCI
Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI Joanna Golińska-Pilarek National Institute of Telecommunications, Warsaw, J.Golinska-Pilarek@itl.waw.pl We will present complete and
More informationKLEENE LOGIC AND INFERENCE
Bulletin of the Section of Logic Volume 4:1/2 (2014), pp. 4 2 Grzegorz Malinowski KLEENE LOGIC AND INFERENCE Abstract In the paper a distinguished three-valued construction by Kleene [2] is analyzed. The
More informationApplied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw
Applied Logic Lecture 1 - Propositional logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018
More informationOn Refutation Rules. Tomasz Skura. 1. Introduction. Logica Universalis
Log. Univers. 5 (2011), 249 254 c 2011 The Author(s). This article is published with open access at Springerlink.com 1661-8297/11/020249-6, published online October 2, 2011 DOI 10.1007/s11787-011-0035-4
More informationChapter 2: Introduction to Propositional Logic
Chapter 2: Introduction to Propositional Logic PART ONE: History and Motivation Origins: Stoic school of philosophy (3rd century B.C.), with the most eminent representative was Chryssipus. Modern Origins:
More informationOn Axiomatic Rejection for the Description Logic ALC
On Axiomatic Rejection for the Description Logic ALC Hans Tompits Vienna University of Technology Institute of Information Systems Knowledge-Based Systems Group Joint work with Gerald Berger Context The
More informationA Structuralist Account of Logic
Croatian Journal of Philosophy Vol. VIII, No. 23, 2008 Majda Trobok, Department of Philosophy University of Rijeka A Structuralist Account of Logic The lynch-pin of the structuralist account of logic endorsed
More informationHypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models Agata Ciabattoni Mauro Ferrari Abstract In this paper we define cut-free hypersequent calculi for some intermediate logics semantically
More informationA META-LOGIC OF INFERENCE RULES: SYNTAX
Logic and Logical Philosophy Volume 24 (2015), 313 337 DOI: 10.12775/LLP.2015.007 Alex Citkin A META-LOGIC OF INFERENCE RULES: SYNTAX Abstract. This work was intended to be an attempt to introduce the
More informationClassical Propositional Logic
The Language of A Henkin-style Proof for Natural Deduction January 16, 2013 The Language of A Henkin-style Proof for Natural Deduction Logic Logic is the science of inference. Given a body of information,
More informationNONSTANDARD MODELS AND KRIPKE S PROOF OF THE GÖDEL THEOREM
Notre Dame Journal of Formal Logic Volume 41, Number 1, 2000 NONSTANDARD MODELS AND KRIPKE S PROOF OF THE GÖDEL THEOREM HILARY PUTNAM Abstract This lecture, given at Beijing University in 1984, presents
More informationBETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR
Bulletin of the Section of Logic Volume 38:3/4 (2009), pp. 123 133 Kordula Świȩtorzecka BETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR Abstract In the presented text we shall focus on some specific
More informationLogic for Computer Science - Week 4 Natural Deduction
Logic for Computer Science - Week 4 Natural Deduction 1 Introduction In the previous lecture we have discussed some important notions about the semantics of propositional logic. 1. the truth value of a
More informationHANDOUT AND SET THEORY. Ariyadi Wijaya
HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics
More informationSeminar Topic Assignment
Seminars @ Knowledge-based Systems Group 184/3 WS 2017/18 Seminar Topic Assignment Institut für Informationssysteme Arbeitsbereich Wissensbasierte Systeme www.kr.tuwien.ac.at Seminar Topics Seminars: Seminar
More informationPropositional Logic. Spring Propositional Logic Spring / 32
Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements
More informationThe Importance of Being Formal. Martin Henz. February 5, Propositional Logic
The Importance of Being Formal Martin Henz February 5, 2014 Propositional Logic 1 Motivation In traditional logic, terms represent sets, and therefore, propositions are limited to stating facts on sets
More informationEquivalents of Mingle and Positive Paradox
Eric Schechter Equivalents of Mingle and Positive Paradox Abstract. Relevant logic is a proper subset of classical logic. It does not include among itstheoremsanyof positive paradox A (B A) mingle A (A
More informationON PURE REFUTATION FORMULATIONS OF SENTENTIAL LOGICS
Bulletin of the Section of Logic Volume 19/3 (1990), pp. 102 107 reedition 2005 [original edition, pp. 102 107] Tomasz Skura ON PURE REFUTATION FORMULATIONS OF SENTENTIAL LOGICS In [1] J. Lukasiewicz introduced
More informationIntroduction to Metalogic
Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)
More informationFirst Order Logic (1A) Young W. Lim 11/18/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationOn Urquhart s C Logic
On Urquhart s C Logic Agata Ciabattoni Dipartimento di Informatica Via Comelico, 39 20135 Milano, Italy ciabatto@dsiunimiit Abstract In this paper we investigate the basic many-valued logics introduced
More information3 The Semantics of the Propositional Calculus
3 The Semantics of the Propositional Calculus 1. Interpretations Formulas of the propositional calculus express statement forms. In chapter two, we gave informal descriptions of the meanings of the logical
More information1. Propositional Calculus
1. Propositional Calculus Some notes for Math 601, Fall 2010 based on Elliott Mendelson, Introduction to Mathematical Logic, Fifth edition, 2010, Chapman & Hall. 2. Syntax ( grammar ). 1.1, p. 1. Given:
More informationMONADIC FRAGMENTS OF INTUITIONISTIC CONTROL LOGIC
Bulletin of the Section of Logic Volume 45:3/4 (2016), pp. 143 153 http://dx.doi.org/10.18778/0138-0680.45.3.4.01 Anna Glenszczyk MONADIC FRAGMENTS OF INTUITIONISTIC CONTROL LOGIC Abstract We investigate
More informationPropositional Logic: Part II - Syntax & Proofs 0-0
Propositional Logic: Part II - Syntax & Proofs 0-0 Outline Syntax of Propositional Formulas Motivating Proofs Syntactic Entailment and Proofs Proof Rules for Natural Deduction Axioms, theories and theorems
More informationTHE LOGIC OF COMPOUND STATEMENTS
THE LOGIC OF COMPOUND STATEMENTS All dogs have four legs. All tables have four legs. Therefore, all dogs are tables LOGIC Logic is a science of the necessary laws of thought, without which no employment
More informationADMISSIBILITY OF ACKERMANN S RULE δ IN RELEVANT LOGICS
Logic and Logical Philosophy Volume 22 (2013), 411 427 DOI: 10.12775/LLP.2013.018 Gemma Robles ADMISSIBILITY OF ACKERMANN S RULE δ IN RELEVANT LOGICS Abstract. It is proved that Ackermann s rule δ is admissible
More informationExistence and Predication in Free Logics. Secretaria de Estado de Educação do Distrito Federal, Brasil
Studia Humana Volume 6:4 (2017), pp. 3 9 DOI: 10.1515/sh-2017-0023 Guilherme Kubiszeski Existence and Predication in Free Logics Secretaria de Estado de Educação do Distrito Federal, Brasil email: guilhermefk4@gmail.com
More informationKrivine s Intuitionistic Proof of Classical Completeness (for countable languages)
Krivine s Intuitionistic Proof of Classical Completeness (for countable languages) Berardi Stefano Valentini Silvio Dip. Informatica Dip. Mat. Pura ed Applicata Univ. Torino Univ. Padova c.so Svizzera
More informationManual of Logical Style
Manual of Logical Style Dr. Holmes January 9, 2015 Contents 1 Introduction 2 2 Conjunction 3 2.1 Proving a conjunction...................... 3 2.2 Using a conjunction........................ 3 3 Implication
More informationProofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction
Introduction I Proofs Computer Science & Engineering 235 Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu A proof is a proof. What kind of a proof? It s a proof. A proof is a proof. And when
More informationTableau Systems for Logics of Formal Inconsistency
Tableau Systems for Logics of Formal Inconsistency Walter A. Carnielli Centre for Logic and Epistemology, and Department of Philosophy State University of Campinas CLE/Unicamp, Campinas, Brazil João Marcos
More informationThe Converse of Deducibility: C.I. Lewis and the Origin of Modern AAL/ALC Modal 2011 Logic 1 / 26
The Converse of Deducibility: C.I. Lewis and the Origin of Modern Modal Logic Edwin Mares Victoria University of Wellington AAL/ALC 2011 The Converse of Deducibility: C.I. Lewis and the Origin of Modern
More informationAxiomatic set theory. Chapter Why axiomatic set theory?
Chapter 1 Axiomatic set theory 1.1 Why axiomatic set theory? Essentially all mathematical theories deal with sets in one way or another. In most cases, however, the use of set theory is limited to its
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationMarie Duží
Marie Duží marie.duzi@vsb.cz 1 Formal systems, Proof calculi A proof calculus (of a theory) is given by: 1. a language 2. a set of axioms 3. a set of deduction rules ad 1. The definition of a language
More informationNatural Deduction for Propositional Logic
Natural Deduction for Propositional Logic Bow-Yaw Wang Institute of Information Science Academia Sinica, Taiwan September 10, 2018 Bow-Yaw Wang (Academia Sinica) Natural Deduction for Propositional Logic
More informationPropositional Logics and their Algebraic Equivalents
Propositional Logics and their Algebraic Equivalents Kyle Brooks April 18, 2012 Contents 1 Introduction 1 2 Formal Logic Systems 1 2.1 Consequence Relations......................... 2 3 Propositional Logic
More informationIntroduction to Metalogic
Introduction to Metalogic Hans Halvorson September 21, 2016 Logical grammar Definition. A propositional signature Σ is a collection of items, which we call propositional constants. Sometimes these propositional
More informationCHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationLearning Goals of CS245 Logic and Computation
Learning Goals of CS245 Logic and Computation Alice Gao April 27, 2018 Contents 1 Propositional Logic 2 2 Predicate Logic 4 3 Program Verification 6 4 Undecidability 7 1 1 Propositional Logic Introduction
More informationINTERNAL AND EXTERNAL LOGIC
Bulletin of the Section of Logic Volume 17:3/4 (1988) pp. 170 176 reedition 2005 [original edition pp. 170 181] V. A. Smirnov INTERNAL AND EXTERNAL LOGIC In an essential way I make use of Frege s and Vasilev
More informationFormal (natural) deduction in propositional logic
Formal (natural) deduction in propositional logic Lila Kari University of Waterloo Formal (natural) deduction in propositional logic CS245, Logic and Computation 1 / 67 I know what you re thinking about,
More information1. Algebra H-B-M-S- <A, 0, 1,,,,,, >
Bulletin of the Section of Logic Volume 17:3/4 (1988), pp. 127 133 reedition 2005 [original edition, pp. 127 137] Alexander S. Karpenko ALGEBRAIC STRUCTURE OF THE TRUTH-VALUES FOR L ω This paper is an
More informationProving Completeness for Nested Sequent Calculi 1
Proving Completeness for Nested Sequent Calculi 1 Melvin Fitting abstract. Proving the completeness of classical propositional logic by using maximal consistent sets is perhaps the most common method there
More informationAn Intuitively Complete Analysis of Gödel s Incompleteness
An Intuitively Complete Analysis of Gödel s Incompleteness JASON W. STEINMETZ (Self-funded) A detailed and rigorous analysis of Gödel s proof of his first incompleteness theorem is presented. The purpose
More informationModus Tollens Probabilized
Modus Tollens Probabilized CARL G. WAGNER University of Tennessee, U. S. A. Abstract We establish a probabilized version of modus tollens, deriving from p(e H) = a and p(ē) = b the best possible bounds
More informationESSLLI 2007 COURSE READER. ESSLLI is the Annual Summer School of FoLLI, The Association for Logic, Language and Information
ESSLLI 2007 19th European Summer School in Logic, Language and Information August 6-17, 2007 http://www.cs.tcd.ie/esslli2007 Trinity College Dublin Ireland COURSE READER ESSLLI is the Annual Summer School
More informationPrecis of Aristotle s Modal Syllogistic
Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. XC No. 3, May 2015 doi: 10.1111/phpr.12185 2015 Philosophy and Phenomenological Research, LLC Precis of Aristotle
More informationPropositional and Predicate Logic. jean/gbooks/logic.html
CMSC 630 February 10, 2009 1 Propositional and Predicate Logic Sources J. Gallier. Logic for Computer Science, John Wiley and Sons, Hoboken NJ, 1986. 2003 revised edition available on line at http://www.cis.upenn.edu/
More informationGödel s Incompleteness Theorems
Seminar Report Gödel s Incompleteness Theorems Ahmet Aspir Mark Nardi 28.02.2018 Supervisor: Dr. Georg Moser Abstract Gödel s incompleteness theorems are very fundamental for mathematics and computational
More informationA FRAGMENT OF BOOLE S ALGEBRAIC LOGIC SUITABLE FOR TRADITIONAL SYLLOGISTIC LOGIC
A FRAGMENT OF BOOLE S ALGEBRAIC LOGIC SUITABLE FOR TRADITIONAL SYLLOGISTIC LOGIC STANLEY BURRIS 1. Introduction Boole introduced his agebraic approach to logic in 1847 in an 82 page monograph, The Mathematical
More informationLecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem. Michael Beeson
Lecture 14 Rosser s Theorem, the length of proofs, Robinson s Arithmetic, and Church s theorem Michael Beeson The hypotheses needed to prove incompleteness The question immediate arises whether the incompleteness
More informationFirst-Degree Entailment
March 5, 2013 Relevance Logics Relevance logics are non-classical logics that try to avoid the paradoxes of material and strict implication: p (q p) p (p q) (p q) (q r) (p p) q p (q q) p (q q) Counterintuitive?
More informationOmitting Types in Fuzzy Predicate Logics
University of Ostrava Institute for Research and Applications of Fuzzy Modeling Omitting Types in Fuzzy Predicate Logics Vilém Novák and Petra Murinová Research report No. 126 2008 Submitted/to appear:
More informationFoundations of Mathematics MATH 220 FALL 2017 Lecture Notes
Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements
More informationDe Jongh s characterization of intuitionistic propositional calculus
De Jongh s characterization of intuitionistic propositional calculus Nick Bezhanishvili Abstract In his PhD thesis [10] Dick de Jongh proved a syntactic characterization of intuitionistic propositional
More informationCOMPLETE SETS OF CONNECTIVES FOR GENERALIZED ŁUKASIEWICZ LOGICS KAMERYN J WILLIAMS. CUNY Graduate Center 365 Fifth Avenue New York, NY USA
COMPLETE SETS OF CONNECTIVES FOR GENERALIZED ŁUKASIEWICZ LOGICS KAMERYN J WILLIAMS CUNY Graduate Center 365 Fifth Avenue New York, NY 10016 USA Abstract. While,, form a complete set of connectives for
More informationDraft of February 2019 please do not cite without permission. A new modal liar 1 T. Parent
Draft of February 2019 please do not cite without permission 1. Introduction A new modal liar 1 T. Parent Standardly, necessarily is treated in modal logic as an operator on propositions (much like ~ ).
More informationChapter 1 Elementary Logic
2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help
More informationInformal Statement Calculus
FOUNDATIONS OF MATHEMATICS Branches of Logic 1. Theory of Computations (i.e. Recursion Theory). 2. Proof Theory. 3. Model Theory. 4. Set Theory. Informal Statement Calculus STATEMENTS AND CONNECTIVES Example
More informationPropositional Logic Review
Propositional Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula Semantics Defining
More informationcis32-ai lecture # 18 mon-3-apr-2006
cis32-ai lecture # 18 mon-3-apr-2006 today s topics: propositional logic cis32-spring2006-sklar-lec18 1 Introduction Weak (search-based) problem-solving does not scale to real problems. To succeed, problem
More information5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mci
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mci Arnon Avron School of Computer Science, Tel-Aviv University http://www.math.tau.ac.il/ aa/ March 7, 2008 Abstract One of the
More informationStanford Encyclopedia of Philosophy
Stanford Encyclopedia of Philosophy The Mathematics of Boolean Algebra First published Fri Jul 5, 2002; substantive revision Mon Jul 14, 2014 Boolean algebra is the algebra of two-valued logic with only
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationUniform Schemata for Proof Rules
Uniform Schemata for Proof Rules Ulrich Berger and Tie Hou Department of omputer Science, Swansea University, UK {u.berger,cshou}@swansea.ac.uk Abstract. Motivated by the desire to facilitate the implementation
More informationPhilosophy 134 Module 2 Non-Modal Sentential Logic
Philosophy 134 Module 2 Non-Modal Sentential Logic G J Mattey August 1, 2013 Contents 1 Syntax of Sentential Logic 3 11 Expressions of SL 3 12 Rules of Formation for SL 4 2 Semantics for Sentential Logic
More informationPOSSIBLE WORLDS IN THE LANGUAGE OF NON-FREGEAN LOGIC
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 6(19) 2003 Mieczysław Omyła Warsaw University POSSIBLE WORLDS IN THE LANGUAGE OF NON-FREGEAN LOGIC I. Introduction The term possible world is used usually in the
More informationcse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018
cse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018 Chapter 7 Introduction to Intuitionistic and Modal Logics CHAPTER 7 SLIDES Slides Set 1 Chapter 7 Introduction to Intuitionistic and Modal Logics
More informationLecture 11: Measuring the Complexity of Proofs
IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Advanced Course on Computational Complexity Lecture 11: Measuring the Complexity of Proofs David Mix Barrington and Alexis Maciel July
More informationGödel s Incompleteness Theorems by Sally Cockburn (2016)
Gödel s Incompleteness Theorems by Sally Cockburn (2016) 1 Gödel Numbering We begin with Peano s axioms for the arithmetic of the natural numbers (ie number theory): (1) Zero is a natural number (2) Every
More informationForcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus
Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus Hugo Herbelin 1 and Gyesik Lee 2 1 INRIA & PPS, Paris Université 7 Paris, France Hugo.Herbelin@inria.fr 2 ROSAEC center,
More informationA PROPOSITIONAL CALCULUS FOR INCONSISTENT DEDUCTIVE SYSTEMS
Logic and Logical Philosophy Volume 7 1999), 35 56 Stanisław Jaśkowski A PROPOSITIONAL CALCULUS FOR INCONSISTENT DEDUCTIVE SYSTEMS 1. The origin of the problem The principle that two contradictory statements
More informationAndrew Schumann, Roman Murawski Is the Polish Logic One of the Best Traditions Still? Studia Humana nr 3/4, 78-82
Andrew Schumann, Roman Murawski Is the Polish Logic One of the Best Traditions Still? Studia Humana nr 3/4, 78-82 2012 Studia Humana Volume 1:3/4 (2012), pp.78 82 Is the Polish Logic One of the Best Traditions
More informationSupplementary Logic Notes CSE 321 Winter 2009
1 Propositional Logic Supplementary Logic Notes CSE 321 Winter 2009 1.1 More efficient truth table methods The method of using truth tables to prove facts about propositional formulas can be a very tedious
More informationWhat are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos
What are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos armandobcm@yahoo.com February 5, 2014 Abstract This note is for personal use. It
More informationA generalization of modal definability
A generalization of modal definability Tin Perkov Polytechnic of Zagreb Abstract. Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models
More informationPropositional Logic Language
Propositional Logic Language A logic consists of: an alphabet A, a language L, i.e., a set of formulas, and a binary relation = between a set of formulas and a formula. An alphabet A consists of a finite
More informationCanonical Calculi: Invertibility, Axiom expansion and (Non)-determinism
Canonical Calculi: Invertibility, Axiom expansion and (Non)-determinism A. Avron 1, A. Ciabattoni 2, and A. Zamansky 1 1 Tel-Aviv University 2 Vienna University of Technology Abstract. We apply the semantic
More informationAn Introduction to Modal Logic I
An Introduction to Modal Logic I Introduction and Historical remarks Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 10 th 2013 Marco
More information