Pavel Tichý
Pavel Tichý (18. února 1936 Brno – 26. října 1994 Dunedin) byl český logik, filosof a matematik. Od roku 1970 žil v exilu na Novém Zélandu.
Prof. PhDr. Pavel Tichý, PhD. | |
---|---|
Narození | 18. února 1936 Brno |
Úmrtí | 26. října 1994 (ve věku 58 let) Dunedin |
Povolání | matematik a filozof |
Zaměstnavatel | University of Otago |
Některá data mohou pocházet z datové položky. Chybí svobodný obrázek. |
Život
Narodil 18. února 1936 v Brně v rodině pojišťovacího úředníka. Vyrůstal ve Zlíně, roku 1948 se rodina přestěhovala do Vsetína, kam byl jeho otec přeložen. Vystudoval na Masarykově gymnáziu ve Vsetíně, kde patřil k premiantům třídy. Poté studoval na Univerzitě Karlově, obory filozofie a matematika, studia úspěšně ukončil roku 1959 doktorskou prací Výklad Gödelovy věty o neúplnosti v prosté teorii typů.
Od roku 1961 do roku 1968 pracoval na katedře logiky Univerzity Karlovy jako odborný asistent, aspiranturu ukončil roku 1964 prací Vyčíslitelnost ve vztahu k teoriím, čímž získal titul CSc. Roku 1968 získal stáž na katedře filozofie Univerzity v Exeteru ve Spojeném království. Ačkoli ještě roku 1969 byl na Univerzitě Karlově jmenován docentem, ze stáže v Exeteru se po obsazení Československa vojsky Varšavské smlouvy již nevrátil. V Exeteru přijal nabídku na docenturu v Dunedinu na Otago University, kam se roku 1970 s rodinou odstěhoval a kde roku 1971 začal vyučovat. Působil zde, se studijní přestávkou 1976-1977, kdy byl na univerzitě v Pittsburghu, až do konce života a vytvořil zde vrcholnou část svého díla.
Hlavní výsledek jeho práce obsažený v jeho spisech, zejména v The Foundations of Frege’s Logic (1988), je vytvoření systému Transparent Intensional Logic (TIL), který je rozvinut a vyložen zejména v knize Duží, Jespersen, Materna: Procedural Semantics for Hyperintensional Logic,[1] a dále zpracováván především českými a slovenskými logiky a také dánským logikem Bjørnem Jespersenem.[2]
Po roce 1989 uvažoval o návratu do vlasti, roku 1994 vyhrál konkurs na místo vedoucího katedry logiky Univerzity Karlovy v Praze, ale na toto místo již nenastoupil. Zemřel v Dunedinu, poté co podlehl záchvatu deprese. Roku 2004 vyšel soubor jeho studií v knize Pavel Tichý’s Collected Papers in Logic and Philosophy.[3]
Výběr z díla
- Logika pro studující na p[edagogických] institutech. Praha: SPN, 1964. 91, [1] s. Učební texty vys. škol.
- Logická stavba vědeckého jazyka: Určeno pro posl. filosof. fak. Praha: SPN, 1968. 232 s. Učební texty vys. škol.
- TICHÝ, Pavel. The foundations of Frege's logic. Berlin: [s.n.] ISBN 3-11-011668-5. (anglicky)
- TICHÝ, Pavel; PEREGÍN, Jaroslav. O čem mluvíme? : vybrané stati k logice a sémantice. Praha: [s.n.] ISBN 80-7007-087-0..
- TICHÝ, Pavel. Pavel Tichý's collected papers in logic and philosophy. Prague: Filosofia ISBN 80-7007-189-3.
Odkazy
Reference
- DUŽÍ, Marie; JESPERSEN, Bjorn; MATERNA, Pavel. Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic. Dordrecht: Springer 2010 ISBN 9789048188123.
- MATERNA, Pavel. E-mail z 5. 5. 2017.
- ŠTĚPÁNEK, Ladislav. Ohlédnutí za Pavlem Tichým. Valašsko: vlastivědná revue [online]. [cit. 2020-12-26]. Roč. 4, čís. 13 S. 46.
Literatura
- DUŽÍ, Marie; JESPERSEN, Bjorn; MATERNA, Pavel. Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic. Dordrecht: Springer 2010 ISBN 9789048188123.
- BLECHA, Ivan; TICHÝ, Pavel. Svědectví filosofie : ohlédnutí za 20. stoletím. Olomouc: Nakladatelství Olomouc, 2009. ISBN 978-80-7182-275-2.
- DUŽÍ, Marie; MATERNA, Pavel. TIL jako procedurální logika. Průvodce zvídavého čtenáře Transparentní intensionální logikou. Bratislava: Aleph, 2012. 412 s. ISBN 9788089491087.
- ŠEBELA, Karel. Filozofie logiky Pavla Tichého. Olomouc: Univ. Palackého 104 s. ISBN 80-244-1521-6.
- ŠTĚPÁNEK, Ladislav. Ohlédnutí za Pavlem Tichým. Valašsko: vlastivědná revue [online]. [cit. 2020-12-26]. Roč. 4, čís. 13 S. 46.
Externí odkazy
- Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Pavel Tichý
- Pavel Tichý. www.phil.muni.cz [online]. [cit. 2020-12-26]. Dostupné online.
- RACLAVSKÝ, Jiří. Pavel Tichý - nástin života a díla. digilib.phil.muni.cz [online]. [cit. 2020-12-26]. Dostupné online.
- PEREGRÍN, Jaroslav. Pavel Tichý: O čem mluvíme. www.jarda.peregrin.cz [online]. [cit. 2020-12-26]. Dostupné online.
- Pavel Tichý - the originator of transparent intensional logic (TIL). web.archive.org [online]. 2007-05-11 [cit. 2020-12-26]. Dostupné online.
- Pavel Tichy - Biography. Maths History [online]. University of St. Andrews [cit. 2020-12-26]. Dostupné online. (anglicky)
- Otago - Philosophy - History. www.otago.ac.nz [online]. University of Otago [cit. 2020-12-26]. Dostupné online. (anglicky)