A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
prof. PhDr. Pavel Tichý, PhD | |
---|---|
Narození | 18. února 1936 Brno |
Úmrtí | 26. října 1994 (ve věku 58 let) Dunedin |
Alma mater | Univerzita Karlova |
Povolání | matematik a filozof |
Zaměstnavatel | Otažská univerzita |
Choť | Jindra Tichá |
Některá data mohou pocházet z datové položky. Chybí svobodný obrázek. |
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
- ↑ 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 . . 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 . . Roč. 4, čís. 13 S. 46.
Externí odkazy
- Seznam děl v Souborné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 . . 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)
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Antény
Chemické zdroje elektriny
Chladenie v elektrotechnike
Elektrická sústava automobilu
Elektrická trakcia
Elektrické prístroje
Elektrické súčiastky
Elektrické spotrebiče
Elektrické stroje
Čítanie (elektrotechnika)
Činný výkon
Štatistická dynamika
Živý vodič
Admitancia
Antiparalelné zapojenie
Asynchrónny motor
Blúdivý prúd
Bočník (elektrotechnika)
Diak (polovodičový prvok)
Displej s kvapalnými kryštálmi
Elektrická inštalácia
Elektrická rezonancia
Elektrická sila
Elektrická vodivosť
Elektrické zariadenie
Elektrický obvod
Elektrický zvonec
Elektroenergetika
Elektromer
Elektrometer
Elektromobil
Elektromotor
Elektromotorické napätie
Elektrotechnický náučný slovník
Elektrotechnika
Elektrotechnológia
Fázor
Faradayova klietka
Frekvencia (fyzika)
Graetzov mostík
Impedancia
Indukčnosť
Induktancia
Istič
Izolácia (elektrotechnika)
Izolant
Jadro vodiča
Jednobran
Jednosmerný prúd
Joulovo teplo
Katóda
Koaxiálny kábel
Kompenzácia účinníka
Konduktometria
Konektor (elektrotechnika)
Korónový výboj
Lanko (elektrotechnika)
Leptanie
Logické hradlo
Magnetická susceptibilita
Magnetizácia (veličina)
Merný elektrický odpor
Mobilné zariadenie
Napájací zdroj
Napäťový chránič
Napäťový násobič
Nortonova veta
Odpínač
Odpojovač
OLED
Olovený akumulátor
Paralelné zapojenie
Peltierov článok
Plošná hustota elektrického prúdu
Poistka (elektrotechnika)
Posuvný prúd
Prúdový chránič
Prenosové médium
Prieletový klystrón
Primárny elektrochemický článok
Reaktancia
Rekuperácia (dopravný prostriedok)
Relé
Reproduktorová výhybka
Rezistancia
Rozhranie (interface)
Sériové zapojenie
Seebeckov jav
Sekundárny elektrochemický článok
Settopbox
Skrat
Sonar
Spínač
Spínaný zdroj
Straty v mikropásikových vedeniach
Striedavý prúd
Stupeň ochrany krytom
Svetelná výbojka
Symetrizačný člen
Technická normalizácia
Tepelné relé
Tepelne vodivostný detektor
Termočlánok
Théveninova veta
Transformátor
Transformátor s fázovou reguláciou
Trojfázová sústava
Tuhá fáza (elektronika)
Tyratrón
Usmerňovač (elektrotechnika)
Uzemnenie
Uzol (vodiče)
Vírivý prúd
Výbojka
Varistor
Ventilátor
Vodič (elektrotechnika)
Voltov stĺp
Vstavaný systém
Zásuvka (elektrotechnika)
Zdroj (elektrotechnika)
Zisk antény
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk