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.

Ž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 institutech. Praha: SPN, 1964. 91, 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: ISBN 3-11-011668-5. (anglicky) 
• TICHÝ, Pavel; PEREGÍN, Jaroslav. O čem mluvíme? : vybrané stati k logice a sémantice. Praha: 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

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 . . 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 . . Dostupné online. 
• RACLAVSKÝ, Jiří. Pavel Tichý - nástin života a díla. digilib.phil.muni.cz . . Dostupné online. 
• PEREGRÍN, Jaroslav. Pavel Tichý: O čem mluvíme. www.jarda.peregrin.cz . . Dostupné online. 
• Pavel Tichý  - the originator of transparent intensional logic (TIL). web.archive.org . 2007-05-11 . Dostupné v archivu pořízeném z originálu dne 2007-05-11. 
• Pavel Tichy - Biography. Maths History . University of St. Andrews . Dostupné v archivu pořízeném z originálu dne 2017-04-27. (anglicky) 
• Otago - Philosophy - History. www.otago.ac.nz online. University of Otago cit. 2020-12-26. Dostupné online. (anglicky)