Do we have to deal with partiality?

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Do we have to deal with partiality?
Original language description
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
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GA401%2F03%2F1403" target="_blank" >GA401/03/1403: Principles of Logical Analysis of Language Expressions and Intensional Logic</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)