Тихий, Павел

Тихий, Павел

Супруга

Йиндра Тиха

Па́вел Ти́хий (^{[Нет даты!]}) — чешский логик, философ и математик. Известен как создатель системы прозрачной интенсиональной логики (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» и в дальнейшем разрабатывалась чешскими и словацкими логиками, а также датским логиком Бьёрном Есперсеном.

После 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 (2007-05-11). Архивировано из первоисточника 11 мая 2007. Проверено 26 декабря 2020.
• www-groups.dcs.st-and.ac.uk. Maths History. Архивировано из первоисточника 27 апреля 2017. Проверено 26 декабря 2020.
• www.otago.ac.nz. www.otago.ac.nz. Архивировано из первоисточника 26 февраля 2016. Проверено 26 декабря 2020.

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Тихий, Павел», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Тихий,_Павел Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».