Артур Норман Прайор (4 декабря 1914 г. – 6 октября 1969 г.), обычно упоминаемый как А. Н. Прайор , был логиком и философом , родившимся в Новой Зеландии . Прайор (1957 г.) основал временную логику , теперь также известную как темпоральная логика , и внес важный вклад в интенсиональную логику , особенно в Прайоре (1971 г.).
Прайор родился в Мастертоне , Новая Зеландия , 4 декабря 1914 года, он был единственным ребенком у родителей, родившихся в Австралии: Нормана Генри Прайора (1882–1967) и его жены, урожденной Элизабет Мантон Ротсей Тиг (1889–1914). Его мать умерла менее чем через три недели после его рождения, и о нем заботилась сестра отца. Его отец, врач общей практики, после военной службы в Галлиполи и во Франции, где он был награжден Военным крестом , снова женился в 1920 году. Было еще трое детей: Элейн, эпидемиолог Ян Прайор и Оуэн. Артур Прайор вырос в известной методистской семье. Его два уэслианских деда, преподобные Сэмюэл Фаулер Прайор и Хью Хенвуд Тиг, были отправлены из Англии в Южную Австралию в качестве миссионеров в 1875 году. [6] Семья Прайор впервые переехала в Новую Зеландию в 1893 году.
Будучи сыном врача, Прайор сначала думал стать биологом, но в итоге сосредоточился на теологии и философии, окончив Университет Отаго в 1935 году со степенью бакалавра по философии. Во время обучения на бакалавра Прайор посещал семинарию в теологическом зале Нокса в Данидине, но решил не поступать в пресвитерианское служение. Джон Финдли, профессор философии в Отаго, первым открыл для Прайора изучение логики . [7] В 1936 году Прайор женился на Клэр Хантер, внештатной журналистке, и они провели несколько лет в Европе, в течение которых пытались зарабатывать на жизнь как писатели. Испугавшись перспективы вторжения в Британию, он и Клэр вернулись в Новую Зеландию в 1940 году. [1] В этот момент своей жизни он был набожным пресвитерианцем, хотя позже стал атеистом . [8] [9]
После развода с первой женой он снова женился в 1943 году на Мэри Уилкинсон, с которой у него было двое детей. Он служил в Королевских ВВС Новой Зеландии с 1943 по 1945 год, прежде чем начать академическую карьеру в Кентерберийском университетском колледже в феврале 1946 года. Его первой должностью была лекторская должность, которая стала доступной, когда Карл Поппер покинул университет. [10]
Вернувшись в Новую Зеландию после года работы в Оксфорде в качестве приглашенного лектора, он занял должность профессора в Манчестерском университете в 1959 году , где оставался до тех пор, пока не был избран членом Баллиол- колледжа в Оксфорде в 1966 году и назначен рецензентом . Он продолжил свою практику в Манчестере, принимая должности приглашенных профессоров. [10]
В сентябре 1969 года Артур Прайор отправился читать лекции в норвежские университеты, а 6 октября 1969 года, накануне того дня, когда он должен был читать там лекцию, он умер от сердечного приступа в Тронхейме, Норвегия . [10]
Прайор получил образование исключительно в Новой Зеландии, где ему посчастливилось попасть под влияние Дж. Н. Финдли , [1] под руководством которого он написал свою магистерскую диссертацию на тему «Природа логики». [11] Хотя Прайор очень любил теологию Карла Барта , его ранняя критика приверженности Барта философскому идеализму является признаком влияния Финдли на Прайора. [11]
Он начал преподавать философию и логику в колледже Кентерберийского университета в феврале 1946 года, заняв вакансию, образовавшуюся после отставки Карла Поппера . В 1951 году Прайор встретил Дж. Дж. К. Смарта , также известного как «Джек» Смарт, на философской конференции в Австралии, и между ними завязалась дружба на всю жизнь. Их переписка оказала влияние на развитие Прайором временной логики . Смарт придерживался бесвременной теории времени и никогда не был убежден аргументами Прайора, хотя Прайор оказал влияние на то, чтобы заставить Смарта скептически относиться к взглядам Витгенштейна на псевдоотношения. [12] Он стал профессором в 1953 году. Благодаря добрым услугам Гилберта Райла , который встретил Прайора в Новой Зеландии в 1954 году, Прайор провел 1956 год в отпуске в Оксфордском университете , где он читал лекции Джона Локка по философии. Впоследствии они были опубликованы под названием «Время и модальность» (1957). Это основополагающий вклад в изучение временной логики и метафизики времени, в котором Прайор отстаивал точку зрения А-теоретиков о том, что временные модальности прошлого, настоящего и будущего являются основными онтологическими категориями, имеющими основополагающее значение для нашего понимания времени и мира. Прайор несколько раз был предупрежден Дж. Дж. К. Смартом против того, чтобы делать временную логику темой своих лекций по Джону Локку . Смарт опасался, что временная логика вовлечет Прайора «в побочные вопросы, даже в прямую философию, а не в то, что принесет наибольшую пользу Оксфорду». [13] Прайор, однако, был убежден, что временная логика имеет потенциал принести пользу логике, а также философии, и поэтому он считал свои лекции «выражением убеждения, что формальная логика и общая философия могут принести друг другу больше, чем иногда предполагается». [14]
Во время своего обучения в Оксфорде Прайор познакомился с Питером Гичем и Уильямом Нилом , оказал влияние на Джона Леммона и переписывался с юным Солом Крипке . Логика в Соединенном Королевстве тогда находилась в довольно низком состоянии, будучи «глубоко вышедшей из моды, а ее практики были изолированы и несколько деморализованы». [15] Прайор организовал Logical a Colloquium, который собрал таких логиков, как Джон Леммон , Питер Гич , Чеслав Леевский и других. [16] Коллоквиумы имели большой успех, и вместе с лекцией Прайора о Джоне Локке и его поездками по стране он помог возродить британскую логику. [16] С 1959 по 1966 год он был профессором философии в Университете Манчестера , обучая Осмунда Льюри . С 1966 года и до своей смерти он был научным сотрудником и преподавателем философии в Баллиол-колледже, Оксфорд . Среди его учеников — Макс Крессвелл , Кит Файн и Роберт Булл.
Почти полностью самоучка в современной формальной логике , Прайор опубликовал четыре основные статьи по логике в 1952 году, [17] когда ему было 38 лет, вскоре после того, как он открыл для себя работу Юзефа Марии Бохенского и Яна Лукасевича , [18] несмотря на то, что очень мало работ Лукасевича было переведено на английский язык. [19] [20] Он зашел так далеко, что читал непереведенные польские тексты, не будучи в состоянии говорить по-польски, утверждая, что «символы настолько проясняют, что тот факт, что текст непонятен, не имеет большого значения». [19] Он продолжал использовать польскую нотацию на протяжении всей своей карьеры. [21] Прайор (1955) излагает большую часть своего раннего преподавания логики в Новой Зеландии. Работа Прайора по временной логике обеспечивает систематическую и расширенную защиту временной концепции реальности, в которой пропозициональные утверждения могут со временем менять истинностное значение. [22]
Прайор выделялся своим сильным интересом к истории логики . Он был одним из первых англоязычных логиков, который оценил характер и масштаб логической работы Чарльза Сандерса Пирса , а также различие между de dicto и de re в модальной логике . Прайор преподавал и исследовал модальную логику до того, как Крипке предложил свою семантику возможных миров для нее, в то время, когда модальность и интенсиональность вызывали мало интереса в англоязычном мире и даже подверглись резкой критике со стороны Уилларда Ван Ормана Куайна .
Сейчас его называют предшественником гибридной логики . [23] Предприняв (в одном из разделов своей книги «Прошлое, настоящее и будущее» (1967)) попытку объединить бинарные (например, «до тех пор, пока») и унарные (например, «всегда будет») темпоральные операторы в одну систему темпоральной логики , Прайор — в качестве побочного результата — создает базу для более поздних гибридных языков.
В своей работе « Время и модальность» он исследовал использование многозначной логики для объяснения проблемы нереферентных имен .
Работа Прайора была как философской, так и формальной и обеспечивала продуктивную синергию между формальными инновациями и лингвистическим анализом. [ необходима цитата ] Естественный язык , заметил он, может воплощать глупость и путаницу, а также мудрость наших предков. Он был скрупулезен в изложении взглядов своих оппонентов и предоставил много конструктивных предложений о формальном развитии альтернативных взглядов.
Следующие книги были написаны Прайором или представляют собой посмертные сборники его журнальных статей и неопубликованных работ:
На этом этапе своей жизни он был одержим религией. Он верил в непорочное зачатие и голос дьявола и был набожным пресвитерианцем (Prior 1940)... Однако в более поздней жизни он описывал себя как человека, «не имеющего религиозных убеждений» (Prior c.1967). В 1961 году, когда Макс Крессвелл — тогда студент-логик в возрасте 21 года — впервые встретился с ним в Манчестере, Прайор заявил: «Мистер Крессвелл, разве не жаль, что Бога не существует».
На него в течение нескольких лет влиял теолог Артур Миллер, который сочетал строгую приверженность пресвитерианской доктрине с такой же сильной поддержкой социализма и оппозицией национализму. Но пацифизм Прайора ослабел, и с 1942 по 1945 год он служил в новозеландских военно-воздушных силах. И центральный фокус его интересов постепенно сместился — чему способствовали случайные приступы атеизма — с теологии на этику и логику.
Из четырех технических статей, которые ознаменовали взрывное начало карьеры Прайора как формального логика в 1952 году (1952a-d), две касались модальной логики... Его единственным выходом перед лицом изоляции было чтение, и он читал. В логике он начал с возвращения к WE Johnson. Затем последовали Studies and Exercises in Formal Logic Дж. Н. Кейнса, а затем (по его собственному выражению) он застрял в Principia Mathematica. Он много узнал об истории предмета от Пирса, которого он нашел "неожиданно великолепным". Важным открытием в 1950 году стал Précis de Logique Mathematique Боченски (Bochenski 1949). Прайор был очарован «очень аккуратной символической нотацией» Лукасевича, и вскоре он полностью отказался от более привычной нотации Пеано-Рассела
Эта статья стала завесой тайны перед обширным исследованием Прайором работы Лукасевича о модальности, и после этого он много читал Лукасевича... Судя по его ссылкам в The Craft, его первыми встречами с современной символической модальной логикой, должно быть, были пионерские исследования Льюиса в его и Лэнгфорда Symbolic Logic, глава Бохенски "La Logique de la Modalité" в его La Logique de Théophraste и статья Фейса "Les Systèmes Formalisés des Modalités Aristotéliciennes"... Важная Открытием в 1950 году стала работа Бохенски Précis de Logique Mathematique (Bochenski 1949). Прайор был очарован «очень аккуратной символической нотацией» Лукасевича и вскоре полностью отказался от более привычной нотации Пеано-Рассела.
статья стала вступлением к обширному исследованию Прайором работы Лукасевича о модальности, и после этого он много читал Лукасевича — даже материалы на польском языке, говоря, что «символы настолько проницательны, что тот факт, что текст непонятен, не имеет большого значения».
Должно быть, автор высоко ценил эту книгу, поскольку в 1995 году он начал переводить ее на английский язык.
был очарован «очень аккуратной символической нотацией» Лукасевича, и вскоре он полностью отвернулся от более привычной нотации Пеано-Рассела... Формальная логика пропитана польской нотацией и аксиоматическим методом и является типичным примером зрелой работы Прайора.
Эта идея о том, что напряженные предложения могут быть истинными в одно время и ложными в другое, стала центральной в философии Прайора. В резюме своих взглядов, составленном почти два десятилетия спустя, он писал: Конечно, есть неизменные истины, но есть и изменяющиеся истины, и жаль, если логика игнорирует их и оставляет ... сравнительно неформальным «диалектикам» изучать более «динамичные» аспекты реальности. (Prior 1996a: 46)
Ближайшим к биографии Прайора является:
Превосходный обзор жизни и достижений Прайора:
Текущие исследования важности философии и логики Прайора: