Philosophy 1504: Language and Logic March 28, 2016.

Slides:



Advertisements
Similar presentations
THE CATEGORICAL SYLLOGISM
Advertisements

Basic Terms in Logic Michael Jhon M. Tamayao.
1 Predicates and Propositions Hugh Darwen CS252.HACD: Fundamentals of Relational Databases Section 3:
1 Logic Programming School of Informatics, University of Edinburgh append/3 A Drosophila of L.P. append([], L, L) append([ H | T ], L, [ H | R ])  append(T,
An overview Lecture prepared for MODULE-13 (Western Logic) BY- MINAKSHI PRAMANICK Guest Lecturer, Dept. Of Philosophy.
The Logic of Quantified Statements
LING 388: Language and Computers Sandiway Fong Lecture 5: 9/8.
Deductive Arguments: Categorical Logic
Categorical Logic Categorical statements
Deduction: the categorical syllogism - 1 Logic: evaluating deductive arguments - the syllogism 4 A 5th pattern of deductive argument –the categorical syllogism.
Today’s Topics Introduction to Predicate Logic Venn Diagrams Categorical Syllogisms Venn Diagram tests for validity Rule tests for validity.
Review: Logic. Fallacy: Appeal to Novelty New is better.
4.2 QUALITY, QUANTITY, AND DISTRIBUTION 4 Categorical Propositions.
4 Categorical Propositions
Relations are Not Sets of Ordered Pairs Ingvar Johansson, Institute for Formal Ontology and Medical Information Science, Saarbrücken
Patterns of Deductive Thinking
Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more Introductory Logic: Critical Thinking Dr. Robert Barnard.
Categorical Syllogisms

CATEGORICAL PROPOSITIONS, CHP. 8 DEDUCTIVE LOGIC VS INDUCTIVE LOGIC ONE CENTRAL PURPOSE: UNDERSTANDING CATEGORICAL SYLLOGISMS AS THE BUILDING BLOCKS OF.
Categorical Propositions All S is P No S is P Some S is P Some S is not P.
Deductive versus Inductive Reasoning Consider the following two passages: Argument #1 Mr. Jones is a member of the Academy of Scholarly Fellows and only.
PART TWO PREDICATE LOGIC. Chapter Seven Predicate Logic Symbolization.
The Science of Good Reasons
Venn Diagrams and Categorical Syllogisms
Critical Thinking Lecture 8 An introduction to Categorical Logic By David Kelsey.
Night 2 Presented by Eric Douma
Logic A: Capital punishment is immoral. B: No it isn’t! A: Yes it is! B: Well, what do you know about it? A: I know more about it then you do! B: Oh yeah?
Chapter 15: Rules for Judging Validity. Distribution (p. 152) Several of the rules use the notion of distribution. A term is distributed if it refers.
Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more, ad infinitum, Introductory Logic: Critical Thinking Dr. Robert Barnard.
Strict Logical Entailments of Categorical Propositions
MLS 570 Critical Thinking Reading Notes for Fogelin: Categorical Syllogisms We will go over diagramming Arguments in class. Fall Term 2006 North Central.
Logic – Basic Terms Logic: the study of how to reason well. Validity: Valid thinking is thinking in conformity with the rules. If the premises are true.
LOGICAL REASONING FOR CAT 2009.
CATEGORICAL SYLLOGISMS
INDUCTIVE LOGIC DEDUCTION= DRAWING OUT IMPLICIT “KNOWLEDGE” OR CLAIMS FROM PREMISES. INDUCTION= EXPANDING “KNOWLEDGE” BY TESTING TRUTH OF THE PREMISES.
1 Introduction to Abstract Mathematics Predicate Logic Instructor: Hayk Melikya Purpose of Section: To introduce predicate logic (or.
Critical Thinking Lecture 8 An introduction to Categorical Logic
Chapter 1: The Foundations: Logic and Proofs
Midterm Practice Famous Fallacies, TFTD, Hurley
Chapter 13: Categorical Propositions. Categorical Syllogisms (p. 141) Review of deductive arguments –Form –Valid/Invalid –Soundness Categorical syllogisms.
Practice Quiz 3 Hurley 4.3 – 4.6.
Fun with Deductive Reasoning
Critical Thinking: A User’s Manual
Critical Thinking Lecture 10 The Syllogism By David Kelsey.
Critical Thinking Lecture 8 An introduction to Categorical Logic By David Kelsey.
1 Introduction to Abstract Mathematics Chapter 3: The Logic of Quantified Statements. Predicate Calculus Instructor: Hayk Melikya 3.1.
2004/9/15fuzzy set theory chap02.ppt1 Classical Logic the forms of correct reasoning - formal logic.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
The fundamental problem in education What the Teacher would like to teach.
Propositional and predicate logic
March 3, 2016Introduction to Artificial Intelligence Lecture 12: Knowledge Representation & Reasoning I 1 Back to “Serious” Topics… Knowledge Representation.
Categorical Propositions Chapter 5. Deductive Argument A deductive argument is one whose premises are claimed to provide conclusive grounds for the truth.
Deductive Reasoning. Inductive: premise offers support and evidenceInductive: premise offers support and evidence Deductive: premises offers proof that.
رياضيات متقطعة لعلوم الحاسب MATH 226. Chapter 1 Predicates and Quantifiers 1.4.
Categorical Propositions, con't
Automata, Grammars and Languages
Quantifiers and logical inference
Deductive Logic, Categorical Syllogism
THE CATEGORICAL SYLLOGISM
Today’s Topics Introduction to Predicate Logic Venn Diagrams
Rules and fallacies Formal fallacies.
4.1 The Components of Categorical Propositions
Categorical Propositions
Philosophy 1100 Class #8 Title: Critical Reasoning
Categorical propositions
Back to “Serious” Topics…
Chapter 6 Categorical Syllogisms
Reason and Argument Chapter 7 (2/2).
Practice Quiz 3 Hurley 4.3 – 4.6.
Presentation transcript:

Philosophy 1504: Language and Logic March 28, 2016

 A categorical proposition is a proposition that relates two classes. These classes are denoted by a subject term and a predicate term. ◦ Examples:  “All Virginia Tech students are students that love logic.”  “No undergraduates are lazy students.”  “Some GTAs are awesome teachers.”  “Some GTAs are not awesome teachers.”

 Since a categorical proposition states that all/part of the class denoted by subject term is included or excluded from the class denoted by the predicate term, there are four kinds of categorical propositions: 1)The whole subject class is included in the predicate class. 2)Part of the subject class is included in the predicate class. 3)The whole subject class is excluded from the predicate class. 4)Part of the subject class is excluded from the predicate class.

 A categorical proposition is in standard form if and only if it is a substitution instance of one of the following forms: 1) All S are P. 2) No S are P. 3) Some S are P. 4) Some S are not P. Note: S and P stand for the subject term and predicate term, respectively. ◦ Quantifiers specify how much of the subject class is included or excluded from the predicate class.  “all”, “no”, and “some” ◦ Copula link the subject term and the predicate term.  “are”, “are not”

 Exercise: Identify the subject term, predicate term, quantifier, and copula: 1)“All people that drink and drive are irresponsible people.” 2)“Some roses are not red flowers.” 3)“Some artificial medical devices are mechanisms that are prone to failure.” 4)“No ostriches are birds that can fly.”

 Quantity ◦ Universal:  All S are P.  No S are P. ◦ Particular:  Some S are P.  Some S are not P.

 Quality ◦ Affirmative:  All S are P.  Some S are P. ◦ Negative:  No S are P.  Some S are not P.

 Letter Names of Propositions: FormTypeLetter Name All S are P. Universal affirmative A All S are not P. Universal negative E Some S are P. Particular affirmative I Some S are not P. Particular negative O

 Distribution ◦ A term is distributed if the proposition makes an assertion about every member of the class denoted by the term; otherwise, it is undistributed. FormType Letter Name Terms Distributed All S are P. Universal affirmative A All S are not P. Universal negative E Some S are P. Particular affirmative I Some S are not P. Particular negative O

 Distribution ◦ A term is distributed if the proposition makes an assertion about every member of the class denoted by the term; otherwise, it is undistributed. FormType Letter Name Terms Distributed All S are P. Universal affirmative AS All S are not P. Universal negative E Some S are P. Particular affirmative I Some S are not P. Particular negative O

 Distribution ◦ A term is distributed if the proposition makes an assertion about every member of the class denoted by the term; otherwise, it is undistributed. FormType Letter Name Terms Distributed All S are P. Universal affirmative AS All S are not P. Universal negative ES, P Some S are P. Particular affirmative I Some S are not P. Particular negative O

 Distribution ◦ A term is distributed if the proposition makes an assertion about every member of the class denoted by the term; otherwise, it is undistributed. FormType Letter Name Terms Distributed All S are P. Universal affirmative AS All S are not P. Universal negative ES, P Some S are P. Particular affirmative Inone Some S are not P. Particular negative O

 Distribution ◦ A term is distributed if the proposition makes an assertion about every member of the class denoted by the term; otherwise, it is undistributed. FormType Letter Name Terms Distributed All S are P. Universal affirmative AS All S are not P. Universal negative ES, P Some S are P. Particular affirmative Inone Some S are not P. Particular negative OP

 A mnemonic device for distribution: ◦ “Unprepared Students Never Pass”  Universals distribute Subjects.  Negatives distribute Predicates.

 Exercise: First, identify the quantity, quality, and letter name. Next, state whether the subject and predicate terms are distributed or undistributed. 1)“All people that drink and drive are irresponsible people.” 2)“Some roses are not red flowers.” 3)“Some artificial medical devices are mechanisms that are prone to failure.” 4)“No ostriches are birds that can fly.”