Chapter 9- Sentential Proofs
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Frontiers of Conditional Logic
City University of New York (CUNY) CUNY Academic Works All Dissertations, Theses, and Capstone Projects Dissertations, Theses, and Capstone Projects 2-2019 Frontiers of Conditional Logic Yale Weiss The Graduate Center, City University of New York How does access to this work benefit ou?y Let us know! More information about this work at: https://academicworks.cuny.edu/gc_etds/2964 Discover additional works at: https://academicworks.cuny.edu This work is made publicly available by the City University of New York (CUNY). Contact: [email protected] Frontiers of Conditional Logic by Yale Weiss A dissertation submitted to the Graduate Faculty in Philosophy in partial fulfillment of the requirements for the degree of Doctor of Philosophy, The City University of New York 2019 ii c 2018 Yale Weiss All Rights Reserved iii This manuscript has been read and accepted by the Graduate Faculty in Philosophy in satisfaction of the dissertation requirement for the degree of Doctor of Philosophy. Professor Gary Ostertag Date Chair of Examining Committee Professor Nickolas Pappas Date Executive Officer Professor Graham Priest Professor Melvin Fitting Professor Edwin Mares Professor Gary Ostertag Supervisory Committee The City University of New York iv Abstract Frontiers of Conditional Logic by Yale Weiss Adviser: Professor Graham Priest Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional|especially counterfactual|expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that cat- alyzed the rapid maturation of the field. -
7.1 Rules of Implication I
Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic. The method consists of using sets of Rules of Inference (valid argument forms) to derive either a conclusion or a series of intermediate conclusions that link the premises of an argument with the stated conclusion. The First Four Rules of Inference: ◦ Modus Ponens (MP): p q p q ◦ Modus Tollens (MT): p q ~q ~p ◦ Pure Hypothetical Syllogism (HS): p q q r p r ◦ Disjunctive Syllogism (DS): p v q ~p q Common strategies for constructing a proof involving the first four rules: ◦ Always begin by attempting to find the conclusion in the premises. If the conclusion is not present in its entirely in the premises, look at the main operator of the conclusion. This will provide a clue as to how the conclusion should be derived. ◦ If the conclusion contains a letter that appears in the consequent of a conditional statement in the premises, consider obtaining that letter via modus ponens. ◦ If the conclusion contains a negated letter and that letter appears in the antecedent of a conditional statement in the premises, consider obtaining the negated letter via modus tollens. ◦ If the conclusion is a conditional statement, consider obtaining it via pure hypothetical syllogism. ◦ If the conclusion contains a letter that appears in a disjunctive statement in the premises, consider obtaining that letter via disjunctive syllogism. Four Additional Rules of Inference: ◦ Constructive Dilemma (CD): (p q) • (r s) p v r q v s ◦ Simplification (Simp): p • q p ◦ Conjunction (Conj): p q p • q ◦ Addition (Add): p p v q Common Misapplications Common strategies involving the additional rules of inference: ◦ If the conclusion contains a letter that appears in a conjunctive statement in the premises, consider obtaining that letter via simplification. -
The Incorrect Usage of Propositional Logic in Game Theory
The Incorrect Usage of Propositional Logic in Game Theory: The Case of Disproving Oneself Holger I. MEINHARDT ∗ August 13, 2018 Recently, we had to realize that more and more game theoretical articles have been pub- lished in peer-reviewed journals with severe logical deficiencies. In particular, we observed that the indirect proof was not applied correctly. These authors confuse between statements of propositional logic. They apply an indirect proof while assuming a prerequisite in order to get a contradiction. For instance, to find out that “if A then B” is valid, they suppose that the assumptions “A and not B” are valid to derive a contradiction in order to deduce “if A then B”. Hence, they want to establish the equivalent proposition “A∧ not B implies A ∧ notA” to conclude that “if A then B”is valid. In fact, they prove that a truth implies a falsehood, which is a wrong statement. As a consequence, “if A then B” is invalid, disproving their own results. We present and discuss some selected cases from the literature with severe logical flaws, invalidating the articles. Keywords: Transferable Utility Game, Solution Concepts, Axiomatization, Propositional Logic, Material Implication, Circular Reasoning (circulus in probando), Indirect Proof, Proof by Contradiction, Proof by Contraposition, Cooperative Oligopoly Games 2010 Mathematics Subject Classifications: 03B05, 91A12, 91B24 JEL Classifications: C71 arXiv:1509.05883v1 [cs.GT] 19 Sep 2015 ∗Holger I. Meinhardt, Institute of Operations Research, Karlsruhe Institute of Technology (KIT), Englerstr. 11, Building: 11.40, D-76128 Karlsruhe. E-mail: [email protected] The Incorrect Usage of Propositional Logic in Game Theory 1 INTRODUCTION During the last decades, game theory has encountered a great success while becoming the major analysis tool for studying conflicts and cooperation among rational decision makers. -
46. on the Completeness O F the Leibnizian Modal System with a Restriction by Setsuo SAITO Shibaura Institute of Technology,Tokyo (Comm
198 [Vol. 42, 46. On the Completeness o f the Leibnizian Modal System with a Restriction By Setsuo SAITO Shibaura Institute of Technology,Tokyo (Comm. by Zyoiti SUETUNA,M.J.A., March 12, 1966) § 1. Introduction. The purpose of this paper is to show the completeness of a modal system which will be called Lo in the following. In my previous paper [1], in order to show an example of defence of _.circular definition, the following definition was given: A statement is analytic if and only if it is consistent with every statement that expresses what is possible. This definition, roughly speaking, is materially equivalent to Carnap's definition of L-truth which is suggested by Leibniz' conception that a necessary truth must hold in all possible worlds (cf. Carnap [2], p.10). If "analytic" is replaced by "necessary" in the above definition, this definition becomes as follows: A statement is necessary if and only if it is consistent with every statement that expresses what is possible. This reformed definition is symbolized by modal signs as follows: Opm(q)[Qq~O(p•q)1, where p and q are propositional variables. Let us replace it by the following axiom-schema and rule: Axiom-schema. D a [Q,9 Q(a •,S)], where a, ,9 are arbitrary formulas. Rule of inference. If H Q p Q(a •p), then i- a, where a is an arbitrary formula and p is a propositional variable not contained in a. We call L (the Leibnizian modal system) the system obtained from the usual propositional calculus by adding the above axiom schema and rule and the rule of replacement of material equivalents. -
CS 205 Sections 07 and 08 Supplementary Notes on Proof Matthew Stone March 1, 2004 [email protected]
CS 205 Sections 07 and 08 Supplementary Notes on Proof Matthew Stone March 1, 2004 [email protected] 1 Propositional Natural Deduction The proof systems that we have been studying in class are called natural deduction. This is because they permit the same lines of reasoning and the same form of argument that you see in ordinary mathematics. Students generally find it easier to represent their mathematical ideas in natural deduction than in other ways of doing proofs. In these systems the proof is a sequence of lines. Each line has a number, a formula, and a justification that explains why the formula can be introduced into the proof. The simplest kind of justification is that the formula is a premise, and the argument depends on it. Another common justification is modus ponens, which derives the consequent of a conditional in the proof whose antecedent is also part of the proof. Here is a simple proof with these two rules used together. Example 1 1P! QPremise 2Q! RPremise 3P Premise 4 Q Modus ponens 1,3 5 R Modus ponens 2,4 This proof assumes that P is true, that P ! Q,andthatQ ! R. It uses modus ponens to conclude that R must then be true. Some inference rules in natural deduction allow assumptions to be made for the purposes of argument. These inference rules create a subproof. A subproof begins with a new assumption. This assumption can be used just within this subproof. In addition, all the assumption made in outer proofs can be used in the subproof. -
Chapter 10: Symbolic Trails and Formal Proofs of Validity, Part 2
Essential Logic Ronald C. Pine CHAPTER 10: SYMBOLIC TRAILS AND FORMAL PROOFS OF VALIDITY, PART 2 Introduction In the previous chapter there were many frustrating signs that something was wrong with our formal proof method that relied on only nine elementary rules of validity. Very simple, intuitive valid arguments could not be shown to be valid. For instance, the following intuitively valid arguments cannot be shown to be valid using only the nine rules. Somalia and Iran are both foreign policy risks. Therefore, Iran is a foreign policy risk. S I / I Either Obama or McCain was President of the United States in 2009.1 McCain was not President in 2010. So, Obama was President of the United States in 2010. (O v C) ~(O C) ~C / O If the computer networking system works, then Johnson and Kaneshiro will both be connected to the home office. Therefore, if the networking system works, Johnson will be connected to the home office. N (J K) / N J Either the Start II treaty is ratified or this landmark treaty will not be worth the paper it is written on. Therefore, if the Start II treaty is not ratified, this landmark treaty will not be worth the paper it is written on. R v ~W / ~R ~W 1 This or statement is obviously exclusive, so note the translation. 427 If the light is on, then the light switch must be on. So, if the light switch in not on, then the light is not on. L S / ~S ~L Thus, the nine elementary rules of validity covered in the previous chapter must be only part of a complete system for constructing formal proofs of validity. -
Argument Forms and Fallacies
6.6 Common Argument Forms and Fallacies 1. Common Valid Argument Forms: In the previous section (6.4), we learned how to determine whether or not an argument is valid using truth tables. There are certain forms of valid and invalid argument that are extremely common. If we memorize some of these common argument forms, it will save us time because we will be able to immediately recognize whether or not certain arguments are valid or invalid without having to draw out a truth table. Let’s begin: 1. Disjunctive Syllogism: The following argument is valid: “The coin is either in my right hand or my left hand. It’s not in my right hand. So, it must be in my left hand.” Let “R”=”The coin is in my right hand” and let “L”=”The coin is in my left hand”. The argument in symbolic form is this: R ˅ L ~R __________________________________________________ L Any argument with the form just stated is valid. This form of argument is called a disjunctive syllogism. Basically, the argument gives you two options and says that, since one option is FALSE, the other option must be TRUE. 2. Pure Hypothetical Syllogism: The following argument is valid: “If you hit the ball in on this turn, you’ll get a hole in one; and if you get a hole in one you’ll win the game. So, if you hit the ball in on this turn, you’ll win the game.” Let “B”=”You hit the ball in on this turn”, “H”=”You get a hole in one”, and “W”=”you win the game”. -
Philosophy 109, Modern Logic Russell Marcus
Philosophy 240: Symbolic Logic Hamilton College Fall 2014 Russell Marcus Reference Sheeet for What Follows Names of Languages PL: Propositional Logic M: Monadic (First-Order) Predicate Logic F: Full (First-Order) Predicate Logic FF: Full (First-Order) Predicate Logic with functors S: Second-Order Predicate Logic Basic Truth Tables - á á @ â á w â á e â á / â 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 Rules of Inference Modus Ponens (MP) Conjunction (Conj) á e â á á / â â / á A â Modus Tollens (MT) Addition (Add) á e â á / á w â -â / -á Simplification (Simp) Disjunctive Syllogism (DS) á A â / á á w â -á / â Constructive Dilemma (CD) (á e â) Hypothetical Syllogism (HS) (ã e ä) á e â á w ã / â w ä â e ã / á e ã Philosophy 240: Symbolic Logic, Prof. Marcus; Reference Sheet for What Follows, page 2 Rules of Equivalence DeMorgan’s Laws (DM) Contraposition (Cont) -(á A â) W -á w -â á e â W -â e -á -(á w â) W -á A -â Material Implication (Impl) Association (Assoc) á e â W -á w â á w (â w ã) W (á w â) w ã á A (â A ã) W (á A â) A ã Material Equivalence (Equiv) á / â W (á e â) A (â e á) Distribution (Dist) á / â W (á A â) w (-á A -â) á A (â w ã) W (á A â) w (á A ã) á w (â A ã) W (á w â) A (á w ã) Exportation (Exp) á e (â e ã) W (á A â) e ã Commutativity (Com) á w â W â w á Tautology (Taut) á A â W â A á á W á A á á W á w á Double Negation (DN) á W --á Six Derived Rules for the Biconditional Rules of Inference Rules of Equivalence Biconditional Modus Ponens (BMP) Biconditional DeMorgan’s Law (BDM) á / â -(á / â) W -á / â á / â Biconditional Modus Tollens (BMT) Biconditional Commutativity (BCom) á / â á / â W â / á -á / -â Biconditional Hypothetical Syllogism (BHS) Biconditional Contraposition (BCont) á / â á / â W -á / -â â / ã / á / ã Philosophy 240: Symbolic Logic, Prof. -
The Family of Lodato Proximities Compatible with a Given Topological Space
Can. J. Math., Vol. XXVI, No. 2, 1974, pp. 388-404 THE FAMILY OF LODATO PROXIMITIES COMPATIBLE WITH A GIVEN TOPOLOGICAL SPACE W. J. THRON AND R. H. WARREN Compendium. Let (X, $~) be a topological space. By 99?i we denote the family of all Lodato proximities on X which induced". We show that 99? i is a complete distributive lattice under set inclusion as ordering. Greatest lower bound and least upper bound are characterized. A number of techniques for constructing elements of SDîi are developed. By means of one of these construc tions, all covers of any member of 99? i can be obtained. Several examples are given which relate 9D?i to the lattice 99? of all compatible proximities of Cech and the family 99?2 of all compatible proximities of Efremovic. The paper concludes with a chart which summarizes many of the structural properties of a», a»! and a»2. 1. Preliminaries and notation. M. W. Lodato in [51 and [6] has studied a symmetric generalized proximity structure (see Definition 1.2). Naimpally and Warrack [8] have called such a structure a Lodato proximity. We shall also use this name. The closure operator induced by a Lodato proximity satisfies the four Kuratowski closure conditions. This paper is primarily concerned with a study of the order structure of the family 99?i of all Lodato proximities which induce the same closure operator on a given set. Lodato characterized the least element in 99?i and those topo logical spaces for which 99?i ^ 0. Sharma and Naimpally [9] described the greatest member of 99? 1 and have given two methods for constructing members of 2»i. -
The Default OLP Configuration File Open-Logic-Config.Sty
The Default OLP Configuration File open-logic-config.sty Open Logic Project 2021-08-12 524d89a Description This file contains all commands and environments that are meant to be configured, changed, or adapted by a user generating their own text based on OLP text. Do not edit this file to customize your OLP-derived text! A file myversion.tex adapted from open-logic-complete.tex (or from any of the contributed example master files) will include myversion-config.sty if it exists. It will do so after it loads this file, so your myversion-config.sty will redefine the defaults. This means you won’t have to include everything, e.g., you can just change some tags and nothing else. You may copy and paste definitions you want to change into that file, or copy thi file, rename it myversion-config.sty and delete anything you’d like to leave as the default. Symbols Formula metavariabes Use the exclamation point symbol ! immediately in front of an uppercase letter in math mode for formula metavariables. By default, !A, !B, . are typeset as ϕ, ψ, χ, . if you use the command \olgreekformulas. If this is not desired, and you’d like A, B, C, . instead, use \ollatinformulas. If you issue \olalphagreekformulas, you’ll get α, β, γ,.... Greek symbols: prefer varphi and varepsilon Logical symbols The following commands are used in the OLP texts for logical symbols. Their definitions can be customized to produce different output. Truth Values • \True defaults to T and \False to F. 1 Other truth values Propositional Constants and Connectives • Falsity is \lfalse and defaults to ⊥. -
Types of Proof System
Types of proof system Peter Smith October 13, 2010 1 Axioms, rules, and what logic is all about 1.1 Two kinds of proof system There are at least two styles of proof system for propositional logic other than trees that beginners ought to know about. The real interest here, of course, is not in learning yet more about classical proposi- tional logic per se. For how much fun is that? Rather, what we are doing { as always { is illustrating some Big Ideas using propositional logic as a baby example. The two new styles are: 1. Axiomatic systems The first system of formal logic in anything like the contempo- rary sense { Frege's system in his Begriffsschrift of 1879 { is an axiomatic one. What is meant by `axiomatic' in this context? Think of Euclid's geometry for example. In such an axiomatic theory, we are given a \starter pack" of basic as- sumptions or axioms (we are often given a package of supplementary definitions as well, enabling us to introduce new ideas as abbreviations for constructs out of old ideas). And then the theorems of the theory are those claims that can deduced by allowed moves from the axioms, perhaps invoking definitions where appropriate. In Euclid's case, the axioms and definitions are of course geometrical, and he just helps himself to whatever logical inferences he needs to execute the deductions. But, if we are going to go on to axiomatize logic itself, we are going to need to be explicit not just about the basic logical axioms we take as given starting points for deductions, but also about the rules of inference that we are permitted to use. -
An Introduction to Critical Thinking and Symbolic Logic: Volume 1 Formal Logic
An Introduction to Critical Thinking and Symbolic Logic: Volume 1 Formal Logic Rebeka Ferreira and Anthony Ferrucci 1 1An Introduction to Critical Thinking and Symbolic Logic: Volume 1 Formal Logic is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. 1 Preface This textbook has developed over the last few years of teaching introductory symbolic logic and critical thinking courses. It has been truly a pleasure to have beneted from such great students and colleagues over the years. As we have become increasingly frustrated with the costs of traditional logic textbooks (though many of them deserve high praise for their accuracy and depth), the move to open source has become more and more attractive. We're happy to provide it free of charge for educational use. With that being said, there are always improvements to be made here and we would be most grateful for constructive feedback and criticism. We have chosen to write this text in LaTex and have adopted certain conventions with symbols. Certainly many important aspects of critical thinking and logic have been omitted here, including historical developments and key logicians, and for that we apologize. Our goal was to create a textbook that could be provided to students free of charge and still contain some of the more important elements of critical thinking and introductory logic. To that end, an additional benet of providing this textbook as a Open Education Resource (OER) is that we will be able to provide newer updated versions of this text more frequently, and without any concern about increased charges each time.