A unified theory of ((in)definite) descriptions

Size: px
Start display at page:

Download "A unified theory of ((in)definite) descriptions"

Transcription

1 Gennaro Chierchia University of Milan - Bicocca Amsterdam Colloquium 2001 A unified theory of ((in)definite) descriptions (1) Quantificational (denotation of type <<e,t>,t>; e.g. every man) NP?? indefinites Referential (denotation of type e; e.g. the man) I. Data. (2) What is an indefinite? If we take the indefinite article as representative, then indefinites appear to be characterized by the following properties: a. They have an existential meaning ( there is a boy such that.../ for some boy,... ) b. They admit of predicative uses. i. copular constructions: John is a nice man John and Bill are two nice guys ii. the Det itself admits of a quasi adjectival use They are two John is only one [The kind of things we are sure to be indefinite articles are nearly always derived from the first numeral] c. They support existential constructions. There is a boy in the garden d. They have generic (quasi universal) uses. a dog barks e. They display Quantificational variability effects. Donkey anaphora i. If a cat has blue eyes, it rarely is intelligent ii. A Texan is often tall f. They support discourse anaphora A boy walked in. He... (3) Some-indefinites. Some indefinites (e.g. some) have a (very small) subset of the properties in (2). (a) No (or marginal) predicative uses. i.?? John is some nice boy ii. * John is some (b) No (or marginal) in existential constructions. *There is some boy in the garden (c) No (or marginal) generic uses. some dog barks (d) No (or marginal) QV effects.?? if some cat has blue eyes, it normally is intelligent?? some Texan is rarely short Some-indefinites seem to have only (2a) and (2f) in common with the indefinite article. (4) The scope of indefinites. Indefinites, in general, allow scope construals much more permissively than other quantified NPs a. Every student read every paper that a/some professor wrote b. every student i some professor j [t i read every paper [ that t j wrote ]] (5) Certain-indefinites Modifiers like certain bring to salience wide scope or specific readings a. Every student read every paper that some professor wrote Not every specific construal can be reduced (in an obvious manner) to scope b. (At the bachelor party) no one invited a certain girl i. Namely Melissa (specific individual reading) ii. Namely, his fiancé (specific functional reading) c. No one invited a/some girl [only reading (b.i) is present] d. No one invited somebody he should have invited

2 II. Definites. (6) Strategy To find our way between quantificational and referential uses, let definites be our guide. What makes definites referential or specific is not simply that they refer to individuals. a. Everyone met the leader b. Everyone met the leader of his group (7) The classical theory a. the boy = i(boy) = the unique member of BOY b. the boys = i(boys) = the maximal member of BOYS the is a choice function with a maximality presupposition; where does such a presupposition come from? (8) A slight (?) variant of the classical theory (Chierchia 1995) a. the denotes a variable over choice functions b. the f boy arrived ==> arrive (f(boy)) If this is what the means, for communication to be successful the context will have to supply a unique (or a maximally salient) value for the function variable (much like it has to supply a unique value for he in he smokes). If there are two or more (equally salient) boys, then there will be two or more (equally salient) choice functions; and communication failure will ensue. It follows that we can use the boy only in contexts in which there is one (or one maximally salient) boy. [c. Othere definites: THAT(BOY) ==> select from BOY the one pointed at ] (9) Domain selection and/or hidden parameters a. The kid is tired [doesn t presuppose a unique kid in whole world] b. TIRED(i D (KID) ) DOMAIN SELECTION c. i. The f kid here HIDDEN PARAMETERS f(kid)(here) d. DP D NP n D NP The f boy there n f (KID) (THERE) (10) Anaphoric associative uses: an advantage of the hidden parameter strategy? a. Every student read a book and reported on the author c. Every student read a book i and reported on the D(i) author d. Every student read a book i and reported on the f author i (11) Consequence: Weak Crossover effects By assimilating the hidden parameters to covert pronouns, we expect them to obey to the standard conditions on pronoun interpretation. a. * His i mother loves everyone i b. Everyone s i mother loves him i c. Everyone that read a book i selected by our panel was very impressed by the f author i d. * The f author i impressed [everyone that read a book i selected by our panel] Other relevant effects: VP ellipsis, association with focus. (12) Covert descriptions: laziness pronouns a. John wrote only one paper. It was on adverbs (Heim&Kratzer) i. i (PAPER THAT JOHN WROTE) [ traditional ] ii. f( paper)(john) [Choice function] b. Laziness pronouns need a syntactic antecedent. Salience is not enough. Coindexing = maximal non distinctness (copying/interpretive procedure) Typically, the head of the antecedent is interpreted as the argument of the choice function.

