Transparentní intenzionální logika

Tento článek potřebuje úpravy.

Můžete Wikipedii pomoci tím, že ho vylepšíte. Jak by měly články vypadat, popisují stránky Vzhled a styl, Encyklopedický styl a Odkazy.

---

Konkrétní problémy: úvod dle Wikipedie:VAS, Wikipedie:2NNVZ, odkazy

Tento článek není dostatečně ozdrojován, a může tedy obsahovat informace, které je třeba ověřit.

Jste-li s popisovaným předmětem seznámeni, pomozte doložit uvedená tvrzení doplněním referencí na věrohodné zdroje.

Transparentní intenzionální logika (TIL) je logika, která měla některé rysy společné s logikou, kterou formuloval v sedmdesátých letech 20. století americký logik Richard Montague, ale v některých důležitých ohledech ji překročila.

TIL byla vytvořena českým logikem Pavlem Tichým, který jí dal první systematickou podobu v knize The foundations of Frege's Logic (de Gruyter 1988), ale jejíž základní obrysy formuloval již roce 1968 ve stati Smysl a procedura (Filosofický časopis 16, 222–232). Cestu k uvedené monografii vykonal již v emigraci jako profesor University of Otago sídlící ve městě Dunedin na Novém Zélandu.

Melvin Fitting v hesle Intensional Logic ve Stanford Encyclopedia of Philosophy, verze 2011, říká: "For one thing, intensions depend not only on worlds, but also on times. For another, in addition to intensions and extension Tichý also considers constructions, which will be discussed further here... Unfortunately his work did not become widely known."^[1]

Odkazy

Reference

Literatura

• DUŽÍ, Marie, JESPERSEN, Bjørn a MATERNA, Pavel. Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic. Dordrecht: Springer, 2010. xiii, 552 s. Logic, epistemology, and the unity of science; v. 17. ISBN 978-90-481-8811-6.

Externí odkazy

• Tomáš Holek. Pavel Tichý – 22. výročí úmrtí významného českého logika a filosofa.

Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.