Categorical Syllogisms
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Categorize" a Person, Place, Time, Thing, Or Situation Is to Characterize It As a Member of a Class of Similar Things
CHAPTER 2 CATEGORICAL PROPOSITIONS A. The Structure of Categorical Propositions To "categorize" a person, place, time, thing, or situation is to characterize it as a member of a class of similar things. One does not consider the thing in question from its purely individual point of view, that is, in terms of the qualities it has without relationship to any other things. Upon being categorized, an individual thing is known by properties that it has by virtue of its being a member of the class of things referred to by that category. All propositions expressed in the Aristotelian system of logic are called categorical propositions because they are constructed using two categories of things: the subject category (or class) and the predicate category (or class). The copula, or connector between the subject and predicate, of a categorical proposition indicates how its subject category is related to its predicate category. The copula specifies whether members of the subject category are also members of the predicate category or whether members of the subject category are not members of the predicate category. Illustration: Subject Copula Predicate Quality of Copula (1) Strawberries are red. Affirmative (2) Strawberries are not red. Negative However, this is not enough. (1) declares that members of the class of strawberries are also members of the class of red things, but (1) is ambiguous because it does not specify the quantity of the subject class that is included in the predicate class. Thus, Ms. A might take (1) to mean “all strawberries are red,” while Mr. B might take (1) to mean “some strawberries are red.” Ms. -
7.1 Rules of Implication I
Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic. The method consists of using sets of Rules of Inference (valid argument forms) to derive either a conclusion or a series of intermediate conclusions that link the premises of an argument with the stated conclusion. The First Four Rules of Inference: ◦ Modus Ponens (MP): p q p q ◦ Modus Tollens (MT): p q ~q ~p ◦ Pure Hypothetical Syllogism (HS): p q q r p r ◦ Disjunctive Syllogism (DS): p v q ~p q Common strategies for constructing a proof involving the first four rules: ◦ Always begin by attempting to find the conclusion in the premises. If the conclusion is not present in its entirely in the premises, look at the main operator of the conclusion. This will provide a clue as to how the conclusion should be derived. ◦ If the conclusion contains a letter that appears in the consequent of a conditional statement in the premises, consider obtaining that letter via modus ponens. ◦ If the conclusion contains a negated letter and that letter appears in the antecedent of a conditional statement in the premises, consider obtaining the negated letter via modus tollens. ◦ If the conclusion is a conditional statement, consider obtaining it via pure hypothetical syllogism. ◦ If the conclusion contains a letter that appears in a disjunctive statement in the premises, consider obtaining that letter via disjunctive syllogism. Four Additional Rules of Inference: ◦ Constructive Dilemma (CD): (p q) • (r s) p v r q v s ◦ Simplification (Simp): p • q p ◦ Conjunction (Conj): p q p • q ◦ Addition (Add): p p v q Common Misapplications Common strategies involving the additional rules of inference: ◦ If the conclusion contains a letter that appears in a conjunctive statement in the premises, consider obtaining that letter via simplification. -
1 UNIT 4 PROPOSITIONS Contents 4.0 Objectives 4.1 Introduction 4.2
UNIT 4 PROPOSITIONS Contents 4.0 Objectives 4.1 Introduction 4.2 History of Logic and Proposition 4.3 Propositions and Sentences 4.4 Propositions and Judgments 4.5 Types of Proposition 4.6 Quality and Quantity 4.7 Let Us Sum Up 4.8 Key Words 4.9 Further Readings and References 4.10 Answers to Check Your Progress 4.0 OBJECTIVES As we know inference is the main subject matter of logic. The term refers to the argument in which a proposition is arrived at and affirmed or denied on the basis of one or more other propositions accepted as the starting point of the process. To determine whether or not an inference is correct the logician examines the propositions that are the initial and end points of that argument and the relationships between them. This clearly denotes the significance of propositions in the study of logic. In this unit you are expected to study: • the nature • the definition • the types and forms of propositions • the difference between propositions and sentences and judgments • the description of various types of propositions viewed from different standpoints like, composition, generality, relation, quantity, quality, and modality. 4.1 INTRODUCTION Classical logic concerns itself with forms and classifications of propositions. We shall begin with the standard definition of proposition. A proposition is a declarative sentence which is either true or false but not both. Also a proposition cannot be neither true nor false. A proposition is always expressed with the help of a sentence. For example - the same proposition “It is raining” can be expressed in English, Hindi, and Sanskrit and so on. -
Immediate Inference
Immediate Inference Dr Desh Raj Sirswal, Assistant Professor (Philosophy) P.G. Govt. College for Girls, Sector-11, Chandigarh http://drsirswal.webs.com . Inference Inference is the act or process of deriving a conclusion based solely on what one already knows. Inference has two types: Deductive Inference and Inductive Inference. They are deductive, when we move from the general to the particular and inductive where the conclusion is wider in extent than the premises. Immediate Inference Deductive inference may be further classified as (i) Immediate Inference (ii) Mediate Inference. In immediate inference there is one and only one premise and from this sole premise conclusion is drawn. Immediate inference has two types mentioned below: Square of Opposition Eduction Here we will know about Eduction in details. Eduction The second form of Immediate Inference is Eduction. It has three types – Conversion, Obversion and Contraposition. These are not part of the square of opposition. They involve certain changes in their subject and predicate terms. The main concern is to converse logical equivalence. Details are given below: Conversion An inference formed by interchanging the subject and predicate terms of a categorical proposition. Not all conversions are valid. Conversion grounds an immediate inference for both E and I propositions That is, the converse of any E or I proposition is true if and only if the original proposition was true. Thus, in each of the pairs noted as examples either both propositions are true or both are false. Steps for Conversion Reversing the subject and the predicate terms in the premise. Valid Conversions Convertend Converse A: All S is P. -
Saving the Square of Opposition∗
HISTORY AND PHILOSOPHY OF LOGIC, 2021 https://doi.org/10.1080/01445340.2020.1865782 Saving the Square of Opposition∗ PIETER A. M. SEUREN Max Planck Institute for Psycholinguistics, Nijmegen, the Netherlands Received 19 April 2020 Accepted 15 December 2020 Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cogni- tive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leak- ing O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute -
Traditional Logic II Text (2Nd Ed
Table of Contents A Note to the Teacher ............................................................................................... v Further Study of Simple Syllogisms Chapter 1: Figure in Syllogisms ............................................................................................... 1 Chapter 2: Mood in Syllogisms ................................................................................................. 5 Chapter 3: Reducing Syllogisms to the First Figure ............................................................... 11 Chapter 4: Indirect Reduction of Syllogisms .......................................................................... 19 Arguments in Ordinary Language Chapter 5: Translating Ordinary Sentences into Logical Statements ..................................... 25 Chapter 6: Enthymemes ......................................................................................................... 33 Hypothetical Syllogisms Chapter 7: Conditional Syllogisms ......................................................................................... 39 Chapter 8: Disjunctive Syllogisms ......................................................................................... 49 Chapter 9: Conjunctive Syllogisms ......................................................................................... 57 Complex Syllogisms Chapter 10: Polysyllogisms & Aristotelian Sorites .................................................................. 63 Chapter 11: Goclenian & Conditional Sorites ........................................................................ -
The Peripatetic Program in Categorical Logic: Leibniz on Propositional Terms
THE REVIEW OF SYMBOLIC LOGIC, Page 1 of 65 THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS MARKO MALINK Department of Philosophy, New York University and ANUBAV VASUDEVAN Department of Philosophy, University of Chicago Abstract. Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such as reductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the 17th century, this Peripatetic program of reducing hypothetical to categorical logic was championed by Gottfried Wilhelm Leibniz. In an essay titled Specimina calculi rationalis, Leibniz develops a theory of propositional terms that allows him to derive the rule of reductio ad absurdum in a purely categor- ical calculus in which every proposition is of the form AisB. We reconstruct Leibniz’s categorical calculus and show that it is strong enough to establish not only the rule of reductio ad absurdum,but all the laws of classical propositional logic. Moreover, we show that the propositional logic generated by the nonmonotonic variant of Leibniz’s categorical calculus is a natural system of relevance logic ¬ known as RMI→ . From its beginnings in antiquity up until the late 19th century, the study of formal logic was shaped by two distinct approaches to the subject. The first approach was primarily concerned with simple propositions expressing predicative relations between terms. -
Testing Validity Using Venn's Diagrams
TESTING VALIDITY USING VENN'S DIAGRAMS To test the validity of a categorical syllogism, one can use the method of Venn diagrams. Since a categorical syllogism has three terms, we need a Venn diagram using three intersecting circles, one representing each of the three terms in a categorical syllogism. A three term diagram has eight regions (the number of regions being 2n where n is the number of terms). The following chart gives the extension of the predicates in the various regions of the diagram. Region S (Minor Term) P (Major Term) M (Middle Term) 1 yes no no 2 yes yes no 3 no yes no 4 yes no yes 5 yes yes yes 6 no yes yes 7 no no yes 8 no no no In order to use a Venn diagram to test a syllogism, the diagram must be filled in to reflect the contents of the premises. Remember, shading an area means that that area is empty, the term represented has no extension in that area. What one is looking for in a Venn diagram test for validity is an accurate diagram of the conclusion of the argument that logically follows from a diagram of the premises. Since each of the premises of a categorical syllogism is a categorical proposition, diagram the premise sentences independently and then see whether the conclusion has already been diagramed. If so, the argument is valid. If not, then it is not. Remember, one definition of validity is that the propositional (informational) content of the conclusion is already expressed in the premises. -
Common Sense for Concurrency and Strong Paraconsistency Using Unstratified Inference and Reflection
Published in ArXiv http://arxiv.org/abs/0812.4852 http://commonsense.carlhewitt.info Common sense for concurrency and strong paraconsistency using unstratified inference and reflection Carl Hewitt http://carlhewitt.info This paper is dedicated to John McCarthy. Abstract Unstratified Reflection is the Norm....................................... 11 Abstraction and Reification .............................................. 11 This paper develops a strongly paraconsistent formalism (called Direct Logic™) that incorporates the mathematics of Diagonal Argument .......................................................... 12 Computer Science and allows unstratified inference and Logical Fixed Point Theorem ........................................... 12 reflection using mathematical induction for almost all of Disadvantages of stratified metatheories ........................... 12 classical logic to be used. Direct Logic allows mutual Reification Reflection ....................................................... 13 reflection among the mutually chock full of inconsistencies Incompleteness Theorem for Theories of Direct Logic ..... 14 code, documentation, and use cases of large software systems Inconsistency Theorem for Theories of Direct Logic ........ 15 thereby overcoming the limitations of the traditional Tarskian Consequences of Logically Necessary Inconsistency ........ 16 framework of stratified metatheories. Concurrency is the Norm ...................................................... 16 Gödel first formalized and proved that it is not possible -
To Determine the Validity of Categorical Syllogisms
arXiv:1509.00926 [cs.LO] Using Inclusion Diagrams – as an Alternative to Venn Diagrams – to Determine the Validity of Categorical Syllogisms Osvaldo Skliar1 Ricardo E. Monge2 Sherry Gapper3 Abstract: Inclusion diagrams are introduced as an alternative to using Venn diagrams to determine the validity of categorical syllogisms, and are used here for the analysis of diverse categorical syllogisms. As a preliminary example of a possible generalization of the use of inclusion diagrams, consideration is given also to an argument that includes more than two premises and more than three terms, the classic major, middle and minor terms in categorical syllogisms. Keywords: inclusion diagrams, Venn diagrams, categorical syllogisms, set theory Mathematics Subject Classification: 03B05, 03B10, 97E30, 00A66 1. Introduction Venn diagrams [1] have been and continue to be used to introduce syllogistics to beginners in the field of logic. These diagrams are perhaps the main technical tool used for didactic purposes to determine the validity of categorical syllogisms. The objective of this article is to present a different type of diagram, inclusion diagrams, to make it possible to reach one of the same objectives for which Venn diagrams were developed. The use of these new diagrams is not only simple and systematic but also very intuitive. It is natural and quite obvious that if one set is included in another set, which in turn, is included in a third set, then the first set is part of the third set. This result, an expression of the transitivity of the inclusion relation existing between sets, is the primary basis of inclusion diagrams. -
Aristotle and Gautama on Logic and Physics
Aristotle and Gautama on Logic and Physics Subhash Kak Louisiana State University Baton Rouge, LA 70803-5901 February 2, 2008 Introduction Physics as part of natural science and philosophy explicitly or implicitly uses logic, and from this point of view all cultures that studied nature [e.g. 1-4] must have had logic. But the question of the origins of logic as a formal discipline is of special interest to the historian of physics since it represents a turning inward to examine the very nature of reasoning and the relationship between thought and reality. In the West, Aristotle (384-322 BCE) is gener- ally credited with the formalization of the tradition of logic and also with the development of early physics. In India, the R. gveda itself in the hymn 10.129 suggests the beginnings of the representation of reality in terms of various logical divisions that were later represented formally as the four circles of catus.kot.i: “A”, “not A”, “A and not A”, and “not A and not not A” [5]. Causality as the basis of change was enshrined in the early philosophical sys- tem of the S¯am. khya. According to Pur¯an. ic accounts, Medh¯atithi Gautama and Aks.ap¯ada Gautama (or Gotama), which are perhaps two variant names for the same author of the early formal text on Indian logic, belonged to about 550 BCE. The Greek and the Indian traditions seem to provide the earliest formal arXiv:physics/0505172v1 [physics.gen-ph] 25 May 2005 representations of logic, and in this article we ask if they influenced each other. -
5.8 Symbolism and Diagrams for Categorical Propositions 215
M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 215 5.8 Symbolism and Diagrams for Categorical Propositions 215 C. (1) No acrobat is one who can lift himself by his own bootstraps; therefore, (2) No one who can lift himself by his own bootstraps is an acrobat; therefore, (3) Someone who can lift himself by his own bootstraps is not an acrobat. (From which it follows that there is at least one being who can lift himself by his own bootstraps.) D. (1) It is true that: No unicorns are animals found in the Bronx Zoo; therefore, (2) It is false that: All unicorns are animals found in the Bronx Zoo; therefore (3) It is true that: Some unicorns are not animals found in the Bronx Zoo. (From which it follows that there ex- ists at least one unicorn.) *E. (1) It is false that: Some mermaids are members of college sororities; therefore (2) It is true that: Some mermaids are not members of col- lege sororities. (From which it follows that there exists at least one mermaid.) 5.8 Symbolism and Diagrams for Categorical Propositions Because the Boolean interpretation of categorical propositions depends heav- ily on the notion of an empty class, it is convenient to have a special symbol to represent it. The zero symbol, 0, is used for this purpose. To say that the class designated by the term S has no members, we write an equals sign between S and 0. Thus the equation S ϭ 0 says that there are no S’s, or that S has no members.