B 2015

Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator

RACLAVSKÝ, Jiří; Petr KUCHYŇKA a Ivo PEZLAR

Základní údaje

Originální název

Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator

Název anglicky

Transparent intensional logic a characteristica universalis and calculus ratiocinator

Autoři

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

Vydání

1. vyd. Brno, 322 s. 2015

Nakladatel

Masarykova univerzita

Další údaje

Jazyk

čeština

Typ výsledku

Odborná kniha

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Česká republika

Utajení

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

Forma vydání

tištěná verze "print"

Kód RIV

RIV/00216224:14210/15:00114957

Organizační jednotka

Filozofická fakulta

ISBN

978-80-210-7973-1

Klíčová slova anglicky

type theory; ramified type theory; hyperintensional logic; transparent intensional logic

Příznaky

Recenzováno
Změněno: 19. 6. 2020 12:16, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Anotace

ORIG EN

V originále

Kniha Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator podává základy Transparentní intenzionální logiky (TIL), kterou vyvinul v novozélandské emigraci logik a filozof Pavel Tichý. Kniha se soustřeďuje na pojednání TIL jako logiky sui generis. To vedlo v mnoha směrech k překročení dosavadních hranic TIL a je tak podána řada zcela nových poznatků. TIL není představována, tak jako doposud, jen jako určitá characteristica universalis. TIL je totiž neméně pozoruhodný calculus ratiocinator.

Anglicky

The book Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator provides the foundations of Transparent Intensional Logic (TIL) which was developed by the logician and philosopher Pavel Tichý in his New Zealand exile. The book focuses on TIL as a logic sui generis. This lead to the expansion of its former boundaries and many quite new findings are presented. Not only that TIL is a powerful characteristica universalis. TIL is also a noteworthy calculus ratiocinator.

Návaznosti

CZ.1.07/2.2.00/28.0216, interní kód MU
Název: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Akronym: logika-ramec-rozvoje)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia, 2.2 Vysokoškolské vzdělávání