ブライアン・チェラス
ブライアン・F・チェラス
生まれる
ブライアン・ファレル・チェラス
（1941年10月7日）1941年10月7日
ニューヨーク市、アメリカ合衆国[ 2 ]
死亡2023年3月1日（2023年3月1日）（81歳）
カナダ、アルバータ州カルガリー[ 2 ]
学歴
母校スタンフォード大学（博士号）
論文『命令形の論理形式』  （1969年）
博士課程の指導教員ダナ・スコット[ 1 ]
学術研究
規律哲学
サブ分野哲学的論理学、様相論理
学校か伝統か分析哲学
機関
主な興味
  • 様相論理
  • 義務論的論理
  • 条件付きロジック
  • 命令形の論理
  • 代理の論理
注目すべき作品
  • 命令形の論理形式（1969年）
  • 様相論理学入門（1980年）

ブライアン・ファレル・チェラス（1941年10月7日 - 2023年3月1日）は、アメリカの哲学者、論理学者であり、様相論理、義務論理、条件論理、行為の論理に関する研究で知られている。彼はカルガリー大学哲学部に長年在籍し、同大学の名誉教授となった[ 3 ]。また、教科書『様相論理入門』（1980年）で広く知られている[ 4 ] 。

教育とキャリア

チェラスは1941年10月7日にニューヨーク市で生まれました。[ 2 ]彼はスタンフォード大学で学び、1969年にダナ・スコットの指導の下で学位論文『命令形の論理形式』で哲学の博士号を取得しました。[ 1 ] [ 5 ]ペリー・レーン・プレスから出版されたこの学位論文は、命令形の正式な研究における初期の参考文献となりました。[ 5 ]

1970年代初頭、彼はペンシルベニア大学で教鞭をとり、哲学の助教授として教鞭をとり、学部の運営に携わった。[ 6 ]この時期に彼がTheoriaやJournal of Philosophical Logicに発表した論文には、所属機関としてペンシルベニア大学が記載されている。[ 7 ] [ 8 ] [ 9 ]

1970年代後半から1980年代初頭にかけて、チェラスはカナダに移住した。彼はカルガリー大学哲学科に編入し、そこで残りの学歴を過ごし、後に名誉教授となった。[ 3 ]カルガリー大学での彼の研究は、行為の論理や非正規様相論理に関する研究など、後期の多くの論文に記録されている。[ 5 ] [ 10 ]

チェラスは2023年3月1日にアルバータ州カルガリーで81歳で亡くなった。[ 2 ] [ 11 ]

哲学的な作品

チェラスの研究の多くは哲学的論理、特に様相論理、義務論理、条件論理、および行為の形式理論に関するものである。

彼の初期の研究は命令文の論理に焦点を当てていた。『命令文の論理形式』と『Theoria』誌の論文「命令文」において、彼は命令文の意味論的・証明論的考察を展開し、その後の命令文の論理に関する研究に影響を与えた。[ 7 ] [ 12 ]

チェラスは、1975年の論文「基本条件論理」において、通常CKと表記される「基本条件論理」を導入し、体系的に研究したことで広く認められている。 [ 13 ] CKは現代の条件論理理論の基礎体系として機能し、後の連結条件やその他の非古典的な条件論理に関する研究の出発点として頻繁に用いられている。[ 14 ] [ 15 ]チェラスと密接に関連しているのは、近傍意味論と非正規様相論理における「近傍正則性」に関する研究であり、後の著者はこれらをチェラスに明示的に帰属させている。[ 16 ]

義務論的論理と義務の形式理論において、チェラスの「条件付き義務」の章は、条件付き規範と分離原理の議論における標準的な参照点となった。[ 9 ] [ 17 ]その後の義務的様相論と義務論的論理の調査では、彼の体系はより古典的なアプローチの重要な代替案として議論されている。[ 18 ] [ 19 ]

チェラスは行為の論理にも影響力のある貢献をした。「行為の論理における時間と様相」において、彼はいわゆるSTIT（「sees to it that（それを実現する）」）演算子の時間的および様相的側面と、それらの分岐時間意味論との相互作用を研究した。[ 5 ]その後の義務論的論理と行為の論理に関する研究では、see-to-it-that（それを実現する）を表す「cstit」演算子が、チェラスが1969年の博士論文で導入した概念に明確に由来していることが示唆されている。[ 20 ]

