A Multimodal Dynamic Predicate Logic of Japanese Evidentials. Norihiro Ogata Osaka University

Size: px
Start display at page:

Download "A Multimodal Dynamic Predicate Logic of Japanese Evidentials. Norihiro Ogata Osaka University"

Transcription

1 A Multimodal Dynamic Predicate Logic of Japanese Evidentials Norihiro Ogata Osaka University

2 Contents 1. Theories of Evidentials 2. The Evidentials of Japanese 3. A Dynamic Semantics of Evidentials 4. A Multimodal Dynamic Predicate Logic 5. The Application to the Evidentials of Japanese 6. Conclusion

3 Theories of Evidentials (1) Devices used by speakers to mark the source, the reliability of their knowledge, and the possibility of the truth if what they say. (Chafe and Nichols, 1986)

4 Theories of Evidentials (1) Lexical items which qualify the reliability of communicated information and specify the source of evidence on which statements are based, their degree of precision, their probability, and expectations concerning their probability. (Mithun 1986)

5 Theories of Evidentials (2) a type of EPISTEMIC MODALITY where PROPOSITIONS are asserted that are open to challenge by the hearer, and require justification. Evidential constructions express a speaker s strength of commitment to a proposition in terms of the available evidence (rather than in terms of possibility or necessity). Crystal (1991)

6 Theories of Evidentials (2) Epistemic and Evidential systems are the two main types of Propositional modality with epistemic modality speakers express their judgments about the factual status of the proposition, whereas with evidential modality they indicate the evidence they have for its factual status. Palmer(2001)

7 Theories of Evidentials (2) EVIDENTIALITY proper is understood as stating the existence of a source of evidence for some information; this includes also specifying what type of evidence there is. Aikhenvald (2003)

8 Theories of Evidentials (2) Individual terms in different systems tend to acquire various semantic extensions,, expressing a speaker s (relative) certainty in the veracity of their statement. However, by no means universal. Aikhenvald (2003)

9 Theories of Evidentials (2) Function of evidentials is to indicate how one has learnt about something, and how to categorize the source of knowledge. evidentiality as a cross-linguistically valid category in its own right, with information source as its core meaning. (Aikhenvald 2004)

10 Theories of Evidentials (2) Evidentiality only marginally relates to truth value, reliability of information, speaker s responsibility, and epistemic meaning such notions as `epistemic scale and certainty are tangential to evidentials. (Aikhenvald 2004)

11 Theories of Evidentials (3) The Kratzer-type possible world semantics: Indirect Evidentials are epistemic modal (Izvorski 1997) = { ( ( ) & W, f, g EVp w W u f w v v f w v < u u p f, g ( ( ) & g ( w) )) } f ( w) = {p pow( W ) speaker considers p indirect evidence in w}: modal base g( w) = {p pow( W ) speaker believes p w.r.t. the indirect evidence in w}: ordering source w < v {p g(u) v p} {p g( u) w p} g ( u)

12 Theories of Evidentials (4) Evidentials denote (the procedural meaning which constrains) the higher-level explicatures (the speaker s attitude to the proposition expressed or the speech act being performed) : Relevance-Theoretic theory (IIfantidou 2001, Itani 1996)

13 Theories of Evidentials (5) evidentiality is the grammatical encoding of the speaker s (type of) grounds for making a speech act (the speaker s source for the information) conveyed by the utterance.(faller 2002)

14 Theories of Evidentials (5) The Cuzco Quechua evidentials are illocutionary modifiers which add to or modify the sincerity conditions of the speech act they apply to. The resulting speech act is a. assertion of the proposition p for the Direct, b. assertion of p for the Conjectural, and c. the presentation (an illocutionary act) of p) for the Reportative (Faller 2002)

15 Theories of Evidentials: Summary 1. Evidentials are factored out into two aspects: source modality and certainty modality 2. The intrinsic modality of evidentials is source modality (?) 3. Evidentials denote or add the higherlevel explicatures (?). 4. Evidentials are functions which affects sincerity conditions of speech acts (?).

16 The Evidentials in Japanese (1) Two hearsay forms (soo-da and tte ),. (Aoki 1986) 1. Ame ga hutte iru soo da. rain SUBJ falling be `They say it is raining. 2. Ame ga hutte iru tte. rain SUBJ falling be `They say it is raining.

17 The Evidentials in Japanese (1) Three inferential forms: yoo-da is used when the speaker has some `visible, tangible or audible evidence collected through his own senses to make an inference (Aoki 1986) 1. omae no yoosu o mireba you GEN behavior OBJ see-cond doomo ku ni site inai yoo da at all trouble TO making be-neg `As I watch you, I get the feeling that you are not at all bothered (by )

18 The Evidentials in Japanese (1) rasi-i is used `when the evidence is circumstantial or gathered through sources other than one s own senses (Aoki 1986) 1. Kono kusuri wa yoku kiku yoo-da this medicine TOP well work `I infer from my own experience that this medicine works well. 2. Kono kusuri wa yoku kiku rasi-i this medicine TOP well work `I infer from what I heard that this medicine works well

19 The Evidentials in Japanese (1) 1. Ame ga huru yoo-da rain SUBJ fall `It seems that it is going to rain (for example, observing increasingly dark skies). 2. Ame ga huru rasi-i rain SUBJ fall `It seems that it is going to rain (for example, overhearing talking about rain)

20 The Evidentials in Japanese (1) soo-da2 is used to talk about events which are imminent and when the speaker believes in what he is making an inference about. `not express inference about what occurred in the past (Aoki 1986) 1. Ame ga huri- soo-da rain SUBJ to-fall `It looks like it is going to rain (any minute)