3 John i wrote only [one paper] j. It j i was on adverbs it = f antecedent = [one paper] j. It j = f(paper) c. Every student i who wrote only [one paper] j presented it j i twice d. DP DP DP D NP pro i It f Ø j f P x i e. Paycheck pronouns John gave his paycheck i to Sue.[ Bill/everyone else] j gave it i j to Mary (13) Crossover effects on covert descriptions. a. * It i j was presented by every student j who wrote only one paper i b. Everyone got something for the holiday season. Only Bill was pleased by his present. c. i. Everybody else hated it ii.?? It irritated everyone else (14) The proposal. a. Definite descriptions are choice functions with hidden parameters (Skolemized CFs) b. Indefinites denote the same thing as definites c. Indefinites must be closed existentially ( morphological requirement ) (15) How to interpret it a. One new alternative source of indefiniteness: every indefinite is a choice function (subject to closure) [globally responsible for all their properties] b. Two sources of indefiniteness: i. GQ over individuals (e.g. lp lq $x [P(x) Ÿ Q(x)]) [responsible for quantificational uses] ii. E-closure of SCF [responsible for referential construals] Given the widely diverging properties of indefinites (e.g., a vs. some), I am inclined to side with those who claim that the sources of indefinites are (at least) two. (16) Existential operators. a. NOT directly associated with a lexical item. b. Inserted (freely) in a structure that contains indefinite morphology. c. They come in two forms: i. $ = lp lq $x [P(x) Ÿ Q(x)] (over individuals, via sortal properties) ii. $f= lq $f [SCF(f) Ÿ Q(f)] III. Implementation (17) a. Type driven translation (over SCFs) DP John e VP smokes <e,t>

4 b. Indefinites DP VP smokes D man <e,t> <e,t> a if a is just a indefiniteness marker; man and smoke cannot directly combine. This yields two options. (18) Option 1 a is interpreted as a choice function, then the type will match. $ f SMOKE(f(MAN)) [I am omitting the implicit Skolem argument for simplicity] DP VP smokes a man f However, existential closure will have to apply after the clause nucleus has already been formed. I.e. non locally. (19) Option 2. We insert the existential quantifier locally DP VP smokes D man <e,t> <e,t> $ a $ (MAN)(SMOKE) (20) Some-indefinites are lexically specified to be functions: some f a. In copular constructions ( John is some boy ) they cannot receive a predicative interpretation b. *There is some boy ==> Exist (f(boy)) ; if defined is tautologous c. No (or marginal) generic uses i. a dog barks ==> Gn x, [dog(x)][bark(x)] ii. some dog barks ==> * Gn f [bark(f(dog)] d. QV effects are linked to topicality. Functions make poor topics i. * As for one s mother, she is a source of trouble ii. As for one s mother, one should never let her take over (21) Certain-indefinites are a way to disambiguate a in favour of the functional construal. a. DP i f(man)(i) D man a certain f b. Ogni studente ha letto ogni libro che un qualche professore ha scritto. Every student read every book that a some professor wrote c. A certain also has a prominent kind reading i. A certain dog is hard to train ii.?? some dog is hard to train iii. A certain argument is rarely convincing iv.?? some argument is rarely convincing d. Gn x i [x i is an instance of k(dog)(l)] [x i is hard to train]

5 (22) Choice functions and presuppositions a. A = [U Æ 2] (the set of all partial functions from U into {0,1}) b. We quantify over SCF that are not defined for the empty set: SCF = {f Œ [AÆ[U Æ U]] : œdom(f) and for any aœa and uœu, f(a)(u)œ a } c. The closure operator is a generalized quantifier with a built in restriction to SCFs: $f D = lq $f [D(f) Ÿ Q(f)] (D some natural subset of salient SCFs) d. Example 1: some man walks i. $f [some f manl walks] (l = the context location) ii. $f [SCF (f) Ÿ walk (f(man w0 )(l))] ( $x[man(x) Ÿ walk (x)]) [If there are no men in l, (ii) is false] e. Example 2: some man doesn t walk [two scope construals -- putting aside alleged Pos Pol] i. $f [some f manl ] i not [ t i walks ] Ë $f [SCF(f) Ÿ ÿ walk (f(man w0 )(l))] ( $x[man(x) Ÿ ÿ walk (x)]) [If there are no men (or if every man walks), this is false)] ii. not $f [some f man l walks ] Ë ÿ $f [SCF(f) Ÿ walk (f(man w0 )(l))] ( ÿ $x[man(x) Ÿ walk (x)]) [If there are no men (or if no man walks) this is true] Normal behavior of indefinites (more context dependency than on the classical view; but very weak presuppositional requirements). IV. Consequences. (23) The scopal properties of indefinites a. $ f [every student i read every book that some f professori wrote] b. every student i $ f [t i read every book that some f professori wrote] (24) Crossover effects on LD construals a. a technician inspected every plane b. every student was impressed by every book that some professor wrote c. every book that some professor wrote impressed every student No intermediate reading d. Every book that [some f professor] i wrote impressed every student i e. every student i [every book that [some f professor]i wrote impressed t i ] (25) De dicto/de re. The relevant contrasts can be derived on the basis of independently motivated assumptions. Assumptions: Each expression has a world variable (as in Ty2 translations a la G&S). The world variable of the main predicate of a clause must be locally bound (Percus); other predicate variables can be freely set (modulo pragmatic plausibility) a. John believes lw[it rains w ] Ë a. BELIEVE w0 (j, lw RAIN w ) b. De dicto/transparent reading [context: John finds his car scratched and sees a rowdy group of youngsters nearby: He believes one of them did it. They happen to be the local soccer team] c. John i believes w0 lw $f [a f footballplayer w0i scratchedw his car ] c. BELIEVE w0 (j, lw $f [SCR w (f(footballplayer w0 )(j)) ]) d. De re: $f John i believes w0 lw [a f footballplayer w0i scratchedw his car ] d. $ f BELIEVE w0 (j, lw [SCR w (f(footballplayer w0 )(j)) ]) There is some function f mapping John into a football player such that John believes that he scratched his car

