Павел Тихи ( чешский: [ˈpavɛl ˈcɪxiː] ; 18 февраля 1936 г., Брно , Чехословакия - 26 октября 1994 г., Данидин , Новая Зеландия ) был чешским логиком , философом и математиком .
Он работал в области интенсиональной логики и основал прозрачную интенсиональную логику , оригинальную теорию логического анализа естественных языков - теория посвящена проблеме точного определения того, что мы изучаем, знаем и можем общаться, когда приходим к понять, что означает предложение. Он потратил на это около 25 лет. Его основная работа - книга «Основы логики Фреге» , опубликованная Вальтером де Грюйтером в 1988 году.
биография
Тихи родился в Брно в 1936 году. Его отец работал страховым служащим. Его семья жила в Злине до 1948 года, когда они переехали во Всетин . В школе он уже был блестящим учеником. Еще ему нравилось играть на фортепиано музыку Ярослава Ежека . После окончания учебы во Всетине он вместе с родителями переехал в Прагу . Тихи окончил Карлов университет в Праге в 1959 году . С 1961 по 1968 год он работал там ассистентом на кафедре логики философского факультета. Еще одним его увлечением было столярное дело. Его считали перфекционистом во всем, что бы он ни делал, будь то изучение иностранного языка или изготовление стола.
В 1968 году он получил приглашение из Эксетерского университета в Великобритании . Ему было разрешено покинуть страну, хотя это произошло вскоре после вторжения советских войск в Чехословакию во время Пражской весны . Он решил не возвращаться. В 1970 году он с семьей эмигрировал на корабле в Новую Зеландию. Он начал преподавать в Университете Отаго в Данидине, Новая Зеландия, где в 1981 году стал профессором философии в Отаго. Тихи преподавал там до самой смерти. Его помнят как яростного спорщика, любившего прямо выражать свои взгляды, несмотря на то, что это могло иметь плохие последствия. Это сделало его большим количеством друзей, но также и множеством врагов.
Через четыре года после бархатной революции , в 1993 году, Тихи предложили должность заведующего кафедрой логики на факультете философии и искусств Карлова университета в Праге . Он планировал переехать в Прагу в 1995 году, но покончил жизнь самоубийством, прежде чем занять эту должность. [ необходима цитата ]
График
- PhDr. ( Карлов университет , 1959), диссертация: Výklad Gödelovy věty o neúplnosti v prosté teorii typů [ Изложение теоремы Гёделя о неполноте в простой теории типов ]
- Кандидат наук (Карлов университет, 1964), тема диссертации: Vyčíslitelnost ве vztahu к teoriím [ На Computability WRT Теории ]
- Доцент (Карлов университет, 1969), диссертация: Интенсивности в терминах машин Тьюринга и о порочном круге в определениях: два исследования логической семантики
- PhD ( Exeter University , 1971), тема диссертации: Вклад в теорию постулату систем
- Адъюнкт-профессор Университета Отаго, 1978 год.
- Профессор Университета Отаго, 1981 г.
Книги
Внешние ссылки
- Биография и библиография Тихи - сайт Transparent Intensional Logic, Университет Масарика, Брно
- Биография Тичи - Mac Tutor Biographies, Университет Сент-Эндрюс, Шотландия
- Биография Тичи - университет Отаго