EDUCTION.

Slides:



Advertisements
Similar presentations
Propositional Equivalences
Advertisements

-- in other words, logic is
Basic Terms in Logic Michael Jhon M. Tamayao.
Introduction to Proofs
PROOF BY CONTRADICTION
Deductive Arguments: Categorical Logic
Logic Use mathematical deduction to derive new knowledge.
Operations (Transformations) On Categorical Sentences
Propositional Logic Discrete Structures (CS 173) Madhusudan Parthasarathy, University of Illinois School of Athens Fresco by Raphael Wikimedia Commons.
Critical Thinking Lecture 9 The Square of Opposition By David Kelsey.
CS128 – Discrete Mathematics for Computer Science
Syllogistic Logic 1. C Categorical Propositions 2. V Venn Diagram 3. The Square of Opposition: Tradition / Modern 4. C Conversion, Obversion, Contraposition.
Immediate Inference Three Categorical Operations
Copyright © Cengage Learning. All rights reserved.
Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more Introductory Logic: Critical Thinking Dr. Robert Barnard.
Propositions and Truth Tables
Copyright © Curt Hill Rules of Inference What is a valid argument?
CSCI 115 Chapter 2 Logic. CSCI 115 §2.1 Propositions and Logical Operations.
Categorical Propositions To help us make sense of our experience, we humans constantly group things into classes or categories. These classifications are.
A Brief Summary for Exam 1 Subject Topics Propositional Logic (sections 1.1, 1.2) –Propositions Statement, Truth value, Proposition, Propositional symbol,
CATEGORICAL PROPOSITIONS, CHP. 8 DEDUCTIVE LOGIC VS INDUCTIVE LOGIC ONE CENTRAL PURPOSE: UNDERSTANDING CATEGORICAL SYLLOGISMS AS THE BUILDING BLOCKS OF.
The Science of Good Reasons
Philosophy 148 Chapter 7. AffirmativeNegative UniversalA: All S are PE: No S is P ParticularI: Some S is PO: Some S is not P.
Learning Targets I can recognize conditional statements and their parts. I can write the converse of conditional statements. 6/1/2016Geometry4.
Philosophy 103 Linguistics 103 Yet, still, Even further More and yet more, ad infinitum, Introductory Logic: Critical Thinking Dr. Robert Barnard.
Inference Logic.
Thinking Mathematically Logic 3.5 Equivalent Statements and Variation of Conditional Statements.
Lecture Propositional Equivalences. Compound Propositions Compound propositions are made by combining existing propositions using logical operators.
AIM: WHAT IS AN INDIRECT PROOF?
Chapter 18: Conversion, Obversion, and Squares of Opposition
Strict Logical Entailments of Categorical Propositions
4 Categorical Propositions
Section 2-1 Conditional Statements. Conditional statements Have two parts: 1. Hypothesis (p) 2. Conclusion (q)
Section 3.3 Using Laws of Logic. Using contrapositives  The negation of a hypothesis or of a conclusion is formed by denying the original hypothesis.
Lesson Aim: How do we recognize converses, inverses, contrapositive & conditional statements? Lesson Objectives: SWBAT Recognize converses, inverses, contrapositive.
LOGICAL REASONING FOR CAT 2009.
1 Introduction to Abstract Mathematics Chapter 2: The Logic of Quantified Statements. Predicate Calculus Instructor: Hayk Melikya 2.3.
2-3 Conditional Statements- Related What are the three related conditional statements? How are the three related conditional statements made?
Chapter 1: The Foundations: Logic and Proofs
Critical Thinking Lecture 9 The Square of Opposition
Relationships of Equivalences February Observe Relationship How two things relate to each other Mathematical A=A or ~A=~A Logically A=A, E=E,
Chapter 13: Categorical Propositions. Categorical Syllogisms (p. 141) Review of deductive arguments –Form –Valid/Invalid –Soundness Categorical syllogisms.
SYLLOGISTIC REASONING PART 2 Properties and Rules PART 2 Properties and Rules.
Inverse, Contrapositive & indirect proofs Sections 6.2/6.3.
Giving good reasons. When listening to others, we cannot concentrate only on our own feelings and reactions We must listen to what they are saying.
The Traditional Square of Opposition
The Art About Statements Chapter 8 “Say what you mean and mean what you say” By Alexandra Swindell Class Four Philosophical Questions.
If-then statements April 4, What is an if-then statement? One of the postulates we looked at earlier stated: If B is between A and C, then AB +
2004/9/15fuzzy set theory chap02.ppt1 Classical Logic the forms of correct reasoning - formal logic.
Sound Arguments and Derivations. Topics Sound Arguments Derivations Proofs –Inference rules –Deduction.
CS-7081 Application - 1. CS-7082 Example - 2 CS-7083 Simplifying a Statement – 3.
Simple Logic.
Conditional Statements
Objectives Identify, write, and analyze the truth value of conditional statements. Write the inverse, converse, and contrapositive of a conditional statement.
2. The Logic of Compound Statements Summary
Further Immediate Inferences: Categorical Equivalences
Chapter 8 Logic Topics
Copyright © Cengage Learning. All rights reserved.
2-2 Conditional Statements
4.1 The Components of Categorical Propositions
Categorical Propositions
Critical Thinking Lecture 9 The Square of Opposition
Logic Use mathematical deduction to derive new knowledge.
A Brief Summary for Exam 1
Conditional Statements
Copyright © Cengage Learning. All rights reserved.
CHAPTER 3 Logic.
Logic and Reasoning.
Math Humor Teacher: Which month has 28 days? Student: All of them!!
2-2: Conditional Statements
Presentation transcript:

EDUCTION

Eduction An immediate inference that involves the reformulation of a given proposition by the interchange of the subject and the predicate of a given proposition or the use or removal of the negatives. Kinds of Formal Eduction 1. Obversion 2. Conversion 3. Contraposition 4. Inversion

Obversion Rules of Obversion Examples Retain the subject and the quantity of the obvertend Change the quality: if the obvertend is affirmative change to negative; if negative change to affirmative Contradict the predicate Examples 1. A – E Every man is trustworthy. No man is untrustworthy 2. E – A No man is indispensable. Every man is dispensable. 3. I – O Some creatures are lucky. Some creatures are not unlucky. 4. O – I Not all commodities are expensive. Some commodities are inexpensive. 1. His lecture is not without humor. So, it must have humor. 2. All soldiers are combatants. Hence, no soldiers are noncombatants.

Obversion Truth-value of the obverse To determine the truth-value of the obverse, always remember that the obvertend and the obverse are logically equivalent, that is, they have the same truth value. Note: Obvertend the given proposition Obverse the new proposition Obversion the process itself.

Conversion Derives the inference by interchanging the subject and the predicate. There are two types of conversion: Simple Conversion: E and I Limited Conversion: A and E O does not have a conversion Notes Convertend the given proposition Converse the new proposition Conversion the process itself

Conversion Rules of Conversion Interchange the subject and the predicate. Retain the quality of the proposition. Do not extend the term, that is, a particular term cannot be universal term 2 Kinds of Conversion: Simple Conversion and Limited Conversion Examples of Simple Conversion 1. E – E No flowers are fruits. No fruits are flowers. 2. I – I Some animals are mammals. Some mammals are animals.

Conversion Examples of Limited Conversion Truth-value of the converse A – I All men are mortal. Some mortal (beings) are men. E – O No aliens are voters. Some voters are not aliens. Truth-value of the converse Simple converses are logically equivalent to their convertends Limited converses have their truth value determined through the law of subalternation. Thus If the convertend is true, the converse is true. If the converse is false, the converse is doubtful.

Contraposition The formulation of a new proposition whose subject is the contradictory of the original predicate There are two types of contraposition: Partial Contraposition Full or complete contraposition I does not have a contraposition Notes Contraponend the given proposition Contraposit the new proposition Contraposition the process itself

Contraposition Rules of Partial Contraposition Examples The subject is the contradictory of the original predicate. Change the quality. The predicate is the original subject. Examples 1. A – E Every man is trustworthy. No untrustworthy (person) is a man. 2. E –I No dogs are cats. Some non-cats are dogs. 3. O – I Not all citizens are voters. Some non-voters are citizens.

Contraposition Rules of Full Contraposition Examples The subject is the contradictory of the original predicate. The quality is the same. The predicate is contradictory of the original subject. Examples 1. A – A Every man is trustworthy. Every untrustworthy (person) is a non-man. 2. E – O No dogs are cats. Some non-cats are not non-dogs. 3. O – Not all citizens are voters. Some non-voters are not non-citizens.

Inversion The formulation of a new proposition whose subject is the contradictory of the original subject There are two types of Inversion: Partial Inversion Full or complete Inversion I and O do not have a inversion Note Invertend the given proposition Inverse the new proposition Inversion the process itself

Inversion Rules of Partial Inversion Examples The subject is the contradictory of the original predicate. Change the quality. The predicate is the original subject. Truth value follows the laws of subalternation. Note: O and I have no inversion Examples 1. A – O Every man is trustworthy. Not every non-man is trustworthy. 2. E – I No dogs are cats. Some non-dogs are cats

Inversion Rules of Full Contraposition Examples The subject is the contradictory of the original subject. The quality is the same. The predicate is contradictory of the original predicate. Examples 1. A – I Every man is trustworthy. Some non-man are untrustworthy. 2. E – O No dogs are cats. Some nondogs are not noncats. Truth-Value Inversions follow the laws of subalternation. Thus If the invertend is true, the inverse is true. If the inverted is false, the inverse is doubtful.