Cognitive foundations of measuring and counting and their reflection in determiner systems

Size: px
Start display at page:

Download "Cognitive foundations of measuring and counting and their reflection in determiner systems"

Transcription

1 Cognitive foundations of measuring and counting and their reflection in determiner systems Mass and Count in Romance and Germanic Languages December 16-17, 2013 Universität Zürich Manfred Krifka Zentrum für Allgemeine Sprachwissenschaft, Berlin Humboldt-Universität zu Berlin Gefördert durch das BMBF Gefördert durch die DFG (SFB 632) 1 / 14

2 A bit of mereology, for a starter See Champollion & Krifka (to appear) for an overview of mereological notions. Assume: Predicates apply to entities, e.g., gold (a), ring (b) For entities, there is an operation of sum formation: If x, y are entities, then x y is an entity as well, the sum (join) of x and y Sum formation defines a part relation and a proper part relation: x y iff x y = y x y iff x y and not y x Two entities are said to overlap iff they have a part in common: x o y iff there is a z such that z x and z y An entity is called an atom iff it does not have a proper part: AT(x) iff there is no y such that y x An entity is called a P-atom iff it falls under the predicate P, and does not have a proper part that also falls under P: AT(P)(x) iff P(x) and there is no y such that P(y) and y x 2 / 14

3 What is measuring? Measuring: We render certain properties of objects by numbers differences between properties are reflected in differences in numbers Examples: temperature: a is warmer than b purity: a is purer gold than p C(a) > C(b) carat(a) > carat(b) mass a is heavier than b volume: a is more voluminous than b kg(a) > kg(b) liter(a) > liter(b) A difference between C/carat and kg/liter: With kg/liter, we have an extensive measure, e.g. If b a, then kg(b) < kg(a) If not a o b (no overlap), then kg(a b) = kg(a) + kg(b) Archimedean property: If kg(a) > 0, and b a, then kg(b) > 0 And this is relevant for natural-language semantics! two hundred kilograms of steel vs. *two hundred degrees Celsius of steel eighteen ounces of gold vs. *eighteen carats of gold Why does language care about the nature of the measure function? 3 / 14

4 Measuring and nominal constructions Let s contrast: (a) eighteen ounces of gold (x) iff x is gold, and x has a weight of 18 ounces. (b) *eighteen carats of gold (x) iff x is gold, and x is gold to degree 18/24. With P = (a), but not with P = (b), we have: If P(a) and b a, then not P(b) Hence (a) but not (b) is quantized. We therefore can assume: a nominal construction [ NP NUM MEASURE (of) NOUN] must lead to a quantized predicate; i.e. it must specify a property that does not hold for parts of the object, hence the measure term must denote an extensive measure function. Notice: an apparently arcane mereological property influences the distribution of measure terms in core syntax. This is not a quirk of English, or of European languages: similar restrictions hold for measure terms in other languages. Hagit Borer s suggestion of a phrase #P Qualitative and quantitative modifications in different shells: [ #P zehn Kilogramm [ NP rostfreier Stahl]] / *rostfreie zehn Kilogramm Stahl 4 / 14

5 What is counting? Counting similar to extensive measurement, but... based on units of the atomic entities of what is measured, hence... no explicit measure term is necessary. Example: Counting apples apple* (x) = 1 iff apple (x), i.e. if x is a single apple (an apple atom) apple* (x y) = apple* (x) + apple* (y), if not x o y, i.e. no overlap It can be shown that this leads to quantized meaning of e.g. eighteen apples: If apple* (a) = 18 and b a, then apple* (b) = 18 For which predicates P can we define an extensive counting function P*? P itself must be quantized; P must not apply to overlapping entities: If P(x), P(y) and x o y, then P*(x) = P*(y) = 1, but P*(x y) is not defined. apple* (x) = 1 liter (x) = 1 5 / 14

6 What do we need to count? This shows that for counting it is not sufficient to start out with any old quantized predicate P, rather, the predicate P must have the property of being discrete: If P(x) and P(y), then not x o y, i..e. x and y do not overlap. This allows for a 1-1-mapping of P-entities to the number sequence. Cf. Rothstein 2010, Landman 2011 for this point. Discreteness is guaranteed by gestalt features: fifty head of cattle: Each cattle has a unique head Classifiers referring to shape of objects, e.g. Chinese zhāng for flat objects, gēn for long rigid objects etc. For count nouns in general: they are atomic, but atomicity is not sufficient, they also have to be discrete, in order to allow for counting. In order to be discrete for human cognition, the atoms have to come with a recognizable shape have to be big enough (e.g. rice vs. beans) their shape has to have a border that separates them from other atoms they have to stay constant over time 6 / 14

7 Neat nouns and mess nouns Landman (2011): P is a neat predicate if the P-atoms do not overlap. P is a mess predicate if the P-atoms overlap. Count nouns: are typically neat (they do not overlap) Exceptions: nouns like fence, twig, sequence count noun use requires additional criteria, e.g. a connected fence, a separated twig, a maximal sequence Counting might be dependent on a context: Here are three fences, and over there there are four fences. Many count nouns do not vary with context. Mass nouns: can be atomic, if atomic, they are often mess nouns; cf. e.g. lemonade, but presumably also gold, water, bronze, mud etc.; what may count as smallest parts may overlap. but some mass nouns are neat, e.g. furniture, silverware, shoewear There is evidence that neat mass nouns are cognitively like count nouns, even though they are linguistically mass nouns. Incidentally, mess is a count noun: That s a mess! 7 / 14

