On Partiality and Tichý's Transparent Intensional Logic
| Název česky | Parcialita a Tichého Transparentní intenzionální logika |
|---|---|
| Autoři | |
| Rok publikování | 2010 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Hungarian Philosophical Review |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Filosofie a náboženství |
| Klíčová slova | partiality; truth-value gaps; transparent intensional logic |
| Popis | Č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. |