SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS


 Nickolas Stewart
 2 years ago
 Views:
Transcription
1 Prof. C. Byrne Dept. of Philosophy SYLLOGISTIC LOGIC Syllogistic logic is the original form in which formal logic was developed; hence it is sometimes also referred to as Aristotelian logic after Aristotle, one of the founders of this branch of formal logic. Before we can examine the logical structure of any argument to see whether it is valid or invalid, we must first examine the logical structure of the propositions out of which it is composed. In the case of syllogistic logic, this requires an examination of categorical propositions because all syllogistic arguments, or syllogisms, are composed of categorical propositions. CATEGORICAL PROPOSITIONS A categorical proposition claims that a certain relation holds between two classes, groups, or general kinds of things (a.k.a. categories). In particular, every categorical proposition claims that one class of things either includes or excludes, either in whole or in part, another class of things. As a result, every categorical proposition has a quality, either affirmative or negative, and a quantity, either universal or particular. Taken together, this means that there are four different types of categorical propositions, which appear below. Note as well that every categorical proposition is made out of exactly four components, which must appear in the following order if the proposition is to be in standard categorical form: 1) the quantifier; 2) the subject term (S); 3) the copula; and 4) the predicate term (P). 1. Universal affirmative (A) All S s are P s. 2. Universal negative (E) No S s are P s. 3. Particular affirmative (I) Some S s are P s. 4. Particular negative (O) Some S s are not P s. The quantifier, and first word, must be either the word all, no, or some. The copula is always the word are. The subject and predicate terms of a categorical proposition cannot be singular terms, that is, terms that refer to only one thing at a time; typical singular terms are proper names (e.g., Bob, Mary, John) or definite descriptions (e.g., the Prime Minister of Canada, the Queen of England, the tallest student in the class, the person driving this car). Rather, the terms of a categorical proposition must be general terms, that is, terms that can be used to refer to several members of a certain class of objects at one time. A universal proposition says something about every member of the subject class; a particular proposition says something about some members of the subject class, where some is understood to mean at least one. In addition, because the subject and predicate terms refer to classes of objects, they must both be substantival terms (i.e., nouns or expressions containing at least one noun) and not attributive terms (i.e., adjectives or adjective phrases).
2 Sentences that are not yet in standard form can be transformed, or translated, into standard form by various devices, including the substituting of substantival phrases for adjectival ones, supplying a quantifier when none is explicitly stated, and using the predicate term to express the action contained in the verb when the latter is not the verb are. 2 Venn Diagrams Venn Diagrams provide a useful way of representing pictorially what is being claimed about the relation between the subject and predicate classes in a categorical proposition. Each diagram consists of two overlapping circles, one representing the subject class and the other the predicate class. By making the two circles overlap, four distinct areas are created: 1) the area inside the S circle, but outside the P circle; 2) the area of intersection between the two circles; 3) the area inside the P circle, but outside the S circle; 4) the area outside both circles. With respect to each one of these areas, one can either (a) leave it blank, which makes no statement about what is inside it, or (b) shade it in, which tells us that it is empty, or (c) put an asterisk in it, which tells us that there is at least one thing in that area. Each of the four standard categorical propositions is represented by a different Venn diagram. Distribution of Terms The terms of a categorical proposition, whether subject or predicate, are said to be distributed when a claim is being made about every member of the class of objects represented by that term. Aform propositions distribute only the subject term; Eform propositions distribute both the subject and the predicate term; Iform propositions distribute neither term; and Oform propositions distribute only the predicate term. A useful mnemonic device to help one remember this pattern is the formula that universal propositions distribute the subject term and negative propositions distribute the predicate term.
3 3 LOGICAL RELATIONS BETWEEN CATEGORICAL PROPOSITIONS AND IMMEDIATE INFERENCE There are several logical relations between categorical propositions having the same subject and predicate terms or the negation of the same terms. In certain instances, these relations allow us to make valid inferences from one such categorical proposition to another by means of a process known as immediate inference, that is, an inference which does not require a mediating term or proposition. The Traditional Square of Opposition The square of opposition shows the different logical relations between pairs of categorical propositions that have the same subject term and the same predicate term, but different quantities and qualities. A contraries E \ / subaltern contradictories subaltern / \ I subcontraries O Contradictory Relation: Contradictory propositions can never both be true at the same time nor both false at the same time; if one is true, the other is false, and if one is false, the other is true. The A and the O propositions are contradictories, that is, each is the contradictory of the other. Given the truth of an A proposition, we can validly infer the falsity of the corresponding O proposition and vice versa, and given the falsity of the A proposition, we can validly infer the truth of the corresponding O proposition and vice versa. The same relation obtains between the E and I propositions. Contrary Relation: Contrary propositions can never both be true at the same time, but they can both be false. The A and E propositions are contraries. Given the truth of one of them, we can validly infer the falsity of the other, but given the falsity of either the A or the E proposition, no valid inference with respect to the truth or falsity of its contrary is possible.
4 4 Subcontrary Relation: Subcontrary propositions can both be true, but they cannot both be false; one or the other of them must be true. The I and O propositions are subcontraries. Given the falsity of one of them, we can validly infer the truth of the other, but given the truth of an I or O proposition, no valid inference with respect to the truth or falsity of its subcontrary is possible. Subaltern Relation: A particular proposition ( I or O ) is said to be the subaltern of its corresponding universal proposition (i.e., the A or E proposition, respectively) when the truth of the universal proposition implies the truth of the corresponding particular proposition. Given the truth of an A proposition, we can validly infer the truth of the corresponding I proposition, and given the falsity of an I proposition, we can validly infer the falsity of the corresponding A proposition. But given the truth of an I proposition, we cannot validly infer the truth of the corresponding A proposition, and given the falsity of an A proposition, we cannot validly infer the falsity of the corresponding I proposition. The same relation holds between E and O propositions. Remember that the logical relations set out in the square of opposition only hold of categorical propositions with the same subject and predicate terms; an A and an O proposition, for example, with different subject or predicate terms are not contradictories. Immediate Inference and Logical Equivalence In addition to the logical relations set out in the square of opposition, there are the following relations of immediate inference which are based on the notion of logical equivalence (two or more propositions are logically equivalent if they are true or false under exactly the same conditions): Converse Relation: To perform conversion, one simply switches the positions of the subject and predicate terms. This does not, however, yield in all cases a proposition which is logically equivalent to the original proposition; in order for conversion to yield a valid inference, no term may be distributed in the converse which was not distributed in the original proposition. The converse of SeP is PeS. The converse of SiP is PiS. The converse of SaP is PaS. (Not logically equivalent) The converse of SoP is PoS. (Not logically equivalent) Using conversion by limitation, one can validly infer an I proposition (PiS) from an A
5 5 proposition (SaP). Notice that the resulting I proposition is not logically equivalent to the original A proposition. Obverse Relation: To perform obversion, one switches the quality of the proposition and substitutes for the original predicate its contradictory. If P is the original predicate, its contradictory is nonp. The resulting proposition is logically equivalent to the original proposition in all four cases. The obverse of SaP is Se nonp. The obverse of SeP is Sa nonp. The obverse of SiP is So nonp. The obverse of SoP is Si nonp. Contrapositive Relation: To perform contraposition, one switches or transposes the subject and predicate terms and substitutes for each its respective contradictory. The same result can be reached by performing first obversion, then conversion, and finally obversion again. The contrapositive of SaP is nonp a nons. The contrapositive of SoP is nonp o nons. The contrapositive of SeP is nonp e nons. (Not equivalent) The contrapositive of SiP is nonp i nons. (Not equivalent)
6 6 THE SYLLOGISM (MEDIATE INFERENCE) Definition: A syllogism is an argument composed of three categorical propositions, in which, given two propositions (the premises), which have one term in common, we infer a third proposition (the conclusion) whose terms are found one in each of the two premises. Thus, in a syllogism an inference is made about the relation between the two terms in the conclusion on the basis of the relations between these two terms, respectively, and some other, third term. It is called a mediate inference because the third term is said to mediate between or connect the other two terms. Terminology and Symbolism The major term is the predicate term of the conclusion. Symbol: P The minor term is the subject term of the conclusion. Symbol: S M The middle term is the term found in both premises, but not in the conclusion. Symbol: The major premise is the premise in which the major term occurs, whether as the subject or the predicate term of that premise. It is generally written first of the two premises when the argument is stated in standard form. The minor premise is the premise in which the minor term occurs, whether as the subject or the predicate term of that premise. Hence, the major premise consists of the major and middle terms (in either order), and the minor premise consists of the minor and middle terms (in either order). Syllogisms are distinguished by (a) their figure, which is determined by the position of the middle term in the premises, and (b) their mood, which is determined by the quantity and quality of the propositions which act as the premises and conclusion of the argument. There are 256 different possible syllogisms; all but 24 are invalid. As logicians, we are interested in distinguishing the valid from the invalid forms of syllogistic reasoning. We shall consider two ways of doing this: 1) by means of a set of formal rules; 2) by means of a Venn diagram.
7 7 Testing for Validity: Rules of the Syllogism A syllogism is invalid if it breaks one or more of the following rules: 1. The middle term must be distributed at least once. Otherwise, the fallacy of the undistributed middle has occurred. 2. No term may be distributed in the conclusion if it is not distributed in the premise in which it occurs. Otherwise, the fallacy of illicit process of the major (or minor) term has occurred. 3. At least one premise must be affirmative. 4. If one premise is negative, the conclusion must be negative, and vice versa. 5. If both premises are universal and the conclusion is particular, the syllogism is valid only from an existential point of view and not from a hypothetical one. The following mnemonic verse, which goes back to William Shyreswood, a thirteencentury English logician, lists the valid moods in each figure: Barbara Celarent Darii Ferioque prioris; Cesare Camestres Festino Baroco secundae; Tertia Darapti Disamis Datisi Felapton Bocardo Ferison habet; quarta insuper addit Bramantip Camenes Dimaris Fesapo Fresison. Testing for Validity: Venn Diagram This is done by representing the two premises on a Venn diagram consisting of three circles, one for each term in the syllogism. An argument is valid if and only if, in so representing the premises, the conclusion has thereby also been represented on the diagram. If it has not, the argument is invalid. Given an example of syllogistic inference in ordinary English, one should: a) Determine the conclusion and its logical form. b) Determine the premises and their logical form. c) Write out the premises and conclusion in standard categorical form and order (major premise, minor premise, and conclusion). d) Symbolize the argument. e) Test its validity by applying the rules of the syllogism or a Venn diagram.
MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness
MCQ IN TRADITIONAL LOGIC FOR PRIVATE REGISTRATION TO BA PHILOSOPHY PROGRAMME 1. Logic is the science of. A) Thought B) Beauty C) Mind D) Goodness 2. Aesthetics is the science of .
More information1 Clarion Logic Notes Chapter 4
1 Clarion Logic Notes Chapter 4 Summary Notes These are summary notes so that you can really listen in class and not spend the entire time copying notes. These notes will not substitute for reading the
More informationBaronett, Logic (4th ed.) Chapter Guide
Chapter 6: Categorical Syllogisms Baronett, Logic (4th ed.) Chapter Guide A. Standardform Categorical Syllogisms A categorical syllogism is an argument containing three categorical propositions: two premises
More information6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism
M06_COPI1396_13_SE_C06.QXD 10/16/07 9:17 PM Page 255 6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism 255 7. All supporters of popular government are democrats, so all supporters
More informationSyllogisms in Aristotle and Boethius
Syllogisms in Aristotle and Boethius Can BAŞKENT ILLC, UvA June 23, 2006 Categorical Syllogism in Aristotle Definitions Figures of Categorical Syllogism Hypothetical Syllogism in Aristotle Hints in Texts
More informationAncient Philosophy Handout #1: Logic Overview
Ancient Philosophy Handout #1: Logic Overview I. Stoic Logic A. Proposition types Affirmative P P Negative not P ~P Conjunction P and Q P Q Hypothetical (or Conditional) if P, then Q Disjunction P or Q
More informationlogic, symbolic logic, traditional
Hughes, R. I. G. The Structure and Interpretation of Quantum Mechanics. Cambridge, MA: Harvard University Press, 1989. Kripke, Saul. Is There a Problem about Substitutional Quantification? In Truth and
More information7. Some recent rulings of the Supreme Court were politically motivated decisions that flouted the entire history of U.S. legal practice.
M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 193 5.5 The Traditional Square of Opposition 193 EXERCISES Name the quality and quantity of each of the following propositions, and state whether their
More informationIn this section you will learn three basic aspects of logic. When you are done, you will understand the following:
Basic Principles of Deductive Logic Part One: In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Mental Act Simple Apprehension Judgment
More informationREASONING SYLLOGISM. Subject Predicate Distributed Not Distributed Distributed Distributed
REASONING SYLLOGISM DISTRIBUTION OF THE TERMS The word "Distrlbution" is meant to characterise the ways in which terrns can occur in Categorical Propositions. A Proposition distributes a terrn if it refers
More informationDr. Carlo Alvaro Reasoning and Argumentation Distribution & Opposition DISTRIBUTION
DISTRIBUTION Categorical propositions are statements that describe classes (groups) of objects designate by the subject and the predicate terms. A class is a group of things that have something in common
More informationLogic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE
CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or
More informationComplications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University
Complications for Categorical Syllogisms PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University Overall Plan First, I will present some problematic propositions and
More informationWhat would count as Ibn Sīnā (11th century Persia) having first order logic?
1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā
More informationUnit. Categorical Syllogism. What is a syllogism? Types of Syllogism
Unit 8 Categorical yllogism What is a syllogism? Inference or reasoning is the process of passing from one or more propositions to another with some justification. This inference when expressed in language
More informationLogic Appendix: More detailed instruction in deductive logic
Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,
More informationIbn Sīnā on Logical Analysis. Wilfrid Hodges and Amirouche Moktefi
Ibn Sīnā on Logical Analysis Wilfrid Hodges and Amirouche Moktefi Draft January 2013 2 Contents 1 Ibn Sīnā himself 5 1.1 Life................................. 5 1.2 Colleagues and students.....................
More informationVenn Diagrams and Categorical Syllogisms. Unit 5
Venn Diagrams and Categorical Syllogisms Unit 5 John Venn 1834 1923 English logician and philosopher noted for introducing the Venn diagram Used in set theory, probability, logic, statistics, and computer
More informationCHAPTER III. Of Opposition.
CHAPTER III. Of Opposition. Section 449. Opposition is an immediate inference grounded on the relation between propositions which have the same terms, but differ in quantity or in quality or in both. Section
More informationStudy Guides. Chapter 1  Basic Training
Study Guides Chapter 1  Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)
More informationUnit 7.3. Contraries E. Contradictories. Subcontraries
What is opposition of Unit 7.3 Square of Opposition Four categorical propositions A, E, I and O are related and at the same time different from each other. The relation among them is explained by a diagram
More informationPhilosophy 57 Day 10
Branden Fitelson Philosophy 57 Lecture 1 Philosophy 57 Day 10 Quiz #2 Curve (approximate) 100 (A); 70 80 (B); 50 60 (C); 40 (D); < 40 (F) Quiz #3 is next Tuesday 03/04/03 (on chapter 4 not tnanslation)
More informationSOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES
SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES By james CAIN ETER Geach's views of relative identity, together with his Paccount of proper names and quantifiers, 1 while presenting what I believe
More informationUNIT 1 TYPES OF CATEGORICAL PROPOSITIONS: A, E, I, AND O; SQUARE OF OPPOSITION
UNIT 1 TYPES OF CATEGORICAL PROPOSITIONS: A, E, I, AND O; SQUARE OF OPPOSITION Contents 1.0 Objectives 1.1 Introduction 1.2 Terms and Their Kinds 1.3 Denotation and Connotation of Terms 1.4 Meaning and
More informationLogic: Deductive and Inductive by Carveth Read M.A. Questions
Questions I. Terms, Etc. 1. What is a Term? Explain and illustrate the chief divisions of Terms. What is meant by the Connotation of a Term? Illustrate. [S] 2. The connotation and denotation of terms vary
More informationEssence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study
Marquette University epublications@marquette Dissertations (2009 ) Dissertations, Theses, and Professional Projects Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical
More informationThe basic form of a syllogism By Timo Schmitz, Philosopher
The basic form of a syllogism By Timo Schmitz, Philosopher In my article What is logic? (02 April 2017), I pointed out that an apophantic sentence is always a proposition. To find out whether the formal
More information1. Immediate inferences embodied in the square of opposition 2. Obversion 3. Conversion
CHAPTER 3: CATEGORICAL INFERENCES Inference is the process by which the truth of one proposition (the conclusion) is affirmed on the basis of the truth of one or more other propositions that serve as its
More informationPhilosophy 57 Day 10. Chapter 4: Categorical Statements Conversion, Obversion & Contraposition II
Branden Fitelson Philosophy 57 Lecture 1 Branden Fitelson Philosophy 57 Lecture 2 Chapter 4: Categorical tatements Conversion, Obversion & Contraposition I Philosophy 57 Day 10 Quiz #2 Curve (approximate)
More informationLogic Primer. Elihu Carranza, Ph.D. Inky Publication Napa, California
Logic Primer Elihu Carranza, Ph.D. Inky Publication Napa, California Logic Primer Copyright 2012 Elihu Carranza, Ph.D. All rights reserved. No part of this book may be reproduced or transmitted in any
More informationPart 2 Module 4: Categorical Syllogisms
Part 2 Module 4: Categorical Syllogisms Consider Argument 1 and Argument 2, and select the option that correctly identifies the valid argument(s), if any. Argument 1 All bears are omnivores. All omnivores
More informationThe Birth of Logic in Ancient Greek.
Modulo CLIL Titolo del modulo: Autore: Massimo Mora Lingua: Inglese Materia: Filosofia The Birth of Logic in Ancient Greek. Contenuti: Aristotelian theory of logic, the difference between truth, falsehood
More information5.3 The Four Kinds of Categorical Propositions
M05_COI1396_13_E_C05.QXD 11/13/07 8:39 AM age 182 182 CHATER 5 Categorical ropositions Categorical propositions are the fundamental elements, the building blocks of argument, in the classical account of
More informationLOGIC ANTHONY KAPOLKA FYF 1019/3/2010
LOGIC ANTHONY KAPOLKA FYF 1019/3/2010 LIBERALLY EDUCATED PEOPLE......RESPECT RIGOR NOT SO MUCH FOR ITS OWN SAKE BUT AS A WAY OF SEEKING TRUTH. LOGIC PUZZLE COOPER IS MURDERED. 3 SUSPECTS: SMITH, JONES,
More informationIS THE SYLLOGISTIC A LOGIC? it is not a theory or formal ontology, a system concerned with general features of the
IS THE SYLLOGISTIC A LOGIC? Much of the last fifty years of scholarship on Aristotle s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning,
More informationDeccan Education Society s FERGUSSON COLLEGE, PUNE (AUTONOMOUS) SYLLABUS UNDER AUTONOMY FIRST YEAR B.A. LOGIC SEMESTER I
Deccan Education Society s FERGUSSON COLLEGE, PUNE (AUTONOMOUS) SYLLABUS UNDER AUTONOMY FIRST YEAR B.A. LOGIC SEMESTER I Academic Year 20162017 Department: PHILOSOPHY Deccan Education Society s FERGUSSON
More informationSelections from Aristotle s Prior Analytics 41a21 41b5
Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations
More information7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions
Unit 7.1 Terms and Propositions Nature of propositions A proposition is a unit of reasoning or logical thinking. Both premises and conclusion of reasoning are propositions. Since propositions are so important,
More informationIN DEFENSE OF THE SQUARE OF OPPOSITION
IN DEFENSE OF THE SQUARE OF OPPOSITION Scott M. Sullivan THE SQUARE OF OPPOSITION IN TRADITIONAL LOGIC is thought by many contemporary logicians to suffer from an inherent formal defect. Many of these
More informationPhilosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity
Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 1 Background Material for the Exercise on Validity Reasons, Arguments, and the Concept of Validity 1. The Concept of Validity Consider
More informationDeduction. Of all the modes of reasoning, deductive arguments have the strongest relationship between the premises
Deduction Deductive arguments, deduction, deductive logic all means the same thing. They are different ways of referring to the same style of reasoning Deduction is just one mode of reasoning, but it is
More informationLogic Dictionary Keith BurgessJackson 12 August 2017
Logic Dictionary Keith BurgessJackson 12 August 2017 addition (Add). In propositional logic, a rule of inference (i.e., an elementary valid argument form) in which (1) the conclusion is a disjunction
More informationTransition to Quantified Predicate Logic
Transition to Quantified Predicate Logic Predicates You may remember (but of course you do!) during the first class period, I introduced the notion of validity with an argument much like (with the same
More information5.6 Further Immediate Inferences
M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 198 198 CHAPTER 5 Categorical Propositions EXERCISES A. If we assume that the first proposition in each of the following sets is true, what can we affirm
More informationUnit 4. Reason as a way of knowing. Tuesday, March 4, 14
Unit 4 Reason as a way of knowing I. Reasoning At its core, reasoning is using what is known as building blocks to create new knowledge I use the words logic and reasoning interchangeably. Technically,
More informationLogic: Deductive and Inductive by Carveth Read M.A. CHAPTER VIII
CHAPTER VIII ORDER OF TERMS, EULER'S DIAGRAMS, LOGICAL EQUATIONS, EXISTENTIAL IMPORT OF PROPOSITIONS Section 1. Of the terms of a proposition which is the Subject and which the Predicate? In most of the
More informationPhilosophy 1100: Ethics
Philosophy 1100: Ethics Topic 1  Course Introduction: 1. What is Philosophy? 2. What is Ethics? 3. Logic a. Truth b. Arguments c. Validity d. Soundness What is Philosophy? The Three Fundamental Questions
More information1 Discuss the contribution made by the early Greek thinkers (the Presocratics) to the beginning of Philosophy.
JUNE 2013 SESSION EXAMINATIONS PHI3010 Synoptic StudyUnit I: Philosophy for B.A., B.A.(Hons) Saturday 15 th June 2013 9.15 12.15 Answer any three questions. 1 Discuss the contribution made by the early
More informationThe Problem of Major Premise in Buddhist Logic
The Problem of Major Premise in Buddhist Logic TANG Mingjun The Institute of Philosophy Shanghai Academy of Social Sciences Shanghai, P.R. China Abstract: This paper is a preliminary inquiry into the main
More informationEarly Russell on Philosophical Grammar
Early Russell on Philosophical Grammar G. J. Mattey Fall, 2005 / Philosophy 156 Philosophical Grammar The study of grammar, in my opinion, is capable of throwing far more light on philosophical questions
More informationAristotle s Theory of the Assertoric Syllogism
Aristotle s Theory of the Assertoric Syllogism Stephen Read June 19, 2017 Abstract Although the theory of the assertoric syllogism was Aristotle s great invention, one which dominated logical theory for
More informationIndeterminate Propositions in Prior Analytics I.41
2. Korrektur/pdf  mentis  PLA/12 / Rhema 16.09.09 / Seite: 165 Indeterminate Propositions in Prior Analytics I.41 Marko Malink, HumboldtUniversität zu Berlin In Analytica Priora I.41 stellt Aristoteles
More information5.6.1 Formal validity in categorical deductive arguments
Deductive arguments are commonly used in various kinds of academic writing. In order to be able to perform a critique of deductive arguments, we will need to understand their basic structure. As will be
More informationGENERAL NOTES ON THIS CLASS
PRACTICAL LOGIC Bryan Rennie GENERAL NOTES ON THE CLASS EXPLANATION OF GRADES AND POINTS, ETC. SAMPLE QUIZZES SCHEDULE OF CLASSES THE SIX RULES OF SYLLOGISMS (and corresponding fallacies) SYMBOLS USED
More informationInformalizing Formal Logic
Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed
More informationPearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world
Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world Visit us on the World Wide Web at: www.pearsoned.co.uk Pearson Education Limited 2014
More informationThe Form of Inference
._ """'=~~~ The Form of Inference BERNARD LONERGAN M R. JOSEPH'S thorough Introduction to Logic consistently opposes the idea of reduction. In convincing analysis are set forth the three or
More informationPart II: How to Evaluate Deductive Arguments
Part II: How to Evaluate Deductive Arguments Week 4: Propositional Logic and Truth Tables Lecture 4.1: Introduction to deductive logic Deductive arguments = presented as being valid, and successful only
More informationBased on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.
On Interpretation By Aristotle Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak. First we must define the terms 'noun' and 'verb', then the terms 'denial' and 'affirmation',
More information4.7 Constructing Categorical Propositions
4.7 Constructing Categorical Propositions We have spent the last couple of weeks studying categorical propositions. Unfortunately, in the real world, the statements that people make seldom have that form.
More informationSyllogism. Exam Importance Exam Importance. CAT Very Important IBPS/Bank PO Very Important. XAT Very Important BANK Clerk Very Important
1 About Disha publication One of the leading publishers in India, Disha Publication provides books and study materials for schools and various competitive exams being continuously held across the country.
More informationSHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.
Exam Name SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Draw a Venn diagram for the given sets. In words, explain why you drew one set as a subset of
More informationAnthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres
[ Loyola Book Comp., run.tex: 0 AQR Vol. W rev. 0, 17 Jun 2009 ] [The Aquinas Review Vol. W rev. 0: 1 The Place of Conversion in Aristotelian Logic From at least the time of John of St. Thomas, scholastic
More informationCHAPTER 10 VENN DIAGRAMS
HATER 10 VENN DAGRAM NTRODUTON n the nineteenthcentury, John Venn developed a technique for determining whether a categorical syllogism is valid or invalid. Although the method he constructed relied on
More informationChapter 9 Sentential Proofs
Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 9 Sentential roofs 9.1 Introduction So far we have introduced three ways of assessing the validity of truthfunctional arguments.
More information10.3 Universal and Existential Quantifiers
M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 441 10.3 Universal and Existential Quantifiers 441 and Wx, and so on. We call these propositional functions simple predicates, to distinguish them from
More information15. Russell on definite descriptions
15. Russell on definite descriptions Martín Abreu Zavaleta July 30, 2015 Russell was another top logician and philosopher of his time. Like Frege, Russell got interested in denotational expressions as
More informationIdentify the subject and predicate terms in, and name the form of, each of the following propositions.
M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 187 5.4 Quality, Quantity, and Distribution 187 EXERCISES Identify the subject and predicate terms in, and name the form of, each of the following propositions.
More informationOn the Aristotelian Square of Opposition
On the Aristotelian Square of Opposition Dag Westerståhl Göteborg University Abstract A common misunderstanding is that there is something logically amiss with the classical square of opposition, and that
More informationExercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014
Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional
More informationA. Problem set #3 it has been posted and is due Tuesday, 15 November
Lecture 9: Propositional Logic I Philosophy 130 1 & 3 November 2016 O Rourke & Gibson I. Administrative A. Problem set #3 it has been posted and is due Tuesday, 15 November B. I am working on the group
More informationCategorical Logic Handout Logic: Spring Sound: Any valid argument with true premises.
Categorical Logic Handout Logic: Spring 2017 Deductive argument: An argument whose premises are claimed to provide conclusive grounds for the truth of its conclusion. Validity: A characteristic of any
More informationPHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE
PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE Now, it is a defect of [natural] languages that expressions are possible within them, which, in their grammatical form, seemingly determined to designate
More informationLogic, by Gordon H. Clark. A Review & Essay Rough Draft. We could solve * in the following way: 3x = 15 x = 5. Copyright 2005, 2011 by Vern Crisler
Logic, by Gordon H. Clark. A Review & Essay Rough Draft Copyright 2005, 2011 by Vern Crisler A. Preliminary Note: This review was originally written for the Clark List at: http://groups.yahoo.com/group/ghclark
More information(3) The middle term must be distributed at least once in the premisses.
CHAPTER XI. Of the Generad Rules of Syllogism. Section 582. We now proceed to lay down certain general rules to which all valid syllogisms must conform. These are divided into primary and derivative. I.
More informationArtificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture  03 So in the last
More informationAyer and Quine on the a priori
Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified
More informationFACULTY OF ARTS B.A. Part II Examination,
FACULTY OF ARTS B.A. Part II Examination, 201516 8. PHILOSOPHY SCHEME Two Papers Min. pass marks 72 Max. Marks 200 Paper  I 3 hrs duration 100 Marks Paper  II 3 hrs duration 100 Marks PAPER  I: HISTORY
More informationOn Interpretation. Section 1. Aristotle Translated by E. M. Edghill. Part 1
On Interpretation Aristotle Translated by E. M. Edghill Section 1 Part 1 First we must define the terms noun and verb, then the terms denial and affirmation, then proposition and sentence. Spoken words
More informationDurham Research Online
Durham Research Online Deposited in DRO: 20 October 2016 Version of attached le: Published Version Peerreview status of attached le: Not peerreviewed Citation for published item: Uckelman, Sara L. (2016)
More informationChapter 8  Sentential Truth Tables and Argument Forms
Logic: A Brief Introduction Ronald L. Hall Stetson University Chapter 8  Sentential ruth ables and Argument orms 8.1 Introduction he truthvalue of a given truthfunctional compound proposition depends
More informationLogic: Deductive and Inductive by Carveth Read M.A. CHAPTER VI CONDITIONS OF IMMEDIATE INFERENCE
CHAPTER VI CONDITIONS OF IMMEDIATE INFERENCE Section 1. The word Inference is used in two different senses, which are often confused but should be carefully distinguished. In the first sense, it means
More informationAm I free? Freedom vs. Fate
Am I free? Freedom vs. Fate We ve been discussing the free will defense as a response to the argument from evil. This response assumes something about us: that we have free will. But what does this mean?
More informationVERITAS EVANGELICAL SEMINARY
VERITAS EVANGELICAL SEMINARY A research paper, discussing the terms and definitions of inductive and deductive logic, in partial fulfillment of the requirements for the certificate in Christian Apologetics
More informationPastorteacher Don Hargrove Faith Bible Church September 8, 2011
Pastorteacher Don Hargrove Faith Bible Church http://www.fbcweb.org/doctrines.html September 8, 2011 Building Mental Muscle & Growing the Mind through Logic Exercises: Lesson 4a The Three Acts of the
More informationA BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS
A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned
More information3. Negations Not: contradicting content Contradictory propositions Overview Connectives
3. Negations 3.1. Not: contradicting content 3.1.0. Overview In this chapter, we direct our attention to negation, the second of the logical forms we will consider. 3.1.1. Connectives Negation is a way
More informationBertrand Russell Proper Names, Adjectives and Verbs 1
Bertrand Russell Proper Names, Adjectives and Verbs 1 Analysis 46 Philosophical grammar can shed light on philosophical questions. Grammatical differences can be used as a source of discovery and a guide
More informationLing 98a: The Meaning of Negation (Week 1)
Yimei Xiang yxiang@fas.harvard.edu 17 September 2013 1 What is negation? Negation in twovalued propositional logic Based on your understanding, select out the metaphors that best describe the meaning
More informationRussell: On Denoting
Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of
More informationComments on Truth at A World for Modal Propositions
Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into
More information9.1 Intro to Predicate Logic Practice with symbolizations. Today s Lecture 3/30/10
9.1 Intro to Predicate Logic Practice with symbolizations Today s Lecture 3/30/10 Announcements Tests back today Homework: Ex 9.1 pgs. 431432 Part C (125) Predicate Logic Consider the argument: All
More informationPrior, Berkeley, and the Barcan Formula. James Levine Trinity College, Dublin
Prior, Berkeley, and the Barcan Formula James Levine Trinity College, Dublin In his 1955 paper Berkeley in Logical Form, A. N. Prior argues that in his so called master argument for idealism, Berkeley
More informationHandout for: Ibn Sīnā: analysis with modal syllogisms
Handout for: Ibn Sīnā: analysis with modal syllogisms Wilfrid Hodges wilfrid.hodges@btinternet.com November 2011 1 Peiorem rule Ibn Sīnā introduces the peiorem rule at Qiyās 108.8 11 as follows: Know that
More informationAquinas' Third Way Modalized
Philosophy of Religion Aquinas' Third Way Modalized Robert E. Maydole Davidson College bomaydole@davidson.edu ABSTRACT: The Third Way is the most interesting and insightful of Aquinas' five arguments for
More informationAn Altogether Too Brief Introduction to Logic for Students of Rhetoric
An Altogether Too Brief Introduction to Logic for Students of Rhetoric At the opening of his book on rhetoric, Aristotle claimed that "Rhetoric is the counterpart of Dialectic," thus both drawing a distinction
More informationWhat is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing
What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing Logical relations Deductive logic Claims to provide conclusive support for the truth of a conclusion Inductive
More informationLogic: A Brief Introduction. Ronald L. Hall, Stetson University
Logic: A Brief Introduction Ronald L. Hall, Stetson University 2012 CONTENTS Part I Critical Thinking Chapter 1 Basic Training 1.1 Introduction 1.2 Logic, Propositions and Arguments 1.3 Deduction and Induction
More informationReasoning SYLLOGISM. follows.
Reasoning SYLLOGISM RULES FOR DERIVING CONCLUSIONS 1. The Conclusion does not contain the Middle Term (M). Premises : All spoons are plates. Some spoons are cups. Invalid Conclusion : All spoons are cups.
More informationEssential Logic Ronald C. Pine
Essential Logic Ronald C. Pine Chapter 11: Other Logical Tools Syllogisms and Quantification Introduction A persistent theme of this book has been the interpretation of logic as a set of practical tools.
More information