Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems

RACLAVSKÝ, Jiří a Petr KUCHYŇKA. Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems. In Logic in Cognitive Sciences. 2010.

Základní údaje

Originální název

Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems

Název česky

Tichého Transparentní intenzionální logika a pojmové/derivační systémy

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí) a Petr KUCHYŇKA (203 Česká republika)

Vydání

Logic in Cognitive Sciences, 2010

---

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Polsko

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14210/10:00051391

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

conceptual systems; deduction; transparent intensional logic;

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

Firstly, Materna's explication of conceptual system within Tichý's logical framework is introduced. Then, we expose a notion of derivation systems. Derivation systems differ from conceptual systems especially in including derivation rules. This enables us to show close connections among the realms of objects, their concepts, and reasoning with concepts.

Česky

Nejprve předvedeme Maternovu explikaci pojmu pojmového systému v Tichého logickém rámci. Poté představujeme náš nový pojem, pojem derivačního systému. Derivační systémy se liší od pojmových systémů zejména tím, že obsahují derivační pravidla. Umožnují nám prozkoumat úzkou souvislost mezi objekty a jejich pojmy a také uvažování s pojmy.