8 Linguistic effects of the neat/mess distinction Magnitude comparison (Barner & Snedeker 2005): What is more water? And, what is more puddles? What is more silverware? And, what is more silver? Distribution of property expressions: The knives and forks are expensive / heavy. Collective and distributive reading. The silverware is expensive / heavy. Appears to have a collective and a distributive reading The silver is expensive. Only collective reading. 8 / 14

9 Mass/count and semantic representation Chierchia 1998: A mass noun like gold, furniture applies to a set of atoms and their sums. A singular count noun applies to a set of atoms. A plural count noun applies to the set of sums of the atoms of the singular count noun. Rothstein 2010: Mass nouns apply to a set of atoms and their sums; all root nouns N root are mass nouns Singular count nouns N count apply to a set of pairs x, k of individuals x and a context k; k imposes non-overlapping individuals x; different contexts k can lead to different atoms for nouns like fence. Plural count nouns apply to this set closed under Krifka, starting 1989: Mass nouns apply to set of atoms and their sums; Count nouns are measure functions based on such sets: e.g. apple* (n)(x) iff x consists of n (non-overlapping) entities x 1, x n such that apple (x 1 ),. apple (x n ) ( natural units of apples). 9 / 14

10 Mass-Count and semantic representation Differences between the approaches: Chierchia: No type-theoretic distinction between mass / count Rothstein: Type-theoretic distinction on the entity level mass nouns: type e, t count nouns: type e k, t, where k: a context. Krifka: Type-theoretic distinction on the predicate level mass nouns: type e, t count nouns: type n, e, t, where n: a number argument. Argument by Rothstein for her approach, based on example by Gillon 1992: The curtains and the carpets resemble each other. a. The curtains resemble each other, and the carpets resemble each other. b. The curtains and the carpets are similar to each other. The curtaining and the carpeting resemble each other. a. Only reading (b). Argument: We need a distinction on the entity level to express this. But: Krifka (1990) argues for a representation in which the curtains and the carpets introduce discourse referents, that the predicate resemble each other can distribute over; no distinction on the entity level necessary. For the treatment of count nouns with variable units (fence, twig), I would have to assume context-dependent measure functions. 10 / 14

11 Linguistic reflexes of Count One linguistic reflex of count-hood is pluralization: Count nouns (but not mass nouns) pluralize: apples, *golds Pluralization is based on counting functor *: apple (x), iff x is apple, no quantitative criterion of application apple* k (1)(x), iff x is an apple-atom in context k (context-dependency becomes relevant for nouns like fence). apple* k (n)(x), defined as usual as a count function PL(apple*) k (x), iff there is an n such that apple* k (n)(x), n ranges by the construction of count functions as a natural number 1 Plural in English should include atoms, cf. A: Do you have children? B: Yes, one. / B: #No, just one. Another linguistic reflex: numeral constructions: Count nouns allow for constructions like one apple, three apples three apple* (x) iff apple* (3)(x) one apple* (x) iff apple* (1)(x) = 1 Choice of singular/plural by agreement, cf. singular noun in Turkish: çocuk child, çocuklar children, but beş çocuk five children Another linguistic reflexes: Singulative forms derived from collective forms in languages like Breton Classifier as expression of count operator in languages like Chinese. 11 / 14

12 Linguistic reflexes of count: Determiners Definite determiners apply to mass and count the apple, the apples, the three apples, the gold Interpretation of definite article (Sharvey 1980, Link 1983) as supremum: the N = the unique x such that N (x), and for all y such that N (y) it holds that y x Examples: the gold = the greatest x such that gold (x) the three apples = the unique x such that three apple* (x), if not unique or non-existent: not defined. the apple = the one apple Indefinite determiners often derived from number word for one: ein Apfel (x) = apple* (x) = 1 Predicts that indefinite determiners are typically used with count nouns existential quantification comes from another source (e.g., Diesing 1992), as we find it also with bare nouns: John ate an/one apple. John ate (some) apples. Difference between indefinite article a and number word one: same meaning, specification of number as 1 different alternatives: one comes with alternatives two, three, a comes with alternative the 12 / 14

13 Indefinite determiners with mass nouns But indefinite determiners can occur with mass nouns: Bavarian, general use of indefinite article (cf. Kolmer 1999): Example: Dees is a Goid. This is gold. Not a general treatment of mass as count: *Zwoa Goid(s) two gold(s) Not related to introduction of discourse referents (existential quantifier), as it occurs with predicative nouns as well (see example above). Explanation: Mass noun is a root noun (cf. Rothstein 2010) Root nouns can be used in compounds, e.g. Bavarian da Goidsuacha the gold seeker Root nouns can be used non-referentially, e.g. Bavarian mia san radl gfarn we did some bicycling Root nouns cannot immediately be used as NPs in syntax. Indefinite article in Bavarian indicates change from root noun to NP English (and Standard German) allow for a zero derivation. 13 / 14

14 Indefinite determiners in exclamatives A case of indefinite determiners with mass nouns in Standard German Examples: Mensch, das ist ein Dreck! boy, that s (a) dirt! Was für ein Gold! what (for) a gold Exclamatives express surprise of the speaker that the topical entity ranges high on a property scale (Rett 2008). Wow, this is so beautiful! The indefinite determiner helps to create a scale: indefinite determiner presupposes a counting function exclamative presupposes a classification of entities on a scale of expectability; the topic is assumed to have a surprisingly high value on this scale this suggests assuming different subkinds of the kind named by the noun that range along the scale these subkinds are distinct and non-overlapping, and hence allow for counting. this licenses the use of the indefinite determiner based on the number word one. 14 / 14

