Workbook Unit 17: Negated Categorical Propositions
|
|
- Alexandra Williams
- 5 years ago
- Views:
Transcription
1 Workbook Unit 17: Negated Categorical Propositions Overview 1 1. Reminder 2 2. Negated Categorical Propositions Negation of Proposition A: Not all Ss are P Negation of Proposition E: It is not the case that no Ss are P Negation of Proposition I: There are no Ss that are P Negation of Proposition O: There are no Ss that are not P Negated Categorical Equivalences 7 What You Need to Know and Do 8 Overview In this unit, we will continue to learn the basics of symbolization in predicate logic. We will discuss the so-called Negated Categorical Equivalences. This unit teaches you the Negated Categorical Equivalences Prerequisites You must have completed Units Logic Self-Taught: Course Workbook, version Dr. P. drp@swps.edu.pl
2 1. Reminder We should be able to symbolize all four categorical propositions A: All men are jealous All Ss are P I: Some women are ambitious Some Ss are P E: No women are obnoxious No Ss are P O: Some men are not crazy Some Ss are not P and you should know the Negated Quantifier Equivalences: ~ x Px :: x ~Px ~ x Px :: x ~Px 2. Negated Categorical Propositions We will be using the following symbolization key: U.D.: people Ax: x is ambitious Cx: x is crazy. Jx: x is jealous Mx: x is a man Ox: x is obnoxious Wx: x is a woman Logic Self-Taught Unit 17. Negated Categorical Propositions 17-2
3 2.1. Negation of Proposition A: Not all Ss are P Let us first consider an A type proposition All men are jealous. Let us negate it: (~A) all men are jealous. or more idiomatically: (~A) Not all men are jealous. [~A] ~ x (Mx Jx) To think that not all men are jealous is surely to think that there is some man who is not jealous. Since the reverse is also true (if someone holds that there is some man who is not jealous, that person also must think that not all men are jealous), the negation of proposition A is equivalent to proposition O: (O) There is at least one man who is not jealous. [O] x (Mx ~Jx) Exercise Negated Proposition A Symbolize the following propositions in two equivalent ways (as negations of a universal proposition and as an existential proposition). State the existential proposition in English. (a) Not all dogs howl. U.D.: animals Bx: x barks Cx: x is a cat Dx: x is a dog Fx: x likes canned food ~ x (Sx Px) Hx: x howls Lx: x likes to walk Mx: x meows Wx: x wags its tail x (Sx ~Px) (b) Not every cat meows. (c) Not all dogs wag their tails. (d) Not all cats like canned food. (e) Not every dog likes to walk. (f) Not all dogs bark. Logic Self-Taught Unit 17. Negated Categorical Propositions 17-3
4 2.2. Negation of Proposition E: It is not the case that no Ss are P Consider an E type proposition No women are obnoxious. Imagine someone (a man probably), who believes that this proposition is false, in other words, he thinks that: (~E) no women are obnoxious. [~E] ~ x (Wx ~Ox) To think that the claim that no women are obnoxious is false is surely to think that there is some woman who is obnoxious. Since the reverse is also true (if someone thinks that there is some woman who is obnoxious, he must think that the claim that no women are obnoxious is false), the negation of proposition E is equivalent to proposition I: (I) There is at least one woman who is obnoxious. [I] x (Wx Ox) Exercise Negated Proposition E Symbolize the following propositions in two equivalent ways (as negations of a universal proposition and as an existential proposition). State the existential proposition in English. U.D.: animals Ax: x likes to stay alone Cx: x is a cat Dx: x is a dog Fx: x likes canned food Sx: x likes to swim Wx: x likes to walk (a) It isn t the case that no cat likes to walk. ~ x (Sx ~Px) x (Sx Px) (b) It is false that no dogs like canned food. (c) It is false that no dog likes to stay alone. (d) It is false that no cats like canned food. (e) The claim that no cat likes to swim is false (f) It is false that no cat likes to stay alone. Logic Self-Taught Unit 17. Negated Categorical Propositions 17-4
5 2.3. Negation of Proposition I: There are no Ss that are P Let us turn to the existential propositions. Let us begin with an I type proposition There are women who are ambitious. Imagine someone (again, probably, a man), who believes that this proposition is false, in other words, he thinks that: (~I) there are women who are ambitious. [~I] ~ x (Wx Ax) To think that the claim that there are women who are ambitious is false is surely to think that no woman is ambitious. Since the reverse is also true (if someone thinks that no women are ambitious, he must think that the claim that some women are ambitious is false), the negation of proposition I is equivalent to proposition E: [E] x (Wx ~Ax) (E) No woman is ambitious. Note that the equivalence between (~I) and (E) is so clear that it has even been encoded in the language both propositions can be read No Ss are P. Exercise Negated Proposition I Symbolize the following propositions in two equivalent ways (as negations of an existential proposition and as a universal proposition). State the negation of the existential proposition in English. U.D.: animals Ax: x likes to stay alone Cx: x is a cat Dx: x is a dog Fx: x likes canned food Sx: x likes to swim Wx: x likes to walk (a) No cats like to swim. (b) No dogs like canned food. (c) No dog likes to stay alone. (d) No cats like canned food. (e) No cat likes to walk. (f) No cat likes to stay alone. ~ x (Sx Px) x (Sx ~Px) Logic Self-Taught Unit 17. Negated Categorical Propositions 17-5
6 2.4. Negation of Proposition O: There are no Ss that are not P Finally, consider the O type proposition There are men who are not crazy. Imagine someone (this time, probably, a woman), who believes that this proposition is false, in other words, she thinks that: (~O) there are men who are not crazy. [~O] ~ x (Mx ~Cx) To think that the claim that there are men who are not crazy is false is surely to think that all men are crazy. Since the reverse is also true (if someone thinks that all men are crazy, she must think that the claim that some men are not crazy is false), the negation of proposition O is equivalent to proposition A: [A] x (Mx Cx) (A) All men are crazy. Exercise Negated Proposition O Symbolize the following propositions in two equivalent ways (as negations of an existential proposition and as a universal proposition). State the universal proposition in English. U.D.: animals Bx: x barks Cx: x is a cat Dx: x is a dog Fx: x likes canned food Hx: x howls Lx: x likes to walk Mx: x meows Wx: x wags its tail (a) There are no cats that do not meow. ~ x (Sx ~Px) x (Sx Px) (b) There are no dogs that do not bark. (c) There are no dogs that do not howl. (d) There are no dogs that don t wag their tails. (e) There are no dogs that do not like to walk. (f) There are no cats that dislike canned food. Logic Self-Taught Unit 17. Negated Categorical Propositions 17-6
7 2.5. Negated Categorical Equivalences We can thus gather together all the equivalences in a table: ~A ~ x (Sx Px) :: x (Sx ~Px) O ~E ~ x (Sx ~Px) :: x (Sx Px) I ~I ~ x (Sx Px) :: x (Sx ~Px) E ~O ~ x (Sx ~Px) :: x (Sx Px) A There is an easy mnemonic that can help you remember that negations of propositions A, E, I, O are equivalent to that same series but in reverse order: O, I, E, A. Exercise Negated Categorical Propositions Symbolize the following opinions about politicians using the symbolization key provided. In each case, provide two equivalent symbolizations. U.D.: politicians Ax: x is ambitious Cx: x is corrupt Dx: x is diligent Hx: x is honest Ix: x is intelligent Nx: x is new to politics Px: x is pretentious Tx: x is tired (a) No intelligent politicians are corrupt. (b) There are no intelligent politicians who are not honest. (c) Not all corrupt politicians are intelligent. (d) Not all diligent politicians are tired. (e) There are no ambitious politicians who are not honest. (f) No honest politician is corrupt. (g) It is not the case that no diligent politician is corrupt. (h) No corrupt politician is honest. (i) There are no pretentious politicians who are new to politics. (j) Not all honest politicians are tired. (k) It is not the case that no corrupt politician is tired. (l) No honest politician is pretentious. (m) Not only ambitious politicians are corrupt. Logic Self-Taught Unit 17. Negated Categorical Propositions 17-7
8 What You Need to Know and Do You need to be able to symbolize simple and externally complex singular and quantified propositions. You need to be able to construct an appropriate symbolization key (with U.D. given). Logic Self-Taught Unit 17. Negated Categorical Propositions 17-8
9.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. 431-432 Part C (1-25) Predicate Logic Consider the argument: All
More informationRevisiting the Socrates Example
Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified
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 information10.7 Asyllogistic Inference
M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 468 468 CHAPTER 10 Quantification Theory 8. None but the brave deserve the fair. Every soldier is brave. Therefore none but soldiers deserve the fair. (Dx:
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 informationPHI Introduction Lecture 4. An Overview of the Two Branches of Logic
PHI 103 - Introduction Lecture 4 An Overview of the wo Branches of Logic he wo Branches of Logic Argument - at least two statements where one provides logical support for the other. I. Deduction - a conclusion
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 informationAnnouncements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example.
Announcements CS311H: Discrete Mathematics First Order Logic, Rules of Inference Instructor: Işıl Dillig Homework 1 is due now! Homework 2 is handed out today Homework 2 is due next Wednesday Instructor:
More informationAnnouncements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic
Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete
More information(Refer Slide Time 03:00)
Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about
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 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 informationWorkbook Unit 3: Symbolizations
Workbook Unit 3: Symbolizations 1. Overview 2 2. Symbolization as an Art and as a Skill 3 3. A Variety of Symbolization Tricks 15 3.1. n-place Conjunctions and Disjunctions 15 3.2. Neither nor, Not both
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 informationHartley Slater BACK TO ARISTOTLE!
Logic and Logical Philosophy Volume 21 (2011), 275 283 DOI: 10.12775/LLP.2011.017 Hartley Slater BACK TO ARISTOTLE! Abstract. There were already confusions in the Middle Ages with the reading of Aristotle
More informationPhilosophical Logic. LECTURE SEVEN MICHAELMAS 2017 Dr Maarten Steenhagen
Philosophical Logic LECTURE SEVEN MICHAELMAS 2017 Dr Maarten Steenhagen ms2416@cam.ac.uk Last week Lecture 1: Necessity, Analyticity, and the A Priori Lecture 2: Reference, Description, and Rigid Designation
More informationBroad on Theological Arguments. I. The Ontological Argument
Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that
More informationON THE DEVOLVEMENT OF OBLIGATION. Robert J. FOGELIN
ON THE DEVOLVEMENT OF OBLIGATION Robert J. FOGELIN In his critical study of Marcus Singer's Generalization in Ethics, George Nakhnildan offers a clear formulation of Singer's Generalization Principle GP),
More informationOnly fuzzy animals are bears. Whoever is logical is clever. One or more. bears are not mean. Wolverines are ferocious. Wolverines are not vegetarians.
Syllogistic logic (Section 2.4) front of flash card None but mean animals are bears. Only rich people are happy. Not all people are happy. It is not true that all bears are mean. An animal is not a bear
More informationOnly fuzzy animals are bears. Whoever is logical is clever. One or more. bears are not mean. Wolverines are ferocious. Wolverines are not vegetarians.
Syllogistic logic (Section 2.4) front of flash card None but mean animals are bears. Only fuzzy animals are bears. It is not true that some bears are mean. Only rich people are happy. Not all people are
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied
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 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 information16. Universal derivation
16. Universal derivation 16.1 An example: the Meno In one of Plato s dialogues, the Meno, Socrates uses questions and prompts to direct a young slave boy to see that if we want to make a square that has
More informationLogic for Robotics: Defeasible Reasoning and Non-monotonicity
Logic for Robotics: Defeasible Reasoning and Non-monotonicity The Plan I. Explain and argue for the role of nonmonotonic logic in robotics and II. Briefly introduce some non-monotonic logics III. Fun,
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 informationLOGIC ANTHONY KAPOLKA FYF 101-9/3/2010
LOGIC ANTHONY KAPOLKA FYF 101-9/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 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 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 informationSYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS
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,
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 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 informationInnovación Educativa ISSN: Instituto Politécnico Nacional México
Innovación Educativa ISSN: 1665-2673 innova@ipn.mx Instituto Politécnico Nacional México Guha, Nirmalya Teaching logic: Cracking the hard nut Innovación Educativa, vol. 14, núm. 64, enero-abril, 2014,
More informationClass 8 - The Attributive/Referential Distinction
Philosophy 408: The Language Revolution Spring 2009 Tuesdays and Thursdays, 2:30pm - 3:45pm Hamilton College Russell Marcus rmarcus1@hamilton.edu I. Two uses of definite descriptions Class 8 - The Attributive/Referential
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 informationToward a Legal Deontic Logic
Notre Dame Law Review Volume 73 Issue 3 Article 5 6-1-1999 Toward a Legal Deontic Logic Howard Pospesel Follow this and additional works at: http://scholarship.law.nd.edu/ndlr Part of the Law Commons Recommended
More informationChapter 6, Tutorial 1 Predicate Logic Introduction
Chapter 6, Tutorial 1 Predicate Logic Introduction In this chapter, we extend our formal language beyond sentence letters and connectives. And even beyond predicates and names. Just one small wrinkle,
More informationClass #9 - The Attributive/Referential Distinction
Philosophy 308: The Language Revolution Fall 2015 Hamilton College Russell Marcus I. Two Uses of Definite Descriptions Class #9 - The Attributive/Referential Distinction Reference is a central topic in
More informationA Guide to FOL Proof Rules ( for Worksheet 6)
A Guide to FOL Proof Rules ( for Worksheet 6) This lesson sheet will be a good deal like last class s. This time, I ll be running through the proof rules relevant to FOL. Of course, when you re doing any
More informationTABLE OF CONTENTS PERSONAL STATEMENT... 2 TEACHING STATEMENT... 3 CV... 5 TEACHING EXPERIENCE & REFLECTIONS... 9 TEACHING MATERIALS...
TEACHING PORTFOLIO A. Arturo Javier- Castellanos Syracuse University, Philosophy Department 541 Hall of Languages, Syracuse NY, 13244-1170 aajavier@syr.edu, (917)520-9935 https://aajavierportfolio.wordpress.com/
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 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 informationWhat is the Frege/Russell Analysis of Quantification? Scott Soames
What is the Frege/Russell Analysis of Quantification? Scott Soames The Frege-Russell analysis of quantification was a fundamental advance in semantics and philosophical logic. Abstracting away from details
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 information1. Introduction. Against GMR: The Incredulous Stare (Lewis 1986: 133 5).
Lecture 3 Modal Realism II James Openshaw 1. Introduction Against GMR: The Incredulous Stare (Lewis 1986: 133 5). Whatever else is true of them, today s views aim not to provoke the incredulous stare.
More informationFacts and Free Logic. R. M. Sainsbury
R. M. Sainsbury 119 Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and the property of barking.
More informationFacts and Free Logic R. M. Sainsbury
Facts and Free Logic R. M. Sainsbury Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and
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 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 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 informationClass #37 - Translation Using Identity I ( 8.7)
Class #37 - Translation Using Identity I ( 8.7) I. The identity predicate is a special predicate, with a special logic Consider the following logical derivation: 1. Superman can fly. Fs 2. Superman is
More informationA Defence of Kantian Synthetic-Analytic Distinction
A Defence of Kantian Synthetic-Analytic Distinction Abstract: Science is organized knowledge. Wisdom is organized life. Immanuel Kant Dr. Rajkumar Modak Associate Professor Department of Philosophy Sidho-Kanho-Birsha
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 informationTruth At a World for Modal Propositions
Truth At a World for Modal Propositions 1 Introduction Existentialism is a thesis that concerns the ontological status of individual essences and singular propositions. Let us define an individual essence
More informationAlice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, 2018
Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February, 2018 Alice E. Fischer... 1/28 1 Examples and Varieties Order of Quantifiers and Negations 2 3 Universal Existential 4 Universal Modus
More informationLOGIC Lesson 10: Univocal, Equivocal, Analogical Terms. 1. A term in logic is the subject or the predicate of a proposition (a declarative sentence).
Pastor-teacher Don Hargrove Faith Bible Church http://www.fbcweb.org/doctrines.html LOGIC Lesson 10: Univocal, Equivocal, Analogical Terms 1. A term in logic is the subject or the predicate of a proposition
More informationHow Gödelian Ontological Arguments Fail
How Gödelian Ontological Arguments Fail Matthew W. Parker Abstract. Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer
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 informationUnit 7.3. Contraries E. Contradictories. Sub-contraries
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 informationQuantified Modal Logic and the Plural De Re
MIDWEST STUDIES IN PHILOSOPHY, XIV (1989) Quantified Modal Logic and the Plural De Re PHILLIP BRICKER s uantified modal logic has proven itself a useful tool for the formalization of modal discourse. It
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 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 informationHaberdashers Aske s Boys School
1 Haberdashers Aske s Boys School Occasional Papers Series in the Humanities Occasional Paper Number Sixteen Are All Humans Persons? Ashna Ahmad Haberdashers Aske s Girls School March 2018 2 Haberdashers
More informationIDAHO. Beal, Merrill D. History of Idaho. New York: Lewis Historical Publishing Company Inc., Americana F 746.B
Arrington, Leonard J. History of Idaho. Boise, ID: Idaho State Historical Society, 1994. F 746.A75 1994 and Americana F 746.A75 1994 (2 Volumes) Bailey, Robert G. River of no Return (the Great Salmon River
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 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 informationTHE JOuRNAL OF PHILOSOPHY
VOLUME LXTII, No. 19 OCTOBER 13, 1966 THE JOuRNAL OF PHILOSOPHY KANT'S OBJECTION TO THE ONTOLOGICAL ARGUMENT* HE Ontological Argument for the existence of God has 1fascinated and puzzled philosophers ever
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 informationOn Truth At Jeffrey C. King Rutgers University
On Truth At Jeffrey C. King Rutgers University I. Introduction A. At least some propositions exist contingently (Fine 1977, 1985) B. Given this, motivations for a notion of truth on which propositions
More informationDefinite Descriptions: From Symbolic Logic to Metaphysics. The previous president of the United States is left handed.
Definite Descriptions: From Symbolic Logic to Metaphysics Recall that we have been translating definite descriptions the same way we would translate names, i.e., with constants (lower case letters towards
More informationFIRST PUBLIC EXAMINATION. Preliminary Examination in Philosophy, Politics and Economics INTRODUCTION TO PHILOSOPHY TRINITY TERM 2013
CPPE 4266 FIRST PUBLIC EXAMINATION Preliminary Examination in Philosophy, Politics and Economics INTRODUCTION TO PHILOSOPHY TRINITY TERM 2013 Tuesday 18 June 2013, 9.30am - 12.30pm This paper contains
More informationChapters 21, 22: The Language of QL ("Quantifier Logic")
Chapters 21, 22: The Language of QL ("Quantifier Logic") Motivation: (1) Fido is a cat. (2) All cats are scary. Valid argument! (3) Fido is scary. In PL: Let P = Fido is a cat. Q = All cats are scary.
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 10 Inference in First Order Logic I had introduced first order
More informationExists As A Predicate : Some Contemporary Views
109 CHAPTER - SIX Exists As A Predicate : Some Contemporary Views 6.1 : Introduction. Our discussions so far go to show that existence-talk owes a lot to the modem development of quantificational theory.
More informationOur Knowledge of Mathematical Objects
1 Our Knowledge of Mathematical Objects I have recently been attempting to provide a new approach to the philosophy of mathematics, which I call procedural postulationism. It shares with the traditional
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 informationTwo (Related) World Views
Edward N. Zalta 2 Two (Related) World Views Edward N. Zalta Center for the Study of Language and Information Stanford University During the past two decades, the late Hector-Neri Castañeda developed a
More informationLesson Overview LEADER S GUIDE. 4th- 5th. SERIES: HOW TO WIN AT EVERYTHING Winning At Losing. PursueGOD.org
Winning At Losing LEADER S GUIDE 4th- Lesson Overview Today we re talking about how to win at losing. You might be thinking, What? Who wants to win at being a loser! Well, we re not talking about how to
More informationConscientious Objection as a Human Right: A Logico-anarchist Approach
Conscientious Objection as a Human Right: A Logico-anarchist Approach Can BAŞKENT December 24, 2008 Contents 1 Introduction 2 1.1 Traditional Approaches to Conscientious Objection........ 2 1.2 Our Approach.............................
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 informationArtificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence Clause Form and The Resolution Rule Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 07 Lecture 03 Okay so we are
More informationIs this too unbelievable to be true?
Is this too unbelievable to be true? A few thousand years ago, the Bible tells us, the people of Earth had become greedy, evil and sinful. God felt the only solution was to send a flood to wipe them out.
More informationRevelation, Humility, and the Structure of the World. David J. Chalmers
Revelation, Humility, and the Structure of the World David J. Chalmers Revelation and Humility Revelation holds for a property P iff Possessing the concept of P enables us to know what property P is Humility
More informationPREDICATION AND MATTER
G.BEALER PREDICATION AND MATTER This paper is divided into four sections. First, I will pose what may be called the metaphysical problem of mass. Then, I will describe a related problem: the logico-linguistic
More informationIntro. First-Order Necessity and Validity. First Order Attention. First Order Attention
Intro Mark Criley IWU 10/23/2015 We have added some new pieces to our language: Quantifiers and variables. These new pieces are going to add a new layer of NPEC: Necessity, Possibility, Equivalence, Consequence.
More informationWhat Is a Normative Ethical Theory? Keith Burgess-Jackson 26 December 2017
What Is a Normative Ethical Theory? Keith Burgess-Jackson 26 December 2017 A normative ethical theory is a statement of necessary and sufficient conditions for moral rightness. 1 It purports to tell us
More informationrussell s theory of propositions
russell s theory of propositions Propositions are mind- and languageindependent complexes made up of entities and universals. They play the following roles: (a)they are the things that are either true
More informationIs the law of excluded middle a law of logic?
Is the law of excluded middle a law of logic? Introduction I will conclude that the intuitionist s attempt to rule out the law of excluded middle as a law of logic fails. They do so by appealing to harmony
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 informationAbstract Abstraction Abundant ontology Abundant theory of universals (or properties) Actualism A-features Agent causal libertarianism
Glossary Abstract: a classification of entities, examples include properties or mathematical objects. Abstraction: 1. a psychological process of considering an object while ignoring some of its features;
More informationAyer on the criterion of verifiability
Ayer on the criterion of verifiability November 19, 2004 1 The critique of metaphysics............................. 1 2 Observation statements............................... 2 3 In principle verifiability...............................
More informationTHE RELATION BETWEEN THE GENERAL MAXIM OF CAUSALITY AND THE PRINCIPLE OF UNIFORMITY IN HUME S THEORY OF KNOWLEDGE
CDD: 121 THE RELATION BETWEEN THE GENERAL MAXIM OF CAUSALITY AND THE PRINCIPLE OF UNIFORMITY IN HUME S THEORY OF KNOWLEDGE Departamento de Filosofia Instituto de Filosofia e Ciências Humanas IFCH Universidade
More informationLing 98a: The Meaning of Negation (Week 1)
Yimei Xiang yxiang@fas.harvard.edu 17 September 2013 1 What is negation? Negation in two-valued propositional logic Based on your understanding, select out the metaphors that best describe the meaning
More informationBaronett, Logic (4th ed.) Chapter Guide
Chapter 6: Categorical Syllogisms Baronett, Logic (4th ed.) Chapter Guide A. Standard-form Categorical Syllogisms A categorical syllogism is an argument containing three categorical propositions: two premises
More informationA Scopal Theory of Presupposition I
A Scopal Theory of Presupposition I Graeme Forbes 1. triggers and inheritance A presupposition, for the purposes of this paper, is a kind of entailment: a statement, or proposition, p, presupposes a proposition
More informationSTRUCTURAL STEEL SHAPES
The following pages contain a listing of the available structural steel shapes in the U.S. from major steel producers as well as which mills are producing the shapes. This availability listing is useful
More informationCommitting Ourselves to Nothing: An anti-orthodox view of existential quantifier expressions
Committing Ourselves to Nothing: An anti-orthodox view of existential quantifier expressions A DISSERTATION SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Stephen M.
More informationThe Perfect Being Argument in Case-Intensional Logic The perfect being argument for God s existence is the following deduction:
The Perfect Being Argument in Case-Intensional Logic The perfect being argument for God s existence is the following deduction: - Axiom F1: If a property is positive, its negation is not positive. - Axiom
More informationIn Defense of the Law of Noncontradiction
Edward N. Zalta 2 In Defense of the Law of Noncontradiction Edward N. Zalta Center for the Study of Language and Information Stanford University zalta@stanford.edu An important philosophical puzzle arises
More informationTo appear in A. Rayo and G. Uzquiano (eds.), Unrestricted Quantification: New Essays. (Oxford: Oxford University Press, forthcoming 2007)
To appear in A. Rayo and G. Uzquiano (eds.), Unrestricted Quantification: New Essays (Oxford: Oxford University Press, forthcoming 2007) Absolute Identity and Absolute Generality Timothy Williamson The
More information