2017
Isn’t it all just math in the end?
HOLAJ, RichardZákladní údaje
Originální název
Isn’t it all just math in the end?
Autoři
HOLAJ, Richard (203 Česká republika, garant, domácí)
Vydání
Eastern Generative Grammar (EGG); UP Olomouc, 2017
Další údaje
Jazyk
angličtina
Typ výsledku
Prezentace na konferencích
Obor
60203 Linguistics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14210/17:00097554
Organizační jednotka
Filozofická fakulta
Klíčová slova anglicky
lamba calculus; formal semantics; generative grammar
Štítky
Příznaky
Mezinárodní význam
Změněno: 10. 5. 2018 15:00, Mgr. Marie Skřivanová
Anotace
V originále
In typed formal logics, we use type restrictions along with lambda calculus, to describe semantic relations. We apply arguments to functions to replace lambda with values and get the compound meaning, when binary branching occurs. We also use general quantifiers to make the interaction more general. In this presentation I would like to show, how bringing in one extra general quantifier, which is cartesian product can help us making things more simple. The reason for this, is that cartesian product is simple set operation (and we like sets in semantics) and it allows us to bring n-tuples, thus relations into game. Whole computation is then base on principle of modifying sets by different set modification operations (like union, intersection), creating relations (by cartesian product) and testing if one set is subset of another (by subset operators). All our semantics are thus described as sets (n-tuples are also sets below the surface) and set operations.
Návaznosti
| MUNI/A/0915/2016, interní kód MU |
|