Countability in the Nominal and Verbal Domains

Countability in the Nominal and Verbal Domains Countability in the Nominal and Verbal Domains August 17, 2016 ESSLLI 2016, Bolzano Advanced Course Hana Filip & Peter Sutton hana.filip@gmail.com peter.r.sutton@icloud.com Department of Linguistics Heinrich-Heine-University

More information

3.5 Generalized Quantifiers in DRT A Simple Extension to Non-Universal Quantifiers

3.5 Generalized Quantifiers in DRT A Simple Extension to Non-Universal Quantifiers 3.5 Generalized Quantifiers in DRT 3.5.1 A Simple Extension to Non-Universal Quantifiers The rules for DRS construction and interpretation we have considered so far just cover one logical type of quantifier,

More information

CLASSICAL EXTENSIONAL MEREOLOGY. Mereology

CLASSICAL EXTENSIONAL MEREOLOGY. Mereology 1 Mereology Core axioms and concepts parthood sum Higher order properties: cumulativity divisivity (aka divisiveness) atomicity 2 Mereology is the theory of parthood derived from the Greek µέρος (meros)

More information

3.8.1 Sum Individuals and Discourse Referents for Sum Individuals

3.8.1 Sum Individuals and Discourse Referents for Sum Individuals 3.8 Plural In many ways plural pronouns and noun phrases behave differently from singular pronouns. Here I will give an overview of several interesting phenomena, mainly following Kamp & Reyle (1993).

More information

A Fregean Semantics for Number Words

A Fregean Semantics for Number Words A Fregean Semantics for Number Words Susan Rothstein Bar-Ilan University, Ramat Gan Israel susan.rothstein@biu.ac.il Abstract This paper proposes a Fregean semantics for cardinal numbers, analysing them

More information

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations Benjamin Spector IJN, Paris (CNRS-EHESS-ENS) Sinn und Bedeutung 18 Sept 11 13, 2013 1 / 40 The problem (1) Peter solved

More information

Hardegree, Formal Semantics, Handout of 8

Hardegree, Formal Semantics, Handout of 8 Hardegree, Formal Semantics, Handout 2015-03-24 1 of 8 1. Number-Words By a number-word or numeral 1 we mean a word (or word-like compound 2 ) that denotes a number. 3 In English, number-words appear to

More information

list readings of conjoined singular which -phrases

list readings of conjoined singular which -phrases list readings of conjoined singular which -phrases Andreea C. Nicolae 1 Patrick D. Elliott 2 Yasutada Sudo 2 NELS 46 at Concordia University October 18, 2015 1 Zentrum für Allgemeine Sprachwissenschaft

More information

Singleton Indefinites (re. Schwarzschild 2000)

Singleton Indefinites (re. Schwarzschild 2000) MIT Syntax-Semantics Reading Group November 15, 2000 Kai von Fintel Singleton Indefinites (re. Schwarzschild 2000) 1. If a (particular) friend of mine from Texas had died in the fire, I would have inherited

More information

Focus in complex noun phrases

Focus in complex noun phrases Focus in complex noun phrases Summary In this paper I investigate the semantics of association with focus in complex noun phrases in the framework of Alternative Semantics (Rooth 1985, 1992). For the first

More information

Proseminar on Semantic Theory Fall 2010 Ling 720. The Basics of Plurals: Part 2 Distributivity and Indefinite Plurals

Proseminar on Semantic Theory Fall 2010 Ling 720. The Basics of Plurals: Part 2 Distributivity and Indefinite Plurals 1. Our Current Picture of Plurals The Basics of Plurals: Part 2 Distributivity and Indefinite Plurals At the conclusion of Part 1, we had built a semantics for plural NPs and DPs that had the following

More information

Comparative superlatives in relative clauses

Comparative superlatives in relative clauses SynSem, Fall 2017 Comparative superlatives in relative clauses Nico(letta) Loccioni 1 Introduction Languages like Italian and Spanish extensively use relativization as a strategy to form relative interpretations

More information

SEMANTICS OF POSSESSIVE DETERMINERS STANLEY PETERS DAG WESTERSTÅHL

SEMANTICS OF POSSESSIVE DETERMINERS STANLEY PETERS DAG WESTERSTÅHL SEMANTICS OF POSSESSIVE DETERMINERS STANLEY PETERS DAG WESTERSTÅHL Linguistics Department, Stanford University Department of Philosophy, Göteborg University peters csli.stanford.edu, dag.westerstahl phil.gu.se

More information

ICS141: Discrete Mathematics for Computer Science I

ICS141: Discrete Mathematics for Computer Science I ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross

More information

1.3 The explanation. 1. The Phenomenon

1.3 The explanation. 1. The Phenomenon Sinn & edeutung, November 1-3 2004, Nijmegen The accomplished mathematician he claims to be: A semantic account of Modal Compatibility Relatives Alexander Grosu, University of Tel Aviv Manfred Krifka,

More information

Generic Sentences as Quantifications over Samples

Generic Sentences as Quantifications over Samples Generic Sentences as Quantifications over Samples Manfred Krifka Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS) Institut für deutsche Sprache und Linguistik & Berlin School of Mind & Brain Humboldt-Universität

More information

Paucity, abundance, and the theory of number: Online Appendices

Paucity, abundance, and the theory of number: Online Appendices Paucity, abundance, and the theory of number: Online Appendices Daniel Harbour Language, Volume 90, Number 1, March 2014, pp. s1-s4 (Article) Published by Linguistic Society of America DOI: https://doi.org/10.1353/lan.2014.0019