21 The Evidentials in Japanese (2) Indicational modalities (Moriyama et al. 2000) such as yoo-da, rasi-i, mitai-da, (infinitive)-soo-da2 are non-hearsay evidentials.

22 The Evidentials in Japanese (2) Inferential (Moriyama et al. 2000) Chika ni ita node, kare wa underground LOC was because he TOP 1. tasukatta yoo-da/mitai-da/rasi-i survived `Because he was in underground, it seems that he could survive. 2. tasukari- soo-da to survive `Because he was in underground, it seems that he will survive.

23 The Evidentials in Japanese (2) Modifiability by adverbs denoting (un)certain Inference or knowledge 1. dooyara (likely) 2. nandaka/ nanka/ yoku siran ga (I don t know why) 3. itsunomanika (before I know) 4. yappari (As I thought) tasukatta yoo-da/mitai-da/rasi-i tasukari- soo-da

24 The Evidentials in Japanese (2) Tactile-evidence-based Inferential (touching one of the speaker s own teeth) Koko ga mushiba ni natte here SUBJ decayed-tooth to to-become iru (be) yoo-da iru mitai-da iru #rasi-i i- (to-be) soo-da `It seems that here (likely) is a decayed tooth.

25 The Evidentials in Japanese (2) Visual-evidence-based Inferential (peeping through a hole) Nanika something iru (exist) yoo-da iru mitai-da iru #rasi-i i- (to exist) soo-da `It seems that something (likely) exists.

26 The Evidentials in Japanese (2) Auditory-evidence-based Inferential (hearing noise in a room) Hune ga ship SUBJ kita (came) yoo-da kita mitai-da kita rasi-i ki- (to come)soo-da `It seems that a ship has (likely) arrived.

27 The Evidentials in Japanese (2) Sensory-evidence-based Inferential (having a headache) Kaze wo cold SUBJ hiita (took) yoo-da hiita mitai-da hiita rasi-i hiki- (to take)soo-da `It seems that I have (likely) caught a cold.

28 The Evidentials in Japanese (2) Unknown-source-based Inferential Nanka yuku siran ga, kore wa yoku somehow well not-know but this TOP well ureru (sell) yoo-da ureru mitai-da ureru rasi-i ure- soo-da `I don t know why well but it seems that this sells well.

29 The Evidentials in Japanese (2) Experienced-event-based Inferential Kinoo mo daremo konakatta node yesterday also anyone not-came because kyoo mo daremo today also anyone konai (not-come) #yoo-da konai?mitai-da konai #rasi-i konasa- soo-da `Because nobody came yesterday, it seems that nobody come today, too.

30 The Evidentials in Japanese (2) Report-based Inferential Rinjin no hanashi kara-suru-to neighbor GEN story based-on koko wa daremo here TOP anybody inai (not-exist)?yoo-da inai?mitai-da inai rasi-i inasa- #soo-da `Thinking based on the neighbor s verbal evidence, it seems that nobody lives here.

31 The Evidentials in Japanese (2) Direct-Visual-Evidence-based Mirukarani kono ringo wa as-it-looks this apple TOP oisii (delicious) #yoo-da oisii #mitai-da oisii #rasi-i oisi- soo-da `This apple Iooked tempting.

32 The Evidentials in Japanese (3) Other Evidentials: toyuu (folklore) hearsay tteba, ttara, cchuunen emphatic -(ru) janai(ka) mirative -(ta) janai(ka) mutual-sharedness confirmative ntochau, ntochigau, njanai speculative

33 A Dynamic Semantics of Evidentials denotes Evidentials tests of certainty of changes of models caused by evidence-acquiring acts or tests of certainty.

34 t Multimodal Dynamic Predicate Logic MMDPL The Language of MMDPL x Var, c Con, R Rel, t TERM, ϕ L s SOURCE, α ACT :: = x c ϕ :: = R( t,..., t ) x. ϕ ϕ ϕ ϕ ϕ ϕ [ α] ϕ 1 n 1 2 s s s :: = talk( a) talked generally _ talked see( a) perceive( a) hear( a) think( a) s + s α :: = perceive( a, t) see( a, t) hear( a, t) touch( a, t) hear( a, talk( a, ϕ)) think( a, ϕ) α ; α α + α

35 Probabilistic Generalized Kripke- Moss Model (PGKMM) M = W,,( ),, ; f ( i) D Rs s SOURCE ρ I X N W f ( i) W s f ( i) f ( i) i X i X ( i, u) { i} W f ( i ) : set of possible worlds D(( i, w)) D : set of individuals R ( { i} W ) ( { i} W ) i X ρ( s,( i, w),( i, u)) 1 I( w)( c) D( w); I( w)( R) D( w) D( w) n times

36 0 w touch(b):1.0 talk(a):0.2 PGKMM u talk(a):0.8 v s 1 w touch(b):1.0 talk(a):0.3 u v

37 MMDPL: Semantics of TERM x c M, w, g M, w, g = = g( w)( x) I( w)( c)

38 Semantics of MMDPL: state σ = M, w, c, g : state M : PGKMM w :{ i} W : i N c : CONTEXT g : W ( Var D) : variable assignment c( new) = the largest index of the state N c ( old) = c( new) 1 c( spkr) D( w) : speaker

39 MMDPL: Semantics M, w, c, g R( t,..., t ) M, w, c, g 1 M, w, g M, w, g ( t1,..., tn ) I( w)( R) n M, w, c, g x. ϕ M, w, c, g a M D( w ). 1, w, c, g ( a / x) ϕ M, w, c, g

40 MMDPL: Semantics M, w, c, g ϕ ϕ M, w, c, g M, w, c, g ϕ ϕ M, w, c, g M, w, c, g ϕ M, w, c, g σ. M, w, c, g ϕ σ

