アーサー・プライアー

アーサー・ノーマン・プライアー（1914年12月4日 - 1969年10月6日）は、通常A.N. プライアーと表記され、ニュージーランド生まれの論理学者であり哲学者であった。プライアー（1957）は時制論理（現在では時間論理としても知られている）を創始し、特にプライアー（1971）において内包論理に重要な貢献をした。

プライアーは、1914年12月4日にニュージーランドのマスタートンで、オーストラリア生まれの両親、ノーマン・ヘンリー・プライアー（1882年 - 1967年）とエリザベス・マントン・ロゼイ・ティーグ（1889年 - 1914年）の唯一の子として生まれた。彼の母親は彼の誕生から3週間も経たないうちに亡くなり、彼は父親の妹に育てられた。彼の父親は、ガリポリとフランスでの戦争勤務（そこでミリタリー・クロスを授与された）の後、一般開業医として医師をしており、 1920年に再婚した。さらに3人の子供がいた。エレイン、疫学者のイアン・プライアー、そしてオーウェンである。アーサー・プライアーは、著名なメソジストの家庭で育った。彼の2人のウェスレー派の祖父、サミュエル・ファウラー・プライアー牧師とヒュー・ヘンウッド・ティーグ牧師は、1875年に宣教師としてイングランドから南オーストラリアに派遣された。 ^{[ 6 ]}プライアー一家は1893年に初めてニュージーランドに移住した。

医師の息子として生まれたプライアーは、当初は生物学者になることを考えていたが、最終的には神学と哲学に専念し、 1935年にオタゴ大学で哲学の学士号を取得した。学士号取得のための勉強中、プライアーはダニーデンのノックス神学校に通ったが、長老派教会の牧師になることは断念した。JNフィンドレーがプライアーに論理学の研究を紹介した。^{[ 7 ]} 1936年、プライアーはフリーランスのジャーナリストであるクレア・ハンターと結婚し、数年間ヨーロッパで過ごし、その間、作家として生計を立てようとした。イギリス侵攻の可能性に怯え、彼とクレアは1940年にニュージーランドに戻った。^{[ 1 ]} この頃の彼は敬虔な長老派教徒であったが、後に無神論者となった。 ^{[ 8 ] [ 9 ]}

最初の妻と離婚した後、1943年にメアリー・ウィルキンソンと再婚し、彼女との間に2人の子供をもうけた。ウィルキンソンはメアリー・ローラ・プライアーと改名し、アーサーと共著でエロティック論理に関する論文を執筆し、 1955年にフィロソフィカル・レビューに掲載された。 ^{[ 10 ]}アーサーは1943年から1945年までニュージーランド空軍で無線技師として勤務した。アーサーとメアリーは戦時中の書簡を保管しており、それは現在ボドリアン図書館のアン・プライアー・コレクションの一部となっている。この書簡は戦時中の書簡として知られ、数千ページに及び、プライアーのいくつかの哲学的および神学的問題に関する見解の発展に関する重要な情報が多く含まれている。書簡の転写はアーサー・プライアー・デジタル・アーカイブで公開されている。戦後、プライアーは1946年2月にカンタベリー大学で学術的なキャリアをスタートさせた。彼の最初の職は、カール・ポパーが大学を去ったことで空いた講師職だった。 ^{[ 11 ]}

オックスフォード大学で客員講師として1年間過ごした後、ニュージーランドに戻り、 1959年にマンチェスター大学の教授に就任し、1966年にオックスフォード大学ベリオール・カレッジのフェローに選出され、リーダーに任命されるまで同大学に在籍した。彼はマンチェスター大学時代と同様に、客員教授の職を引き受け続けた。^{[ 11 ]}

アーサー・プライアーは1969年9月にノルウェーの大学で講演を行うために現地へ赴き、講演を行う前日の1969年10月6日、ノルウェーのトロンハイムで心臓発作により亡くなった。^{[ 11 ]}

プライアーはニュージーランドで教育を受け、そこでJ・N・フィンドレーの影響を受けるという幸運に恵まれた^{[ 1 ]。}フィンドレーの下で彼は「論理の本質」に関する修士論文を執筆した^{[ 12 ]。}プライアーはカール・バルトの神学を非常に好んでいたが、バルトの哲学的観念論への固執に対する初期の批判は、フィンドレーがプライアーに与えた影響の証である^{[ 12 ] 。}

