RACLAVSKÝ, Jiří. On Partiality and Tichý's Transparent Intensional Logic. Hungarian Philosophical Review. Budapest: A Magyar Tudományos Akadémia, roč. 54, č. 4, s. 120-128. ISSN 0025-0090. 2010.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On Partiality and Tichý's Transparent Intensional Logic
Název česky Parcialita a Tichého Transparentní intenzionální logika
Autoři RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
Vydání Hungarian Philosophical Review, Budapest, A Magyar Tudományos Akadémia, 2010, 0025-0090.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 60300 6.3 Philosophy, Ethics and Religion
Stát vydavatele Maďarsko
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14210/10:00052348
Organizační jednotka Filozofická fakulta
Klíčová slova anglicky partiality; truth-value gaps; transparent intensional logic
Příznaky Mezinárodní význam
Změnil Změnil: prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593. Změněno: 29. 9. 2014 14:16.
Anotace
The paper focuses on treating of partiality within Tichý's logical system. Tichý's logic is two valued and type-theoretic. Tichý's simple theory of types (and the deduction system designed for it) accepts both total and partial functions. Tichý's late framework is explicitly ramified. So-called constructions (roughly: algorithms) construct, e.g., values of functions at arguments; in some cases, however, they do not construct anything at all. This special partiality phenomenon is discussed in the second part of the paper.
Anotace česky
Článek se věnuje pojednání parciality v Tichého logickém systému. Tichého logika je dvouhodnotová a typově-teoretická. Tichého jednoduchá teorie typů (a dedukční systém pro ni) přijímá jak totální, tak parciální funkce. Tichého pozdní logický rámec je explicitně rozvětven. Takzvané konstrukce (zhruba: algoritmy) konstruují např. hodnoty funkcí pro argumenty; v některých případech ale nic nekonstruují. Tento specifický projev parciality je diskutován v druhé části textu.
VytisknoutZobrazeno: 29. 3. 2024 02:52