Do we have to deal with partiality?

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F03%3A00009214" target="_blank" >RIV/61989100:27240/03:00009214 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Do we have to deal with partiality?

Popis výsledku v původním jazyce

We present a semantic theory based on the Transparent Intensional Logic, which takes into account the fact that some sentences of natural language may happen not to have any truth value. Using two-level semantics, where between an expression E and the denoted entity D there is the expressed meaning (perhaps Frege's sense or Church's concept) of the expression, we model the meaning of E by a TIL construction C. We show that the construction C can fail to construct anything, in other words, in natural language we sometimes use empty concepts; and the denotation D, being a function, can fail to return a value at an argument. Hence, presenting some sound objective philosophical arguments in favour of the need to handle partial functions, we look for adequate technical tools to accommodate them in our logic. Different perspectives of a logician, mathematician and computer scientist toward non-denoting expressions naturally lead to different strategies of handling partial functions by partic

Název v anglickém jazyce

Do we have to deal with partiality?

Popis výsledku anglicky

We present a semantic theory based on the Transparent Intensional Logic, which takes into account the fact that some sentences of natural language may happen not to have any truth value. Using two-level semantics, where between an expression E and the denoted entity D there is the expressed meaning (perhaps Frege's sense or Church's concept) of the expression, we model the meaning of E by a TIL construction C. We show that the construction C can fail to construct anything, in other words, in natural language we sometimes use empty concepts; and the denotation D, being a function, can fail to return a value at an argument. Hence, presenting some sound objective philosophical arguments in favour of the need to handle partial functions, we look for adequate technical tools to accommodate them in our logic. Different perspectives of a logician, mathematician and computer scientist toward non-denoting expressions naturally lead to different strategies of handling partial functions by partic

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA401%2F03%2F1403" target="_blank" >GA401/03/1403: Principy logické analýzy jazykových výrazů a intenzionální logika</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2003

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Miscellania Logica

ISSN

80-246-0799-9

e-ISSN

—

Svazek periodika

Neuveden

Číslo periodika v rámci svazku

12

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

31

Strana od-do

45-76

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—