41 f ( c1( new)) MMDPL: Semantics M, w, c, g M, w, c, g s ( s, w,( c ( new), u)) = 1& u W ρ ϕ 1 u W f ( c1( old )) ρ π ( s,( c ( old), w),( c ( old), u)) < 1& u W : R ( w,( c ( new), u)). f ( c1( new)) s 1 σ. M,( c ( new), u), c, g 1 ϕ σ

42 0 w hear(b):1.0 PGKMM t s talk(a):0.8 talk(a):0.2 p touch ( b) v ( ) touch(b):0.2 touch(b):0.5 q,p p touch b p q,p 1 w touch(b):0.3 u touch(b):0.5 s talk(a):0.8 talk(a):0.2 touch(b):0.2 v p q,p touch( b) p q,p talk ( a) q

43 MMDPL: Semantics M, w, c, g M, w, c, g ( s, w,( c ( new), u)) = 1& u W f ( c1( new)) ρ s ϕ u W : R ( w,( c ( new), u)). f ( c1( new)) s 1 1 σ. M,( c ( new), u), c, g 1 ϕ σ

44 0 w hear(b):1.0 PGKMM t s talk(a):0.8 talk(a):0.2 p touch ( b) v ( ) touch(b):0.2 touch(b):0.5 q,p p touch b p q,p 1 w touch(b):0.3 u touch(b):0.5 s talk(a):0.8 talk(a):0.2 touch(b):0.2 v p q,p touch( b) p q,p talk ( a) q

