DOCSLIB.ORG

Logic for Philosophy

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

CONTENTS 1 What is Logic? I 1.1 Logical consequence and logical truth 1.2 Formalization 2 1.3 Metalogic 4 Exercises 1.1-1.2 6 1.4 Application 6 1.5 The nature of logical consequence 7 Exercise 1.3 9 1.6 Logical constants 9 1.7 Extensions, deviations, variations II 1.8 Settheory 12 Exercises 1.4-1. 5 24 2 Propositional Logic 25 2.1 Grammar of PL 25 2.2 The semantic approach to logic 28 2.3 Semantics of PL 29 Exercise 2.1 35 2.4 Establishing validity and invalidity in PL 35 Exercise 2.2 36 2.4.1 Schemas, validity, and invalidity 36 2.5 Sequent proofs in PL 37 2.5.1 Sequents 38 2.5.2 Rules 4° 2.5.3 Sequent proofs 42 2.5.4 Example sequent proofs 43 Exercise 2. 3 46 2.6 Axiomatic proofs in PL 46 Exercise 2.4 5° 2.7 Soundness of PL and proof by induction 5° Exercises 2.5-2.10 55 2.8 PL-proofs and the deduction theorem 56 Exercises 2.11-2.12 62 2.9 Completeness of PL 62 2.9.1 Maximal consistent sets of wffs 62 2.9.2 Maximal consistent extensions 63 2.9.3 F eatures of maximal consistent sets 65 2.9.4 The proof 65 x Contents 3 Beyond Standard Propositional Logic 67 3.1 Alternate connectives 67 3.1.1 Symbolizing truth functions in PL 67 3.1.2 Sheffer stroke 7° 3.1.3 Inadequate connective sets 7° Exercises 3.1-3.3 71 3.2 Polish notation 71 Exercise 3.4 72 3.3 Nonclassical propositionallogics 72 3.4 Three-valued logic 73 3.4.1 Lukasiewicz's system 75 Exercises 3.5-3.6 77 3.4.2 Kleene's tables 77 Exercises 3.7-3.9 79 3.4.3 Determinacy 79 3.4.4 Priesťs logic of paradox 80 Exercises 3.10-3.11 82 3.4.5 Supervaluationism 82 Exercises 3.12-3.16 86 3.5 Intuitionistic propositionallogic: proof theory 86 Exercise 3.17 89 4 Predicate Logic 9° 4.1 Grammar of PC 9° 4.2 Semantics of PC 91 Exercise 4.1 96 4.3 Establishing validity and invalidity in PC 96 Exercises 4.2-4.3 98 4.4 Axiomatic proofs in PC 99 Exercise 4.4 104 4.5 Metalogic of PC 104 Exercise 4.5 106 5 Beyond Standard Predicate Logic 107 5.1 Identity 107 5.1.1 Grammar for the identity sign 107 5.1.2 Semantics for the identity sign 108 5.1.3 Symbolizations with the identity sign 108 Exercises 5.1-5.2 109 5.2 Function symbols 110 Exercise 5.3 III 5.2.1 Grammar for function symbols III 5.2.2 Semantics for function symbols 112 Exercise 5.4 113 5.3 Definite descriptions 113 Contents xi 5.3.1 Grammar for I 114 5.3.2 Semantics for I 114 Exercises 5.5-5.6 117 5.3.3 Elimination of function symbols and descriptions 117 Exercises 5.7-5.8 119 5.4 Further quantifiers 119 5.4.1 Generalized monadic quantifiers 120 Exercise 5.9 121 5.4.2 Generalized binary quantifiers 122 Exercise 5.10 12 3 5.4.3 Second-order logic 12 3 Exercise 5.11 126 5.5 Complex predicates 126 Exercises 5.12-5.13 129 5.6 Free logic 129 5.6.1 Semantics for free logic 129 Exercises 5.14-5.15 13 2 5.6.2 Proof theory for free logic 13 2 6 Modal Propositional Logic 133 6.1 Grammar of MPL 135 6.2 Symbolizations in MPL 135 6.3 Semantics for MPL 137 6.3.1 Kripke models 13 8 Exercise 6.1 143 6.3.2 Establishing validity in MPL 143 Exercise 6.2 145 6.3.3 Establishing invalidity in MPL 145 Exercise 6.3 158 6.4 Axiomatic systems of MPL 158 6.4.1 System K 159 Exercises 6.4-6. 5 166 6.4.2 System D 166 Exercise 6.6 167 6.4.3 System T 167 Exercise 6. 7 167 6.4.4 System B 168 Exercise 6.8 168 6.4.5 System S4 168 Exercise 6.9 169 6.4.6 System Ss 169 Exercise 6.10 170 6.4.7 Substitution of equivalents and modal reduction 170 Exercise 6.11 172 XlI Contents 6.5 Soundness in MPL 173 Exercises 6.12-6.13 174 6.5.1 Soundness of K 174 6.5.2 Soundness of T 175 6.5.3 Soundness of B 175 Exercises 6.14-6.1 5 175 6.6 Completeness in MPL 175 6.6.1 Definition of canonical models 176 6.6.2 Facts about maximal consistent sets 177 Exercise 6.16 178 6.6.3 "Mesh" 179 Exercise 6.17 180 6.6.4 Truth and membership in canonical models 180 6.6.5 Completen es s of systems of MPL 181 Exercises 6.18-6.20 182 7 Beyond Standard Modal Propositional Logic 18 3 7.1 Deontic logic 18 3 Exercises 7.1-7.2 185 7.2 Epistemic logic 185 Exercise 7.3 186 7.3 Propositional tense logic 186 7.3.1 The metaphysics of time 186 7.3.2 Tense opera tors 188 7.3.3 Possible-worlds semantics for tense logic 189 Exercises 7.4-7.5 190 7.3.4 Formal constraints on ::s 190 Exercise 7.6 192 7.4 lntuitionistic propositionallogic: semantics 192 7.4.1 Proof stages 192 Exercises 7.7-7.8 195 7.4.2 Validity and semantic consequence 195 Exercises 7.9-7.10 196 7.4.3 Soundness 196 Exercises 7.11-7.13 198 8 Counterfactuals 199 8.1 Natural-language counterfactuals 199 8.1.1 Antecedents and consequents 199 8.1.2 Can be contingent 200 8.1.3 No augmentation 200 8.1.4 No contraposition 201 8.1.5 Some implications 201 8.1.6 Context dependence 202 8.2 The Lewis-Stalnaker theory 20 3 Contents xiii 8.3 Stalnaker's system 2°4 8.3.1 Syntax ofSC 204 8.3.2 Semantics of SC 2°5 Exercise 8.1 2°7 8.4 Establishing validity in SC 2°7 Exercise 8.2 208 8.5 Establishing invalidity in SC 208 Exercises 8.3-8.4 216 8.6 Logical features of SC 216 8.6.1 No exportation 21 7 8.6.2 No importation 21 7 8.6.3 No permutation 218 8.6.4 No transitivity 218 8.7 Lewis's criticisms of Stalnaker's theory 21 9 8.8 Lewis's system 221 Exercises 8.5-8.6 223 8.9 The problem of disjunctive antecedents 223 8.10 Counterfactuals as strict conditionals 224 9 Quantified Modal Logic 227 9.1 Grammar ofQML 227 9.2 De re and de dicto 227 9.3 A simple semantics for QML 23° 9.4 Establishing validity and invalidity in SQML 232 Exercise 9.1 23 6 9.5 Philosophical questions about SQML 23 6 9.5.1 The necessity of identity 23 6 9.5.2 The necessity of existence 23 8 Exercise 9.2 241 9.5.3 N ecessary existence defended? 241 9.6 Variable domains 244 9.6.1 Contingent existence vindicated 245 Exercises 9.3-9.4 246 9.6.2 lncreasing, decreasing domains 246 Exercise 9.5 247 9.6.3 Strong and weak necessity 247 9.6.4 Actualist and possibilist quantification 249 9.7 Axiomatic proofs in SQML 249 Exercise 9.6 25 2 10 Two-dimensional Modal Logic 253 10.1 Actuality 253 10.1.1 Kripke models with designated worlds 253 Exercise 10.1 254 10.1.2 Semantics for @ 254 XlV Contents 10.1.3 Establishing validity and invalidity 255 10.2 x 255 10.2.1 Two-dimensional semantics for x 256 Exercise 10.2 25 8 10.3 Fixedly 25 8 Exercises 10.3-lO. 5 260 10.4 Necessity and apriority 260 Exercises lO.6-lO.9 265 Appendix A Answers and Hints to Selected Exercises 266 References 281 Index 28 5 .
Recommended publications
  • Rules of Replacement II, §7.4

    Rules of Replacement II, §7.4

    Philosophy 109, Modern Logic, Queens College Russell Marcus, Instructor email: [email protected] website: http://philosophy.thatmarcusfamily.org Office phone: (718) 997-5287 Rules of Replacement II, §7.4 I. The Last Five Rules of Replacement See the appendix at the end of the lesson for truth tables proving equivalence for each. Transposition (Trans) P e Q :: -Q e -P You may switch the antecedent and consequent of a conditional statement, as long as you negate (or un-negate) both. Often used with (HS). Also, traditionally, called the ‘contrapositive’. Sample Derivation: 1. A e B 2. D e -B / A e -D 3. --B e -D 2, Trans 4. A e -D 1, 3, DN, HS QED Transposition can be tricky when only one term is negated: A e -B becomes, by Trans: --B e -A which becomes, by DN B e -A Equivalently, but doing the double negation first: A e -B becomes, by DN: --A e -B becomes, by Trans: B e -A Either way, you can include the DN on the line with Trans. Material Implication (Impl) P e Q :: -P w Q Implication allows you to change a statement from a disjunction to a conditional, or vice versa. It’s often easier to work with disjunctions. You can use (DM) to get conjunctions. You may be able to use distribution, which doesn’t apply to conditionals. On the other hand, sometimes, you just want to work with conditionals. You can use (HS) and (MP). Proofs are overdetermined by our system - there are many ways to do them.
  • 7.1 Rules of Implication I

    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.
  • Tables of Implications and Tautologies from Symbolic Logic

    Tables of Implications and Tautologies from Symbolic Logic

    Tables of Implications and Tautologies from Symbolic Logic Dr. Robert B. Heckendorn Computer Science Department, University of Idaho March 17, 2021 Here are some tables of logical equivalents and implications that I have found useful over the years. Where there are classical names for things I have included them. \Isolation by Parts" is my own invention. By tautology I mean equivalent left and right hand side and by implication I mean the left hand expression implies the right hand. I use the tilde and overbar interchangeably to represent negation e.g. ∼x is the same as x. Enjoy! Table 1: Properties of All Two-bit Operators. The Comm. is short for commutative and Assoc. is short for associative. Iff is short for \if and only if". Truth Name Comm./ Binary And/Or/Not Nands Only Table Assoc. Op 0000 False CA 0 0 (a " (a " a)) " (a " (a " a)) 0001 And CA a ^ b a ^ b (a " b) " (a " b) 0010 Minus b − a a ^ b (b " (a " a)) " (a " (a " a)) 0011 B A b b b 0100 Minus a − b a ^ b (a " (a " a)) " (a " (a " b)) 0101 A A a a a 0110 Xor/NotEqual CA a ⊕ b (a ^ b) _ (a ^ b)(b " (a " a)) " (a " (a " b)) (a _ b) ^ (a _ b) 0111 Or CA a _ b a _ b (a " a) " (b " b) 1000 Nor C a # b a ^ b ((a " a) " (b " b)) " ((a " a) " a) 1001 Iff/Equal CA a $ b (a _ b) ^ (a _ b) ((a " a) " (b " b)) " (a " b) (a ^ b) _ (a ^ b) 1010 Not A a a a " a 1011 Imply a ! b a _ b (a " (a " b)) 1100 Not B b b b " b 1101 Imply b ! a a _ b (b " (a " a)) 1110 Nand C a " b a _ b a " b 1111 True CA 1 1 (a " a) " a 1 Table 2: Tautologies (Logical Identities) Commutative Property: p ^ q $ q
  • Chapter 10: Symbolic Trails and Formal Proofs of Validity, Part 2

    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.
  • Philosophy 109, Modern Logic Russell Marcus

    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.
  • Section 1.2: Propositional Logic

    Section 1.2: Propositional Logic

    Section 1.2: Propositional Logic January 14, 2021 Abstract Now we’re going to use the tools of formal logic to reach logical conclusions (“prove theorems”) based on wffs formed by some given statements. This is the domain of propositional logic. • Propositional wff: represent some sort of argument, to be tested, or proven, by propositional logic. • valid arguments, e.g. P1 ∧ P2 ∧ . ∧ Pn → Q have hypotheses (we suppose – assert – that the Pi are true), and a conclusion (Q). To be valid, this argument must be a tautology (always true). To be an argument, Q must not be identically true (i.e. a fact, in which case the hypotheses are irrelevant, by the truth table of implication). Examples a. Valid argument: If logic is hard, then I am a monkey’s uncle. I am not a monkey’s uncle. Therefore, logic is not hard. b. Invalid arguments: If people are crazy, then they should be in an asylum. I am in an asylum. i. Therefore 1 + 1 = 2. ii. Therefore I am crazy. • Proof Sequence: a sequence of wffs in which every wff is an hypothesis or the result of applying the formal system’s derivation rules (truth-preserving rules) in sequence. Our Objective: to reach the conclusion Q from the hypotheses P1, P2, . ., Pn (with reasons!). The famous cartoonist Sidney Harris knows that you need to fol- low the rules (equivalence and inference rules) in a proof sequence: • Types of derivation rules: – Equivalence rules (see Table 1.11, p. 28): we can substi- tute equivalent wffs in a proof sequence by invoking equiv- alence rules.
  • Implicational Propositional Calculus: Tableaux and Completeness

    Implicational Propositional Calculus: Tableaux and Completeness

    IMPLICATIONAL PROPOSITIONAL CALCULUS TABLEAUX AND COMPLETENESS P.L. ROBINSON Abstract. We discuss tableaux for the Implicational Propositional Calculus and show how they may be used to establish its completeness. 0. Introduction Tableaux [5] and dual tableaux [1] facilitate not only an intuitive analysis of the logical structure of propositional formulas but also an elegant proof that the classical Propositional Calculus is complete in the sense that all tautologies are theorems. The Implicational Proposi- tional Calculus (IPC) has the conditional (⊃) as its only primitive connective and modus ponens (MP) as its only inference rule; it is traditionally based on the three axiom schemes [(A ⊃ B) ⊃ A] ⊃ A A ⊃ (B ⊃ A) [A ⊃ (B ⊃ C)] ⊃ [(A ⊃ B) ⊃ (A ⊃ C)] of which the first scheme is due to Peirce. It is well-known that IPC is complete: a Kalm`ar approach is outlined in Exercises 6.3 - 6.5 of [2]; a Lindenbaum approach is offered in [3]. Our purpose in this paper is to adapt the signed dual tableaux of [6] and thereby present another proof of IPC completeness. 1. IPC: Tableaux and Completeness Throughout, we shall make free use of the fact that the Deduction Theorem (DT) holds in IPC: if A and the set Γ of (well-formed IPC) formulas furnish a deduction of B, then Γ alone furnishes a deduction of A ⊃ B; with standard symbolism, if Γ, A ⊢ B then Γ ⊢ A ⊃ B. A special case is usually proved en route to DT: namely, A ⊃ A is a theorem scheme of IPC. A particularly useful consequence of DT is Hypothetical Syllogism (HS): A ⊃ B,B ⊃ C ⊢ A ⊃ C.
  • Section 1.2: Propositional Logic

    Section 1.2: Propositional Logic

    Section 1.2: Propositional Logic January 15, 2020 Abstract Now we’re going to use the tools of formal logic to reach logical conclusions (“prove theorems”) based on wffs formed by some given statements. This is the domain of propositional logic. • Propositional wff: represent some sort of argument, to be tested, or proven, by propositional logic. • valid arguments, e.g. P1 ∧ P2 ∧ . ∧ Pn → Q have hypotheses (we suppose – assert – that the Pi are true), and a conclusion (Q). To be valid, this argument must be a tautology (always true). To be an argument, Q must not be identically true (i.e. a fact, in which case the hypotheses are irrelevant, by the truth table of implication). Examples a. Valid argument: If logic is hard, then I am a monkey’s uncle. I am not a monkey’s uncle. Therefore, logic is not hard. b. Invalid arguments: If people are crazy, then they should be in an asylum. I am in an asylum. i. Therefore 1 + 1 = 2. ii. Therefore I am crazy. • Proof Sequence: a sequence of wffs in which every wff is an hypothesis or the result of applying the formal system’s derivation rules (truth-preserving rules) in sequence. Our Objective: to reach the conclusion Q from the hypotheses P1, P2, . ., Pn (with reasons!). The famous cartoonist Sidney Harris knows that you need to fol- low the rules (equivalence and inference rules) in a proof sequence: • Types of derivation rules: – Equivalence rules (see Table 1.11, p. 28): we can substi- tute equivalent wffs in a proof sequence by invoking equiv- alence rules.
  • 9.6 Expanding the Rules of Inference: Replacement Rules 393

    9.6 Expanding the Rules of Inference: Replacement Rules 393

    M09_COPI1396_13_SE_C09.QXD 10/19/07 3:46 AM Page 393 9.6 Expanding the Rules of Inference: Replacement Rules 393 is the manager’s next-door neighbor; E—Mr. Jones’s annual earnings are exactly divisible by 3; T—$40,000 is exactly divisible by 3; R— Mr. Robinson is the manager’s next-door neighbor; H—Mr. Robinson lives halfway between Detroit and Chicago; D—Mr. Robinson lives in Detroit; S—Mr. Smith is the manager’s next-door neighbor.) 9. If Mr. Smith is the manager’s next-door neighbor, then Mr. Smith lives halfway between Detroit and Chicago. If Mr. Smith lives halfway between Detroit and Chicago, then he does not live in Chicago. Mr. Smith is the manager’s next-door neighbor. If Mr. Robinson lives in Detroit, then he does not live in Chicago. Mr. Robinson lives in Detroit. Mr. Smith lives in Chicago or else either Mr. Robinson or Mr. Jones lives in Chicago. If Mr. Jones lives in Chicago, then the manager is Jones. Therefore the manager is Jones. (S—Mr. Smith is the manager’s next-door neighbor; W—Mr. Smith lives halfway between Detroit and Chicago; L—Mr. Smith lives in Chicago; D—Mr. Robinson lives in Detroit; I—Mr. Robinson lives in Chicago; C—Mr. Jones lives in Chicago; B—The manager is Jones.) *10. If Smith once beat the editor at billiards, then Smith is not the editor. Smith once beat the editor at billiards. If the manager is Jones, then Jones is not the editor. The manager is Jones.
  • J. Michael Dunn and Greg Restall

    J. Michael Dunn and Greg Restall

    J. MICHAEL DUNN AND GREG RESTALL RELEVANCE LOGIC 1 INTRODUCTION 1.1 Delimiting the topic The title of this piece is not `A Survey of Relevance Logic'. Such a project was impossible in the mid 1980s when the first version of this article was published, due to the development of the field and even the space limitations of the Handbook. The situation is if anything, more difficult now. For example Anderson and Belnap and Dunn's two volume [1975, 1992] work Entailment: The Logic of Relevance and Necessity, runs to over 1200 pages, and is their summary of just some of the work done by them and their co- workers up to about the late 1980s. Further, the comprehensive bibliography (prepared by R. G. Wolf) contains over 3000 entries in work on relevance logic and related fields. So, we need some way of delimiting our topic. To be honest the fact that we are writing this is already a kind of delimitation. It is natural that you shall find emphasised here the work that we happen to know best. But still rationality demands a less subjective rationale, and so we will proceed as follows. Anderson [1963] set forth some open problems for his and Belnap's sys- tem E that have given shape to much of the subsequent research in relevance logic (even much of the earlier work can be seen as related to these open problems, e.g. by giving rise to them). Anderson picks three of these prob- lems as major: (1) the admissibility of Ackermann's rule γ (the reader should not worry that he is expected to already know what this means), (2) the decision problems, (3) the providing of a semantics.
  • Baronett, Logic (4Th Ed.) Chapter Guide

    Baronett, Logic (4Th Ed.) Chapter Guide

    Baronett, Logic (4th ed.) Chapter Guide Chapter 8: Natural Deduction A. Natural Deduction Natural deduction is a proof procedure based on the truth definitions of the logical operators, ~, •, v, , and . This system uses implication rules and replacement rules to derive the conclusion of a valid argument. B. Implication Rules I Implication rules are valid argument forms. They are validly applied only to an entire line of a proof. Modus Ponens (MP), Modus Tollens (MT), Hypothetical Syllogism (HS), and Disjunctive Syllogism (DS) make up the first four implication rules in the system of natural deduction: C. Tactics and Strategy Natural deduction allows for creativity because sometimes more than one equally correct proof is possible for a given problem. This means that it is important to approach a proof with constructive ideas about how to reach the goal of deriving the conclusion from the premises. Strategy is the overall approach you take to setting up a proof, such as initially locating the conclusion somewhere “inside” the premises. Tactics are small scale maneuvers as you work your way through a proof, using each of the rules. D. Implication Rules II Simplification (Simp), Conjunction (Conj), Addition (Add) and Constructive Dilemma (CD) make up the second four implication rules in the system of natural deduction: E. Replacement Rules I Both sets of replacements rules enlist the principle of replacement, which states that logically equivalent expressions may replace each other within the context of a proof. Replacement rules can be used either on a part of a line or an entire line in a proof. De Morgan (DM), Double Negation (DN), Commutation (Com), Association (Assoc), Distribution (Dist) and are sets of equivalent statements, one of which can be substituted for the other in a proof.
  • About the Class: Some General Course Information Who Should Take This Class? Course Mechanics What You Need to Do About Logic: Why Is It Important?

    About the Class: Some General Course Information Who Should Take This Class? Course Mechanics What You Need to Do About Logic: Why Is It Important?

    Phil. 2440 Course Requirements, What is logic? To discuss today: About the class: Some general course information Who should take this class? Course mechanics What you need to do About logic: Why is it important? About the course: Some general course information Professor: Michael Huemer <[email protected]> Office hours: MWF, 1-2, in Prufrock’s. Web page: http://home.sprynet.com/~owl1/244.htm Subject matter of the course: Propositional logic Predicate logic Set theory Metalogic + Gödel’s Theorem Course requirements: Tests. Homework problems. Guidelines (see syllabus): May discuss, do not copy Lateness: 2/3 credit Sending by email Grading Miscellaneous guidelines for the course: Come on time. Come to office hours. Question. Grading: the curve: (Adjusted grade) = (Raw score)( n) + 100 (1- n) What do you need to do now? Get the course reader. Read the syllabus. Read chapter 1. For Friday: do questions on chapter 1 About logic: Why is logic important for philosophers? The importance of arguments in philosophy Logic teaches us about the structure of propositions. Many philosophical theses/issues could not be formulated without modern, formal logic. You should be able to understand modern philosophers. Can logic help us make progress in philosophy? To think about: how did modern science make progress? The role of mathematics in modern science. Phil. 2440 Chapter 1: General Introduction To discuss today: What logic is Arguments Basic concepts used in logic Some silly-sounding principles of logic The subject matter of logic: What is logic? What is reasoning? The importance of reasoning ‘Correct’ vs. ‘incorrect’ reasoning. Two kinds of mistakes: False premises Invalid reasoning Logical vs.