Elementary Logic - Southern Illinois University Carbondale

Elementary Logic - Southern Illinois University Carbondale

Elementary Logic PHIL 105-302 Intersession 2013 MTWHF 10:00 12:00 ASA0118C Steven A. Miller Day 4 Formalizing review Symbolization chart: It is not the case= ~ And =& Or =v If then = If and only if =

Therefore = Logical semantics Our interpretations are concerned with statements truth and falsity. Principle of bivalence: Every statement is either true or false (and not both). Logical semantics Negation semantics The Cubs are the best team is true, then whats false? It is not the case that the Cubs are the best team. Logical semantics Negation semantics

Likewise, if: The Cubs are the best team is false, then whats true? It is not the case that the Cubs are the best team. Logical semantics Negation semantics (truth table) P T F ~P F T Logical semantics

Conjunction semantics My name is Steven and my name is Miller. is true when My name is Steven Miller. Logical semantics Conjunction semantics My name is Steven and my name is Miller. is false when My name is not Steven or Miller, or both. Logical semantics Conjunction semantics (truth table) P

T T F F Q T F T F P &Q T F F F

Logical semantics Disjunction semantics My name is Steven or my name is Miller. is true when My name is Steven or Miller, or both. Logical semantics Disjunction semantics or both: Soup or salad? Logical semantics Disjunction semantics Inclusive disjunction: this, or that, or both Exclusive disjunction:

this, or that, but not both Logical semantics Disjunction semantics For our purposes, unless stated otherwise, all disjunctions are inclusive: or means: this, or that, or both Logical semantics Disjunction semantics (truth table) P T T F F

Q T F T F P vQ T T T F Logical semantics Disjunction semantics Exclusive disjunction symbolization: (P v Q) & ~(P & Q)

Logical semantics Exclusive disjunction semantics (truth table) P T T F F Q T F T F (P v Q) & ~ (P & Q)

T T T F T F F F Logical semantics Exclusive disjunction semantics (truth table) P T T F F

Q T F T F (P v Q) & ~ (P & Q) T F T T T F T T F

F T F Logical semantics Exclusive disjunction semantics (truth table) P T T F F Q T F T

F (P v Q) & ~ (P & Q) T F F T T TT F T TT F F FT F Logical semantics Exclusive disjunction semantics (truth

table) P T T F F Q T F T F (P v Q) & ~ (P & Q) T F F T T

TT F T TT F F FT F Logical semantics Material conditional semantics Follows the rules of deductive validity (in fact, every argument is an if-then statement). Is false only when antecedent (premises) is true and consequent (conclusion) is false.

Logical semantics Material conditional semantics This can be counter-intuitive, see: If there are fewer than three people in the room, then Paris is the capital of Egypt. Logical semantics Material conditional semantics If there are fewer than three people in the room, then Paris is the capital of Egypt. Antecedent = false Consequent = false Logical semantics

Material conditional semantics (truth table) P T T F F Q T F T F PQ T F

T T Logical semantics Biconditional semantics Biconditional is conjunction of two material conditionals with the antecedent and consequent reversed: P Q = (P Q) & (Q P) Logical semantics Biconditional semantics (truth table) P T T F

F Q T F T F (P Q) & (Q P) T T F T T F T T

Logical semantics Biconditional semantics (truth table) P T T F F Q T F T F (P Q) & (Q P) T

T T F F T T F F T T T Logical semantics Biconditional semantics (truth table) P T T F F

Q T F T F (P Q) T F F T Seventh Inning Stretch (Buy Me Some Peanuts ) Logical semantics

Combining truth tables Always work from the operator that affects the least of the formula to that which affects the most of it. ~[(P & ~Q) v (Z Q)] Logical semantics Combining truth tables P T T F F Q T F

T F ~~ (P & Q) T F F F Logical semantics Combining truth tables P T T F F

Q T F T F ~~ F T T T (P & Q) T F F F

Logical semantics Combining truth tables P T T F F Q T F T F ~~ (P T F

F T F T F T & Q) T F F F Logical semantics Combining truth tables P T T F F

Q T F T F ~~ (P T F F T F T F T & Q) T F F

F Logical semantics Combining truth tables P T T F F Q T F T F (~P & Q) ~ (Q

T T T T F F F T T F F F v P) T T F

F Logical semantics Combining truth tables P T T F F Q T F T F (~P & Q) ~ (Q v P)

FT T T T FT F F T TF T T F TF F F F Logical semantics Combining truth tables P T

T F F Q T F T F (~P FT FT TF TF &

F F T F Q) ~ (Q v P) T T T F F T T T F F F F Logical semantics Combining truth tables

P T T F F Q T F T F (~P FT FT TF TF

& F F T F Q) ~ (Q v P) T TT T F FT T T TT F F FF F

Logical semantics Combining truth tables P T T F F Q T F T F (~P FT FT

TF TF & F F T F Q) ~ (Q v P) T F TT T F F FT T T F TT F F

T FF F Logical semantics Combining truth tables P T T F F Q T F T F (~P

FT FT TF TF & F F T F Q) T F T F

T T F T ~ (Q v P) F TT T F FT T F TT F T FF F Logical semantics Combining truth tables P T T

F F Q T F T F (~P FT FT TF TF & F

F T F Q) T F T F ~ (Q v P) T F TT T T F FT T F F TT F T T FF F Three kinds of formulas

Tautologies true in all cases P T F P v ~P T F F T Three kinds of formulas Tautologies true in all cases P T F P v ~P TT F

FT T Three kinds of formulas Tautologies true in all cases P T F P v ~P TT F FT T Three kinds of formulas Contradictory (or truth-functionally inconsistent) false in all cases P P & ~P

T T F F F T Three kinds of formulas Contradictory (or truth-functionally inconsistent) false in all cases P P & ~P T TF F F FF T Three kinds of formulas Contradictory (or truth-functionally

inconsistent) false in all cases P P & ~P T TF F F FF T Three kinds of formulas Contingent can be both true and false Z R Z & R T T T T F F F T

F F F F Putting it all together Either Peter or Saul went to the bar. Peter did not go. Therefore, Saul went. 1) P v S 2) ~P 3) S Putting it all together 1) P v S 2) ~P 3) S Whats this arguments form?

Disjunctive syllogism. Putting it all together 1) P v S 2) ~P 3) S [(P v S) & ~P] S Putting it all together P T T F F S T

F T F [(P v S) & ~P] S T T T T T F T F F T F T F F F F

Putting it all together P T T F F S T F T F [(P v S) & ~P] S T T FT

T T F FT F F T TF T F F TF F Putting it all together P T T F F

S T F T F [(P v TT TT FT FF S) & ~P] S T FT T

F FT F T TF T F TF F Putting it all together P T T F F

S T F T F [(P v TT TT FT FF S) T F T F

& ~P] F FT F FT T TF F TF S T F T F Putting it all together P T T

F F S T F T F [(P v TT TT FT FF S) T

F T F & ~P] S F FT T T F FT T F T TF T T F TF T F This argument is valid; there is no line where the premises are all true and the conclusion is false. Putting it all together A truth table that has no lines where the premises are all true and the conclusion false presents a valid

argument. A truth table that has at least one line where the premises are all true and the conclusion false presents an invalid argument. Things were skipping - Truth / refutation trees, S. pp. 68-77 - identical in purpose to tables - more efficient - but no time = no need

Recently Viewed Presentations

  • Bush & Obama - Miss Caspers' Classroom

    Bush & Obama - Miss Caspers' Classroom

    Bush & Obama PPT and Notes "Inside Obama's Presidency" video notes. Laptops. W. Bush: Pre-Presidency. Son of George H. W. Bush . Attended public schools, prep schools, and boarding schools . He was the head cheerleader! Attended Yale and Harvard.
  • SPECIAL PRESIDENTIAL PACKAGE REVITALISATION OF DISTRESSED MINING COMMUNITIES

    SPECIAL PRESIDENTIAL PACKAGE REVITALISATION OF DISTRESSED MINING COMMUNITIES

    IMC for the Revitalisation of Distressed Mining Communities . In late 2012, an Inter Ministerial Committee for the Revitalisation of Distressed Mining Communities was established to address Part 3 of the Social Accord (SPP): Addressing socio-economic challenges in mining districts...
  • The Accounting Cycle: A Mini Case - University of Idaho

    The Accounting Cycle: A Mini Case - University of Idaho

    After posting - record the adjusting entries in the Adjustment columns of the eight-column worksheet. Use the adjusting entry values to update the account balances for each adjusted account. Place the adjusted account balances, as well as all others, in...
  • Sensation & Perception, 5e

    Sensation & Perception, 5e

    The tonotopic organization of the auditory system suggests that frequency composition is the determinant of how we hear sounds. Basic Operating Characteristics of the Auditory System. Figure 9.22 The threshold for hearing sounds at varying frequencies.
  • Next-Generation Stanford Shading System

    Next-Generation Stanford Shading System

    It was introduced in 1996 by Marc and Pat at Stanford, and by Steve Gortler and colleagues at Harvard and Microsoft Research. Okay, so here's the conventional photograph that we would have gotten. Notice that it's focused on Matt, and...
  • www.laboutiquedelpowerpoint.com

    www.laboutiquedelpowerpoint.com

    PRESENTA PRODUCCIONES TANGO CUMPLEAÑOS PRESIDENT CUMPLEAÑOS PRESIDENT * SALIR MARRET Pocas mujeres han inspirado una adoración tan duradera en la conciencia pública como Marilyn Monroe y tienes imágenes inspiradas por este icono en el Centro de Artes Finas de Colorado...
  • Humes Old and New: Cartesian Fellow-Traveller, or Revolutionary?

    Humes Old and New: Cartesian Fellow-Traveller, or Revolutionary?

    Arial Wingdings Symbol Beam General Philosophy Personal Identity Leibniz's Law Again Cross-Temporal Identity Locke on the Identity of Matter Sorites Arguments Locke on the Identity of Organisms Locke on Personal Identity Personal Identity as "Forensic" Reid's Problem Case The Ancestral...
  • Graphing Quadratic Functions - chaoticgolf.com

    Graphing Quadratic Functions - chaoticgolf.com

    FIRST: Find the vertex SECOND: To find other points on the parabola without making a table of values, start at the vertex and move right 1, up a … then move right 1, up 3a … then move right 1...