About: Do we have to deal with partiality?

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Do we have to deal with partiality? Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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 particular logical sys 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 particular logical sys (en)
Title	Do we have to deal with partiality? Do we have to deal with partiality? (en)
skos:prefLabel	Do we have to deal with partiality? Do we have to deal with partiality? (en)
skos:notation	RIV/61989100:27240/03:00009214!RIV/2004/GA0/272404/N
http://linked.open.../vavai/riv/strany	45-76
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GA401/03/1403)
http://linked.open...iv/cisloPeriodika	12
http://linked.open...vai/riv/dodaniDat	2004
http://linked.open...aciTvurceVysledku	Duží, Marie
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
http://linked.open...dnocenehoVysledku	604264
http://linked.open...ai/riv/idVysledku	RIV/61989100:27240/03:00009214
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	partial functions, lambda conversion, Compositionality, structured meanings (en)
http://linked.open.../riv/klicoveSlovo	partial functions Compositionality lambda conversion structured meanings
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[2B1A6A3197C6]
http://linked.open...i/riv/nazevZdroje	Miscellania Logica
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...vavai/riv/projekt	Principles of Logical Analysis of Language Expressions and Intensional Logic
http://linked.open...UplatneniVysledku	2003
http://linked.open...v/svazekPeriodika	Neuveden
http://linked.open...iv/tvurceVysledku	Duží, Marie
number of pages	31 (xsd:int)
https://schema.org/isbn	80-246-0799-9
http://localhost/t...ganizacniJednotka	27240

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software