More information

Introduction to Semantics. The Formalization of Meaning 1

Introduction to Semantics. The Formalization of Meaning 1 The Formalization of Meaning 1 1. Obtaining a System That Derives Truth Conditions (1) The Goal of Our Enterprise To develop a system that, for every sentence S of English, derives the truth-conditions

More information

Proseminar on Semantic Theory Fall 2010 Ling 720 The Basics of Plurals: Part 1 1 The Meaning of Plural NPs and the Nature of Predication Over Plurals

Proseminar on Semantic Theory Fall 2010 Ling 720 The Basics of Plurals: Part 1 1 The Meaning of Plural NPs and the Nature of Predication Over Plurals The Basics of Plurals: Part 1 1 The Meaning of Plural NPs and the Nature of Predication Over Plurals 1. Introductory Questions and Guesses (1) Blindingly Obvious Fact about Natural Language There is number

More information

Peter Hallman, University of Vienna

Peter Hallman, University of Vienna All and Every as Quantity Superlatives Peter Hallman, University of Vienna peter.hallman@univie.ac.at Summary An analysis is proposed that captures similarities between most and all in English bytreatingall

More information

The common core of distributivity, aspect and measurement

The common core of distributivity, aspect and measurement The common core of distributivity, aspect and measurement Lucas Champollion New York University champollion@nyu.edu Munich Center for Mathematical Philosophy January 7 th, 2015 This handout is available

More information

2 A not-quite-argument for X-bar structure in noun phrases

2 A not-quite-argument for X-bar structure in noun phrases CAS LX 321 / GRS LX 621 Syntax: Introduction to Sentential Structure ovember 16, 2017 1 and pronouns (1) he linguists yodel. (2) We linguists yodel. (3) hey looked at us linguists. (4) hey looked at linguists.

More information

Non-canonical comparatives: Syntax, semantics, & processing

Non-canonical comparatives: Syntax, semantics, & processing Non-canonical comparatives: Syntax, semantics, & processing ESSLLI 2018 Roumyana Pancheva, Alexis Wellwood University of Southern California August 15, 2018 1 / 22 cardinality comparison Two generalizations

More information

Two sets of alternatives for numerals

Two sets of alternatives for numerals ECO5 @ Harvard April 11, 2015 Teodora Mihoc, tmihoc@fas.harvard.edu Alexander Klapheke, klapheke@fas.harvard.edu Two sets of alternatives for numerals Contents 1 Preliminaries 1 2 Horn-style alternatives:

More information

Propositional Logic Not Enough

Propositional Logic Not Enough Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks

More information

First-Order Predicate Logic. Basics

First-Order Predicate Logic. Basics First-Order Predicate Logic Basics 1 Syntax of predicate logic: terms A variable is a symbol of the form x i where i = 1, 2, 3.... A function symbol is of the form fi k where i = 1, 2, 3... und k = 0,

More information

Comparison Across Domains in Delineation Semantics

Comparison Across Domains in Delineation Semantics Noname manuscript No. (will be inserted by the editor) Comparison Across Domains in Delineation Semantics Heather Burnett Received: date / Accepted: date Abstract This paper presents a new logical analysis

More information

A unified account of distributive NPs, for-adverbials, and measure constructions

A unified account of distributive NPs, for-adverbials, and measure constructions A unified account of distributive NPs, for-adverbials, and measure constructions Lucas Champollion University of Pennsylvania / Palo Alto Research Center Sinn und Bedeutung 14 September 29, 2009 Lucas

More information

Topic #3 Predicate Logic. Predicate Logic

Topic #3 Predicate Logic. Predicate Logic Predicate Logic Predicate Logic Predicate logic is an extension of propositional logic that permits concisely reasoning about whole classes of entities. Propositional logic treats simple propositions (sentences)

More information

PART II QUANTIFICATIONAL LOGIC

PART II QUANTIFICATIONAL LOGIC Page 1 PART II QUANTIFICATIONAL LOGIC The language m of part I was built from sentence letters, symbols that stand in for sentences. The logical truth of a sentence or the logical validity of an argument,

More information

Mereology. 1 Notions of parthood. Lucas Champollion & Manfred Krifka 1

Mereology. 1 Notions of parthood. Lucas Champollion & Manfred Krifka 1 Mereology Lucas Champollion & Manfred Krifka 1 1 Notions of parthood Mereology (from Greek μερος part ) is the study of parthood, an important notion in ontology, natural-language semantics and cognitive

More information

Berlin, May 16 / 2003

Berlin, May 16 / 2003 Berlin, May 16 / 2003 1 The challenge of free choice permission The basic puzzle epistemic variants wide disjunction FC permission and quantification Conjunctive permission 2 The basic puzzle (1) a. You

More information

Deriving Distributivity from Discourse. Grant Xiaoguang Li Marlboro College

Deriving Distributivity from Discourse. Grant Xiaoguang Li Marlboro College Deriving Distributivity from Discourse Grant Xiaoguang Li Marlboro College This paper discusses the structure that incorporates information from discourse to derive distributivity. Following a proposal

More information

Two kinds of long-distance indefinites Bernhard Schwarz The University of Texas at Austin

Two kinds of long-distance indefinites Bernhard Schwarz The University of Texas at Austin Amsterdam Colloquium 2001, December 17-19, 2001 Two kinds of long-distance indefinites Bernhard Schwarz The University of Texas at Austin 1. Introduction Indefinites can often be interpreted as if they

