1 / 26

Bogdan Gapinski Semantics: Modal Logics / Applicative Categorical Grammars

Bogdan Gapinski Semantics: Modal Logics / Applicative Categorical Grammars. Presentation based on the book “Type-Logical Semantics” by Bob Carpenter. Modal Logic - Motivation. Problems with true-false logic The ancients believed [the morning star is the morning star]

fredricka
Download Presentation

Bogdan Gapinski Semantics: Modal Logics / Applicative Categorical Grammars

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Bogdan GapinskiSemantics: Modal Logics / Applicative Categorical Grammars Presentation based on the book “Type-Logical Semantics” by Bob Carpenter

  2. Modal Logic - Motivation • Problems with true-false logic • The ancients believed [the morning star is the morning star] • The ancients believed [the morning star is the evening star] • morning star = evening star = Venus • Terry intentionally shot {the burglar / his best friend} • what if his best friend is the burglar • Morgan swam the channel quickly • Morgan crossed the channel slowly • swimming/crossing speed • Francis is a good Broadway {dancer / singer} • comparison classes

  3. Modal Logics – general idea • ~p means “p is necessarily true” • we want (~p)6p but not p6(~p) • Kripke’s idea: • a possible world determines truth of falsehood of formulas • worlds can be interpreted as points in time • denotation of the formula depends on the world • ~p is true iff p is true in every possible world • define L as not(~not(p)) • A formula is possibly true if it is not necessarily false • jLp can be true at a world even if p is false

  4. Indexicality • Expressions that have their interpretations determined by the context of utterance • personal pronouns: I, you, we • temporal expressions now, yesterday • locative expression here • add parameters for speaker/hearer/location to the denotation function • Generalized idea: single context index c with arbitrary number of properties that could be retrieved by functions, for instance speak: Context6 Indspeak(c) = an individual who is speaking

  5. General Modal Logics • Notion of accessibility • Accessibility relation A f World x World • wAw’ means w’ is possible relative to w • ~p is true in a world w iff p is true in every world w’ such that wAw’ • Logics can be defined by imposing conditions on A and specifying axioms they satisfy • Example: ~ =“is known” not(~p) 6~ not(~p) • “if p is not known, then it is known to be not known” • knowledge representation with for agents with full introspection

  6. Implication and Counterfactuals • If there were no cats, cats would eat mice. • If there were no dogs, cats would eat mice. • Lewis: indicative conditional vs. subjunctive conditional • If Oswald did not kill Kennedy, then someone else did • If Oswald had not killed Kennedy, then someone else would have. • but… • If Oswald has not killed Kennedy, someone else will have • said the next in line would-be assassin… • Translate “p then q” as ~ (p 6 q)

  7. Tense Logic • Worlds = moments in time (Tim) • Accessibility = temporal precedence (<) • Fp is true at time t iff p is true at t’ such that t’>t • Pp is true at time t iff p is true at t’ such that t’<t • Wp = not(F(not(p))) [Always Will] • Hp = not(P(not(p))) [Always Has] • FHp 6p • Different kind of logic systems result from conditions imposed on <

  8. Tense and Aspect • Tenses: past, present, future • Aspect: perfective, progressive, simple • Reichenback’s approach: • event, reference, speech times • Tenses: • Past: tr<ts • Present tr=ts • Future: tr>ts • Past perfect: te<tr<ts • Simple past: te=tr<ts

  9.  Calculus with Types • Types – set Typ • BasTypef Typ • If p, q 0Typ then (p -> q) 0 Typ • For us, BasType ={Ind, Bool} • Ex. ((Ind -> Bool) -> (Ind -> Bool))

  10.  Calculus with Types • Terms – set Termp • For each type p, we have a set of variables Varp and constants Consp • Varp0Termp • Conp0Termp • a(b) 0Termp if a 0Termp->q and b 0Termp • x.a 0Termp->q if x 0 Vatp and a 0Termq • run: Ind -> Bool, lee: Ind quickly: (Ind->Bool)->Ind->Bool • run(lee): Bool • quickly(run): Ind -> Bool • quickly(run)(lee): Bool • x: Ind x.(like(x)(ricky))

  11.  Calculus with Types • Beta-reduction: (x.p)(q) -> p[q/x] • (x.(x)(x)) (x.(x)(x)) -> ???

  12. The Category System • Basic Categories: • np noun phrase • n noun • s sentence

  13. Syntactic Categories - Formal Definition • The collection of syntactic categories determined by the collection BasCat • BasCatf Cat • if A, B 0 Cat then (A/B) and (B\A) 0 Cat A/B – forward functor B\A – backward functor

  14. np/n n/n n\n (n\n)/np np\s (np\s)/np ((np\s)/np)/np (np/s)/(np/s) determiners prenominal adjectives postnominal modifiers preposition intransitive verb or verb phrase transitive verb ditransitive verb preverbal verb-phrase modifier aka adverb Examples

  15. Type Assignment • Type assignment function Typ • Typ(A/B)=Typ(B\A)= Typ (B) 6 Typ(A) • Typ(np) = Ind • Typ(n) = Ind6Bool • Typ(s) = Bool

  16. Categorical Lexicon • Relation between basic expressions of a language, syntactic category and meaning • Meaning = -term • Categorical Lexicon – relation Lexf BaseExp x (Cat x Term) such that if <e,<A,a>> 0 Lex then a 0 Term Typ(A) • Notation e Y a : A

  17. Phase-structure Denotation • Function: [ . ]Lex • a:A 0 [e] if e Y a:A 0 Lex • a(b):A 0 [e1 e2] if a:A/B 0 [e1]andb:B 0 [e2] • a(b):A 0 [e1 e2] if a:B\A 0 [e2]andb:B 0 [e1]

  18. Lexicon: Example • Sandy Ysandy:np • the YL: np/p • kid Ykid:n • tall Ytall:n/n (P.x.P(x)) • outside Youtside:n\n • in Yin:n\n/np • runs Yrun:np\s • loves Ylove:np\s/np • gives Ygive:np\s/np/np • outside Youtside:(np\s)\np\s • in Yin:(np\s)\np\s/np

  19. Example of a derivation: the tall kid runs • tall:n/n 0 [tall] • kid:n 0 [kid] • tall(kid):n 0 [tall kid] • L:np/n 0 [the] • L(tall(kid)):np 0 [the tall kid] • run: np\s 0 [runs] • run(L(tall(kid))): s 0 [the tall kid runs]

  20. Derivation Tree The tall kid runs L:np/n tall:n/n kid:n run:np\s tall(kid):n L(tall(kid)):np run(L(tall(kid))):s

  21. Type Soundness • If a : A 0 [e] then a 0 Term Typ(A) • This is a big deal! • Similarity to typing schemes of functional languages

  22. Ambiguity • Lexical syntactic ambiguity: an expression has two lexical entries with different syntactic categories (kiss) • Lexical semantical ambiguity: two different lambda-terms assigned to the same category (bank) • Vagueness: sister-in-law, glove • Negation test: • Gerry went to the bank. • No, he didn’t, he went to the river. • Robin is wearing a glove. • * No he isn’t, that is a left glove.

  23. Derivational Ambiguity – two parse trees for the same set of words having the same lexical entries near the pyramid box on the table L:np/n pyr:n box:n on(L(table)):n\n near:n\n/np L(box):np near(L(box)):n\n near(L(box))(pyr):n on(L(table))(near(L(box))(pyr)):n pyramid near the box on the table pyr:n near:n\n/np L:np/n box:n on(L(table)):n\n on(L(table))(box):n L(on(L(table))(box)):n near(on(L(table))(box)):n\n near(on(L(table))(box))(pyr):n\n

  24. Local and Global Ambiguity • Local ambiguity – a subexpression is ambiguous • The tall kid in Pittsburg run • The horse raced past the barn fell. • The cotton clothing is made with comes from Egypt. • garden-path effect in psycholinguistics

  25. Meaning postulates red car in Chester red car in Chester red:n/n red:n/n red= P. x.P(x) and red2(x) in = y. P. x.P(x) and in2 (y)(x) red(in(chs)(car))=x.((car(x) and in2 (chs)(x)) and red2 (x)) in(chs)(red(car))=x.((car(x) and red2 (x)) and in2 (chs)(x)) car:n in(chs):n\n car:nn in(chs):n\n red(car):n in(chs)(car):n in(chs)(red(car)):n red(in(chs)(car)):n

  26. Coordination Terry jumps and Francis runs t:np jump:np\s f:np run:np\s CoorBool(and):s\s/s run(f):s jump(t):s and(jump(t))(run(f)):s runs Francis jumps and f:np jump:np\s : run:np\s CoorInd->Bool(and): (np\s)\(np\s)/(np\s) Lx.and(jump(x))(run(x)):np\s and(jump(f))(run(f)):s Coorp(and):A\A/A

More Related