6 (26) Donkey anaphora effects. Assumptions: donkey anaphora derives from characteristics of $ (plus independently needed assumptions) i. $ brings to salience an entity; pronouns are covert descriptions that can refer to salient entities [plus situation theory] ii. $ is dynamic Consequence: LD indefinite should behave like ordinary ones with respect to Donkey anaphora. a. John believes that a student in his class is a spy. She is from Rome b. John read every book that a professor has written. He wants to ask her to be his advisor c. every student that read every book that a professor wrote asked her to be his supervisor d. Most linguists that studied every solution that some problem had became crazy over it e. If John forms the opinion that a student is intelligent, he or she is indeed typically quite smart f. If John thinks he may need a credit card, he will carry it along g. If a student reads every paper that a professor wrote, it s because he wants to have her as advisor (28) A bug? a. every book that some professor wrote impressed every student b. every student i [every book that [some f professor]i wrote impressed t i ] c. every student i $f [every book that [some f professor]k wrote impressed t i ] (29) The immediate scope constraint (ISC) Between the binder of k and the existential quantifier, there is an intervener Closure of a SCF f must take place in the immediate scope of the binder of f s argument (i) * Q k Q i $f f(k) (ii) * $f Q k...f(k) (30) Some consequences of the ISC a. every student read every book that some professor wrote b. *$f every student k read every book that [some f professor]k wrote c. every student k $f read every book that [some f professor]k wrote (31) Schwarz s (2001) result. With wide scope closure (a) is predicted to have a reading equivalent to (b) a. Not every student read a (certain) book I recommended (namely, his assignment) b. Not every student read every book I recommended c. $ f [ not every student i read [a f book I recommended] i ] d. i. $ f [ [ d a ] l i [ [f b] i g] ] ii. [ [ d a ] [ [every b] g] ] whenever d is DE So, the ISC prevents overgeneration in two contexts: i. WCO contexts ii. DE contexts (32) Summary a. Proposal: referential indefinites have the same meaning as definites (SCFs), modulo closure (subject to ISC) b. Consequences i. LD construals of indefinites ii. Crossover effects on LD indefinites iii. De re construals of indefinites iv. Donkey anaphora effects on LD indefinites (33) Alternatives. a. Relaxing for indefinites constraints on movement. (Geurts) b. Domain selection: sometimes the domain of an indefinite is just a singleton (Schwarzchild) c. Indefinites as free SCF. No closure. (Kratzer) Problems with (b)-(c) d. Not every linguist studied every solution that some problem has. Charlie didn t. e. every linguist i studied every solution that some D(i) problem has f. not every linguist i studied every solution that some D(i) problem has g. There is no way of choosing a D such that Charlie studied every solution to some problem in D

