Conditionals: If __________ [then] __________ statements

Slides:



Advertisements
Similar presentations
4-4 Equations as Relations
Advertisements

Previously on THG… April, 1985 A train from Paddington to Bodmin…
The Revolutionary.. ‘If’ Victor Howard Dudman.
/lectures /logic.
Semantics of SL and Review Part 1: What you need to know for test 2 Part 2: The structure of definitions of truth functional notions Part 3: Rules when.
Philosophy 103 Linguistics 103 Introductory Logic: Critical Thinking Fall 2007 Dr. Robert Barnard.
Artificial Intelligence Modal Logic
Discrete Mathematics Lecture 2 Alexander Bukharovich New York University.
Modality Counterfactuals. Possible Worlds A statement is something that is true or false. A set of statements is consistent iff all of the members could.
CAUSES AND COUNTERFACTUALS OR THE SUBTLE WISDOM OF BRAINLESS ROBOTS.
Lecture 6 Ling 442. Exercises (part 1) Why do the following two sentences have the same truth conditions? (1)You must not smoke here. (2)You may not smoke.
David Lewis Counterfactuals and Possible Worlds. David Lewis American philosopher, lived between UCLA and Princeton Modal realism.
/lectures /logic.
Deductive Arguments.
1 Bayesian Decision Theory Foundations for a unified theory.
Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.
Chapter Thirteen Identity and Philosophical Problems of Symbolic Logic.
MATHEMATICAL REASONING MATHEMATICAL REASONING. STATEMENT A SENTENCE EITHER TRUE OR FALSE BUT NOT BOTH A SENTENCE EITHER TRUE OR FALSE BUT NOT BOTH.
Lecture 10 (de re/de dicto) Ling 442. Exercises Translate the following into the logical language w/ restricted quantifiers. 1.Every dog that has a bone.
 Indicative is the most common and used to make factual statements. Mrs. Stewart is helpful. It is also used to ask questions. Is Mrs. Stewart helpful?
THE NATURE OF ARGUMENT. THE MAIN CONCERN OF LOGIC Basically in logic we deal with ARGUMENTS. Mainly we deal with learning of the principles with which.
CS.462 Artificial Intelligence SOMCHAI THANGSATHITYANGKUL Lecture 04 : Logic.
Logical Agents. Inference : Example 1 How many variables? 3 variables A,B,C How many models? 2 3 = 8 models.
L = # of lines n = # of different simple propositions L = 2 n EXAMPLE: consider the statement, (A ⋅ B) ⊃ C A, B, C are three simple statements 2 3 L =
THE TRUTH: Never a Bad Plan The Challenge – Why do ___ things happen to ____ people? bad Job was like most of us and he was looking for answers in the.
Conditionals: If __________ [then] __________ statements
Counterfactuals.
2. The Logic of Compound Statements Summary
Conditionals as Random Variables?
Linear Equations in Two Variables
THESIS.
Propositional Logic Russell and Norvig: Chapter 6 Chapter 7, Sections 7.1—7.4 CS121 – Winter 2003.
Critical Thinking and Arguments
Today’s Topics Symbolizing conditionals and bi-conditionals
Knowledge Representation and Reasoning
THE TRUTH: Never a Bad Plan
Matt Slick debating techniques: part 2
The Propositional Calculus
ARTIFICIAL INTELLIGENCE
Wish Wish is used when the speaker wants reality to be different, to be exactly the opposite. Verb forms similar to those in conditional sentences are.
CONDITIONAL IF by TRYA MEIGIANA ( ) 4sa05
Theme What does it mean?.
Solving Systems of Linear Equations and Inequalities
Metaphysics Seminar 8: Modality (1)
Methods for Evaluating Validity
Chapter 8 Logic Topics
Logical Forms.
Artificial Intelligence
Natural Deduction.
Propositional Logic.
Back to “Serious” Topics…
THESIS.
Blinger Tuesday 10/23/12 Pick up your binder!
Conditionals: If __________ [then] __________ statements
Objectives Identify solutions of linear equations in two variables.
Definitions: Evidence-Based Claims- 1.) the ability to take detailed
Discrete Mathematics Lecture 4 Logic of Quantified Statements
Introductory Logic PHI 120
Section 3.3 Truth Tables for the Conditional and Biconditional
Selection—Making Decisions
Statements and Logical Connectives
QuickWrites.
Arguments in Sentential Logic
Argumentation.
Twelve Points That Show Christianity is True
Semantics 2: Syntax-Semantics Interface
Evaluating Deductive Arguments
Counterfactuals (also known as subjunctive conditionals)
Dorothy Edgington Paris June 2019
Conjunctive addition states that if we know that each of two statements is true, we can join them with the conjunction connective and the resulting conjunction.
Presentation transcript:

Conditionals: If __________ [then] __________ statements antecedent consequent Dualism: Indicative Subjunctive, counterfactual our interest

E.W. Adams’s examples (A) If Oswald didn’t shoot Kennedy, someone else did --INDICATIVE (B) If Oswald hadn’t shot Kennedy, someone else would have. --SUBJUNCTIVE, COUNTERFACTUAL

Indicative conditionals “Warning: almost everything about indicative conditionals is controversial, including whether they are well labelled by the term ‘indicative’, and some even deny the validity of modus ponens!” --Frank Jackson, “Indicative Conditionals” Fortunately, these aren’t the conditionals we’ll be dealing with

What the relation between these conditionals appears to be If Oswald didn’t shoot Kennedy, someone else did If Oswald hadn’t shot Kennedy, someone else would have. Surface appearance: same type of connection; different things (clauses) connected But the standard approach (at least among philosophers) is that this appearance is deceptive

The standard (among philosophers) approach to the relation (A) If Oswald didn’t shoot Kennedy, someone else did (B) If Oswald hadn’t shot Kennedy, someone else would have. (A) and (B) are two somewhat different ways of connecting the same pair of sentences: “Oswald didn’t shoot Kennedy” (ant.) and “Someone else did [shoot Kennedy]” (cons.)

X-The standard approach: Sentence Frames If ______, [then] _______ If it had been the case that _____, [then] it would have been the case that ______ Plugging the straightforward ant/conseq pair into these frames yields (A) in the first case; and in the second case, it yields…..

X-The standard approach: Regimentations (Br) If it had been the case that Oswald didn’t shoot Kennedy, [then] it would have been the case that someone else did [shoot Kennedy]. This is the “regimentation” of (B) Idea: (B) is arrived at by plugging the straightforward ant & cons into the funky sentence frame, yielding (Br), which is then deregimented down to (B)

Possible world semantics for c/s conditionals Basic idea: P [] Q is true iff Q is true in the closest pw’s in which P is true So, (B) is true if someone else shot Kennedy in the closest worlds in which Oswald didn’t shoot him (This is the basic idea of the treatment of both David Lewis and Robert Stalnaker.)

Possible world semantics for c/s conditionals: Counterpossibles Basic idea: P [] Q is true iff Q is true in the closest pw’s in which P is true But what if P is impossible? Then there are no worlds, and so no closest worlds, in which P is true. What then? Usual answer: P []-> Q is then trivially true Nozick’s 3rd condition: no real hope for dividing good from bad cases of beliefs in necessary truths

Possible world semantics for c/s conditionals: “Factuals”* Basic idea: P [] Q is true iff Q is true in the closest pw’s in which P is true But what if P is true? What then? Usual answer: P []-> Q then has the same truth value as does Q Nozick’s 4th condition: always satisfied when the “standard conditions” (1 & 2) are met. So it’s no help. Other possibilities on handout