アーサー・ノーマン・プライアー（あーさー のーまん ぷらいあー、、1914年12月4日 - 1969年10月6日）は、通常 A. N. プライアー として引用される、ニュージーランド生まれの論理学者・哲学者である。プライアー（1957年）は時相論理を創始し、特にプライアー（1971年）において内包論理に重要な貢献を果たした。
経歴 プライアーは1914年12月4日、ニュージーランドのマスタートンでオーストラリア出身の両親の一人っ子として生まれた。父は一般開業医のノーマン・ヘンリー・プライアー（1882年–1967年）、母はエリザベス・マントン・ロスセー・ティーグ（1889年–1914年）である。母は彼の誕生から3週間も経たないうちに亡くなり、彼は父の妹に養育された。父はガリポリ半島とフランスでの従軍（軍功十字章を授与）の後、1920年に再婚した。その後さらに3人の子——エレイン、疫学者、そしてオーウェン——が生まれた。アーサー・プライアーは著名なメソジストの家庭で育った。彼の二人のウェスレアン派の祖父、サミュエル・ファウラー・プライアー牧師とヒュー・ヘンウッド・ティーグ牧師は、1875年にイングランドから南オーストラリア州に宣教師として派遣されたAdelaide Observer, 28 August 1875, p. 7.。プライアー家は1893年に初めてニュージーランドに移住した。
医師の息子として、プライアーは最初生物学者になることを考えたが、最終的に神学と哲学に専念し、1935年にオタゴ大学で哲学の学士号を取得した。学士課程在学中、プライアーはダニーデンのの神学校に通ったが、長老派教会の牧師になることは断念した。がプライアーを論理学の研究へと導いた。1936年、プライアーはフリーランスのジャーナリストであったクレア・ハンターと結婚し、数年間ヨーロッパで過ごし、作家として生計を立てようとした。イギリス侵攻の可能性に不安を感じ、彼とクレアは1940年にニュージーランドへ帰国した。この時期の彼は敬虔な長老派信者であったが、後に無神論者となった。
最初の妻と離婚した後、1943年にメアリー・ウィルキンソンと再婚し、二人の子供をもうけた。ウィルキンソンはメアリー・ローラ・プライアーと改名し、アーサーと共著で「問答論理（Erotetic Logic）」についての論文を1955年に『哲学評論』誌に発表した。アーサーは1943年から1945年までニュージーランド空軍に無線技士として従軍した。アーサーとメアリーは戦時中の往復書簡を保管しており、現在はボドリアン図書館のアン・プライアー・コレクションに収蔵されている。この書簡は「戦時書簡」として知られ、数千ページにわたり、プライアーのいくつかの哲学的・神学的な見解の発展に関する重要な情報を多く含んでいる。書簡の翻字は アーサー・プライアー・デジタル・アーカイブで公開されている。戦後、プライアーは1946年2月にカンタベリー大学カレッジで学術キャリアをスタートさせた。彼の最初のポジションは、カール・ポパーが大学を去った際に空いた講師職であったPer Hasle The Life of Prior (1914-69). A Brief Overview, accessed 8 June 2019。
オックスフォード大学で客員講師として1年間過ごした後、ニュージーランドに戻ったプライアーは、1959年にマンチェスター大学で教授職に就いた。1966年にベリオール・カレッジ、オックスフォードのフェローに選出され、準教授に任命されるまで同職に留まった。彼はマンチェスター時代と同様、客員教授職も続けた。
アーサー・プライアーは1969年9月にノルウェーの大学で講義を行うために赴き、1969年10月6日、トロンハイムでの講義の前夜に心臓発作で死去した。
専門的生涯 プライアーはニュージーランドで教育を受け、幸運にもの影響を受けた。フィンドレイのもとで彼は「論理学の本質」をテーマにした修士論文を執筆したDavid Jakobsen (2019): A.N. Prior and ‘The Nature of Logic’, History and Philosophy of Logic, DOI: 10.1080/01445340.2019.1605479。プライアーはカール・バルトの神学に強い親しみを覚えていたが、バルトが哲学的観念論に傾倒していることへのプライアーの初期の批判はフィンドレイの影響の証左である。
プライアーは1946年2月にカンタベリー大学カレッジで哲学と論理学の講義を開始し、カール・ポパーの辞任によって生じた空席を埋めた。1951年、プライアーはオーストラリアで開かれた哲学会議で（通称「ジャック」・スマート）と出会い、生涯の友情を育んだ。両者の往復書簡は、プライアーの時相論理の発展に影響を与えた。スマートは時制なし時間論を支持しており、プライアーの議論に説得されることはなかったが、プライアーはスマートがウィトゲンシュタインの擬似関係についての見解を疑うようになるのに影響を与えたJakobsen, D. (2017) The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic. In: Hasle, P., Blackburn, P. and Øhrstrøm, P.(eds.): Logic and Philosophy of Time: Themes from Prior. Aalborg University Press: pp. 63-82. (Logic and Philosophy of Time: Themes from Prior.。プライアーは1953年に教授に昇進した。ギルバート・ライルの尽力（ライルは1954年にニュージーランドでプライアーと出会っていた）により、プライアーは1956年にオックスフォード大学に休暇研究員として赴き、ジョン・ロック講義を行った。この講義はその後『時間と様相性（Time and Modality）』（1957年）として出版された。これは時相論理と時間の形而上学の研究への先駆的貢献であり、過去・現在・未来という時制的様相が時間と世界の理解にとって基本的な存在論的カテゴリーであるというA理論の立場をプライアーは擁護した。プライアーはジョン・ロック講義のテーマとして時相論理を選ぶことについて、から何度も警告を受けた。スマートは時相論理がプライアーを「傍流の問題、さらには純粋哲学に巻き込まれ、オックスフォードにとって最も有益なものに集中できなくなる」ことを危惧していたJakobsen, D. (2017) The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic. In: Hasle, P., Blackburn, P. and Øhrstrøm, P.(eds.): Logic and Philosophy of Time: Themes from Prior. Aalborg University Press: p 78. aauforlag.dk/UserFiles/file/Logic_and_Philosophy_of_Themes_from_Prior_ONLINE.pdf。しかしプライアーは時相論理が論理学と哲学の両方に利益をもたらす可能性があると確信しており、自らの講義を「形式論理と一般哲学が互いにもたらし合えるものが、時折思われるよりも多い」という確信の表明と位置づけていたPrior, A.N., (1957) Time and Modality, Oxford University Press, p. vii。
オックスフォード滞在中、プライアーはピーター・ギーチとと出会い、ジョン・レモンに影響を与え、若きソール・クリプキと文通した。当時イギリスの論理学は低迷しており、「流行から大きく取り残され、実践者たちは孤立しやや意気消沈していた」Copeland, J., (1996) Prior's Life and Legacy, In Logic and Reality, Edited by Copeland, J. Oxford University Press, pp. 6)。プライアーはジョン・レモン、ピーター・ギーチ、らを一堂に集めた論理学コロキウムを組織したCopeland, J (1996), Prior's Life and Legacy, p. 6.。このコロキウムは大成功を収め、プライアーのジョン・ロック講義や各地への訪問とともに、イギリス論理学の活性化に貢献した。1959年から1966年まで、マンチェスター大学で哲学教授を務めた。1966年以降、死去するまでオックスフォード大学ベリオール・カレッジのフェローおよび哲学チューターを務めた。門下生には、、ロバート・ブルらがいる。
近代的な形式論理をほぼ独学で習得したプライアーは、38歳のとき1952年に論理学の主要論文を4本発表した。これはとヤン・ウカシェヴィチの業績を発見した直後のことであった。ウカシェヴィチの業績の英訳はほとんど存在しなかったにもかかわらず、プライアーはポーランド語を話せないままポーランド語の未翻訳テキストを読み進め、「記号が非常に啓示的なので、テキストが理解できなくてもさほど問題ない」と述べた。プライアーはその後もキャリアを通じてポーランド記法を使い続けた。プライアー（1955年）はニュージーランドでの論理学教授の初期の成果の多くを凝縮したものである。プライアーの時相論理の研究は、命題文が時間とともに真偽値を変えることができるような時制的な現実の概念の体系的かつ詳細な擁護を提供している。
プライアーは論理学の歴史への強い関心で際立っていた。彼はチャールズ・サンダース・パースの論理学的業績の性格と範囲を評価した最初の英語圏の論理学者の一人であり、様相論理におけるde dictoとde reの区別を早くから重視した。プライアーはクリプキが様相論理のクリプキ意味論（可能世界意味論）を提唱する以前から様相論理を研究・教授しており、当時様相性と内包性は英語圏ではほとんど関心を集めておらず、ウィラード・ヴァン・オーマン・クワインから厳しい批判さえ受けていた。
プライアーの業績は今日の先駆けとされている。著書『過去・現在・未来（Past, Present, and Future）』（1967年）の一節で、二項演算子（「…まで」など）と単項演算子（「常に…であるだろう」など）を一つの時相論理システムに統合しようとする試みの中で、プライアーは副産物として後のの基礎を築いた。
著書『時間と様相性（Time and Modality）』は多値論理を使って空名の問題を説明しようとしたものである。
プライアーの業績は哲学的かつ形式的であり、形式的革新と言語分析の間に生産的な相乗効果をもたらす。自然言語は、祖先の知恵と同様に、愚かさと混乱を体現しうると彼は述べた。彼は論敵の見解を丁寧に整理し、代替的な見解の形式的展開について多くの建設的な提案を行った。
彼は知的な純粋さとその学問への献身を持ち、私はそれをすぐに認識し、常に倣おうとしてきた（）https://www.researchgate.net/publication/375917611_Kit_Fine%27s_Autobiography
著作 以下の著作はプライアーが執筆したもの、あるいは没後に彼の論文や未発表原稿を編集した著作集である： 1949年. Logic and the Basis of Ethics. オックスフォード大学出版局（） 1955年、1962年. Formal Logic. Oxford University Press. 1957年. Time and Modality. Oxford University Press. 1956年のジョン・ロック講義に基づく。 1962年. "Changes in Events and Changes in Things". University of Kansas. 1967年. Past, Present and Future. Oxford University Press. 1968年. Papers on Time and Tense. Oxford University Press. 1971年. Objects of Thought. P. T. ギーチ・編. Oxford University Press. 1976年. The Doctrine of Propositions and Terms. P. T. ギーチ・A・J・P・ケニー編. London: Duckworth. 1976年. Papers in Logic and Ethics. P. T. ギーチ・A・J・P・ケニー編. London: Duckworth. 1977年. Worlds, Times and Selves. 編. London: Duckworth. 2003年. Papers on Time and Tense. 第2増補版. Per Hasle・Peter Øhrstrøm・Torben Braüner・編. Oxford University Press.
脚注
参考文献 プライアーの伝記に最も近いもの： , 1996, "Prior's Life and Legacy," in his edited volume Logic and Reality: Essays on the Legacy of Arthur Prior, New York: Oxford University Press.
プライアーの生涯と業績についての優れた概観： 1970, "Arthur Norman Prior (1914–1969)," Proceedings of the British Academy 56: 321–349.
外部リンク
Foundations of Temporal Logic — Prior研究のためのWWWサイト On Prior's Tense Logic — Patrick Blackburnによる Arthur Prior Centenary Conference, Balliol College, Oxford, 2014年8月21–22日 Prior's Nachlass