introductory logic phi 120 presentation: "intro to formal logic" please turn off all cell...
TRANSCRIPT
Introductory LogicPHI 120
Presentation: "Intro to Formal Logic"
Please turn off all cell phones!
Please take out your book.
Homework1. Study Allen/Hand Logic Primer
– "Well-formed Formula," pp. 6-7– "Binary and Unary Connectives," p. 7– "Parentheses Dropping Conventions," p. 9– ("Denial,“ – logically opposite sentences, p. 7)
2. Handout on Class Web Page:– Truth Tables Handout
3. Watch At Home: – “Basic Concepts Review” presentation
Bring this handout to class
from now on!
Expressions any sequence of symbols in the logic
Sentences (WFFs)expressions that are well-formed
The Well-Formed Formula
An initial distinction
Sentences: two basic kinds i. atomic or simple
i. cannot be broken into simpler sentencesii. no connectives
ii. complexi. made up of simpler sentencesii. they always contain some connective
Symbolic Elements of the Logic
1. Atomic sentences
2. Connectives (or Logical Operators)
3. Parentheses ( … )
Symbolic Elements of the Logic
1. Atomic or Simple Sentences• Sentence variables
– Examples:» P e.g., “John dances on the table.”» Q e.g., “The table will be broken.”» R e.g., "James is the man next to the wall over
there.
Symbolic Elements of the Logic2. Connectives (or Logical Operators)
~ the tilde “it is not the case that …” or simply "not"
& the ampersand “ … and … ”
v the wedge “either … or … ”
-> the arrow “if … then … ”
<-> the double arrow “ … if and only if … ”
Examples:
~P
P & Q
P v Q
P -> Q
P <-> Q
Symbolic Elements of the Logic
3. Parentheses– Examples:
1. ( P & (Q -> R ))
2. P & (Q -> R)
3. P & Q -> R
4. P & (Q & R)
P and (if Q then R)
P and (if Q then R)
If P and Q then R
See page 9: “parentheses dropping conventions”
P and (Q and R)
Outermost parentheses unnecessary
Inner Parentheses When necessary?
Parenthesis Dropping
1. Drop parentheses surrounding sentence.
2. Drop embedded parentheses only if unambiguous.
Kinds of Variables
• Sentence Variable: P, Q, R, S, T, ...– an element of the formal language
– stands for any simple (atomic) sentence in natural language
• Metavariable: Φ (Phi) or Ψ (Psi)– not an element of the formal language
– stands for the any WFF
– used to represent logical form
The 6 Sentences (WFFs)(pages 6-7)
1) Atomic Sentence (P, Q, R, S, …)2) Negation ~Φ3) Conjunction Φ & Ψ4) Disjunction Φ v Ψ5) Conditional Φ -> Ψ6) Biconditional Φ <-> Ψ7) and nothing else
Unary
Binary
P = We are studying symbolic logic.
Q = It is interesting.
P = We are studying symbolic logic. ~P = We are not studying symbolic logic. ~~P = It is false that we are not studying symbolic logic.
Recognizing Negations
• The ~ attaches to the symbol directly to the right of it.
Examples:~P~~P~(P & Q)~P & ~Q~(~P & ~Q)NB: the middle statement is not a negation
(Note the parentheses)
Strongest~
& and/or v->
<->Weakest
~Φ~Φ
P = You study hardQ = You will do well on the examsR = Your GPA will go up
Conjunctions and Disjunctions
• The & or v connects two WFFs.
Examples:P & QP v QP & (Q v R)(P & Q) v RP & (Q -> R)(P -> Q) v R
(Note the parentheses)
Strongest~
& and/or v->
<->Weakest
Φ & Ψand
Φ v Ψ
Φ & Ψand
Φ v Ψ
P = You study hardQ = You will do well on the exams
P = You study hardQ = You will do well on the examsR = Your GPA will go up
Conditional Statements
• The -> connects two WFFs.
Examples:P -> QP -> ~QP -> (Q -> R)(P -> Q) -> RP -> Q v RP & Q -> R
(Note the parentheses)
Strongest~
& and/or v->
<->Weakest
Φ -> ΨΦ -> Ψ
P = You study hardQ = You will do well on the examsR = Your GPA will go up
Biconditionals
• The <-> connects two WFFs.
Examples:• P <-> Q• P <-> ~Q• P <-> Q & R• P v Q <-> R• P -> Q <-> R• P <-> (Q <-> R)
(Note the parentheses)
Strongest~
& and/or v->
<->Weakest
Φ<->ΨΦ<->Ψ
Parentheses and Ambiguity
What kind of statement is this?
P v (Q & R)
P v Q & R
(unambiguous)
(ambiguous)
Strongest~
& and/or v->
<->Weakest
Summary1. Elements of Symbolic Logic
– (i) Variables, (ii) Connectives, (iii) Parentheses
2. Sentences (or WFFs)– Atomic– Complex
3. Key to Reading Symbolic Logic– Binding Strength of Connective
Homework1. Study Allen/Hand Logic Primer
– "Well-formed Formula," pp. 6-7– "Binary and Unary Connectives," p. 7– "Parentheses Dropping Conventions," p. 9– ("Denial,“ – logically opposite sentences, p. 7)
2. Handout on Class Web Page:– Truth Tables Handout
3. Watch At Home: – “Basic Concepts Review” presentation
Bring this handout to class
from now on!