アラン・ロス・アンダーソン | |
|---|---|
| 生まれる | 1925年4月11日[1] |
| 死亡 | 1973 |
| 母校 | イェール大学 |
| 科学者としてのキャリア | |
| 論文 | 有限論理システム (1955) |
| 博士課程の指導教員 | フレデリック・ブレントン・フィッチ |
| 博士課程の学生 | ヌエル・ベルナップ、アラスデア・アーカート |
アラン・ロス・アンダーソン(1925年 - 1973年)は、アメリカの論理学者であり、イェール大学とピッツバーグ大学の哲学教授であった。
アンダーソンはヌエル・ベルナップと頻繁に協力し、関連性論理と義務論理の発展に尽力した。
アンダーソンは1973年に癌で亡くなった。
関連性ロジック
アンダーソンは、妥当な推論の結論は前提と何らかの関係(関連性)を持つべきだと信じていた。正式には、彼はこの「関連性条件」を次の原則で捉えた。
- AとB が少なくとも 1 つの非論理定数を共有する場合にのみ、A はB を伴います。
このアイデアは単純に見えますが、形式システムに実装するには、古典論理の意味論からの根本的な逸脱が必要です。アンダーソンとベルナップは(J.マイケル・ダン、キット・ファイン、アラスデア・アーカート、ロバート・K・マイヤー、アニル・グプタ、その他からの協力を得て)、関連性条件の形式的な帰結を、関連性論理の分野で最も頻繁に引用される著作である影響力のあるエンテイメントの本(下記の参考文献を参照)で詳細に検討しました。
アンダーソンとベルナップは、関連性の概念はアリストテレス以来論理学の中心であったが、ゴットロープ・フレーゲとジョージ・ブールが、皮肉にも「古典的」論理として知られるようになるものの基礎を築いて以来、不当に無視されてきたことにすぐに気づいた。(古典的論理が関連性の条件を満たさなかった例については、爆発の原理に関する記事を参照。)
義務論的論理
アンダーソンは、「 Aはこうあるべきである」という形式の文は論理的に次のように解釈されるべきだという見解を主張した。
- いいえ- A はv を伴います、
ここで、v は規範が破られたような意味を持つ。彼はこの目的のために、特別な定数v (表記は様々) を含む義務的関連性論理の体系を開発した。このような体系は、義務的論理からアレティック様相論理への「還元」と特徴付けられることがある。しかし、アレティック様相論理には一般にアンダーソンの特別な定数 vのようなものは含まれていないため、これはせいぜい誤解を招くものである。
論理哲学
アンダーソンは論理に関してプラトン主義者(あるいは実在論者、一元論者)として知られており、「唯一の真の論理」を信じ、それが関連性論理であると信じていました。
文献
- アンダーソン、AR 1967.倫理の形式論理におけるいくつかの厄介な問題。Nous I(4): 345-60。
- アンダーソン、AR、ベルナップ、ND 1975。 含意:関連性と必然性の論理。第1巻。 プリンストン:プリンストン大学出版局。
- アンダーソン、 AR、ベルナップ、ND、ダン、JM 1992。 含意:関連性と必然性の論理。第2巻。 プリンストン:プリンストン大学出版局。ISBN 0-691-07339-2
参考文献
- ^ oxfordreference.com での記録的なオープニング
さらに読む
- Mares , ED 1992. アンダーソンの義務論的論理学。Theoria 58: 3-20。