More information

Proposi'onal Logic Not Enough

Proposi'onal Logic Not Enough Section 1.4 Proposi'onal Logic Not Enough If we have: All men are mortal. Socrates is a man. Socrates is mortal Compare to: If it is snowing, then I will study discrete math. It is snowing. I will study

More information

Contexts for Quantification

Contexts for Quantification Contexts for Quantification Valeria de Paiva Stanford April, 2011 Valeria de Paiva (Stanford) C4Q April, 2011 1 / 28 Natural logic: what we want Many thanks to Larry, Ulrik for slides! Program Show that

More information

Generalized Quantifiers Logical and Linguistic Aspects

Generalized Quantifiers Logical and Linguistic Aspects Generalized Quantifiers Logical and Linguistic Aspects Lecture 1: Formal Semantics and Generalized Quantifiers Dag Westerståhl University of Gothenburg SELLC 2010 Institute for Logic and Cognition, Sun

More information

Predicate Calculus - Syntax

Predicate Calculus - Syntax Predicate Calculus - Syntax Lila Kari University of Waterloo Predicate Calculus - Syntax CS245, Logic and Computation 1 / 26 The language L pred of Predicate Calculus - Syntax L pred, the formal language

More information

1 Zimmermann, Formal Semantics

1 Zimmermann, Formal Semantics 1 Zimmermann, Formal Semantics 1. Compositionality 1.1Frege s Principle Any decent language, whether natural or artificial, contains more than just finitely many expressions. In order to learn and understand

More information

ON THE LOGIC OF VERBAL MODIFICATION DAVID BEAVER AND CLEO CONDORAVDI

ON THE LOGIC OF VERBAL MODIFICATION DAVID BEAVER AND CLEO CONDORAVDI ON THE LOGIC OF VERBAL ODIFICATION DAVID BEAVER AND CLEO CONDORAVDI Department of Linguistics University of Texas at Austin dib@mail.utexas.edu PARC and Department of Linguistics Stanford University condorav@csli.stanford.edu

More information

HPSG: Binding Theory

HPSG: Binding Theory HPSG: Binding Theory Doug Arnold doug@essexacuk Introduction Binding Theory is to do with the syntactic restrictions on the distribution of referentially dependent items and their antecedents: reflexives/reciprocals

More information

Spring 2012 Ling 753 A Review of Some Key Ideas in the Semantics of Plurals. 1. Introduction: The Interpretations of Sentences Containing Plurals

Spring 2012 Ling 753 A Review of Some Key Ideas in the Semantics of Plurals. 1. Introduction: The Interpretations of Sentences Containing Plurals A Review of Some Key Ideas in the Semantics of Plurals 1. Introduction: The Interpretations of Sentences Containing Plurals (1) Overarching Questions What are the truth-conditions of sentences containing

More information

Empirically Adequate but Observably False Theories

Empirically Adequate but Observably False Theories Empirically Adequate but Observably False Theories Sebastian Lutz Preprint: 2013 09 26 1 Introduction According to van Fraassen ( 1980, 8, emphasis removed), scientifc realism is the view that [s]cience

More information

Chapter 4: Computation tree logic

Chapter 4: Computation tree logic INFOF412 Formal verification of computer systems Chapter 4: Computation tree logic Mickael Randour Formal Methods and Verification group Computer Science Department, ULB March 2017 1 CTL: a specification

More information

Abstract model theory for extensions of modal logic

Abstract model theory for extensions of modal logic Abstract model theory for extensions of modal logic Balder ten Cate Stanford, May 13, 2008 Largely based on joint work with Johan van Benthem and Jouko Väänänen Balder ten Cate Abstract model theory for

More information

Negative Adjectives and Transformation Values

Negative Adjectives and Transformation Values Negative Adjectives and Transformation Values Galit Weidman Sassoon Ben Gurion University of the Negev 1. Introduction Consider two birds, an ostrich and a chicken. The height of the former, sixty inches,

More information

Philosophy 240: Symbolic Logic

Philosophy 240: Symbolic Logic Philosophy 240: Symbolic Logic Russell Marcus Hamilton College Fall 2014 Class #41 - Second-Order Quantification Marcus, Symbolic Logic, Slide 1 Second-Order Inferences P Consider a red apple and a red

More information

Against generalized quantifiers (and what to replace them with)

Against generalized quantifiers (and what to replace them with) Against generalized quantifiers (and what to replace them with) Udo Klein SFB 732 Stuttgart, 06.11.08 Generalized quantifier theory the basic idea The sentence Exactly three students smoke. is true if

More information

Semantics I, Rutgers University Week 3-1 Yimei Xiang September 17, Predicate logic

