Ling 98a: The Meaning of Negation (Week 1)
|
|
- Amos Walker
- 5 years ago
- Views:
Transcription
1 Yimei Xiang 17 September What is negation? Negation in two-valued propositional logic Based on your understanding, select out the metaphors that best describe the meaning of negation. (1) a. Eraser b. Pressure-lowering drug c. Mirror d. Prison e. Protester f. No-parking sign In natural languages, negation can be very complex. Negation might be composed with a non-propositional constituent. Tautologies in the propositional logic are not always true in natural languages. It is difficult to identify which part of a negative sentence is actually denied.... 1
2 2 Why do we talk about negation? A brief review: propositional logic Connectives and their meanings Table 1: Connectives in propositional logic Connectives Compose proposition with connectives Translation negation p (the negation of p) it is not the case that p conjunction (p q) (conjunction of p and q) p and q disjunction (p q) (disjunction of p and q) p and/or q implication (p q) (implication of p and q) if p, then q equivalence (p q) (equivalence of p and q) p if and only if (iff.) q Syntax of propositional logic: Grouping: negation >> conjunction/disjunction >> implication/equivalence Semantics of propositional logic: Truth tables Table 2: Truth tables p q p p q p q p q p q Logical equivalence: V(p) = V(q) Tautologies, contradictions, contingencies Indirect reasoning (Deduction ad absurdum) 2
3 3 Understanding oppositions 3.1 Warm Up Give an answer that differs from both Mary s and John s. Make sure that your answer cannot be simultaneously true with either of their answers. Case 1: Mary: Edwin likes semantics. John: Edwin dislikes semantics. You: Case 2: Mary: It is raining John: It isn t raining You: 3.2 LNC and LEM in propositional logic Laws toward a formal definition of contradiction and contrariety: LNC (Law of Non-Contradiction): No statement can be true simultaneously with its negation. (2) (φ φ) LEM (Law of Excluded Middle): Every statement is either true or has a true negation. (3) φ φ Defining contrary and contradictory oppositions with laws: (4) a. Contrary opposition only needs to obey LNC: b. Contradictory opposition is governed by LNC as well as LEM: i. A corresponding affirmation and denial cannot both be true, by LNC; ii. But neither can they both be false, by LEM. Question: Consider, as for the negation in propositional logic, is it a contradictory operator, or a contrary one? 3
4 In-class Exercise 1: For signs in each of the following pictures, are they contrary or contradictory to each other? Why? Many things that are said to be contradictory in daily conversations are actually contrary in logic. It is very likely to find an alternative beyond the existing options, although such an alternative can be very... tough. 4
5 In-class Exercise 2: All the following formulas are tautologies in the two-valued propositional logic. The validity of which is debatable in natural languages? (5) a. (φ φ) b. φ φ (6) a. φ φ b. φ φ 3.3 Some tricky cases Case 3: Mary: Harry s daughter is smart. John: Harry s daughter is not smart. You: Case 4: Mary: Edwin likes mushroom. John: Edwin doesn t like mushroom. You: Case 5: Mary: Bob is an old man. John: Bob isn t an old man. Mary and John s mother: Bob is NOT an old man, he is your FAther! Some expressions which appear to be contradictories may in fact be contraries. Mary s and John s statements can be simultaneously denied when: Case 3: The subject fails to refer. (Presupposition failure) Case 4: Negation is read as a contrary operator which takes a narrow scope. (i) It is not the case that Edwin likes mushroom. (Mushroom is not a kind of food that Edwin likes.) (ii) Edwin does not-like mushroom. (Mushroom is a kind a food that Edwin dislikes.) Case 5: Negation applies to the speech-act: metalinguistic negation 5
6 Case 6: Mary: John believes his daughter will pick him up. John: John doesn t believe his daughter will pick him up. You: 4 Term logic of Aristotle 4.1 Basic concepts A proposition consists of two terms, a subject (S) and a predicate (P). A given P can be either affirmed or denied of a given S. There are two negations, and neither of them is propositional. Predicate denial (contradictory negation): S is not P It s a mode of predication, a way of combining subjects with predicates. E.g. Socrates is not ill. (i.e., Socrates [is not] ill) (Predicate) term negation (contrary negation): S is not-p It only says the predicate term is negative. E.g. Socrates is not-ill. (i.e., Socrates is [not ill]) When the given S doesn t actually exist (e.g. Case 3), Both S is P and S is not-p are False (since nothing positive or negative can be truly affirmed of a non-existent subject). Both S is not P and S is not not-p are True. E.g. since there doesn t exist a king of the United States in the actual world, in Aristotle s term logic, (6a-b) are False, and (6c-d) are True: (7) a. The king of the United States is bald. b. The kind of the United States is not-bald. c. The king of the United States is not bald. d. The kind of the United States is not not-bald. 4.2 Square of oppositions (AEIO) Three types of oppositions: (8) for two propositions/statements p and q, they are a. Contradictories iff they cannot both be true and cannot both be false. b. Contraries iff they can both be false, but cannot both be true. c. Subcontraries iff they can both be true, but cannot both be false. 6
7 Appendix: square of opposition for quantificational items ( More about oppositions in term logic ( Homework 1: Write a short paragraph to describe how the term logic of Aristotle addresses the following two issues: (i) the issues of non-existent subject; (ii) the issue of scope ambiguity. 5 Presuppositions, multi-valued logic and the A-operator Negations in the term logic of Aristotle are not propositional. If we follow the classic view and assume that negation is a propositional operator, how to address the tricky cases above? 5.1 What is a presupposition? The given subjects in (8) triggers an existential inference. In normal conversations, this existential inference is taken for granted (namely, part of the background). (9) a. John s daughter will come. b. John s daughter won t come. Existential inference (John has a daughter.) a presupposition Possessive phrase (John s daughter) a presupposition trigger A presupposition of S is a condition that must be met for S to be true or false. (10) S p is defined iff. V (p) = 1 Other presupposition triggers (following a traditional view): Verbs: stop, regret, know, discover, etc. Adverbials: again, too, etc. 7
8 Definite determiners: the Contrastive focus Cleft sentences Gender features (11) a. John has stopped drinking wine for breakfast. b. John used to drink wine for breakfast. (12) a. Mary bakes cookies again. b. Mary has baked cookies before. (13) a. The student is smart. b. There is an unique student in the context. (14) a. JOHN broke the computer. b. Someone broke the computer. (15) a. It was John who broke the computer. b. Someone broke the computer. (16) a. She is cleaver! b. The person pointed at is a female. 5.2 Presupposition projection If φ presupposes p, the presupposition p is inherited by φ, if φ, then ψ, perhaps φ and φ?. (17) a. John s daughter is coming. b. John s daughter is not coming. c. If John s daughter is coming, then we will have a party tonight. d. Perhaps John s daughter is coming. e. Is John s daughter coming? Presupposition: John has a daughter. In those cases, presupposition is projected. the most reliable diagnostic! In-class Exercise 3: Identify whether the presupposition of φ is projected in each of the following complex sentences or not. (φ: John s daughter is coming.) (18) a. If the train arrives on time, then John s daughter is coming. b. If John has a daughter, then his daughter is coming. c. Either John s daughter is coming, or John doesn t have a daughter. 8
9 In-class Exercise 4: It has been argued that John believes φ has an inference that John is opinionated about φ. Identify whether this inference is projected in each of the following sentences. (19) a. Bill doesn t believe that Sue is here. b. If Bill thinks that Sue is here, he will come. c. Perhaps Bill thinks that Sue is here. d. Does Bill think that Sue is here? Distinguish presuppositions from entailments and implicatures: (20) a. Lee kissed Jenny. b. Lee touched Jenny. (21) a. Mary has one child. b. Mary has exactly one child. (22) a. Girl: I m sorry. Let s break up. b. Boy: Who is he? For two statements p and q, p entails q (if p is true, then q is true). p q p presupposes q (q is backgrounded and taken for granted by p) p q p conventionally or conversationally implicates q (q follows from the interaction of the truth conditions of p together with either linguistic conventions on the proper use of p or general principles of conversational exchange). In-class Exercise 5: In each of the following examples, the a sentence presupposes and/or entail the other sentences. Specify which a sentence is a presupposition, which is a simple entailment, and which is both an entailment and a presupposition. (23) a. That John was assaulted scared Mary. b. Mary is animate. c. John was assaulted. d. That John was assaulted caused fear in Mary. (24) a. That John was assaulted didn t scare Mary. b. Mary is animate. c. John was assaulted. d. That John was assaulted didn t cause fear in Mary. 9
10 Homework 2: The picture below is used as an illustration of presupposition in the following web page: ( html) Consider, is it proper to regard the conversation as an illustration of presupposition? (i.e. should we consider vote for and vote again as presupposition triggers?) Why or why not? (Hint: This question is very tricky. You need to consider both the definition of presupposition and relevant diagnostics.) (20) A: Are you going to vote for or against the meeting? B: (What makes you think I m going to the meeting?) 5.3 Presupposition accommodation A presupposition of a sentence must normally be part of the common ground of the utterance context (the shared knowledge of the interlocutors) in order for the sentence to be felicitous. This process of an addressee assuming that a presupposition is true (even in the absence of explicit information that it is), is called presupposition accommodation. If the presupposition is not properly accommodated (namely, the truth of the presupposition is not satisfied in the CG), then we say there is a presupposition failure. (25) a. # John s daughter is coming, and John doesn t have a daughter. b. # If John s daughter is coming, then we will have a party tonight. Although John doesn t have a daughter. A pragmatic approach (Heim 1983, a.o.) A semantic approach (three-valued logic): If one of a sentence s presuppositions is not True, then the sentence is neither True nor False, but has a third truth value #. (Strawson) (26) p is a presupposition of φ (viz. φ p ) iff whenever p is not True, φ is #. φ p p 1 1 or 0 0 # Appendix: representative three-valued logical systems (Gamut 1 section 5.5.2) 10
11 5.4 Presuppositions and negation Presuppositions project under negation φ p φ p # # However, in the following sentence, the presuppositions from the negative clause isn t true. Why this sentence is still felicitous? (27) John s daughter is not coming, since John doesn t have a daughter. - Local accommodation - Negation applies to an operator (assertion operator A) that has a meaning akin to it is the case that/ it is true that.... (28) a. It is not the case that John s daughter is coming, since John doesn t have a daughter. b. It is not the case that John has a daughter and his daughter is coming, since he doesn t have a daughter. φ p Aφ p Aφ p # 0 1 Some characteristic properties of A (Beaver and Krahmer 2001): (29) a. If φ presupposes p, then Aφ p is equivalent with Aφ Ap. b. Aφ is equivalent with φ, if φ is defined. 11
Presuppositions (Ch. 6, pp )
(1) John left work early again Presuppositions (Ch. 6, pp. 349-365) We take for granted that John has left work early before. Linguistic presupposition occurs when the utterance of a sentence tells the
More informationTopics in Linguistic Theory: Propositional Attitudes
MIT OpenCourseWare http://ocw.mit.edu 24.910 Topics in Linguistic Theory: Propositional Attitudes Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
More information10. Presuppositions Introduction The Phenomenon Tests for presuppositions
10. Presuppositions 10.1 Introduction 10.1.1 The Phenomenon We have encountered the notion of presupposition when we talked about the semantics of the definite article. According to the famous treatment
More informationPresupposition: Introduction
Presupposition: Introduction Sources: Levinson 1983 (Pragmatics) Kadmon 2001 (Formal Pragmatics) 481: Presupposition--Introduction 1 Levinson 1983 Examples of Presupposition (see handout) Properties of
More informationLGCS 199DR: Independent Study in Pragmatics
LGCS 99DR: Independent Study in Pragmatics Jesse Harris & Meredith Landman September 0, 203 Last class, we discussed the difference between semantics and pragmatics: Semantics The study of the literal
More informationPragmatic Presupposition
Pragmatic Presupposition Read: Stalnaker 1974 481: Pragmatic Presupposition 1 Presupposition vs. Assertion The Queen of England is bald. I presuppose that England has a unique queen, and assert that she
More informationSemantic Entailment and Natural Deduction
Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.
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 informationLecture 9: Presuppositions
Barbara H. Partee, MGU April 30, 2009 p. 1 Lecture 9: Presuppositions 1. The projection problem for presuppositions.... 1 2. Heim s analysis: Context-change potential as explanation for presupposition
More informationMandy Simons Carnegie Mellon University June 2010
Presupposing Mandy Simons Carnegie Mellon University June 2010 1. Introduction: The intuitive notion of presupposition The basic linguistic phenomenon of presupposition is commonplace and intuitive, little
More informationCohen 2004: Existential Generics Shay Hucklebridge LING 720
Cohen 2004: Existential Generics Shay Hucklebridge LING 720 I Empirical claims about -Generics In this paper, Cohen describes a number of cases where generics appear to receive a quasi-existential interpretation
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 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 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 informationWhat are Truth-Tables and What Are They For?
PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are Truth-Tables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at
More informationTWO VERSIONS OF HUME S LAW
DISCUSSION NOTE BY CAMPBELL BROWN JOURNAL OF ETHICS & SOCIAL PHILOSOPHY DISCUSSION NOTE MAY 2015 URL: WWW.JESP.ORG COPYRIGHT CAMPBELL BROWN 2015 Two Versions of Hume s Law MORAL CONCLUSIONS CANNOT VALIDLY
More informationTowards a Solution to the Proviso Problem
1. Presupposition Towards a Solution to the Proviso Problem Julia Zinova, Moscow State University A sentence A presupposes a proposition p if p must be true in order for A to have a truth value. Presuppositions
More informationLogic for Computer Science - Week 1 Introduction to Informal Logic
Logic for Computer Science - Week 1 Introduction to Informal Logic Ștefan Ciobâcă November 30, 2017 1 Propositions A proposition is a statement that can be true or false. Propositions are sometimes called
More informationThe projection problem of presuppositions
The projection problem of presuppositions Clemens Mayr Precedence in semantics, EGG school, Lagodekhi mayr@zas.gwz-berlin.de July 25, 2016 1 Presuppositional vs. truth-conditional meaning components 1.1
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 informationAn Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019
An Introduction to Formal Logic Second edition Peter Smith February 27, 2019 Peter Smith 2018. Not for re-posting or re-circulation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What
More informationThe main plank of Professor Simons thoroughly pragmatic account of presupposition
Presupposition Projection vs. Scope Ambiguity: Comments on Professor Simons Paper Graeme Forbes The main plank of Professor Simons thoroughly pragmatic account of presupposition is (SA) that an utterance
More informationOn Conceivability and Existence in Linguistic Interpretation
On Conceivability and Existence in Linguistic Interpretation Salvatore Pistoia-Reda (B) Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS), Berlin, Germany pistoia.reda@zas.gwz-berlin.de Abstract. This
More informationQuantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6
Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6 1 6.7 Presuppositional quantifier phrases 2 6.7.1 Both and neither (1a) Neither cat has stripes. (1b) Both cats have stripes. (1a) and
More information91. Presupposition. Denial, projection, cancellation, satisfaction, accommodation: the five stages of presupposition theory.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 91. Presupposition 1. Introduction 2. Projection 3. Cancellability 4. Theories of presupposition 5. Current issues in presupposition theory 6.
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 informationPhil 435: Philosophy of Language. P. F. Strawson: On Referring
Phil 435: Philosophy of Language [Handout 10] Professor JeeLoo Liu P. F. Strawson: On Referring Strawson s Main Goal: To show that Russell's theory of definite descriptions ("the so-and-so") has some fundamental
More informationSlovenian (Rivero, 2001) a.janez se oblaci.
Slovenian (Rivero, 2001) a.janez se oblaci. John dresses himself. (reflexive/reciprocal) b. Ta knjiga se lahkobere. This book reads easily. (middle/passive) c. Veja se je zlomila. The branch broke. (inchoative/anticausative)
More informationLecture 1. Yasutada Sudo 12 January 2018
Lecture 1 Yasutada Sudo 12 January 2018 (more precisely, ) is a kind of inference that sentences of natural languages may have. Some representative examples: (1) a.. presupposition: Guillaume used to smoke.
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 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 informationSAVING RELATIVISM FROM ITS SAVIOUR
CRÍTICA, Revista Hispanoamericana de Filosofía Vol. XXXI, No. 91 (abril 1999): 91 103 SAVING RELATIVISM FROM ITS SAVIOUR MAX KÖLBEL Doctoral Programme in Cognitive Science Universität Hamburg In his paper
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 informationLexical Alternatives as a Source of Pragmatic Presuppositions
In SALT XII, Brendan Jackson, ed. CLC Publications, Ithaca NY. 2002. Lexical Alternatives as a Source of Pragmatic Presuppositions Dorit Abusch Cornell University 1. Introduction This paper is about the
More informationMillian responses to Frege s puzzle
Millian responses to Frege s puzzle phil 93914 Jeff Speaks February 28, 2008 1 Two kinds of Millian................................. 1 2 Conciliatory Millianism............................... 2 2.1 Hidden
More informationWhat is a counterexample?
Lorentz Center 4 March 2013 What is a counterexample? Jan-Willem Romeijn, University of Groningen Joint work with Eric Pacuit, University of Maryland Paul Pedersen, Max Plank Institute Berlin Co-authors
More informationMCQ 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 informationTheories of propositions
Theories of propositions phil 93515 Jeff Speaks January 16, 2007 1 Commitment to propositions.......................... 1 2 A Fregean theory of reference.......................... 2 3 Three theories of
More informationA Linguistic Interlude
A Linguistic Interlude How do current approaches to natural logic deal with notions such as Presupposition Entailment Conventional and conversational implicatures? The logic of complement constructions
More informationINFERENCES LING106 KNOWLEDGE OF MEANING DOROTHY AHN SECTION 2 [2/12/2016]
INFERENCES LING106 KNOWLEDGE OF MEANING DOROTHY AHN SECTION 2 [2/12/2016] WHAT DOES SEMANTICS DO FOR US? What does knowing meaning do for us? INFERENCES! ENTAILMENTS IMPLICATURES PRESUPPOSITIONS ENTAILMENT
More informationSatisfied or Exhaustified An Ambiguity Account of the Proviso Problem
Satisfied or Exhaustified An Ambiguity Account of the Proviso Problem Clemens Mayr 1 and Jacopo Romoli 2 1 ZAS 2 Ulster University The presuppositions inherited from the consequent of a conditional or
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 informationPresupposition projection: Global accommodation, local accommodation, and scope ambiguities
Presupposition projection: Global accommodation, local accommodation, and scope ambiguities Raj Singh August 3, 2015 Abstract It is commonly assumed that there is a default preference for the presuppositions
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 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 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 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 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 informationPresupposition: An (un)common attitude?
Presupposition: An (un)common attitude? Abstract In this paper I argue that presupposition should be thought of as a propositional attitude. I will separate questions on truth from questions of presupposition
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 informationZHANG Yan-qiu, CHEN Qiang. Changchun University, Changchun, China
US-China Foreign Language, February 2015, Vol. 13, No. 2, 109-114 doi:10.17265/1539-8080/2015.02.004 D DAVID PUBLISHING Presupposition: How Discourse Coherence Is Conducted ZHANG Yan-qiu, CHEN Qiang Changchun
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 informationVagueness and supervaluations
Vagueness and supervaluations UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Supervaluations We saw two problems with the three-valued approach: 1. sharp boundaries 2. counterintuitive consequences
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 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 informationScott Soames: Understanding Truth
Philosophy and Phenomenological Research Vol. LXV, No. 2, September 2002 Scott Soames: Understanding Truth MAlTHEW MCGRATH Texas A & M University Scott Soames has written a valuable book. It is unmatched
More informationA presupposition is a precondition of a sentence such that the sentences cannot be
948 words (limit of 1,000) Uli Sauerland Center for General Linguistics Schuetzenstr. 18 10117 Berlin Germany +49-30-20192570 uli@alum.mit.edu PRESUPPOSITION A presupposition is a precondition of a sentence
More informationAn alternative understanding of interpretations: Incompatibility Semantics
An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truth-theoretic) semantics, interpretations serve to specify when statements are true and when they are false.
More informationSemantic Foundations for Deductive Methods
Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the
More informationIn Defense of Truth functional Theory of Indicative Conditionals. Ching Hui Su Postdoctoral Fellow Institution of European and American Studies,
In Defense of Truth functional Theory of Indicative Conditionals Ching Hui Su Postdoctoral Fellow Institution of European and American Studies, Academia Sinica, Taiwan SELLC 2010 Outline Truth functional
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 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 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 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 informationGod of the gaps: a neglected reply to God s stone problem
God of the gaps: a neglected reply to God s stone problem Jc Beall & A. J. Cotnoir January 1, 2017 Traditional monotheism has long faced logical puzzles (omniscience, omnipotence, and more) [10, 11, 13,
More informationDay 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs)
Day 3 Wednesday May 23, 2012 Objectives: Learn the basics of Propositional Logic Learn the basic building blocks of proofs (specifically, direct proofs) 1 Propositional Logic Today we introduce the concepts
More informationFactivity and Presuppositions David Schueler University of Minnesota, Twin Cities LSA Annual Meeting 2013
Factivity and Presuppositions David Schueler University of Minnesota, Twin Cities LSA Annual Meeting 2013 1 Introduction Factive predicates are generally taken as one of the canonical classes of presupposition
More informationPresupposition Projection and At-issueness
Presupposition Projection and At-issueness Edgar Onea Jingyang Xue XPRAG 2011 03. Juni 2011 Courant Research Center Text Structures University of Göttingen This project is funded by the German Initiative
More informationThe distinction between truth-functional and non-truth-functional logical and linguistic
FORMAL CRITERIA OF NON-TRUTH-FUNCTIONALITY Dale Jacquette The Pennsylvania State University 1. Truth-Functional Meaning The distinction between truth-functional and non-truth-functional logical and linguistic
More informationG. H. von Wright Deontic Logic
G. H. von Wright Deontic Logic Kian Mintz-Woo University of Amsterdam January 9, 2009 January 9, 2009 Logic of Norms 2010 1/17 INTRODUCTION In von Wright s 1951 formulation, deontic logic is intended to
More informationCourses providing assessment data PHL 202. Semester/Year
1 Department/Program 2012-2016 Assessment Plan Department: Philosophy Directions: For each department/program student learning outcome, the department will provide an assessment plan, giving detailed information
More informationLogic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:
Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying
More informationFrom Necessary Truth to Necessary Existence
Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing
More informationILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS
ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,
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 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 information1. Introduction Formal deductive logic Overview
1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special
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 informationReductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1
International Journal of Philosophy and Theology June 25, Vol. 3, No., pp. 59-65 ISSN: 2333-575 (Print), 2333-5769 (Online) Copyright The Author(s). All Rights Reserved. Published by American Research
More informationEmbedded Attitudes *
Embedded Attitudes * Kyle Blumberg and Ben Holguín September 2018 Abstract This paper presents a puzzle involving embedded attitude reports. We resolve the puzzle by arguing that attitude verbs take restricted
More informationA set of puzzles about names in belief reports
A set of puzzles about names in belief reports Line Mikkelsen Spring 2003 1 Introduction In this paper I discuss a set of puzzles arising from belief reports containing proper names. In section 2 I present
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 informationIdentity and Plurals
Identity and Plurals Paul Hovda February 6, 2006 Abstract We challenge a principle connecting identity with plural expressions, one that has been assumed or ignored in most recent philosophical discussions
More informationSemantics and Pragmatics of NLP DRT: Constructing LFs and Presuppositions
Semantics and Pragmatics of NLP DRT: Constructing LFs and Presuppositions School of Informatics Universit of Edinburgh Outline Constructing DRSs 1 Constructing DRSs for Discourse 2 Building DRSs with Lambdas:
More informationINTERMEDIATE LOGIC Glossary of key terms
1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include
More informationLecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments
Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments 1 Agenda 1. What is an Argument? 2. Evaluating Arguments 3. Validity 4. Soundness 5. Persuasive Arguments 6.
More informationModule 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur
Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown
More information356 THE MONIST all Cretans were liars. It can be put more simply in the form: if a man makes the statement I am lying, is he lying or not? If he is, t
356 THE MONIST all Cretans were liars. It can be put more simply in the form: if a man makes the statement I am lying, is he lying or not? If he is, that is what he said he was doing, so he is speaking
More informationExhaustification over Questions in Japanese
Exhaustification over Questions in Japanese Yurie Hara JSPS/Kyoto University Kin 3 Round Table Meetings Yurie Hara (JSPS/Kyoto University) Exhaustification over Questions in Japanese July 7th, 2006 1 /
More informationTHE LARGER LOGICAL PICTURE
THE LARGER LOGICAL PICTURE 1. ILLOCUTIONARY ACTS In this paper, I am concerned to articulate a conceptual framework which accommodates speech acts, or language acts, as well as logical theories. I will
More informationAristotle on the Principle of Contradiction :
Aristotle on the Principle of Contradiction : Book Gamma of the Metaphysics Robert L. Latta Having argued that there is a science which studies being as being, Aristotle goes on to inquire, at the beginning
More informationUnderstanding Belief Reports. David Braun. In this paper, I defend a well-known theory of belief reports from an important objection.
Appeared in Philosophical Review 105 (1998), pp. 555-595. Understanding Belief Reports David Braun In this paper, I defend a well-known theory of belief reports from an important objection. The theory
More informationSQUIB: a note on the analysis of too as a discourse marker
THOMAS, Guillaume. Squib: A note on the analysis of too as a discourse marker. Revista LinguíStica / Revista do Programa de Pós- -Graduação em Linguística da Universidade Federal do Rio de Janeiro. Volume
More informationQuine: Quantifiers and Propositional Attitudes
Quine: Quantifiers and Propositional Attitudes Ambiguity of Belief (and other) Constructions Belief and other propositional attitude constructions, according to Quine, are ambiguous. The ambiguity can
More informationPresupposition Projection and Anaphora in Quantified Sentences
1 Introduction Presupposition Projection and Anaphora in Quantified Sentences Yasutada Sudo December 17, 2012 Quantified sentences constitute a recalcitrant problem for theories of presupposition projection,
More informationExistence, Identity, and Empty Names
Existence, Identity, and Empty Names Takashi Iida 1 In a number of papers 1 and a forthcoming book 2, Alex Orenstein has argued against the modern logical orthodoxy starting from Frege. According to Orenstein,
More informationRosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples
Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Section 1.1 Propositional Logic Page references correspond to locations of Extra Examples icons in the textbook. p.2, icon at
More informationPresupposed ignorance and exhaustification: how scalar implicatures and presuppositions interact
Linguist and Philos (2017) 40:473 517 DOI 10.1007/s10988-017-9208-9 Presupposed ignorance and exhaustification: how scalar implicatures and presuppositions interact Benjamin Spector 1 Yasutada Sudo 2 Published
More information