彼は1946年2月にカンタベリー大学で哲学と論理学の教授職に就任し、カール・ポパーの辞任によって生じた空席を埋めた。1951年、プライアーはオーストラリアの哲学会議で「ジャック」スマートとしても知られるJ・J・C・スマートと出会い、二人は生涯にわたる友情を育んだ。彼らの書簡のやり取りは、プライアーの時制論理の発展に影響を与えた。スマートは時制のない時間の理論に固執し、プライアーの議論に納得することはなかったが、プライアーはスマートがウィトゲンシュタインの擬似関係の見解に懐疑的になるよう影響を与えた。^{[ 13 ]}彼は1953年に教授になった。 1954年にニュージーランドでプライアーと出会ったギルバート・ライルの尽力により、プライアーは1956年をオックスフォード大学で休暇を過ごし、そこでジョン・ロック哲学講義を行った。これらは後に『時間と様相』（1957年）として出版された。これは時制論理と時間の形而上学の研究に対する画期的な貢献であり、プライアーは、過去、現在、未来の時間的様相は時間と世界を理解する上で根本的に重要な基本的な存在論的カテゴリーであるというA理論の見解を擁護した。プライアーは、ジョン・ロック講義のテーマを時制論理にしないよう、J. J. C. スマートから何度も警告を受けた。スマートは、時制論理によってプライアーが「オックスフォードにとって最も有益な事柄ではなく、哲学そのものといった脇道の問題に巻き込まれる」ことを懸念していた。^{[ 14 ]}しかしプライアーは、時制論理は論理学だけでなく哲学にも利益をもたらす可能性があると確信しており、そのため、彼の講義は「形式論理と一般哲学は、時として考えられている以上に互いに貢献できるという確信の表明」であると考えていた。^{[ 15 ]}

オックスフォード在学中、プライアーはピーター・ギーチやウィリアム・ニールと出会い、ジョン・レモンに影響を与え、若き日のソール・クリプキと文通した。当時のイギリスの論理学は「ひどく時代遅れで、その実践者は孤立し、やや意気消沈していた」ため、かなり低迷していた。^{[ 16 ]}プライアーは、ジョン・レモン、ピーター・ギーチ、チェスワフ・レジェフスキなど の論理学者を集めた論理学コロキウムを企画した。 ^{[ 17 ]}コロキウムは大成功を収め、プライアーのジョン・ロック講演や全国各地への訪問と相まって、イギリスの論理学の活性化に貢献した。^{[ 17 ]} 1959年から1966年まで、オズモンド・ルーリーを教えたマンチェスター大学の哲学教授を務めた。1966年から亡くなるまで、オックスフォード大学ベリオール・カレッジの哲学フェロー兼チューターを務めた。彼の教え子には、マックス・クレスウェル、キット・ファイン、ロバート・ブルなどがいる。

現代形式論理をほぼ独学で学んだプライアーは、1952年に論理に関する4つの主要な論文を発表した^{[ 18 ]。}これは、38歳の時、ユゼフ・マリア・ボヘンスキとヤン・ウカシェヴィチの研究を発見した直後のことだった^{[ 19 ]}。ウカシェヴィチの研究はほとんど英語に翻訳されていなかったにもかかわらずである^{[ 20 ] [ 21 ]。}彼はポーランド語を話せないにもかかわらず、翻訳されていないポーランド語のテキストを読み、「記号が非常に啓発的であるため、テキストが理解できないという事実はあまり問題ではない」と主張した^{[ 20 ]} 。彼はその後、キャリアを通じてポーランド語の記法を使用した^{[ 22 ]} 。プライアー（1955）は、ニュージーランドでの初期の論理学の教えの多くを凝縮している。プライアーの時制論理に関する研究は、命題文が時間の経過とともに真偽値を変えることができるという、現実の時制概念を体系的かつ拡張的に擁護している。^{[ 23 ]}