Semantics I, Rutgers University Week 3-1 Yimei Xiang September 17, Predicate logic Semantics I, Rutgers University Week 3-1 Yimei Xiang September 17, 2018 Predicate logic 1. Why propositional logic is not enough? Discussion: (i) Does (1a) contradict (1b)? [Two sentences are contradictory

More information

The Grammar of Measurement

The Grammar of Measurement Topics in Semantics 24.979 The Grammar of Measurement 1 Measure phrases 1.1 Some distributional facts Measure phrases (MPs) can combine with constituents headed by a variety of different syntactic categories:

More information

Predicate Logic. CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo

Predicate Logic. CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo Predicate Logic CSE 191, Class Note 02: Predicate Logic Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 22 Outline 1 From Proposition to Predicate

More information

A S P E C T S O F H O M O G E N E I T Y I N T H E S E M A N T I C S O F N AT U R A L L A N G U A G E. manuel križ. Ph. D. Thesis University of Vienna

A S P E C T S O F H O M O G E N E I T Y I N T H E S E M A N T I C S O F N AT U R A L L A N G U A G E. manuel križ. Ph. D. Thesis University of Vienna A S P E C T S O F H O M O G E N E I T Y I N T H E S E M A N T I C S O F N AT U R A L L A N G U A G E manuel križ Ph. D. Thesis University of Vienna Manuel Križ: Aspects of Homogeneity in the Semantics

More information

Compositionality Problems and How to Solve Them Thomas Ede Zimmermann, Goethe-Universität Frankfurt Hyderabad CogSci Colloquium, March 09

Compositionality Problems and How to Solve Them Thomas Ede Zimmermann, Goethe-Universität Frankfurt Hyderabad CogSci Colloquium, March 09 Compositionality Problems and How to Solve Them Thomas Ede Zimmermann, Goethe-Universität Frankfurt Hyderabad CogSci Colloquium, March 09 1. Compositionality Generalised Principle of Compositionality cf.

More information

Quantification: Quantifiers and the Rest of the Sentence

Quantification: Quantifiers and the Rest of the Sentence Ling255: Sem & Cogsci Maribel Romero February 17, 2005 Quantification: Quantifiers and the Rest of the Sentence 1. Introduction. We have seen that Determiners express a relation between two sets of individuals

More information

Counting Configurations. Abstract

Counting Configurations. Abstract Counting Configurations Manfred Krifka Institut für deutsche Sprache und Linguistik Humboldt-Universität zu Berlin und Zentrum für Allgemeine Sprachwissenschaft (ZAS), Berlin krifka@rz.hu-berlin.de Abstract

More information

Class 29 - November 3 Semantics for Predicate Logic

Class 29 - November 3 Semantics for Predicate Logic Philosophy 240: Symbolic Logic Fall 2010 Mondays, Wednesdays, Fridays: 9am - 9:50am Hamilton College Russell Marcus rmarcus1@hamilton.edu Class 29 - November 3 Semantics for Predicate Logic I. Proof Theory

More information

An Alternatives-based Semantics for Dependent Plurals

An Alternatives-based Semantics for Dependent Plurals An Alternatives-based Semantics for Dependent Plurals Serge Minor CASTL, University of Tromsø 1 Properties of Dependent Plurals 1.1 Scopelessness Bare plural noun phrases in the context of other plurals

More information

First-Order Logic (FOL)

First-Order Logic (FOL) First-Order Logic (FOL) Also called Predicate Logic or Predicate Calculus 2. First-Order Logic (FOL) FOL Syntax variables x, y, z, constants a, b, c, functions f, g, h, terms variables, constants or n-ary

More information

o is a type symbol. There are no other type symbols.

o is a type symbol. There are no other type symbols. In what follows, the article sets out two main interpretations of the formal logic of Principia Mathematica, one aims to be historical which will be called Principia L and the other is Church s interpretation

More information

Seminar in Semantics: Gradation & Modality Winter 2014

Seminar in Semantics: Gradation & Modality Winter 2014 1 Subject matter Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/8/14 Handout: Basic Modal Logic and Kratzer (1977) [M]odality is the linguistic phenomenon whereby grammar allows

More information

Structural Foundations for Abstract Mathematics

Structural Foundations for Abstract Mathematics May 5, 2013 What no foundation can give us: Certainty What foundations need not give us: Ontological reduction What set theory gives us: Common language in which all mathematics can be encoded:,,,... Dispute

More information

Scalar Implicatures: Are There Any?

Scalar Implicatures: Are There Any? Scalar Implicatures: Are There Any? Angelika Kratzer University of Massachusetts at Amherst Workshop on Polarity, Scalar Phenomena, and Implicatures. University of Milan-Bicocca June 18, 2003 1 The cast

More information

Unification. Two Routes to Deep Structure. Unification. Unification Grammar. Martin Kay. Stanford University University of the Saarland

Unification. Two Routes to Deep Structure. Unification. Unification Grammar. Martin Kay. Stanford University University of the Saarland Two Routes to Deep Structure Derivational! Transformational! Procedural Deep Unidirectional Transformations Surface Stanford University University of the Saarland Constraint-based! Declarative Deep Surface

More information

October 16 th 2015, Budapest Workshop on Linguistic and Cognitive aspects of Quantification

October 16 th 2015, Budapest Workshop on Linguistic and Cognitive aspects of Quantification October 16 th 2015, Budapest Workshop on Linguistic and Cognitive aspects of Quantification The semantics and the acquisition of the distributive marker po, which is notorious, (common to Slavic and has

More information

Review. Propositional Logic. Propositions atomic and compound. Operators: negation, and, or, xor, implies, biconditional.

Review. Propositional Logic. Propositions atomic and compound. Operators: negation, and, or, xor, implies, biconditional. Review Propositional Logic Propositions atomic and compound Operators: negation, and, or, xor, implies, biconditional Truth tables A closer look at implies Translating from/ to English Converse, inverse,

More information

03 Review of First-Order Logic

03 Review of First-Order Logic CAS 734 Winter 2014 03 Review of First-Order Logic William M. Farmer Department of Computing and Software McMaster University 18 January 2014 What is First-Order Logic? First-order logic is the study of

More information

7.1 What is it and why should we care?

7.1 What is it and why should we care? Chapter 7 Probability In this section, we go over some simple concepts from probability theory. We integrate these with ideas from formal language theory in the next chapter. 7.1 What is it and why should

More information

Introduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1)

Introduction to Predicate Logic Part 1. Professor Anita Wasilewska Lecture Notes (1) Introduction to Predicate Logic Part 1 Professor Anita Wasilewska Lecture Notes (1) Introduction Lecture Notes (1) and (2) provide an OVERVIEW of a standard intuitive formalization and introduction to

More information

Syllogistic Logic and its Extensions

Syllogistic Logic and its Extensions 1/31 Syllogistic Logic and its Extensions Larry Moss, Indiana University NASSLLI 2014 2/31 Logic and Language: Traditional Syllogisms All men are mortal. Socrates is a man. Socrates is mortal. Some men

More information

Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt)

Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt) Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt) 1. Background (1a) John seeks a unicorn. P(Δ John, O(Δ seeks,δ a unicorn ) (c) Q(Δ a unicorn, Δ John seeks

More information

The Semantics of Questions Introductory remarks

The Semantics of Questions Introductory remarks MIT, September-October 2012 1 1. Goals for this class The Semantics of Questions Introductory remarks (1) a. Which boy (among John, Bill and Fred) read the book? Uniqueness presupposition (UP): exactly

More information

First-Order Logic. Chapter Overview Syntax

First-Order Logic. Chapter Overview Syntax Chapter 10 First-Order Logic 10.1 Overview First-Order Logic is the calculus one usually has in mind when using the word logic. It is expressive enough for all of mathematics, except for those concepts

More information

Predicates, Quantifiers and Nested Quantifiers

Predicates, Quantifiers and Nested Quantifiers Predicates, Quantifiers and Nested Quantifiers Predicates Recall the example of a non-proposition in our first presentation: 2x=1. Let us call this expression P(x). P(x) is not a proposition because x

More information

Internal and Interval Semantics for CP-Comparatives

Internal and Interval Semantics for CP-Comparatives Internal and Interval Semantics for CP-Comparatives Fred Landman Linguistics Department, Tel Aviv University, landman@post.tau.ac.il Abstract. The interval degree semantics for clausal (CP)-comparatives

More information

LIN1032 Formal Foundations for Linguistics

LIN1032 Formal Foundations for Linguistics LIN1032 Formal Foundations for Lecture 5 Albert Gatt In this lecture We conclude our discussion of the logical connectives We begin our foray into predicate logic much more expressive than propositional

More information

Degree pluralities : distributive, cumulative and collective readings of comparatives

Degree pluralities : distributive, cumulative and collective readings of comparatives Degree pluralities : distributive, cumulative and collective readings of comparatives Jakub Dotlačil (Groningen) & Rick Nouwen (Utrecht) February 14, 2014, Paris 1 John lifted the box. 1 John lifted the

More information

3. The Logic of Quantified Statements Summary. Aaron Tan August 2017

3. The Logic of Quantified Statements Summary. Aaron Tan August 2017 3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,

More information

TALP at GeoQuery 2007: Linguistic and Geographical Analysis for Query Parsing

TALP at GeoQuery 2007: Linguistic and Geographical Analysis for Query Parsing TALP at GeoQuery 2007: Linguistic and Geographical Analysis for Query Parsing Daniel Ferrés and Horacio Rodríguez TALP Research Center Software Department Universitat Politècnica de Catalunya {dferres,horacio}@lsi.upc.edu

More information

26. Januar Introduction to Computational Semantics

26. Januar Introduction to Computational Semantics 1 Lehrstuhl für Künstliche Intelligenz Institut für Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg 26. Januar 2006 1 Slides are mainly due to J. Bos and P. Blackburn course on An Introduction

More information

Kripke on Frege on Sense and Reference. David Chalmers

Kripke on Frege on Sense and Reference. David Chalmers Kripke on Frege on Sense and Reference David Chalmers Kripke s Frege Kripke s Frege Theory of Sense and Reference: Some Exegetical Notes Focuses on Frege on the hierarchy of senses and on the senses of

More information

A Time-relational Approach to Aspect in Mandarin Chinese and English

A Time-relational Approach to Aspect in Mandarin Chinese and English A Time-relational Approach to Aspect in Mandarin Chinese and English Mingya Liu University of Tübingen mingya.liu@uni-tuebingen.de July 22, 2008 Mingya Liu (Tübingen) Aspect in Chinese and English July

More information

Second-Order Modal Logic

Second-Order Modal Logic Hardegree, Modal Logic, 11: Second-Order Modal Logic 16 XI-1 11 Second-Order Modal Logic 1. Introduction...2 2. Second-Order Considerations...2 3. Monadic Plurals...4 4. Syntax for Modal Logic with Plurals

More information

Week 6: The VP Domain I - The Event and vp Seminar: The Syntax-Semantics Interface M. Louie February Introduction

Week 6: The VP Domain I - The Event and vp Seminar: The Syntax-Semantics Interface M. Louie February Introduction Week 6: The Domain - The Event and vp Seminar: The Syntax-Semantics nterface M. Louie February 2017 1 ntroduction Last Week: The Mass/Count Distinction We briefly mentioned Borer 2005 s notion of (non-)quantity

More information

Semantic Treatment of Locative Prepositions

Semantic Treatment of Locative Prepositions Utrecht University Semantic Treatment of Locative Prepositions Author: Artuur Leeuwenberg First Supervisor Dr. Yoad Winter Second Supervisor Dr. Joost Zwarts A thesis submitted in partial fulfillment for

More information

Spectral Unsupervised Parsing with Additive Tree Metrics

Spectral Unsupervised Parsing with Additive Tree Metrics Spectral Unsupervised Parsing with Additive Tree Metrics Ankur Parikh, Shay Cohen, Eric P. Xing Carnegie Mellon, University of Edinburgh Ankur Parikh 2014 1 Overview Model: We present a novel approach

More information

First Order Logic (FOL) 1 znj/dm2017

First Order Logic (FOL) 1   znj/dm2017 First Order Logic (FOL) 1 http://lcs.ios.ac.cn/ znj/dm2017 Naijun Zhan March 19, 2017 1 Special thanks to Profs Hanpin Wang (PKU) and Lijun Zhang (ISCAS) for their courtesy of the slides on this course.

More information

Theory of Computer Science. Theory of Computer Science. D7.1 Introduction. D7.2 Turing Machines as Words. D7.3 Special Halting Problem

Theory of Computer Science. Theory of Computer Science. D7.1 Introduction. D7.2 Turing Machines as Words. D7.3 Special Halting Problem Theory of Computer Science May 2, 2018 D7. Halting Problem and Reductions Theory of Computer Science D7. Halting Problem and Reductions Gabriele Röger University of Basel May 2, 2018 D7.1 Introduction

More information

G52DOA - Derivation of Algorithms Predicate Logic

G52DOA - Derivation of Algorithms Predicate Logic G52DOA - Derivation of Algorithms Predicate Logic Venanzio Capretta Predicate Logic So far, we studied propositional logic, in which we started with unspecified propositional variables A, B, C, and combined

More information

Must... stay... strong!

Must... stay... strong! Alex Goebel 620 Spring 2016 Paper Presentation of von Fintel & Gillies (2010) Synopsis Must... stay... strong! Von Fintel & Gillies (vf&g) argue against a weakened semantics of must and propose an alternative

More information

First Order Logic (1A) Young W. Lim 11/18/13

First Order Logic (1A) Young W. Lim 11/18/13 Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software

More information

III. Elementary Logic

III. Elementary Logic III. Elementary Logic The Language of Mathematics While we use our natural language to transmit our mathematical ideas, the language has some undesirable features which are not acceptable in mathematics.

More information

Lecture 7. Logic. Section1: Statement Logic.

Lecture 7. Logic. Section1: Statement Logic. Ling 726: Mathematical Linguistics, Logic, Section : Statement Logic V. Borschev and B. Partee, October 5, 26 p. Lecture 7. Logic. Section: Statement Logic.. Statement Logic..... Goals..... Syntax of Statement

More information

E-type interpretation without E-type pronoun: How Peirce s Graphs. capture the uniqueness implication of donkey sentences

E-type interpretation without E-type pronoun: How Peirce s Graphs. capture the uniqueness implication of donkey sentences E-type interpretation without E-type pronoun: How Peirce s Graphs capture the uniqueness implication of donkey sentences Author: He Chuansheng (PhD student of linguistics) The Hong Kong Polytechnic University

More information

Introduction to Kleene Algebras

Introduction to Kleene Algebras Introduction to Kleene Algebras Riccardo Pucella Basic Notions Seminar December 1, 2005 Introduction to Kleene Algebras p.1 Idempotent Semirings An idempotent semiring is a structure S = (S, +,, 1, 0)

More information

Section Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier

Section Summary. Predicate logic Quantifiers. Negating Quantifiers. Translating English to Logic. Universal Quantifier Existential Quantifier Section 1.4 Section Summary Predicate logic Quantifiers Universal Quantifier Existential Quantifier Negating Quantifiers De Morgan s Laws for Quantifiers Translating English to Logic Propositional Logic

More information

Introduction to Sets and Logic (MATH 1190)

Introduction to Sets and Logic (MATH 1190) Introduction to Sets Logic () Instructor: Email: shenlili@yorku.ca Department of Mathematics Statistics York University Sept 18, 2014 Outline 1 2 Tautologies Definition A tautology is a compound proposition

More information

Proseminar on Semantic Theory Fall 2013 Ling 720 First Order (Predicate) Logic: Syntax and Natural Deduction 1

Proseminar on Semantic Theory Fall 2013 Ling 720 First Order (Predicate) Logic: Syntax and Natural Deduction 1 First Order (Predicate) Logic: Syntax and Natural Deduction 1 A Reminder of Our Plot I wish to provide some historical and intellectual context to the formal tools that logicians developed to study the

More information

Introduction to Semantics. Common Nouns and Adjectives in Predicate Position 1

Introduction to Semantics. Common Nouns and Adjectives in Predicate Position 1 Common Nouns and Adjectives in Predicate Position 1 (1) The Lexicon of Our System at Present a. Proper Names: [[ Barack ]] = Barack b. Intransitive Verbs: [[ smokes ]] = [ λx : x D e. IF x smokes THEN

More information

Universalism Entails Extensionalism

Universalism Entails Extensionalism Universalism Entails Extensionalism Achille C. Varzi Department of Philosophy, Columbia University, New York [Final version published in Analysis, 69 (2009), 599 604] 1. Universalism (also known as Conjunctivism,

More information

On Plural Anaphora. Kiyoshi ISHIKAWA Hosei University ishikawagcogsci.l.chiba-u.ac.jp

On Plural Anaphora. Kiyoshi ISHIKAWA Hosei University ishikawagcogsci.l.chiba-u.ac.jp On Plural Anaphora Kiyoshi ISHIKAWA Hosei University ishikawagcogsci.l.chiba-u.ac.jp Abstract In order to formulate truth-conditionally - satisfactor* semantics in a compositional. manner, - model-iiieoretic

More information