7 (34) A further consequence: Belief de notione a.... a f witch... she f(witch) coindexing = non distinctness; if the antecedent is a function, this entails that a pronoun anaphoric to it will pick up the same function. b. Existential closure and world selection are independent processes. Hence the world variable of an embedded indefinite may be locally bound (e.g. within the scope of an attitude verb); while existential closure may apply at the top. This predicts the existence of a much discussed anaphoric dependency c. $ f [Hob believes that lw[a f witch w blighted his mare]. Nob believes that lw[she f(witchw) stole his pig]] d. $ f [ BELIEVE w0 (Hob, lw [BL w (f(witch w )(x)) ]) Ÿ BELIEVE w0 (N, lw [SP w (f(witch w )(x)) ]) e. There is a witch-concept such that Hob believes that whatever satisfies it blighted his mare, while Nob believes that whatever satisfies it stole his pig. (35) What is our witch-function a function of? In general for attitude reports we want to go for functions from the believe holders into the relevant concepts. So in (a) we might set x to one of the relevant belief holders. b. $f [ BELIEVE w0 (Hob, lw [BL w (f(witch w )(H)) ]) Ÿ BELIEVE w0 (N, lw [KL w (f(witch w )(H))]) (Straightforward pragmatic considerations would make us pick the first mentioned belief holder: you wouldn t make the function depend on somebody which has not entered the scene) This reading makes Nob s beliefs depend on Hob s ones (asymmetric reading) c. Typical concepts that would fit the bill: the witch Hob believes to have blighted his mare the witch that Hob believes to be around d.it is also possible, as Geach himself pointed out, to use the relevant sentence in a situation in which Hob s belief do not depend on Nob s. This is the so called witch-mania context. In this case, x in (b) could be interpreted as a collective agent (say, the community of which Hob and Nob are part). A suitable description could be: the witch Hob s and Nob s community believes to be around In this case, we have a symmetric reading. (36) A sloppy reading? a. Hob i believes that [a f witch] blighted his mare. Nob j believes that she witch j killed his cow b. Hob and Nob each have their own witch-concept; this reading seems to be impossible (imagine Hob and Nob living in different communities with no causal links to each other). (37) The case of Fred and Charlie (Edelberg (1986)) a. Fred s wife, Janet plays a practical joke on Fred. She makes him believe she bought him a new car, which is awaiting for him in George s garage. Charlie s wife, Mabel, plays the same joke on Charlie. She makes him believe she bought him a new car, which is awaiting for him in George s garage. Belief holder Belief Fred Janet gave him a car which is in George s garage Charlie Mabel gave him a car which is in George s garage b. Fred believes a new car is in George s garage and Charlie believes it is a gift from Mabel c. Fred believes a new car is in George s garage. Charlie believes that the new car in George s garage is a gift from Mabel. d. Charlie believes that his new car is George s garage. Fred believes it is a gift from Mabel. (38) Generalization on sloppy construals of pronouns of laziness. Sloppy construals of pronouns with definite antecedents is possible; with indefinite antecedents is impossible (or systematically harder). (39) The ISC again (Misani 2000) a. $f [Fred i believes a f new cari is in George s garage. Charlie j believes it f(car)j is gift from Mabel] The only solution is to leave the functional pronoun free. But a functional pronoun needs a linguistic antecedent. Contextual salience is not enough: b. Every donkey owner beats it c. Speaking of the successor function, no number is greater than it (Heim) d. Charlie believes that his new car i is in George s garage. Fred believes he got itnew car j as a gift from Mabel

8 (40) More analytically. Suppose we try to do things respecting ISC: a. [Fred i $f believes a f new cari is in George s garage]. Charlie j believes it f(new car)j is gift from Mabel] Fred i = $x i [x i = Fred It would seem that f(car) in the second clause is free. But it is not so. Given its dynamic character, $f winds up binding f(car) in the second clause. Hence a violation of ISC comes about in any case. b. Prediction: replace Fred i with a quantifier like every man i. This quantifier creates a barrier for $f (every is externally static; cf. *Every one has a donkey. It gets beaten regularly). Hence, f(car) in the second clause will remain free (while, at the same time, having a linguistic antecedent, that fixes the argument of f). Thus the possibility of getting a sloppy reading should increase. c. Everyone in this archaic community believes in guardian angels that assist people in the key junctures of their lives. In particular, every man believes that a guardian angel protects him at war and every woman believes that it protects her during child birth. d. i. [every man i $f believes a f guardian angeli protects him while at work] and ii. every woman j believes it f(guardian angel)j protects her during child birth OUTCOME: a deflationary theory of intentional identity (41) Summary [cf. (32)] a. Proposal: referential indefinites have the same meaning as definites (SCFs), modulo closure (subject to ISC) b. Consequences i. LD construals of indefinites ii. Crossover effects on LD indefinites iii. De re construals of indefinites iv. Donkey anaphora effects on LD indefinites v. Intentional identity Selected references Chierchia, G. (1995) Dynamics of Meaning, U. of Chicago Press Chierchia, G. (2001) A Puzzle about Indefinites, in C. Cecchetto et al (eds) Semantic Interfaces, CSLI Edelberg, W. (1986) A New Puzzle about Intentional Identity, Philosophical Review, 15. Geach, P. (1967) Intentional Identity, Journal of Philosophy, 5. Geurts, B. (2000) Indefinites and Choice Functions, Linguistic Inquiry, 31. Heim, I. (1990) E-Type Pronouns and Donkey Anaphora, Linguistics and Philosophy, 13. Kratzer, A. (1998) Scope or Pseudoscope? Are there Wide Scope Indefinites in S. Rothstein (ed.) Events in Grammar, Kluwer. Misani, N. (2000) Identità Intenzionale e Grammatica dei Pronomi, Tesi di Laurea, University of Milan Reinhart, T. (1997) Quantifier Scope. How Labor is Divided between QR and Choice Functions, Linguistics and Philosophy 20. Schwarz, B. (2001) Two Kinds of Long Distance Indefinites, this conference. Schwarzchild, R. (2001) Singleton Indefinites, ms. Rutgers U. Winter, Y. (1997) Choice Functions and the Scopal Semantics of Indefinites. Linguistics and Philosophy, 20.

Some observations on identity, sameness and comparison

Some observations on identity, sameness and comparison Some observations on identity, sameness and comparison Line Mikkelsen Meaning Sciences Club, UC Berkeley, October 16, 2012 1 Introduction The meaning of the English adjective same is in one sense obvious:

More information

Pronominal, temporal and descriptive anaphora

Pronominal, temporal and descriptive anaphora Pronominal, temporal and descriptive anaphora Dept. of Philosophy Radboud University, Nijmegen Overview Overview Temporal and presuppositional anaphora Kripke s and Kamp s puzzles Some additional data

More information

Satisfied or Exhaustified An Ambiguity Account of the Proviso Problem

Satisfied 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 information

Presupposition projection: Global accommodation, local accommodation, and scope ambiguities

Presupposition 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 information

10. Presuppositions Introduction The Phenomenon Tests for presuppositions

10. 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 information

HS01: The Grammar of Anaphora: The Study of Anaphora and Ellipsis An Introduction. Winkler /Konietzko WS06/07

HS01: The Grammar of Anaphora: The Study of Anaphora and Ellipsis An Introduction. Winkler /Konietzko WS06/07 HS01: The Grammar of Anaphora: The Study of Anaphora and Ellipsis An Introduction Winkler /Konietzko WS06/07 1 Introduction to English Linguistics Andreas Konietzko SFB Nauklerstr. 35 E-mail: andreaskonietzko@gmx.de

More information

Lexical Alternatives as a Source of Pragmatic Presuppositions

Lexical 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 information

Factivity 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 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 information

Extraposition and Covert Movement

Extraposition and Covert Movement 1 Extraposition and Covert Movement Danny Fox Jon Nissenbaum Harvard University MIT Introduction The traditional Y-model An alternative picture all overt operations all operations covert & overt Claims:

More information

ACD in AP? Richard K. Larson. Stony Brook University

ACD in AP? Richard K. Larson. Stony Brook University ACD in AP? Richard K. Larson Stony Brook University When the adjective possible combines with a common noun N, the result typically denotes those individuals satisfying N in some possible world. Possible

More information

Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6

Quantifiers: 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 information

Russell: On Denoting

Russell: 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 information

The Interpretation of Complement Anaphora: The Case of The Others

The Interpretation of Complement Anaphora: The Case of The Others The Interpretation of Complement Anaphora: The Case of The Others Nobuaki Akagi Centre for Cognition and its Disorders (CCD), Macquarie University nobuakagi@mq.edu.au Francesco-Alessio Ursini Centre for

More information

Cohen 2004: Existential Generics Shay Hucklebridge LING 720

Cohen 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 information

Kai von Fintel (MIT)

Kai von Fintel (MIT) PRESUPPOSITION ACCOMMODATION AND QUANTIFIER DOMAINS COMMENTS ON BEAVER S ACCOMMODATING TOPICS Kai von Fintel (MIT) Natural language expressions are context-dependent. When a hearer tries to assign an interpretation

More information

On the Interpretation of Anaphoric Noun Phrases: Towards a Full Understanding of Partial Matches

On the Interpretation of Anaphoric Noun Phrases: Towards a Full Understanding of Partial Matches On the Interpretation of Anaphoric Noun Phrases: Towards a Full Understanding of Partial Matches Emiel Krahmer & Kees van Deemter IPO, Eindhoven ITRI, Brighton Abstract Starting from the assumption that

More information

Mandy Simons Carnegie Mellon University June 2010

Mandy 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 information

Two restrictions on possible connectives

Two restrictions on possible connectives UCLA Working Papers in Linguistics, Theories of Everything Volume 17, Article 18: 154-162, 2012 Two restrictions on possible connectives Roni Katzir Raj Singh Introduction If languages could lexicalize

More information

The projection problem of presuppositions

The 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 information

Complex demonstratives as quantifiers: objections and replies

Complex demonstratives as quantifiers: objections and replies Philos Stud (2008) 141:209 242 DOI 10.1007/s11098-008-9238-9 Complex demonstratives as quantifiers: objections and replies Jeffrey C. King Published online: 10 May 2008 Ó Springer Science+Business Media

More information

Towards a Solution to the Proviso Problem

Towards 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 information

Presupposition: An (un)common attitude?

Presupposition: 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

Quantificational logic and empty names

Quantificational logic and empty names Quantificational logic and empty names Andrew Bacon 26th of March 2013 1 A Puzzle For Classical Quantificational Theory Empty Names: Consider the sentence 1. There is something identical to Pegasus On

More information

CAS LX 523 Syntax II February 10, 2009 Prep for week 5: The fine structure of the left periphery

CAS LX 523 Syntax II February 10, 2009 Prep for week 5: The fine structure of the left periphery CAS LX 52 Syntax II February 10, 2009 Spring 2009 Prep for week 5: The fine structure of the left periphery Rizzi, Luigi (1997). The fine structure of the left periphery. In L. Haegeman. (ed.), Elements

More information

Entailment as Plural Modal Anaphora

Entailment as Plural Modal Anaphora Entailment as Plural Modal Anaphora Adrian Brasoveanu SURGE 09/08/2005 I. Introduction. Meaning vs. Content. The Partee marble examples: - (1 1 ) and (2 1 ): different meanings (different anaphora licensing

More information

Discourse Constraints on Anaphora Ling 614 / Phil 615 Sponsored by the Marshall M. Weinberg Fund for Graduate Seminars in Cognitive Science

Discourse Constraints on Anaphora Ling 614 / Phil 615 Sponsored by the Marshall M. Weinberg Fund for Graduate Seminars in Cognitive Science Discourse Constraints on Anaphora Ling 614 / Phil 615 Sponsored by the Marshall M. Weinberg Fund for Graduate Seminars in Cognitive Science Ezra Keshet, visiting assistant professor of linguistics; 453B

More information

Topics in Linguistic Theory: Propositional Attitudes

Topics 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 information

Semantic Foundations for Deductive Methods

Semantic 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 information

ANAPHORIC REFERENCE IN JUSTIN BIEBER S ALBUM BELIEVE ACOUSTIC

ANAPHORIC REFERENCE IN JUSTIN BIEBER S ALBUM BELIEVE ACOUSTIC ANAPHORIC REFERENCE IN JUSTIN BIEBER S ALBUM BELIEVE ACOUSTIC *Hisarmauli Desi Natalina Situmorang **Muhammad Natsir ABSTRACT This research focused on anaphoric reference used in Justin Bieber s Album

More information

TWO KINDS OF PERSPECTIVE TAKING IN NARRATIVE TEXTS

TWO KINDS OF PERSPECTIVE TAKING IN NARRATIVE TEXTS Workshop Speech Acts, Leibniz-Zentrum Allgemeine Sprachwissenschaft May 29, 2017 TWO KINDS OF PERSPECTIVE TAKING IN NARRATIVE TEXTS Stefan Hinterwimmer University of Cologne Introduction Introduction Free

More information

Figure 1: Laika. Definite Descriptions Jean Mark Gawron San Diego State University. Definite Descriptions: Pick out an entity in the world (Figure 1)

Figure 1: Laika. Definite Descriptions Jean Mark Gawron San Diego State University. Definite Descriptions: Pick out an entity in the world (Figure 1) Figure 1: Laika Definite Descriptions Jean Mark Gawron San Diego State University 1 Russell, Strawson, Donnellan Definite Descriptions: Pick out an entity in the world (Figure 1) (1) a. the first dog in

More information

(2480 words) 1. Introduction

(2480 words) 1. Introduction DYNAMIC MODALITY IN A POSSIBLE WORLDS FRAMEWORK (2480 words) 1. Introduction Abilities no doubt have a modal nature, but how to spell out this modal nature is up to debate. In this essay, one approach

More information

What is the Frege/Russell Analysis of Quantification? Scott Soames

What 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 information

The Unexpected Projection of Some Presupposition Triggers

The Unexpected Projection of Some Presupposition Triggers The Unexpected Projection of Some Presupposition Triggers Yael Sharvit 1 and Shai Cohen 2 1 Department of Linguistics, UCLA 2 Department of Computer Science, University of Haifa I. The Puzzle Suppose John

More information

ROB VAN DER SANDT R V D S A N D H I L.K U N.N L

ROB VAN DER SANDT R V D S A N D H I L.K U N.N L INTERPRETING FOCUS BART GEURTS UNIVERSITY OF NIJMEGEN B A R T.G E U R T S@P H I L.R U.N L ROB VAN DER SANDT UNIVERSITY OF NIJMEGEN R V D S A N D T@P H I L.K U N.N L Abstract Although it is widely agreed,

More information

Semantics and Pragmatics of NLP DRT: Constructing LFs and Presuppositions

Semantics 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 information

Be Bound or Be Disjoint! Andrew Kehler and Daniel Büring. UCSD and UCLA

Be Bound or Be Disjoint! Andrew Kehler and Daniel Büring. UCSD and UCLA Be Bound or Be Disjoint! Andrew Kehler and Daniel Büring UCSD and UCLA 1. Two Observations We begin our paper with two observations. The first is that sets of highly-parallel utterances are plausibly analyzed

More information

Could have done otherwise, action sentences and anaphora

Could have done otherwise, action sentences and anaphora Could have done otherwise, action sentences and anaphora HELEN STEWARD What does it mean to say of a certain agent, S, that he or she could have done otherwise? Clearly, it means nothing at all, unless

More information

On Conceivability and Existence in Linguistic Interpretation

On 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 information

Ling 98a: The Meaning of Negation (Week 1)

Ling 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 information

15. Russell on definite descriptions

15. 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 information

CAS LX 522 Syntax I Fall 2000 November 6, 2000 Paul Hagstrom Week 9: Binding Theory. (8) John likes him.

CAS LX 522 Syntax I Fall 2000 November 6, 2000 Paul Hagstrom Week 9: Binding Theory. (8) John likes him. CAS LX 522 Syntax I Fall 2000 November 6, 2000 Paul Hagstrom Week 9: Binding Theory Binding Theory (1) John thinks that he will win the prize. (2) John wants Mary to like him. Co-indexation and co-reference:

More information

THE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the

THE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the THE MEANING OF OUGHT Ralph Wedgwood What does the word ought mean? Strictly speaking, this is an empirical question, about the meaning of a word in English. Such empirical semantic questions should ideally

More information

Artificial 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 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 information

Embedded Attitudes *

Embedded 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 information

Class #9 - The Attributive/Referential Distinction

Class #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 information

08 Anaphora resolution

08 Anaphora resolution 08 Anaphora resolution IA161 Advanced Techniques of Natural Language Processing M. Medve NLP Centre, FI MU, Brno November 6, 2017 M. Medve IA161 Advanced NLP 08 Anaphora resolution 1 / 52 1 Linguistic

More information

NEGATED PERFECTS AND TEMPORAL IN-ADVERBIALS *

NEGATED PERFECTS AND TEMPORAL IN-ADVERBIALS * NEGATED PERFECTS AND TEMPORAL IN-ADVERBIALS * SABINE IATRIDOU ** Massachusetts Institute of Technology HEDDE ZEIJLSTRA University of Göttingen 1 Constant s Observation Consider sentences with a negated

More information

Coordination Problems

Coordination Problems Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. LXXXI No. 2, September 2010 Ó 2010 Philosophy and Phenomenological Research, LLC Coordination Problems scott soames

More information

Millian responses to Frege s puzzle

Millian 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 information

A Model of Decidable Introspective Reasoning with Quantifying-In

A Model of Decidable Introspective Reasoning with Quantifying-In A Model of Decidable Introspective Reasoning with Quantifying-In Gerhard Lakemeyer* Institut fur Informatik III Universitat Bonn Romerstr. 164 W-5300 Bonn 1, Germany e-mail: gerhard@uran.informatik.uni-bonn,de

More information

That -clauses as existential quantifiers

That -clauses as existential quantifiers That -clauses as existential quantifiers François Recanati To cite this version: François Recanati. That -clauses as existential quantifiers. Analysis, Oldenbourg Verlag, 2004, 64 (3), pp.229-235.

More information

Competition and Disjoint Reference. Norvin Richards, MIT. appear; Richards 1995). The typical inability of pronouns to be locally bound, on this

Competition and Disjoint Reference. Norvin Richards, MIT. appear; Richards 1995). The typical inability of pronouns to be locally bound, on this Competition and Disjoint Reference Norvin Richards, MIT A number of approaches to binding theory have made crucial reference to the notion of competition in explanations of disjoint reference phenomena

More information

Exercises Introduction to morphosyntax

Exercises Introduction to morphosyntax Exercises Introduction to morphosyntax In English plural nouns are formed with the suffix s. The suffix has three allomorphs. Provide examples and explain their distribution, i.e. explain where the three

More information

(Refer Slide Time 03:00)

(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 information

Quine: Quantifiers and Propositional Attitudes

Quine: 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 information

Logophors, variable binding and the interpretation of have. *

Logophors, variable binding and the interpretation of have. * 1 Logophors, variable binding and the interpretation of have. * Dr. Heidi Harley 613 Williams Hall, Dept. of Linguistics University of Pennsylvania Philadelphia, PA 19104 Ph. (215) 474-1495 Fax: (215)

More information

The Semantics and Pragmatics of Presupposition

The Semantics and Pragmatics of Presupposition Journal cfstmcntus 15-239-299 Oxford Uruvemty Preo 1998 The Semantics and Pragmatics of Presupposition NICHOLAS ASHER University of Texas, Austin ALEX LASCARIDES University of Edinburgh Abstract In this

More information

Models of Anaphora Processing and the Binding Constraints

Models of Anaphora Processing and the Binding Constraints Models of Anaphora Processing and the Binding Constraints 1. Introduction In cognition-driven models, anaphora resolution tends to be viewed as a surrogate process: a certain task, more resource demanding,

More information

Philosophical Logic. LECTURE SEVEN MICHAELMAS 2017 Dr Maarten Steenhagen

Philosophical 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 information

Brainstorming exercise

Brainstorming exercise Brainstorming exercise 1. What is the difference between the underlined nominals in sentences (a) -(d), in terms of referentiality and definiteness: John would like to marry a talented woman, but he couldn

More information

Outline of today s lecture

Outline of today s lecture Outline of today s lecture Putting sentences together (in text). Coherence Anaphora (pronouns etc) Algorithms for anaphora resolution Document structure and discourse structure Most types of document are

More information

Presuppositions (Ch. 6, pp )

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 information

Anaphora Resolution in Biomedical Literature: A

Anaphora Resolution in Biomedical Literature: A Anaphora Resolution in Biomedical Literature: A Hybrid Approach Jennifer D Souza and Vincent Ng Human Language Technology Research Institute The University of Texas at Dallas 1 What is Anaphora Resolution?

More information

A presupposition is a precondition of a sentence such that the sentences cannot be

A 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 information

Ramsey s belief > action > truth theory.

Ramsey s belief > action > truth theory. Ramsey s belief > action > truth theory. Monika Gruber University of Vienna 11.06.2016 Monika Gruber (University of Vienna) Ramsey s belief > action > truth theory. 11.06.2016 1 / 30 1 Truth and Probability

More information

Some proposals for understanding narrow content

Some proposals for understanding narrow content Some proposals for understanding narrow content February 3, 2004 1 What should we require of explanations of narrow content?......... 1 2 Narrow psychology as whatever is shared by intrinsic duplicates......

More information

Empty Names and Two-Valued Positive Free Logic

Empty Names and Two-Valued Positive Free Logic Empty Names and Two-Valued Positive Free Logic 1 Introduction Zahra Ahmadianhosseini In order to tackle the problem of handling empty names in logic, Andrew Bacon (2013) takes on an approach based on positive

More information

ROBERT STALNAKER PRESUPPOSITIONS

ROBERT STALNAKER PRESUPPOSITIONS ROBERT STALNAKER PRESUPPOSITIONS My aim is to sketch a general abstract account of the notion of presupposition, and to argue that the presupposition relation which linguists talk about should be explained

More information

Phil 435: Philosophy of Language. P. F. Strawson: On Referring

Phil 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 information

GRAMMAR IV HIGH INTERMEDIATE

GRAMMAR IV HIGH INTERMEDIATE GRAMMAR IV HIGH INTERMEDIATE Revised June 2014 Note: NEW = teachers should expect the grammar point to be new to most students at that level who have followed the ELI curriculum. Overview: The primary

More information

Article selection and anaphora in the German relative clause Julian Grove and Emily Hanink University of Chicago

Article selection and anaphora in the German relative clause Julian Grove and Emily Hanink University of Chicago Article selection and anaphora in the German relative clause Julian Grove and Emily Hanink University of Chicago German definite articles are able to contract with prepositions under certain conditions.

More information

Comments on Truth at A World for Modal Propositions

Comments 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 information

Epistemic Contextualism as a Theory of Primary Speaker Meaning

Epistemic Contextualism as a Theory of Primary Speaker Meaning Epistemic Contextualism as a Theory of Primary Speaker Meaning Gilbert Harman, Princeton University June 30, 2006 Jason Stanley s Knowledge and Practical Interests is a brilliant book, combining insights

More information

A Logical Approach to Metametaphysics

A Logical Approach to Metametaphysics A Logical Approach to Metametaphysics Daniel Durante Departamento de Filosofia UFRN durante10@gmail.com 3º Filomena - 2017 What we take as true commits us. Quine took advantage of this fact to introduce

More information

Review of Ontology and the Ambitions of Metaphysics by Thomas Hofweber Billy Dunaway University of Missouri St Louis

Review of Ontology and the Ambitions of Metaphysics by Thomas Hofweber Billy Dunaway University of Missouri St Louis Review of Ontology and the Ambitions of Metaphysics by Thomas Hofweber Billy Dunaway University of Missouri St Louis Are there are numbers, propositions, or properties? These are questions that are traditionally

More information

Epistemic Modals Seth Yalcin

Epistemic Modals Seth Yalcin Epistemic Modals Seth Yalcin Epistemic modal operators give rise to something very like, but also very unlike, Moore s paradox. I set out the puzzling phenomena, explain why a standard relational semantics

More information

Presupposition and Rules for Anaphora

Presupposition and Rules for Anaphora Presupposition and Rules for Anaphora Yong-Kwon Jung Contents 1. Introduction 2. Kinds of Presuppositions 3. Presupposition and Anaphora 4. Rules for Presuppositional Anaphora 5. Conclusion 1. Introduction

More information

Artificial 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 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 information

Presupposition and Accommodation: Understanding the Stalnakerian picture *

Presupposition and Accommodation: Understanding the Stalnakerian picture * In Philosophical Studies 112: 251-278, 2003. ( Kluwer Academic Publishers) Presupposition and Accommodation: Understanding the Stalnakerian picture * Mandy Simons Abstract This paper offers a critical

More information

Coreference Resolution Lecture 15: October 30, Reference Resolution

Coreference Resolution Lecture 15: October 30, Reference Resolution Coreference Resolution Lecture 15: October 30, 2013 CS886 2 Natural Language Understanding University of Waterloo CS886 Lecture Slides (c) 2013 P. Poupart 1 Reference Resolution Entities: objects, people,

More information

TWO VERSIONS OF HUME S LAW

TWO 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 information

Pragmatic Presupposition

Pragmatic 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 information

Primitive Concepts. David J. Chalmers

Primitive Concepts. David J. Chalmers Primitive Concepts David J. Chalmers Conceptual Analysis: A Traditional View A traditional view: Most ordinary concepts (or expressions) can be defined in terms of other more basic concepts (or expressions)

More information

Presupposition Projection and Anaphora in Quantified Sentences

Presupposition 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 information

Lecture 9: Presuppositions

Lecture 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 information

91. Presupposition. Denial, projection, cancellation, satisfaction, accommodation: the five stages of presupposition theory.

91. 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 information

Evaluating Classical Identity and Its Alternatives by Tamoghna Sarkar

Evaluating Classical Identity and Its Alternatives by Tamoghna Sarkar Evaluating Classical Identity and Its Alternatives by Tamoghna Sarkar Western Classical theory of identity encompasses either the concept of identity as introduced in the first-order logic or language

More information

Anaphoric Deflationism: Truth and Reference

Anaphoric Deflationism: Truth and Reference Anaphoric Deflationism: Truth and Reference 17 D orothy Grover outlines the prosentential theory of truth in which truth predicates have an anaphoric function that is analogous to pronouns, where anaphoric

More information

A set of puzzles about names in belief reports

A 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 information

Haberdashers Aske s Boys School

Haberdashers 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 information

A Modal Analysis of Presupposition and Modal Subordination

A Modal Analysis of Presupposition and Modal Subordination Journal of Semantics 22: 281 305 doi:10.1093/jos/ffh026 Advance Access publication May 3, 2005 A Modal Analysis of Presupposition and Modal Subordination ROBERT VAN ROOIJ Institute for Logic, Language

More information

Category Mistakes in M&E

Category Mistakes in M&E Category Mistakes in M&E Gilbert Harman July 28, 2003 1 Causation A widely accepted account of causation (Lewis, 1973) asserts: (1) If F and E both occur but F would not have occurred unless E had occured,

More information

Semantic Entailment and Natural Deduction

Semantic 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 information

Artificial 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 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 information

Idealism and the Harmony of Thought and Reality

Idealism and the Harmony of Thought and Reality Idealism and the Harmony of Thought and Reality Thomas Hofweber University of North Carolina at Chapel Hill hofweber@unc.edu Final Version Forthcoming in Mind Abstract Although idealism was widely defended

More information

On Truth At Jeffrey C. King Rutgers University

On 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 information

REPLY TO LUDLOW Thomas M. Crisp. Oxford Studies in Metaphysics 1 (2004): 37-46

REPLY TO LUDLOW Thomas M. Crisp. Oxford Studies in Metaphysics 1 (2004): 37-46 REPLY TO LUDLOW Thomas M. Crisp Oxford Studies in Metaphysics 1 (2004): 37-46 Professor Ludlow proposes that my solution to the triviality problem for presentism is of no help to proponents of Very Serious

More information

A Scopal Theory of Presupposition I

A 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 information

Philosophers of language have lavished attention on names and other singular referring

Philosophers of language have lavished attention on names and other singular referring Forthcoming as Essay I of Reference and the Rational Mind What s in a Name? I. Lexical Syntax vs Lexical Semantics Philosophers of language have lavished attention on names and other singular referring

More information