4 Categorical Propositions

Slides:

Advertisements

Similar presentations

Venn Diagram Technique for testing syllogisms

Advertisements

Test the validity of this argument: Some lawyers are judges. Some judges are politicians. Therefore, some lawyers are politicians. A. Valid B. Invalid.

An overview Lecture prepared for MODULE-13 (Western Logic) BY- MINAKSHI PRAMANICK Guest Lecturer, Dept. Of Philosophy.

Deductive Arguments: Categorical Logic

(CSC 102) Discrete Structures Lecture 14.

Today’s Topics Introduction to Predicate Logic Venn Diagrams Categorical Syllogisms Venn Diagram tests for validity Rule tests for validity.

Malcolm’s ontological argument Michael Lacewing

1 Solving A Logic Problem with A Venn Diagram Created by E.G. Gascon Problem Section 7.2 #41.

4.2 QUALITY, QUANTITY, AND DISTRIBUTION 4 Categorical Propositions.

Critical Thinking Lecture 9 The Square of Opposition By David Kelsey.

Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more, etc., ad infinitum, Introductory Logic: Critical Thinking Dr. Robert Barnard.

Sets DISCRETE STRUCTURE ABDUL BASIT TAHIR, KAMRAN ALI, FAIZAN ILLAHI, NOMAN AHMAD, ARSALAN MUBASHIR.

Syllogistic Logic 1. C Categorical Propositions 2. V Venn Diagram 3. The Square of Opposition: Tradition / Modern 4. C Conversion, Obversion, Contraposition.

Logic In Part 2 Modules 1 through 5, our topic is symbolic logic. We will be studying the basic elements and forms that provide the structural foundations.

Introduction to Venn Diagrams SP This is a Venn diagram for two terms. We can conceive of every element of S as being within the boundary of the S circle.

Categorical Propositions To help us make sense of our experience, we humans constantly group things into classes or categories. These classifications are.

SORTING DATA VENN DIAGRAMS.

CATEGORICAL PROPOSITIONS, CHP. 8 DEDUCTIVE LOGIC VS INDUCTIVE LOGIC ONE CENTRAL PURPOSE: UNDERSTANDING CATEGORICAL SYLLOGISMS AS THE BUILDING BLOCKS OF.

Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.

Testing Validity With Venn Diagrams

Philosophy 148 Chapter 7. AffirmativeNegative UniversalA: All S are PE: No S is P ParticularI: Some S is PO: Some S is not P.

Venn Diagrams and Categorical Syllogisms

Barnett/Ziegler/Byleen Finite Mathematics 11e1 Chapter 7 Review Important Terms, Symbols, Concepts 7.1. Logic A proposition is a statement (not a question.

Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more, ad infinitum, Introductory Logic: Critical Thinking Dr. Robert Barnard.

Chapter 18: Conversion, Obversion, and Squares of Opposition

Strict Logical Entailments of Categorical Propositions

4 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.

CATEGORICAL SYLLOGISMS

1 Introduction to Abstract Mathematics Sets Section 2.1 Basic Notions of Sets Section 2.2 Operations with sets Section 2.3 Indexed Sets Instructor: Hayk.

2.1 Sets 2.2 Set Operations –Set Operations –Venn Diagrams –Set Identities –Union and Intersection of Indexed Collections 2.3 Functions 2.4 Sequences and.

Critical Thinking Lecture 9 The Square of Opposition

Union and Intersection

Copyright Curt Hill Euler Circles With Venn Diagrams Thrown in for Good Measure.

GEOMETRY HELP Identify the hypothesis and the conclusion: If two lines are parallel, then the lines are coplanar. In a conditional statement, the clause.

The Traditional Square of Opposition

Lecture 041 Predicate Calculus Learning outcomes Students are able to: 1. Evaluate predicate 2. Translate predicate into human language and vice versa.

McGraw-Hill ©2004 by The McGraw-Hill Companies, Inc. All rights reserved. Testing Validity With Venn Diagrams The aim of this tutorial is to help you learn.

Introduction to Categorical Logic PHIL 121: Methods of Reasoning February 18, 2013 Instructor:Karin Howe Binghamton University.

Venn Diagram Technique for testing syllogisms

CHAPTER 3 SETS, BOOLEAN ALGEBRA & LOGIC CIRCUITS

VENNS DIAGRAM METHOD FOR TESTING CATEGORICAL SYLLOGISM

Venn Diagrams I. Venn diagrams

Venn Diagrams and Set Operation

Bool operators and, or, not

Testing Validity With Venn Diagrams

THE AREA OF A CIRCLE An introduction to approximating the area of a circle.

Testing for Validity with Venn Diagrams

Today’s Topics Introduction to Predicate Logic Venn Diagrams

5 Categorical Syllogisms

Logic In Part 2 Modules 1 through 5, our topic is symbolic logic.

Chapter 8 Logic Topics

Practice Quiz 3 Hurley

4.1 The Components of Categorical Propositions

3.4 Computer systems Boolean logic Lesson 2.

Categorical Propositions

Critical Thinking Lecture 9 The Square of Opposition

Categorical propositions

4 Categorical Propositions

GCSE Computer Science – Logic Gates & Boolean Expressions

“Only,” Categorical Relationships, logical operators

6.3 Truth Tables for Propositions

XOR Function Logic Symbol  Description  Truth Table 

2-2 Conditional Statements

Circles v. Parabolas.

3.2 Venn diagrams Mathematical Studies for the IB Diploma © Hodder Education 2010.

Welcome to Interactive Chalkboard

Logical equivalence.

4 Categorical Propositions

Presentation transcript:

4 Categorical Propositions 4.3 Venn Diagrams and the Modern Square of Opposition

Venn Diagrams We can represent the meaning of our 4 categorical propositions using overlapping circles: S P

Venn Diagrams S At least one member exists P S P X S P X S P All S are P = empty X = No S are P Some S are P Some S are not P At least one member exists S P S P X S P X

Boolean Interpretation No members of S are outside of P (No commitment to existence of Ss or Ps) No members of S are inside of P At least one S exists, and that S is a P At least one S exists, and that S is not a P S P S P S P X S P X

Venn Diagrams lead to Square of Opposition Compare the A and O propositions. One says nothing exists in S where it is not P, the other just the opposite. A and O propositions, then, are contradictory. S P A S P E Compare the E and the I propositions. One says nothing exists within the overlap of S and P, the other the opposite. E and I are contradictory then as well. S P X I S P X O

Modern Square of Opposition Logically Undetermined A E Contra dictory Logically Undetermined Logically Undetermined Contra dictory I O Logically Undetermined Supposing one proposition is true (or false), you can tell the truth value of its opposite, but nothing beyond that.

Testing Immediate Inferences Logically Undetermined A E Contra dictory Logically Undetermined Logically Undetermined Contra dictory I O Logically Undetermined Suppose that ‘Some Salads are not Priced to sell’ is true. What can we know about “All Salads are Priced to sell”? We can know from the square that it is false.

Testing Immediate Inferences Logically Undetermined A E Contra dictory Logically Undetermined Logically Undetermined Contra dictory I O Logically Undetermined Suppose it is false that No Salads are Priced to sell. What can we know about “Some Salads are Priced to sell”? We can know from the square that it is true.

TEST: Some S are not P. Therefore, it is false that All S are P. S P X Some S are not P S P X It is false that All S are P This is the opposite of this S P