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.

Slides:



Advertisements
Similar presentations
Philosophy 148 Chapter 3 (part 2).
Advertisements

Hypotheticals: The If/Then Form Hypothetical arguments are usually more obvious than categorical ones. A hypothetical argument has an “if/then” pattern.
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.
1 Section 1.5 Rules of Inference. 2 Definitions Theorem: a statement that can be shown to be true Proof: demonstration of truth of theorem –consists of.
The Foundations: Logic and Proofs
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.
Euler’s circles Some A are not B. All B are C. Some A are not C. Algorithm = a method of solution guaranteed to give the right answer.
2 Basic Types of Reasoning Deductive Deductive Inductive Inductive.
Philosophy 103 Linguistics 103 Yet, still, even further more, expanded, Introductory Logic: Critical Thinking Dr. Robert Barnard.
Muhammad Arief download dari
Valid Arguments An argument is a sequence of propositions. All but the final proposition are called premises. The last statement is the conclusion. The.
Chapter 1 The Logic of Compound Statements. Section 1.3 Valid & Invalid Arguments.
2 Basic Types of Reasoning Deductive Deductive Inductive Inductive.
Deductive Arguments and Inference Rules Terminology: Valid Argument: – truth of the premises guarantees the truth of the conclusion – It would be contradictory.
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.
1 2 We demonstrate (show) that an argument is valid deriving by deriving (deducing) its conclusion from its premises using a few fundamental modes of.
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.
Copyright © Peter Cappello Logical Inferences Goals for propositional logic 1.Introduce notion of a valid argument & rules of inference. 2.Use inference.
Validity: Long and short truth tables Sign In! Week 10! Homework Due Review: MP,MT,CA Validity: Long truth tables Short truth table method Evaluations!
Section 2 Logic.
3.6 Analyzing Arguments with Truth Tables
Copyright © Curt Hill Rules of Inference What is a valid argument?
Deductive and Inductive Reasoning
Logical Arguments. Strength 1.A useless argument is one in which the truth of the premisses has no effect at all on the truth of the conclusion. 2.A weak.
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
Arguments with Quantified Statements M Universal Instantiation If some property is true for everything in a domain, then it is true of any particular.
Deductive Arguments.
Unit 1D Analyzing Arguments. TWO TYPES OF ARGUMENTS Inductive Deductive Arguments come in two basic types:
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
The construction of a formal argument
Propositional Logic A symbolic representation of deductive inference. Use upper case letters to represent simple propositions. E.g. Friday class rocks.
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.
CHAPTER 9 CONSTRUCTING ARGUMENTS. ARGUMENTS A form of thinking in which certain reasons are offered to support conclusion Arguments are Inferences - Decide.
Fun with Deductive Reasoning
Syllogisms and Three Types of Hypothetical Syllogisms
Logic and Reasoning.
Chapter 7 Evaluating Deductive Arguments II: Truth Functional Logic Invitation to Critical Thinking First Canadian Edition.
Arguments Arguments: premises provide grounds for the truth of the conclusion Two different ways a conclusion may be supported by premises. Deductive Arguments.
Invitation to Critical Thinking Chapter 7 Lecture Notes Chapter 7.
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.
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 =
PHIL102 SUM2014, M-F12:00-1:00, SAV 264 Instructor: Benjamin Hole
Deductive Reasoning Valid Arguments
Deductive reasoning.
a valid argument with true premises.
What makes a Good Argument?
Deductive Arguments.
Demonstrating the validity of an argument using syllogisms.
Rules of Inference Section 1.6.
Chapter 3: Reality Assumptions
Logical Inferences: A set of premises accompanied by a suggested conclusion regardless of whether or not the conclusion is a logical consequence of the.
Logical Forms.
CS 220: Discrete Structures and their Applications
Concise Guide to Critical Thinking
8C Truth Tables, 8D, 8E Implications 8F Valid Arguments
Intermediate Level Conditionals.
Phil2303 intro to logic.
Argumentation.
Rules of inference Section 1.5 Monday, December 02, 2019
Presentation transcript:

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 are arguments that are better than others.

What is an “Argument”? Argument : a set of statements consisting of at least two premises and at least one conclusion. o Premises: reasons supporting the conclusion o Conclusion: the statement you are trying to prove

Philosophers write arguments like this: 1.Socrates is a man.(premises) 2.All men are mortal Socrates is mortal(conclusion)

Arguments must be valid and sound An argument is valid when the premises guarantee the conclusion o This is not subjective An argument is sound if (1) it is valid; and (2) the premises are true

Argument Forms I. Modus Ponens ( “ Affirming Mode ” ) P→Q1. If the ground is wet, then it was raining. P2. The ground is wet Q3. Therefore, it was raining.

Modus Tollens Modus Tollens Latin for “ Denying Mode ” P→Q1. If the ground is wet, then it was raining. ~Q2. It was not raining ~P3. Therefore, the ground is not wet.

Common Errors P→Q ~P Q ~Q P Denying the Antecedent Affirming the Consequent

Denying the Antecedent P→Q 1. If Socrates is French, then Socrates is mortal ~P 2. Socrates is not French ~Q 3. Socrates is not mortal NOT VALID!

Affirming the Consequent P→Q 1. If Socrates is French, then Socrates is mortal. Q 2. Socrates is mortal P 3. Socrates is French NOT VALID!

Chain Reasoning P  Q1. Nellie is a dog. Q  R 2. A dog is a mammal P  R3. Nellie is a mammal.

Disjunctive Syllogism P  Q1. Either the maid did it or the butler did it. ~P2. The maid did not do it Q3. Therefore, the butler did it.

Hypothetical Syllogism P→Q1. If Jim comes to the party, then Chris will come too. Q→R2. If Chris comes to the party, then Pat will come too P→R3. Therefore, if Jim comes to the party, Pat will come too.