彼はクリステル・ゼーゲルベルクと共に、非正規様相論理と近傍意味論をさらに発展させ、特に「マッキントッシュ規則による様相論理」と「S1近傍における様相論理」を著した。[ 10 ] [ 21 ]これらの論文は、非正規様相システムとルイス型様相システムに関する文献の標準的な参考文献となっている。[ 22 ] [ 23 ]

チェラスの教科書『様相論理入門』（1980年）は、現代様相論理の入門書として広く使われており、正規システムと非正規システム、完全性と決定可能性の結果、義務論理と条件付き論理への応用などを扱っています。[ 24 ] [ 4 ]哲学とコンピュータサイエンスの両方で標準的な参考書となっています。[ 25 ] [ 26 ]

私生活

死亡記事によると、チェラスはメリー・チェラスと結婚しており、脚本家兼監督のセミ・チェラスという娘が一人いたという。[ 2 ] [ 11 ] [ 27 ] [ 28 ]

選定された出版物

  • 命令形の論理形式（博士論文、スタンフォード大学、1969年）。[ 1 ] [ 5 ]
  • 「命令法」、テオリア37（2）（1971）：114-129。[ 7 ]
  • 「関連性の概念：ルブラン論文へのコメント」『哲学論理学ジャーナル』 1(3-4)(1972):287-293. [ 8 ]
  • 「条件付き義務」、Sören Stenlund (編)、Logical Theory and Semantic Analysis (Dordrecht: D. Reidel、1974)、23 ～ 45。[ 9 ]
  • 「基本条件論理」哲学論理学ジャーナル4(2)(1975):133-153. [ 13 ]
  • 様相論理学入門（ケンブリッジ大学出版局、1980年）。[ 24 ]
  • 「行為の論理における時間と様相」スタディア・ロジカ51(3–4)(1992):485–517. [ 5 ]
  • 「マッキントッシュ規則による様相論理」（クリスター・ゼーガーバーグとの共著）『哲学論理学ジャーナル』 23(1)(1994):67-86. [ 10 ]
  • 「それをもたらすことについて」哲学論理学ジャーナル24(6)(1995):563-571. [ 29 ]
  • 「S1近傍の様相論理」（クリステル・ゼーガーバーグと共著）ノートルダム形式論理ジャーナル37（1）（1996）：1–24。[ 21 ]

参照

