Найти статью
Тихий, Павел
Па́вел Ти́хий (18 февраля 1936[1][2][…], Брно[2][3][…] — 26 октября 1994[1][2][…], Данидин, Новая Зеландия) — чешский логик, философ и математик. Известен как создатель системы прозрачной интенсиональной логики (TIL).
Биография
Родился в Брно в семье страхового служащего. Вырос в Злине, в 1948 году семья переехала во Всетин, куда перевели его отца. Окончил Масарикову гимназию во Всетине, где был одним из лучших учеников. Изучал философию и математику в Карловом университете, который окончил в 1959 году, защитив докторскую диссертацию «Изложение теоремы Гёделя о неполноте в простой теории типов».
С 1961 по 1968 год работал на кафедре логики Карлова университета в должности старшего преподавателя. В 1964 году окончил аспирантуру, защитив работу «Вычислимость по отношению к теориям», и получил степень кандидата наук. В 1968 году прошёл стажировку на кафедре философии Эксетерского университета в Великобритании. В 1969 году был назначен доцентом Карлова университета, однако после ввода войск Варшавского договора в Чехословакию не вернулся со стажировки. Принял предложение занять должность доцента в Университете Отаго в Данидине, куда переехал с семьёй в 1970 году и начал преподавать в 1971 году. Работал там до конца жизни (с перерывом в 1976—1977 годах, когда находился в Питтсбургском университете) и создал основную часть своих трудов. С 1970 года жил в эмиграции в Новой Зеландии.
Главным результатом его работы, изложенным в трудах, в частности в «The Foundations of Frege’s Logic» (1988), является создание системы прозрачной интенсиональной логики (TIL). Эта система подробно описана в книге Марии Дужи, Бьёрна Есперсена и Павла Матерны «Procedural Semantics for Hyperintensional Logic» и в дальнейшем разрабатывалась чешскими и словацкими логиками, а также датским логиком Бьёрном Есперсеном[5].
После 1989 года рассматривал возможность возвращения на родину. В 1994 году выиграл конкурс на должность заведующего кафедрой логики Карлова университета в Праге, но к работе не приступил. Умер в Данидине в результате приступа депрессии. В 2004 году был издан сборник его статей «Pavel Tichý’s Collected Papers in Logic and Philosophy».
Публикации
- 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.
- The foundations of Frege's logic (англ.). — Berlin. — ISBN 3-11-011668-5.
- O čem mluvíme? : vybrané stati k logice a sémantice. — Praha. — ISBN 80-7007-087-0.
- Pavel Tichý's collected papers in logic and philosophy. — Prague: Filosofia. — ISBN 80-7007-189-3.
Примечания
Литература
- Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic. — Dordrecht: Springer 2010. — ISBN 9789048188123.
- Svědectví filosofie : ohlédnutí za 20. stoletím. — Olomouc: Nakladatelství Olomouc, 2009. — ISBN 978-80-7182-275-2.
- TIL jako procedurální logika. Průvodce zvídavého čtenáře Transparentní intensionální logikou. — Bratislava: Aleph, 2012. — 412 с. — ISBN 9788089491087.
- Filozofie logiky Pavla Tichého. — Olomouc: Univ. Palackého. — 104 с. — ISBN 80-244-1521-6.
Ссылки
- www.phil.muni.cz. www.phil.muni.cz. Дата обращения: 26 декабря 2020.
- digilib.phil.muni.cz. Дата обращения: 26 декабря 2020.
- www.jarda.peregrin.cz. www.jarda.peregrin.cz. Дата обращения: 26 декабря 2020.
- til.phil.muni.cz. web.archive.org (11 мая 2007). Дата обращения: 26 декабря 2020. Архивировано 11 мая 2007 года.
- www-groups.dcs.st-and.ac.uk. Maths History. Дата обращения: 26 декабря 2020. Архивировано 27 апреля 2017 года.
- www.otago.ac.nz. www.otago.ac.nz. Дата обращения: 26 декабря 2020. Архивировано 26 февраля 2016 года.