Přeskočit na obsah

Pavel Tichý

Z Wikipedie, otevřené encyklopedie
prof. PhDr. Pavel Tichý, PhD
Narození18. února 1936
Brno
Úmrtí26. října 1994 (ve věku 58 let)
Dunedin
Alma materUniverzita Karlova
Povolánímatematik a filozof
ZaměstnavatelOtažská univerzita
ChoťJindra Tichá
Některá data mohou pocházet z datové položky.
Chybí svobodný obrázek.

Pavel Tichý (18. února 1936 Brno26. října 1994 Dunedin) byl český logik, filosof a matematik. Od roku 1970 žil v exilu na Novém Zélandu.

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

[editovat | editovat zdroj]
  • 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. 
  1. DUŽÍ, Marie; JESPERSEN, Bjorn; MATERNA, Pavel. Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic. Dordrecht: Springer 2010 ISBN 9789048188123. 
  2. MATERNA, Pavel. E-mail z 5. 5. 2017.
  3. Š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

[editovat | editovat zdroj]
  • 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

[editovat | editovat zdroj]
  • Seznam dělSouborném katalogu ČR, jejichž autorem nebo tématem je Pavel Tichý
  • Seznam prací v Bibliografii dějin českých zemí (Historický ústav AV ČR)
  • 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é v archivu pořízeném z originálu dne 2007-05-11. 
  • Pavel Tichy - Biography. Maths History [online]. University of St. Andrews [cit. 2020-12-26]. 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)