Isn’t it all just math in the end?

HOLAJ, Richard. Isn’t it all just math in the end? In Eastern Generative Grammar (EGG); UP Olomouc. 2017.

Basic information

• Original name: Isn’t it all just math in the end?
• Authors: HOLAJ, Richard (203 Czech Republic, guarantor, belonging to the institution).
• Edition: Eastern Generative Grammar (EGG); UP Olomouc, 2017.

Other information

• Original language: English
• Type of outcome: Presentations at conferences
• Field of Study: 60203 Linguistics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• RIV identification code: RIV/00216224:14210/17:00097554
• Organization unit: Faculty of Arts
• Keywords in English: lamba calculus; formal semantics; generative grammar
• Tags: rivok
• Tags: International impact

Abstract

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.

Links

• MUNI/A/0915/2016, interní kód MU: Name: Čeština v jednotě synchronie a diachronie - 2017

Investor: Masaryk University, Category A