Philosophy 148 Chapter 3 (part 2).

Slides:



Advertisements
Similar presentations
PHIL 148 Chapter 5 Stuff to include in and leave out of the standard form argument.
Advertisements

Copyright 2008, Scott Gray1 Propositional Logic 4) If.
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Necessary & Sufficient Conditions Law, Science, Life & Logic.
Hypotheticals: The If/Then Form Hypothetical arguments are usually more obvious than categorical ones. A hypothetical argument has an “if/then” pattern.
Logic & Critical Reasoning
Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:
1 Valid and Invalid arguments. 2 Definition of Argument Sequence of statements: Statement 1; Statement 2; Therefore, Statement 3. Statements 1 and 2 are.
Higher / Int.2 Philosophy 5. ” All are lunatics, but he who can analyze his delusion is called a philosopher.” Ambrose Bierce “ Those who lack the courage.
Philosophy 148 Chapter 6. Truth-Functional Logic Chapter 6 introduces a formal means to determine whether arguments are valid, so that there is never.
The Conditional Syllogism otherwise knows as: The Hypothetical Syllogism “If I had a millions dollars, then I’d buy you a house” The Barenaked Ladies.
Intro to Logic: the tools of the trade You need to be able to: Recognize an argument when you see one (in media, articles, people’s claims). Organize arguments.
CS128 – Discrete Mathematics for Computer Science
DEDUCTIVE REASONING: PROPOSITIONAL LOGIC Purposes: To analyze complex claims and deductive argument forms To determine what arguments are valid or not.
Logic 3 Tautological Implications and Tautological Equivalences
Today’s Topics n Review of Grouping and Statement Forms n Truth Functions and Truth Tables n Uses for Truth Tables n Truth Tables and Validity.
CSE (c) S. Tanimoto, 2008 Propositional Logic
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Essential Deduction Techniques of Constructing Formal Expressions and Evaluating Attempts to Create Valid Arguments.
Essential Deduction Techniques of Constructing Formal Expressions Evaluating Attempts to Create Valid Arguments.
SEVENTH EDITION and EXPANDED SEVENTH EDITION
Copyright © Peter Cappello Logical Inferences Goals for propositional logic 1.Introduce notion of a valid argument & rules of inference. 2.Use inference.
Statements and Quantifiers
Critical Thinking: A User’s Manual
Chapter 3 Section 4 – Slide 1 Copyright © 2009 Pearson Education, Inc. AND.
3.6 Analyzing Arguments with Truth Tables
2.5 Verifying Arguments Write arguments symbolically. Determine when arguments are valid or invalid. Recognize form of standard arguments. Recognize common.
Reason and Argument Chapter 6 (2/3). A symbol for the exclusive ‘or’ We will use ұ for the exclusive ‘or’ Strictly speaking, this connective is not necessary.
Deductive versus Inductive Reasoning Consider the following two passages: Argument #1 Mr. Jones is a member of the Academy of Scholarly Fellows and only.
Reasoning Top-down biases symbolic distance effects semantic congruity effects Formal logic syllogisms conditional reasoning.
The Science of Good Reasons
Deductive Arguments.
Chapter 3: MAKING SENSE OF ARGUMENTS
Chapter Four Proofs. 1. Argument Forms An argument form is a group of sentence forms such that all of its substitution instances are arguments.
1 DISJUNCTIVE AND HYPOTHETICAL SYLLOGISMS DISJUNCTIVE PROPOSITIONS: E.G EITHER WHALES ARE MAMMALS OR THEY ARE VERY LARGE FISH. DISJUNCTS: WHALES ARE MAMMALS.(P)
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.
Philosophy: Logic and Logical arguments
Arguments, translation, representation -Sign In! -Quiz -Review Quiz -Unstated premises and translation -Things that look like arguments but aren't -Representing.
Apologetics: Other Syllogisms Presented by Eric Douma.
6.6 Argument Forms and Fallacies
DEDUCTIVE ARGUMENTS The aim of this tutorial is to help you learn to recognize, analyze, and evaluate deductive arguments.
Syllogisms and Three Types of Hypothetical Syllogisms
Chapter 7 Evaluating Deductive Arguments II: Truth Functional Logic Invitation to Critical Thinking First Canadian Edition.
Essential Deduction Techniques of Constructing Formal Expressions Evaluating Attempts to Create Valid Arguments.
Symbolic Logic ⊃ ≡ · v ~ ∴. What is a logical argument? Logic is the science of reasoning, proof, thinking, or inference. Logic allows us to analyze a.
Invitation to Critical Thinking Chapter 7 Lecture Notes Chapter 7.
Phil 148 Chapter 5 Stuff to include in and leave out of the standard form argument.
Logic: The Language of Philosophy. What is Logic? Logic is the study of argumentation o In Philosophy, there are no right or wrong opinions, but there.
Foundations of Discrete Mathematics Chapter 1 By Dr. Dalia M. Gil, Ph.D.
Discrete Math by R.S. Chang, Dept. CSIE, NDHU1 Fundamentals of Logic 1. What is a valid argument or proof? 2. Study system of logic 3. In proving theorems.
BHS Methods in Behavioral Sciences I April 7, 2003 Chapter 2 – Introduction to the Methods of Science.
Deductive Reasoning. Inductive: premise offers support and evidenceInductive: premise offers support and evidence Deductive: premises offers proof that.
Formal logic The part of logic that deals with arguments with forms.
Chapter 3 Basic Logical Concepts (Please read book.)
2. The Logic of Compound Statements Summary
Disjunctive Syllogism
Introduction to Prolog
Rules of Inference Section 1.6.
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Logical Forms.
Making Sense of Arguments
Concise Guide to Critical Thinking
1 Chapter An Introduction to Problem Solving
1 Chapter An Introduction to Problem Solving
Introduction to Philosophy Lecture 1b What is Philosophy? (part 2)
Foundations of Discrete Mathematics
Philosophy 1100 Class #9 Title: Critical Reasoning
Intermediate Level Conditionals.
Arguments in Sentential Logic
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Presentation transcript:

Philosophy 148 Chapter 3 (part 2)

Sentences that express multiple propositions. We have noticed that some sentences express propositions. Some sentences express several propositions and connect them together. For example, note that in the sentence ‘I am wearing a blue hat and a green jacket’ two things that might or might not be the case are expressed: I am wearing a blue hat I am wearing a green jacket These two propositions are asserted together, connected by the word ‘and’.

Symbolizing propositions Just as people save time by using letters to stand for any given number in algebra, logicians use letters to stand for any given proposition. So the compound statement on the previous slide can look like this: p and q (where p stands for the proposition that I am wearing a blue hat and q stands for the proposition that I am wearing a green jacket).

Connectives There are several ways for sentences that express propositions to be connected: ‘not’ ‘and’ ‘or’ ‘if…then…’

Argument forms We can apply this procedure to whole arguments, not just statements to reveal the structure that lives behind our language. Example: If it is raining, then the ground is wet. It is raining. The ground is wet. Since the underlined sentences express propositions, they can be replaced with propositional variables like so: If p, then q p C. q

Argument forms When the content of an argument is abstracted away, and only propositional variables and connectives remain, we have an argument form, and can see the structure that lives behind our language. As it happens the structure of an argument alone determines whether the argument is valid. This is a significant insight.

Forms that are always valid There are indefinitely many valid arguments that are not of the forms below, but the forms below are always valid: Modus ponens (affirming the antecedent): If p then q p q Modus tollens (denying the consequent): Not q C. Not p

More valid forms Hypothetical Syllogism (chain argument) If p then q If q then r If p then r Disjunctive Syllogism (process of elimination) p or r Not p r

Forms that are always invalid Affirming the consequent If p then q q p Denying the antecedent Not p C. Not q

Organizing long arguments Separate the claims into a numbered list Identify the conclusion, put it on the diagram first. Draw an arrow from any claim that is intended to be support for the conclusion from that claim, to the conclusion. underline 2 claims that are meant to work together

Organizing long arguments Be as faithful to the original text as you can, but remember that sometimes authors repeat themselves in different ways, go on tangents, and bring in irrelevant information.

Example (claims that work together): (1) Bill is a student at Yale. (2) No student at Yale has won the Nobel Prize. (3) Therefore, Bill has not won the Nobel Prize. 1 + 2   3

Example (independent claims): (1) The president is soft on the environment. (2) He has weakened clean-air regulations (3) and lifted restrictions on logging in the West. 2 3 1

Example: (complex arguments) Conclusion: (3) The idea that God is required to be the enforcer of the moral law is not plausible. Premises: (4) In the first place, as an empirical hypothesis about the psychology of human beings, it is questionable. (5) There is no unambiguous evidence that theists are more moral than nontheists. (6) Not only have psychological studies failed to find a significant correlation between frequency of religious worship and moral conduct, but convicted criminals are much more likely to be theists than atheists. (7) Second, the threat of divine punishment cannot impose a moral obligation. (8) Might does not make right.