Presentation is loading. Please wait.

Presentation is loading. Please wait.

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

Published byMaximilian Small Modified over 8 years ago

Similar presentations

Presentation on theme: "Introduction to Categorical Logic PHIL 121: Methods of Reasoning February 18, 2013 Instructor:Karin Howe Binghamton University."— Presentation transcript:

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

2 Issues from Part I that are still highly relevant Statement or proposition Arguments, specifically deductive arguments Validity/invalidity

3 Most importantly … Putting arguments into standard form Standard form categorical propositions Categorical syllogisms

4 Categorical Logic: A Brief History Categorical logic was invented by Aristotle over 300 years BCE (Aristotle: 384-322 BCE) Categorical logic was the logic used by medieval logicians They studied it in a more systematic fashion than Aristotle (more formalized)

5 Medieval logic? Why are WE studying that? Historically interesting part of the study of logic and reasoning Nice bridge between the less formal parts of this course (Part I) and the more formal parts of the course (Parts III and IV) Amazingly powerful and fairly intuitive tool (again, a nice bridge in terms of accessibility to the non-specialist)

6 However, we're not going to do it exactly like the medieval logicians Aristotle got some things wrong Problem: in Aristotelian logic, universal propositions implied existence The statement "All unicorns are white" implied the statement "Some unicorns are white."

7 Boolean Interpretation of Categorical Logic Solution: make that no longer the case Now "All unicorns are white" no longer entails that unicorns exist A small change that makes BIG differences

8 Brief overview of new things we will be learning Categorization of categorical propositions into four distinct types, and their associated Venn diagrams How to place these four types of propositions on the (Boolean) Square of Opposition and determine things about their relationship based on this square

9 How to make certain inferences in categorical logic (transform propositions into their logical equivalents) Determining validity and invalidity using the Venn Diagram technique How to recognize certain formal fallacies in categorical syllogisms Other stuff, depending on time

10

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

Similar presentations

Basic Terms in Logic Michael Jhon M. Tamayao.

Basic Terms in Logic Michael Jhon M. Tamayao.
Four Rules of Aristotelian Logic 1. Rule of Identity: A is A 2. Rule of Non-Contradiction: A is not (-A) 3. Rule of Excluded Middle: Either A or (-A)

Four Rules of Aristotelian Logic 1. Rule of Identity: A is A 2. Rule of Non-Contradiction: A is not (-A) 3. Rule of Excluded Middle: Either A or (-A)
Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:

Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:
An overview Lecture prepared for MODULE-13 (Western Logic) BY- MINAKSHI PRAMANICK Guest Lecturer, Dept. Of Philosophy.

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

Deductive Arguments: Categorical Logic
1 Philosophy 1100 Title:Critical Reasoning Instructor:Paul Dickey Website:

1 Philosophy 1100 Title:Critical Reasoning Instructor:Paul Dickey Website:
Logic. To Think Clearly Use reason, instead of relying on instinct alone What is Logic? – “the art of reasoning” – The study of truth – The ethics of.

Logic. To Think Clearly Use reason, instead of relying on instinct alone What is Logic? – “the art of reasoning” – The study of truth – The ethics of.
Today’s Topics Introduction to Predicate Logic Venn Diagrams Categorical Syllogisms Venn Diagram tests for validity Rule tests for validity.

Today’s Topics Introduction to Predicate Logic Venn Diagrams Categorical Syllogisms Venn Diagram tests for validity Rule tests for validity.
Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more, etc., ad infinitum, Introductory Logic: Critical Thinking Dr. Robert Barnard.

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

Deduction and Induction
Categorical Syllogisms Always have two premises Consist entirely of categorical claims May be presented with unstated premise or conclusion May be stated.

Categorical Syllogisms Always have two premises Consist entirely of categorical claims May be presented with unstated premise or conclusion May be stated.
Inductive and Deductive Reasoning Geometry 1.0 – Students demonstrate understanding by identifying and giving examples of inductive and deductive reasoning.

Inductive and Deductive Reasoning Geometry 1.0 – Students demonstrate understanding by identifying and giving examples of inductive and deductive reasoning.
Chapter 16: Venn Diagrams. Venn Diagrams (pp. 159-160) Venn diagrams represent the relationships between classes of objects by way of the relationships.

Chapter 16: Venn Diagrams. Venn Diagrams (pp ) Venn diagrams represent the relationships between classes of objects by way of the relationships.
Discrete Mathematics and its Applications

Discrete Mathematics and its Applications
Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more Introductory Logic: Critical Thinking Dr. Robert Barnard.

Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more Introductory Logic: Critical Thinking Dr. Robert Barnard.
Deductive vs. Inductive Reasoning. Objectives Use a Venn diagram to determine the validity of an argument. Complete a pattern with the most likely possible.

Deductive vs. Inductive Reasoning. Objectives Use a Venn diagram to determine the validity of an argument. Complete a pattern with the most likely possible.
CATEGORICAL PROPOSITIONS, CHP. 8 DEDUCTIVE LOGIC VS INDUCTIVE LOGIC ONE CENTRAL PURPOSE: UNDERSTANDING CATEGORICAL SYLLOGISMS AS THE BUILDING BLOCKS OF.

CATEGORICAL PROPOSITIONS, CHP. 8 DEDUCTIVE LOGIC VS INDUCTIVE LOGIC ONE CENTRAL PURPOSE: UNDERSTANDING CATEGORICAL SYLLOGISMS AS THE BUILDING BLOCKS OF.
Reasoning. Inductive and Deductive reasoning Inductive reasoning is concerned with reasoning from “specific instances to some general conclusion.” Deductive.

Reasoning. Inductive and Deductive reasoning Inductive reasoning is concerned with reasoning from “specific instances to some general conclusion.” Deductive.
Question of the Day!  We shared a lot of examples of illogical arguments!  But how do you make a LOGICAL argument? What does your argument need? What.

Question of the Day!  We shared a lot of examples of illogical arguments!  But how do you make a LOGICAL argument? What does your argument need? What.
Determining Validity and Invalidity in Deductive Arguments PHIL 121: Methods of Reasoning February 6, 2013 Instructor:Karin Howe Binghamton University.

Determining Validity and Invalidity in Deductive Arguments PHIL 121: Methods of Reasoning February 6, 2013 Instructor:Karin Howe Binghamton University.

Similar presentations

Ads by Google