45 M M ' 1 MMDPL: Semantics, w, c, g [ α] ϕ M, w, c, g M, w, c, g ϕ M, w, c, g where ' ' ' = W + W, D ',( R '), ρ ', I ', i X f ( i) f ( c1( new) + 1) s s SOURCE W = ( W { u W ρ( α, w,( c ( new), u)) = 0}) f ( c1( new) + 1) f ( c1( new)) f ( c1( new)) 1 1 { u}: u W & n f ( c1( newest ) + 1) f ( c1( new)) 1 1 D w = D w t M t TERM 1, w1, g1 '( 1) ( 1) { ( )}, s s s 1 f ( c1( new) + 1) ' ' > 0. ρ '( α, w ',( c ( new) + 1, u)) = n, R ' = R ( R { f ( c ( new) + 1)} W ) u W ρ '( α,( c ( new) + 1, π ( w )),( c ( new) + 1, u)) = 1 w = ( c ( new) + 1), π ( w )) c = c ( c ( new) + 1/ new) α

46 0 w 1 w hear(b):1.0 PGKMM t s talk(a):0.8 q,p talk(a):0.2 p touch ( b) v touch ( b) touch(b):0.2 touch(b):0.3 u touch(b):0.5 s q,p talk(a):0.8 talk(a):0.2 touch(b):0.2 touch(b):0.5 v q p q,p p p [ touch( b)] p

47 The Applications of MMDPL to the Japanese Evidentials soo-da1:hearsay yoo-da:tactile-inf.+unknowninf.+sensory-inf.+auditory-inf.+visualinf. rasi-i:report-inf.+unkown-inf.+sensoryinf.+auditory-inf. soo-da2:tactile-inf.+visual+experienceinf.+unknown-inf.+sensory-inf.+visualinf.

48 The Applications of MMDPL to the Japanese Evidentials ϕsoo ϕsoo ϕsoo = 1 talk ( a) + talked + generally _ talked = 2 see( spkr ) = ϕ or 2 touch( spkr ) + hear ( spkr ) + see( spkr ) think ( spkr ) ϕ yoo= ϕrasi i touch( spkr ) + hear ( spkr ) + see( spkr ) + think ( spkr ) think ( spkr ) = ϕ talked + touch( spkr ) + hear ( spkr ) + think ( spkr ) think ( spkr ) ϕ ϕ ϕ

49 Conclusion 1. Summarized Theories of Evidentials. 2. Characterized the Evidentials in Japanese. 3. Proposed the Probabilistic Generalized Kripke-Moss Models. 4. Proposed a Dynamic Semantics of Evidentials based on MMDPL. 5. Applied it to the Evidentials in Japanese.

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

Outline. Causality and Evidentiality. Sentence-final Evidential Auxiliary. Outline

Outline. Causality and Evidentiality. Sentence-final Evidential Auxiliary. Outline Outline Causality and Evidentiality Yurie ara Waseda/okkaido University Amsterdam Colloquium 2017 ara (Waseda/okudai) C&E AC2017 1 / 50 ara (Waseda/okudai) C&E AC2017 2 / 50 Sentence-final Evidential Auxiliary

More information

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

Ling 98a: The Meaning of Negation (Week 5) Yimei Xiang yxiang@fas.harvard.edu 15 October 2013 1 Review Negation in propositional logic, oppositions, term logic of Aristotle Presuppositions Projection and accommodation Three-valued logic External/internal

More information

CS206 Lecture 21. Modal Logic. Plan for Lecture 21. Possible World Semantics

CS206 Lecture 21. Modal Logic. Plan for Lecture 21. Possible World Semantics CS206 Lecture 21 Modal Logic G. Sivakumar Computer Science Department IIT Bombay siva@iitb.ac.in http://www.cse.iitb.ac.in/ siva Page 1 of 17 Thu, Mar 13, 2003 Plan for Lecture 21 Modal Logic Possible

More information

Basics of conversational implicatures

Basics of conversational implicatures Semantics I, Rutgers University Week 12 Yimei Xiang November 19, 2018 1. Implication relations Basics of conversational implicatures Implication relations are inferential relations between sentences. A

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

A Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a

A Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a A Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a Steven Orla Kimbrough University of Pennsylvania kimbrough@wharton.upenn.edu DEON, May 2002, London a File: deon02-good-samaritan-slides.txt.

More information

Past-as-Past in Japanese Counterfactuals

Past-as-Past in Japanese Counterfactuals Past-as-Past in Japanese Counterfactuals Teruyuki Mizuno Stefan Kaufmann University of Connecticut CLS 54, April 2018 1 / 27 Outline 1 Introduction English: basic observations Japanese: some examples 2

More information

Comments on Conditional propositions and conditional assertions

Comments on Conditional propositions and conditional assertions Comments on Conditional propositions and conditional assertions (An)Thony Gillies Department of Philosophy University of Michigan Context and Content Workshop LSA Institute, July 2005 The Murder Case Suspects:

More information

Deriving indirectness and questioning entailment for epistemic must 1

Deriving indirectness and questioning entailment for epistemic must 1 Lelia Glass California Universities Semantics and Pragmatics Stanford University University of California, San Diego lelia@stanford.edu October 27-28, 2012 Deriving indirectness and questioning entailment

More information

An Alternative Semantics for English Aspectual Particles

An Alternative Semantics for English Aspectual Particles Aspectual Particles 1 of 27 An Alternative Semantics for English Aspectual Particles Alexander Klapheke Harvard University SNEWS November 15, 2014 Aspectual Particles Overview 2 of 27 Overview Previous

More information

Outline. Darou as an entertain modal with a shiftable deictic agent. Rising Declaratives: darou. Falling Declaratives: darou. an inquisitive approach

Outline. Darou as an entertain modal with a shiftable deictic agent. Rising Declaratives: darou. Falling Declaratives: darou. an inquisitive approach 0 Darou as an entertain modal with a shiftable deictic agent an inquisitive approach Yurie Hara Waseda/Hokkaido University The 25th Japanese/Korean Linguistics Conference Hara (W/H) Darou JK25 1 / 48 Hara

More information

Modal Calculus of Illocutionary Logic

Modal Calculus of Illocutionary Logic 1 Andrew Schumann Belarusian State University Andrew.Schumann@gmail.com Modal Calculus of Illocutionary Logic Abstract: The aim of illocutionary logic is to explain how context can affect the meaning of

More information

Presuppositions (introductory comments)

Presuppositions (introductory comments) 1 Presuppositions (introductory comments) Some examples (1) a. The person who broke the typewriter was Sam. b. It was Sam who broke the typewriter. c. John screwed up again. d. John likes Mary, too. e.

More information

Introduction to fuzzy logic

Introduction to fuzzy logic Introduction to fuzzy logic Andrea Bonarini Artificial Intelligence and Robotics Lab Department of Electronics and Information Politecnico di Milano E-mail: bonarini@elet.polimi.it URL:http://www.dei.polimi.it/people/bonarini

More information

Conceivability and Modal Knowledge

Conceivability and Modal Knowledge 1 3 Conceivability and Modal Knowledge Christopher Hill ( 2006 ) provides an account of modal knowledge that is set in a broader context of arguing against the view that conceivability provides epistemic

More information

240 Metaphysics. Frege s Puzzle. Chapter 26

240 Metaphysics. Frege s Puzzle. Chapter 26 240 Metaphysics Frege s Puzzle Frege s Puzzle 241 Frege s Puzzle In his 1879 Begriffsschrift (or Concept-Writing ), Gottlob Frege developed a propositional calculus to determine the truth values of propositions

More information

Ling 130 Notes: Syntax and Semantics of Propositional Logic

Ling 130 Notes: Syntax and Semantics of Propositional Logic Ling 130 Notes: Syntax and Semantics of Propositional Logic Sophia A. Malamud January 21, 2011 1 Preliminaries. Goals: Motivate propositional logic syntax and inferencing. Feel comfortable manipulating

More information

CAS LX 500 Topics in Linguistics: Questions Spring 2006 March 2, b: Prosody and Japanese wh-questions

CAS LX 500 Topics in Linguistics: Questions Spring 2006 March 2, b: Prosody and Japanese wh-questions CAS LX 500 Topics in Linguistics: Questions Spring 2006 March 2, 2006 Paul Hagstrom 7b: Prosody and Japanese wh-questions Prosody by phase Prosody and syntax seem to fit quite tightly together. Ishihara,

More information

Hedging Your Ifs and Vice Versa

Hedging Your Ifs and Vice Versa Hedging Your Ifs and Vice Versa Kai von Fintel and Anthony S. Gillies MIT and Rutgers November 21 University of Latvia Ramsey s Test If two people are arguing If p will q? and are both in doubt as to p,

More information

Modality: A Standard Analysis. Modality

Modality: A Standard Analysis. Modality Modality: A Standard Analysis 1 Ling 406/802 Read Meaning and Grammar, Ch. 5.3.2; Kratzer 1991, pp. 639-644 Modality 2 Modality has to do with necessity and possibility of situations. Grammatical means

More information

Intensional semantics: worlds, modals, conditionals

Intensional semantics: worlds, modals, conditionals Intensional semantics: worlds, modals, conditionals 1 Limitations of the actual world Recall some assumptions we have followed in this class: Sentences are conditional truth values ( 1 iff truth condition]

More information

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac.

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac. January 22, 2013 Modal logic is, among other things, the logic of possibility and necessity. Its history goes back at least to Aristotle s discussion of modal syllogisms in the Prior Analytics. But modern

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

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

Non-normal Worlds. Daniel Bonevac. February 5, 2012

Non-normal Worlds. Daniel Bonevac. February 5, 2012 Non-normal Worlds Daniel Bonevac February 5, 2012 Lewis and Langford (1932) devised five basic systems of modal logic, S1 - S5. S4 and S5, as we have seen, are normal systems, equivalent to K ρτ and K

More information

Dynamics for Inference

Dynamics for Inference Dynamics for Inference Alexei Angelides 1 Introduction Consider the following two situations: (DS) from P Q, and P, infer Q. and (WS) I order beef, Jesse orders fish, Darko orders veg. A new waiter walks

More information

Epistemic Modals and Informational Consequence

Epistemic Modals and Informational Consequence Epistemic Modals and Informational Consequence [This is a penultimate draft. Please quote only from the published version. The paper is already available through Online First at http://www.springerlink.com/content/0039-7857]

More information

Instrumental nominalism about set-theoretic structuralism

Instrumental nominalism about set-theoretic structuralism Instrumental nominalism about set-theoretic structuralism Richard Pettigrew Department of Philosophy University of Bristol 7 th August 2015 Richard Pettigrew (Bristol) INSTS 7 th August 2015 1 / 16 Interpreting

More information

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS 1 Language There are several propositional languages that are routinely called classical propositional logic languages. It is due to the functional dependency

More information

Chiastic Lambda-Calculi

Chiastic Lambda-Calculi Chiastic Lambda-Calculi wren ng thornton Cognitive Science & Computational Linguistics Indiana University, Bloomington NLCS, 28 June 2013 wren ng thornton (Indiana University) Chiastic Lambda-Calculi NLCS,

More information

Spring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1

Spring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1 1. The Inadequacies of a Purely Extensional Semantics (1) Extensional Semantics a. The interpretation

More information

On the Deeply Contingent A Priori. David J. Chalmers

On the Deeply Contingent A Priori. David J. Chalmers On the Deeply Contingent A Priori David J. Chalmers Contingent A Priori n Julius invented the zip (if anyone did) n Stick S is one meter long (if it exists) Deep Necessity n Evans: Julius invented the

More information

Introduction to Semantics. Pronouns and Variable Assignments. We ve seen that implicatures are crucially related to context.

Introduction to Semantics. Pronouns and Variable Assignments. We ve seen that implicatures are crucially related to context. Pronouns and Variable Assignments 1. Putting this Unit in Context (1) What We ve Done So Far This Unit Expanded our semantic theory so that it includes (the beginnings of) a theory of how the presuppositions

More information

Pragmatic Inference with Conditionals and Concessives in Japanese

Pragmatic Inference with Conditionals and Concessives in Japanese Pragmatic Inference with Conditionals and Concessives in Japanese Yasunari HARADA School of Law Waseda University 1-6-1, Nishi-Waseda, Shinjuku-ku Tokyo, Japan harada@mn.waseda.ac.jp Kumiko HONDA Center

More information

Agent Communication and Belief Change

Agent Communication and Belief Change Agent Communication and Belief Change Satoshi Tojo JAIST November 30, 2014 Satoshi Tojo (JAIST) Agent Communication and Belief Change November 30, 2014 1 / 34 .1 Introduction.2 Introspective Agent.3 I

More information

(7) a. [ PP to John], Mary gave the book t [PP]. b. [ VP fix the car], I wonder whether she will t [VP].

(7) a. [ PP to John], Mary gave the book t [PP]. b. [ VP fix the car], I wonder whether she will t [VP]. CAS LX 522 Syntax I Fall 2000 September 18, 2000 Paul Hagstrom Week 2: Movement Movement Last time, we talked about subcategorization. (1) a. I can solve this problem. b. This problem, I can solve. (2)

More information

Description Logics. Foundations of Propositional Logic. franconi. Enrico Franconi

Description Logics. Foundations of Propositional Logic.   franconi. Enrico Franconi (1/27) Description Logics Foundations of Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/27) Knowledge

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

Truth, Subderivations and the Liar. Why Should I Care about the Liar Sentence? Uses of the Truth Concept - (i) Disquotation.

Truth, Subderivations and the Liar. Why Should I Care about the Liar Sentence? Uses of the Truth Concept - (i) Disquotation. Outline 1 2 3 4 5 1 / 41 2 / 41 The Liar Sentence Let L be the sentence: This sentence is false This sentence causes trouble If it is true, then it is false So it can t be true Thus, it is false If it

More information

A proof theoretical account of polarity items and monotonic inference.

A proof theoretical account of polarity items and monotonic inference. A proof theoretical account of polarity items and monotonic inference. Raffaella Bernardi UiL OTS, University of Utrecht e-mail: Raffaella.Bernardi@let.uu.nl Url: http://www.let.uu.nl/ Raffaella.Bernardi/personal

More information

Exact Inference by Complete Enumeration

Exact Inference by Complete Enumeration 21 Exact Inference by Complete Enumeration We open our toolbox of methods for handling probabilities by discussing a brute-force inference method: complete enumeration of all hypotheses, and evaluation

More information

Propositional Logic Review

Propositional Logic Review Propositional Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula Semantics Defining

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

Model Theory in the Univalent Foundations

Model Theory in the Univalent Foundations Model Theory in the Univalent Foundations Dimitris Tsementzis January 11, 2017 1 Introduction 2 Homotopy Types and -Groupoids 3 FOL = 4 Prospects Section 1 Introduction Old and new Foundations (A) (B)

More information

Part Six: Reasoning Defeasibly About the World

Part Six: Reasoning Defeasibly About the World Part Six: Reasoning Defeasibly About the World Our in building a defeasible reasoner was to have an inference-engine for a rational agent capable of getting around in the real world. This requires it to

More information

Quantifying uncertainty & Bayesian networks

Quantifying uncertainty & Bayesian networks Quantifying uncertainty & Bayesian networks CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2016 Soleymani Artificial Intelligence: A Modern Approach, 3 rd Edition,

More information

Concepts: Understand that changes in the weather affect us; name changes in the weather; describe how changes in the weather affect us.

Concepts: Understand that changes in the weather affect us; name changes in the weather; describe how changes in the weather affect us. DY 1 Concept & Vocabulary Development Grade 2 Unit 4 Question of the Week: How do changes in the weather affect us? To introduce and discuss concepts and vocabulary related to the ways changes in the weather

More information

Formal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University

Formal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University Formal Epistemology: Lecture Notes Horacio Arló-Costa Carnegie Mellon University hcosta@andrew.cmu.edu Bayesian Epistemology Radical probabilism doesn t insists that probabilities be based on certainties;

More information

Deontic Modality in Natural Language

Deontic Modality in Natural Language Deontic Modality in Natural Language The Obligatory Guide Kai von Fintel Anthony S. Gillies MIT and Rutgers Association for Symbolic Logic 2011 Spring Meeting Session on Logic and Linguistics April 21,

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

TRUTH, BELIEF AND CERTAINTY IN EPISTEMIC LOGIC

TRUTH, BELIEF AND CERTAINTY IN EPISTEMIC LOGIC IN E. MAIER ET AL (EDS.) PROCEEDINGS OF SINN UND BEDEUTUNG 9, WWW.RU.NL/NCS/SUB9 TRUTH, BELIEF AND CERTAINTY IN EPISTEMIC LOGIC Daniel Vanderveken (Université du Québec, Trois-Rivières) daniel@vanderveken.org

More information

Kaplan s Paradox and Epistemically Possible Worlds

Kaplan s Paradox and Epistemically Possible Worlds Kaplan s Paradox and Epistemically Possible Worlds 1. Epistemically possible worlds David Chalmers Metaphysically possible worlds: S is metaphysically possible iff S is true in some metaphysically possible

More information

An axiomatic approach to speaker preferences

An axiomatic approach to speaker preferences 1 An axiomatic approach to speaker preferences In this paper, we propose a set of axioms that can be used to model the choices made by speakers and hearers when pairing speech signals with meanings in

More information

Indicative conditionals

Indicative conditionals Indicative conditionals PHIL 43916 November 14, 2012 1. Three types of conditionals... 1 2. Material conditionals... 1 3. Indicatives and possible worlds... 4 4. Conditionals and adverbs of quantification...

More information

Introduction: What Is Modal Logic?

Introduction: What Is Modal Logic? Introduction: What Is Modal Logic? Strictly speaking, modal logic studies reasoning that involves the use of the expressions necessarily and possibly. The main idea is to introduce the symbols (necessarily)

More information

Pei Wang( 王培 ) Temple University, Philadelphia, USA

Pei Wang( 王培 ) Temple University, Philadelphia, USA Pei Wang( 王培 ) Temple University, Philadelphia, USA Artificial General Intelligence (AGI): a small research community in AI that believes Intelligence is a general-purpose capability Intelligence should

More information

Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08

Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08 Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08 1. Overview Attempts to provide a compositional, fully semantic account of same. Elements other than NPs in particular, adjectives can be scope-taking

More information

Uncertainty and Rules

Uncertainty and Rules Uncertainty and Rules We have already seen that expert systems can operate within the realm of uncertainty. There are several sources of uncertainty in rules: Uncertainty related to individual rules Uncertainty

More information

Today. Next week. Today (cont d) Motivation - Why Modal Logic? Introduction. Ariel Jarovsky and Eyal Altshuler 8/11/07, 15/11/07

Today. Next week. Today (cont d) Motivation - Why Modal Logic? Introduction. Ariel Jarovsky and Eyal Altshuler 8/11/07, 15/11/07 Today Introduction Motivation- Why Modal logic? Modal logic- Syntax riel Jarovsky and Eyal ltshuler 8/11/07, 15/11/07 Modal logic- Semantics (Possible Worlds Semantics): Theory Examples Today (cont d)

More information

Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona

Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona In my Remarks on Stoic Logic that I wrote for you last year, I mentioned Diodorus Cronus s trilemma,

More information

Modal subordination is neither modal nor subordinate...discuss

Modal subordination is neither modal nor subordinate...discuss Modal subordination is neither modal nor subordinate...discuss Scott AnderBois November 23, 2008 1 Introduction We have seen in numerous other works that indefinites introduce discourse referents that

More information

Shapiro s and Hellman s Structuralism

Shapiro s and Hellman s Structuralism Shapiro s and Hellman s Structuralism Christopher von Bülow Trends in the Philosophy of Mathematics Frankfurt/Main, September 4, 2009 Abstract I give brief descriptions of and motivations for Stewart Shapiro

More information

Continuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University

Continuations in Type Logical Grammar. Grafting Trees: (with Chris Barker, UCSD) NJPLS, 27 February Harvard University Grafting Trees: Continuations in Type Logical Grammar Chung-chieh Shan Harvard University ccshan@post.harvard.edu (with Chris Barker, UCSD) NJPLS, 27 February 2004 Computational Linguistics 1 What a linguist

More information

Introduction to Pragmatics

Introduction to Pragmatics Introduction to Pragmatics Summer 2016 Tuesdays 2:30--4:00pm @ 2321.HS 3H INSTRUCTOR Todor Koev (Todor.Koev@uni-duesseldorf.de) Presupposition projection Presupposition is a prevalent type of inference

More information

Reviewed by Martin Smith, University of Glasgow

Reviewed by Martin Smith, University of Glasgow 1 Titelbaum, M. Quitting Certainties: A Bayesian Framework Modelling Degrees of Belief, Oxford University Press, 2013, 345pp., 40 (hbk), ISBN 978-0-19-965830-5 Reviewed by Martin Smith, University of Glasgow

More information

Philosophy 148 Announcements & Such

Philosophy 148 Announcements & Such Branden Fitelson Philosophy 148 Lecture 1 Philosophy 148 Announcements & Such Overall, people did very well on the mid-term (µ = 90, σ = 16). HW #2 graded will be posted very soon. Raul won t be able to

More information

Probability Calculus. Chapter From Propositional to Graded Beliefs

Probability Calculus. Chapter From Propositional to Graded Beliefs Chapter 2 Probability Calculus Our purpose in this chapter is to introduce probability calculus and then show how it can be used to represent uncertain beliefs, and then change them in the face of new

More information

Interpreting quotations

Interpreting quotations There s treasure everywhere: a Calvin and Hobbes collection by Bill Watterson Interpreting quotations Chung-chieh Shan, Rutgers University Semantics Research Group, 21 March 2008 2 Mixing mention and use

More information

Lecture 10: Introduction to reasoning under uncertainty. Uncertainty

Lecture 10: Introduction to reasoning under uncertainty. Uncertainty Lecture 10: Introduction to reasoning under uncertainty Introduction to reasoning under uncertainty Review of probability Axioms and inference Conditional probability Probability distributions COMP-424,

More information

Uncertain Knowledge and Bayes Rule. George Konidaris

Uncertain Knowledge and Bayes Rule. George Konidaris Uncertain Knowledge and Bayes Rule George Konidaris gdk@cs.brown.edu Fall 2018 Knowledge Logic Logical representations are based on: Facts about the world. Either true or false. We may not know which.

More information

Last Lecture. Distinguish Populations from Samples. Knowing different Sampling Techniques. Distinguish Parameters from Statistics

Last Lecture. Distinguish Populations from Samples. Knowing different Sampling Techniques. Distinguish Parameters from Statistics Last Lecture Distinguish Populations from Samples Importance of identifying a population and well chosen sample Knowing different Sampling Techniques Distinguish Parameters from Statistics Knowing different

More information

What Does Quantum Mechanics Suggest About Our Perceptions of Reality?

What Does Quantum Mechanics Suggest About Our Perceptions of Reality? What Does Quantum Mechanics Suggest About Our Perceptions of Reality? Quantum mechanics suggests that we perceive at most a tiny sliver of reality. Of course we already knew that! We knew that the visible

More information

TEMPORAL AND CIRCUMSTANTIAL DEPENDENCE IN COUNTERFACTUAL MODALS. DORIT ABUSCH Department of Lingusitics Cornell University

TEMPORAL AND CIRCUMSTANTIAL DEPENDENCE IN COUNTERFACTUAL MODALS. DORIT ABUSCH Department of Lingusitics Cornell University TEMPORAL AND CIRCUMSTANTIAL DEPENDENCE IN COUNTERFACTUAL MODALS DORIT ABUSCH Department of Lingusitics Cornell University da45@cornell.edu This paper analyzes counterfactual readings of might/could have

More information

March 2, 2007 Menéndez-Benito. Quick Introduction to the Semantics of Modals 1

March 2, 2007 Menéndez-Benito. Quick Introduction to the Semantics of Modals 1 Quick Introduction to the Semantics of Modals 1 Syntactic assumptions (following von Fintel & Heim 2005): modals are raising predicates (see Wurmbrand 1999, Bhatt 1998) 1) John must go home. 2) [John [λ

More information

1 Classical scalar implicature

1 Classical scalar implicature Linguistics 661, Issues in Semantics Alexander Williams, 3 April 2007 Chierchia on Scalar implicature 1 Classical scalar implicature When a speaker says that w, we often take him to mean that he believes

More information

Paragraph Proof, Two-Column Proof, Construction Proof, and Flow Chart Proof

Paragraph Proof, Two-Column Proof, Construction Proof, and Flow Chart Proof .3 Forms of Proof Paragraph Proof, Two-Column Proof, Construction Proof, and Flow Chart Proof Learning Goals Key Terms In this lesson, you will: Use the addition and subtraction properties of equality.

More information

Semantics and Generative Grammar. Pronouns and Variable Assignments 1. We ve seen that implicatures are crucially related to context.

Semantics and Generative Grammar. Pronouns and Variable Assignments 1. We ve seen that implicatures are crucially related to context. Pronouns and Variable Assignments 1 1. Putting this Unit in Context (1) What We ve Done So Far This Unit Expanded our semantic theory so that it includes (the beginnings of) a theory of how the presuppositions

More information

Quantifying Uncertainty & Probabilistic Reasoning. Abdulla AlKhenji Khaled AlEmadi Mohammed AlAnsari

Quantifying Uncertainty & Probabilistic Reasoning. Abdulla AlKhenji Khaled AlEmadi Mohammed AlAnsari Quantifying Uncertainty & Probabilistic Reasoning Abdulla AlKhenji Khaled AlEmadi Mohammed AlAnsari Outline Previous Implementations What is Uncertainty? Acting Under Uncertainty Rational Decisions Basic

More information

Reversed Squares of Opposition in PAL and DEL

Reversed Squares of Opposition in PAL and DEL Center for Logic and Analytical Philosophy, University of Leuven lorenz.demey@hiw.kuleuven.be SQUARE 2010, Corsica Goal of the talk public announcement logic (PAL), and dynamic epistemic logic (DEL) in

More information

Computational Cognitive Science

Computational Cognitive Science Computational Cognitive Science Lecture 9: A Bayesian model of concept learning Chris Lucas School of Informatics University of Edinburgh October 16, 218 Reading Rules and Similarity in Concept Learning

More information

Proseminar on Semantic Theory Fall 2010 Ling 720. Remko Scha (1981/1984): Distributive, Collective and Cumulative Quantification

Proseminar on Semantic Theory Fall 2010 Ling 720. Remko Scha (1981/1984): Distributive, Collective and Cumulative Quantification 1. Introduction Remko Scha (1981/1984): Distributive, Collective and Cumulative Quantification (1) The Importance of Scha (1981/1984) The first modern work on plurals (Landman 2000) There are many ideas

More information

Mr. Al Simmons acquired the mine in the 1950 s and eventually sold the mine to Mr. Alvin Mosch in 1972 for $

Mr. Al Simmons acquired the mine in the 1950 s and eventually sold the mine to Mr. Alvin Mosch in 1972 for $ The Phoenix Mine The mine was discovered in 1871 by a man named Miner, who after making enough money with the mine to return to his home in England as a wealthy man. When he left the country he sold his

More information

Searle: Proper Names and Intentionality

Searle: Proper Names and Intentionality Searle: Proper Names and Intentionality Searle s Account Of The Problem In this essay, Searle emphasizes the notion of Intentional content, rather than the cluster of descriptions that Kripke uses to characterize

More information

Propositions and Proofs

Propositions and Proofs Chapter 2 Propositions and Proofs The goal of this chapter is to develop the two principal notions of logic, namely propositions and proofs There is no universal agreement about the proper foundations

More information

EXERCISE 10 SOLUTIONS

EXERCISE 10 SOLUTIONS CSE541 EXERCISE 10 SOLUTIONS Covers Chapters 10, 11, 12 Read and learn all examples and exercises in the chapters as well! QUESTION 1 Let GL be the Gentzen style proof system for classical logic defined

More information

Computational Cognitive Science

Computational Cognitive Science Computational Cognitive Science Lecture 9: Bayesian Estimation Chris Lucas (Slides adapted from Frank Keller s) School of Informatics University of Edinburgh clucas2@inf.ed.ac.uk 17 October, 2017 1 / 28

More information

What is DEL good for? Alexandru Baltag. Oxford University

What is DEL good for? Alexandru Baltag. Oxford University Copenhagen 2010 ESSLLI 1 What is DEL good for? Alexandru Baltag Oxford University Copenhagen 2010 ESSLLI 2 DEL is a Method, Not a Logic! I take Dynamic Epistemic Logic () to refer to a general type of

More information

-1- THE PROBABILITY THAT TWEETY IS ABLE TO FLY Giangiacomo Gerla Dipartimento di Matematica e Fisica, Università di Camerino ITALY.

-1- THE PROBABILITY THAT TWEETY IS ABLE TO FLY Giangiacomo Gerla Dipartimento di Matematica e Fisica, Università di Camerino ITALY. -1- THE PROBABILITY THAT TWEETY IS ABLE TO FLY Giangiacomo Gerla Dipartimento di Matematica e Fisica, Università di Camerino ITALY. Abstract. Consider the question of assigning a probabilistic valuation

More information

MULTI-AGENT ONLY-KNOWING

MULTI-AGENT ONLY-KNOWING MULTI-AGENT ONLY-KNOWING Gerhard Lakemeyer Computer Science, RWTH Aachen University Germany AI, Logic, and Epistemic Planning, Copenhagen October 3, 2013 Joint work with Vaishak Belle Contents of this

More information

Logic. Propositional Logic: Syntax. Wffs

Logic. Propositional Logic: Syntax. Wffs Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about

More information

The Ontology of Counter Factual Causality and Conditional

The Ontology of Counter Factual Causality and Conditional Philosophy Study, ISSN 2159-5313 July 2014, Vol. 4, No. 7, 492-496. doi: 10.17265/2159-5313/2014.07.005 D DAVID PUBLISHING The Ontology of Counter Factual Causality and Conditional Maduabuchi Dukor Nnamdi

More information

KB Agents and Propositional Logic

KB Agents and Propositional Logic Plan Knowledge-Based Agents Logics Propositional Logic KB Agents and Propositional Logic Announcements Assignment2 mailed out last week. Questions? Knowledge-Based Agents So far, what we ve done is look

More information

Modal logics: an introduction

Modal logics: an introduction Modal logics: an introduction Valentin Goranko DTU Informatics October 2010 Outline Non-classical logics in AI. Variety of modal logics. Brief historical remarks. Basic generic modal logic: syntax and

More information

Reasoning Under Uncertainty: Introduction to Probability

Reasoning Under Uncertainty: Introduction to Probability Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Lecture 23 March 12, 2007 Textbook 9 Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Lecture 23, Slide 1 Lecture Overview

More information

09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor

09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor Martin Henz and Aquinas Hobor October 14, 2010 Generated on Thursday 14 th October, 2010, 11:40 1 Review of Modal Logic 2 3 4 Motivation Syntax and Semantics Valid Formulas wrt Modalities Correspondence

More information

Non-veridical Uses of Japanese Expressions of Temporal Precedence

Non-veridical Uses of Japanese Expressions of Temporal Precedence Non-veridical Uses of Japanese Expressions of Temporal Precedence Stefan Kaufmann and Yukinori Takubo Northwestern University, Kyoto University 1. Introduction 1 The English temporal sentential connective

More information

Critical Thinking Review

Critical Thinking Review Critical Thinking Review (wk3) Cognitive Skill of the Week: Analysis Analysis is the examination of a system (or complex), its components (or ingredients), and the linkages among these components. One

More information

Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding

Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding author: Dr. Giuseppe Primiero First author: Dr. Giuseppe

More information

Bar-Hillel and the Division of Labor in Language

Bar-Hillel and the Division of Labor in Language Bar-Hillel and the Division of Labor in Language On the interaction of grammar, logic, and pragmatics Luka Crnič November 2, 2015 Language, Logic and Cognition Center http://scholars.huji.ac.il/llcc Luka

More information