参考文献

  1. ^ a b c「ブライアン・ファレル・チェラス」。数学系譜プロジェクト。アメリカ数学会。 2025年12月2日閲覧。
  2. ^ a b c d e "ブライアン・ファレル・チェラスの死亡記事" .マッキニス＆ハロウェイ葬儀場。カルガリー。2025 年12 月 2 日に取得。
  3. ^ a b「Who's Who in Academia – University of Calgary」 AcademicKeys.com . Academic Keys . 2025年12月2日閲覧。
  4. ^ a bマキンソン、デイヴィッド (1981). 「ブライアン・F・チェラス著『様相論理学入門』のレビュー」.シンボリックロジックジャーナル. 46 (3): 670– 672. doi : 10.2307/2273470 .
  5. ^ a b c d e fチェラス、ブライアン・F. (1992). 「行為の論理における時間と様相」.スタディ・ロジカ. 51 ( 3–4 ): 485–517 . doi : 10.1007/BF01028972 .
  6. ^ 「評議員会議録、教員任命 – 1973年9月14日」(PDF)ペンシルバニア大学、1973年9月14日。 2025年12月2日閲覧。
  7. ^ a b cチェラス, ブライアン・F. (1971). 「命令法」. Theoria . 37 (2): 114– 129. doi : 10.1111/j.1755-2567.1971.tb00064.x .
  8. ^ a bチェラス、ブライアン・F. (1972). 「関連性の概念：ルブラン論文へのコメント」『哲学論理学ジャーナル』1 ( 3–4 ): 287– 293. doi : 10.1007/BF00255562 .
  9. ^ a b cチェラス、ブライアン F. (1974)。 「条件付き義務」。 Stenlund、Sören (編)。条件付き義務。ライブラリを合成します。 Vol. 63.ドルドレヒト：D.ライデル。23～ 45ページ 。
  10. ^ a b cチェラス, ブライアン・F.; シーガーバーグ, クリスター (1994). 「マッキントッシュ規則による様相論理」.哲学論理ジャーナル. 23 (1): 67– 86. doi : 10.1007/BF01417958 .
  11. ^ a b “ブライアン・チェラスの訃報” .レガシー.com。ニューヨークタイムズ。 2023 年 3 月 7 日。2025 年12 月 2 日に取得。
  12. ^ Vranas, Peter BM (2013). 「命法、論理」 . 『哲学百科事典』（第2版） . マクミラン. 2025年12月2日閲覧。
  13. ^ a bチェラス、ブライアン・F. (1975). 「基本条件論理」.哲学論理ジャーナル. 4 (2): 133– 153. doi : 10.1007/BF00693270 .
  14. ^ Wansing, Heinrich (2019). 「連結条件論理 パートI」.論理と論理哲学. 28 (3): 417– 455. doi : 10.12775/LLP.2018.018 .
  15. ^ Wansing, Heinrich (2020). 「連結論理」 . Zalta, Edward N. (編).スタンフォード哲学百科事典. 2025年12月2日閲覧。
  16. ^ Surendonk, Timothy J. (2001). 「偶数公理を持つ内包論理の正準性」. Journal of Symbolic Logic . 66 (3): 1141– 1156. doi : 10.2307/2695098 .
  17. ^ Vorobej, Markus I. (1986). 「条件付き義務と分離」. Canadian Journal of Philosophy . 16 (4): 747– 766. doi : 10.1080/00455091.1986.10716308 .
  18. ^ホーティ、ジョン (2014). 「義務的法助動詞：なぜ古典的意味論を放棄するのか？」パシフィック・フィロソフィカル・クォータリー. 95 (4): 424– 460. doi : 10.1111/papq.12044 .
  19. ^マクナマラ、ポール (2022). 「義務論的論理」ザルタ、エドワード・N. (編).スタンフォード哲学百科事典. 2025年12月2日閲覧。
  20. ^ Arkoudas, Konstantine; Bringsjord, Selmer (2005). 「機械化された義務論的論理による倫理的ロボットの実現に向けて」(PDF) . AAAI Fall Symposium on Machine Ethics Proceedings . pp.  17– 23. 2025年12月2日閲覧.
  21. ^ a b Chellas, Brian F.; Segerberg, Krister (1996). 「S1近傍における様相論理」. Notre Dame Journal of Formal Logic . 37 (1): 1– 24. doi : 10.1305/ndjfl/1040067312 .
  22. ^ Girle, Rodney A. (2007). 「S0.9とS1の近傍」.コンピュータサイエンス講義ノート. 4481 : 147–160 . doi : 10.1007/978-3-540-73099-6_11 .
  23. ^ Schurz, Gerhard (2006). Jacquette, Dale (編). 「アレティック様相論理と意味論」. Companion to Philosophical Logic . Blackwell: 541– 573.
  24. ^ a bブライアン・F・チェラス（1980年）『様相論理入門』ケンブリッジ大学出版局、ISBN 0-521-29515-7。
  25. ^スミス、ピーター（2023年6月14日）「基本様相論理の学習ガイド」Logic Matters。2025年12月2日閲覧。
  26. ^ Surendonk, Timothy J. (2001). 「偶数公理を持つ内包論理の正準性」. Journal of Symbolic Logic . 66 (3): 1141– 1156.この論文は、ブライアン・チェラス [2] によって導入された近傍正準性の概念を考察しています。[2] は、様相論理入門です。
  27. ^ “ブライアン・ファレル・チェラスの訃報” .サラソタ・ヘラルド・トリビューン。2025 年12 月 2 日に取得。
  28. ^ 「Semi Chellas – Green Door (short) credits」 IMDb 2025年12月2日閲覧。
  29. ^チェラス、ブライアン・F. (1995). 「それをもたらすことについて」.哲学論理ジャーナル. 24 (6): 563– 571. doi : 10.1007/BF01306966 .
「 https://en.wikipedia.org/w/index.php?title=Brian_Chellas&oldid=1331469131」より取得