プライアーは、論理学の歴史に対する強い関心によって際立っていた。彼は、チャールズ・サンダース・パースの論理学研究の本質と範囲、そして様相論理におけるde dictoとde reの区別を理解した最初の英語圏の論理学者の一人であった。プライアーは、クリプキが様相論理のための可能世界意味論を提唱する以前から様相論理を教え、研究していた。当時、様相と内包性は英語圏ではほとんど関心を集めておらず、ウィラード・ヴァン・オーマン・クワインから激しい批判さえ受けていた。

彼の研究は現在、ハイブリッド論理の先駆けと言われている。^{[ 24 ]}プライアーは、（著書『過去、現在、未来』 （1967年）の一節で）二項（例：「～まで」）と単項（例：「常に～である」）の時間演算子を一つの時間論理体系に組み合わせる試みを行い、その結果として、後のハイブリッド言語の基礎を築いた。

彼の研究「時間と様相」では、非指示名の問題を説明するために多値論理の使用を探求した。

プライアーの研究は哲学的かつ形式的であり、形式的な革新と言語分析の間に実りある相乗効果をもたらした。彼は、自然言語は先祖の知恵だけでなく、愚かさや混乱をも体現しうると指摘した。彼は反対者の見解を綿密に提示し、代替的な見解を形式的に発展させるための多くの建設的な提案を行った。

彼には知的な純粋さと主題への献身があり、私はそれをすぐに認識し、常に模倣しようと努めてきた（キット・ファイン）^{[ 25 ]}

以下の書籍は、プライアー自身が執筆したものか、あるいは彼が執筆した学術論文や未発表論文を死後に出版したものである。

• 1949年。『論理学と倫理学の基礎』オックスフォード大学出版局（ISBN） 0-19-824157-7）
• 1955年、1962年。 『形式論理学』オックスフォード大学出版局。
• 1957年。『時間と様相』。オックスフォード大学出版局。1956年のジョン・ロック講義に基づく。
• 1962年。「出来事の変化と物事の変化」。カンザス大学。
• 1967年。『過去、現在、未来』オックスフォード大学出版局。
• 1968年。 『時間と時制に関する論文集』オックスフォード大学出版局。
• 1971年。『思考の対象』 。PT・ギーチおよびAJP・ケニー編。オックスフォード大学出版局。
• 1976年。『命題と用語の教義』 PT GeachとAJP Kenny編。ロンドン：Duckworth。
• 1976年。『論理学と倫理学に関する論文集』。PT・ギーチとAJP・ケニー編。ロンドン：ダックワース。
• 1977年。『世界、時間、そして自己』。キット・ファイン編。ロンドン：ダックワース。
• 2003年。『時間と時制に関する論文集』。ペル・ハスレ、ピーター・オーストロム、トーベン・ブラウナー、ジャック・コープランドによる第2版増補版。オックスフォード大学出版局。

プライアーの伝記に最も近いものは以下の通りである。

• コープランド、BJ、1996年、「プライアーの生涯と遺産」、編集した『論理と現実：アーサー・プライアーの遺産に関するエッセイ』、ニューヨーク：オックスフォード大学出版局（ この巻の519～532ページには、現在までに知られているプラ​​イアーの著作の完全な書誌が掲載されている）。

プライアーの生涯と業績に関する優れた概説書は以下のとおりです。

• AJP Kenny 1970、「アーサー・ノーマン・プライアー（1914–1969）」、英国学士院紀要56: 321–349。
• メアリー・プライアー博士（1922年～2011年）によるアーサー・プライアーの生涯と業績に関する回想録

プライアーの哲学と論理の重要性に関する継続的な研究：

• 時間の論理と哲学：プライアーのテーマ。

• コープランド、B. ジャック。「アーサー・プライアー」。ザルタ、エドワード N. (編) 『スタンフォード哲学百科事典』。ISSN 1095-5054。OCLC 429049174。  
• 時間論理の基礎 先行研究のためのWWWサイト
• パトリック・ブラックバーン著「プライアーの時制論理について」（ 2013年8月31日、ウェイバックマシンにアーカイブ）
• アーサー・プライアー生誕100周年記念会議、オックスフォード大学ベリオール・カレッジ、2014年8月21日～22日 2015年2月14日にWayback Machineにアーカイブ済み
• プライアーの遺稿
• AN Prior 「ジョン・ブリダンにおける自己言及の諸問題」 [ドーズ・ヒックス記念講演 1962]英国学士院紀要 48、1962年（1963年）