ジョン・バーワイズ

ケネス・ジョン・バーワイズ（/ ˈ b ɑːr w aɪ z / ; 1942年6月29日 - 2000年3月5日）^[1]は、アメリカの数学者、哲学者、論理学者であり、論理の理解と使用方法にいくつかの根本的な改訂を提案した。

教育とキャリア

彼はミズーリ州インディペンデンスで、ケネス・T・バーワイズとエブリン・バーワイズの息子として生まれた。

スタンフォード大学でソロモン・フェファーマンに師事したバーワイズは、無限論理の研究を始めた。エール大学とウィスコンシン大学で助教授を務めた後、自然言語に興味を持ち、1983年にスタンフォード大学に戻り、言語情報研究センター（CSLI）の所長となった。 1990年にインディアナ大学で教鞭をとり始めた。 1999年にアメリカ芸術科学アカデミーの会員に選出された。^[2]

最後の年に、バーワイズは2000年のゲーデル講演に招かれたが、講演前に亡くなった。^[3]

哲学的かつ論理的な作品

バーワイズは、命題が立てられた文脈、つまり状況を明確にすることで、論理の適用における多くの問題を排除できると主張した。彼は、意味と推論を情報の一般理論の範囲内で理解しようとした。この理論は、自然言語または形式言語の文と文間の関係の領域から私たちを外へ連れ出すものである。特に、彼はそのようなアプローチが嘘つきのパラドックスを解決すると主張した。彼は、推論の「悪循環」を理解するために、ピーター・アチェルの非根拠集合論を利用した。

バーワイズは、スタンフォード大学時代の同僚ジョン・エチェメンディとともに、人気の論理学教科書『言語、証明、論理』の著者である。 1975年頃の数理論理学の最新動向を概説した『数理論理学ハンドブック』の編集者でもあったが、この作品は初等論理学を対象としている。このテキストは、コンピュータ支援による宿題問題が含まれていることで有名で、その一部は論理問題の視覚的表現を提供している。スタンフォード大学在学中、彼はまた、認知、言語、論理、計算の関係に焦点を当てた学部間学位プログラムであるシンボリックシステムプログラムの初代ディレクターを務めた。シンボリックシステムプログラムへの顕著な貢献に対して、2001年以来定期的にK・ジョン・バーワイズ賞が授与されている。 ^[4]

主な出版物

バーワイズ、KJ (1975)許容集合と構造。定義可能性理論へのアプローチ ISBN 0-387-07451-1
バーワイズ、KJ &ペリー、ジョン（1983）状況と態度。ケンブリッジ：MITプレス。ISBN 1-57586-193-3 ^[5]
バーワイズ、KJ & エチェメンディ、J. (1987)嘘つき：真実と循環性に関するエッセイ ISBN 0-19-505944-1 ^[6]
バーワイズ、KJ (1988)論理における状況 ISBN 0-937073-32-6
バーワイズ、KJ & モス、L. (1996)悪循環。根拠のない現象の数学について ISBN 1-57586-008-2 ^[7]
バーワイズ、K、J. & セリグマン、J. (1997)情報フロー：分散システムのロジック ISBN 0-521-58386-1
バーワイズ、KJ & エチェメンディ、J. (2002)言語、証明、論理 ISBN 1-57586-374-X
バーワイズ、KJ 編集者 (1977)数理論理学ハンドブックxi+1165 ページISBN 0-7204-2285-X
Barwise, J. & Feferman, S. 編 (1985)モデル理論的論理. x+893 ページISBN 0-387-90936-2

参照

参考文献

^ Walsh, Eileen (2000年3月8日). 「著名な論理学者K. Jon Barwise氏が死去」.スタンフォードニュースサービス. 2016年6月17日時点のオリジナルよりアーカイブ。 2015年3月29日閲覧。
^ 「会員名簿、1780-2010：第B章」（PDF）。アメリカ芸術科学アカデミー。 2011年5月20日閲覧。
^ 「2000 シンボリックロジック協会年次会議」。シンボリックロジック学会誌。6 (3) : 361–396。2000 年。doi : 10.2307/421070。ISSN 1079-8986。JSTOR 421070 。
^ 「K. Jon Barwise Award、Symbolic Systerms Program、スタンフォード大学」。2017年6月15日時点のオリジナルよりアーカイブ。2015年3月29日閲覧。
^ バターフィールド、ジェリー（1986年4月）。「ジョン・バーワイズとジョン・ペリーの『状況と態度』のレビュー」。哲学季刊誌。36（143）：292–296。doi ：10.2307/2219775。JSTOR 2219775。
^ Moss, Lawrence S. (1989). 「The Liarのレビュー：Jon BarwiseとJohn Etchemendyによる真実と循環性に関するエッセイ」(PDF)。Bull. Amer. Math. Soc. (NS)。20 (2): 216–225。doi : 10.1090/S0273-0979-1989-15770-4。
^ Rutten, JJMM (1998). 「Jon Barwise と Larry Moss による Vicious Circles: On the mathematical of non-wellfounded phenomenons のレビュー」(PDF) . Bull. Amer. Math. Soc. (NS) . 35 (1): 69–75. doi : 10.1090/s0273-0979-98-00735-6 .

外部リンク

追悼: ケネス・ジョン・バーワイズソロモン・フェファーマン著記号論理学紀要第6巻(4) 2000年12月、pp505-8 ( PostScript )
数学系譜プロジェクトの K. ジョン (ケネス) バーワイズ

[1] Walsh, Eileen (2000年3月8日). 「著名な論理学者K. Jon Barwise氏が死去」.スタンフォードニュースサービス. 2016年6月17日時点のオリジナルよりアーカイブ。 2015年3月29日閲覧。

[AAAS-2] 「会員名簿、1780-2010：第B章」（PDF）。アメリカ芸術科学アカデミー。 2011年5月20日閲覧。

[3] 「2000 シンボリックロジック協会年次会議」。シンボリックロジック学会誌。6 (3) : 361–396。2000 年。doi : 10.2307/421070。ISSN 1079-8986。JSTOR 421070 。

[4] 「K. Jon Barwise Award、Symbolic Systerms Program、スタンフォード大学」。2017年6月15日時点のオリジナルよりアーカイブ。2015年3月29日閲覧。

[5] バターフィールド、ジェリー（1986年4月）。「ジョン・バーワイズとジョン・ペリーの『状況と態度』のレビュー」。哲学季刊誌。36（143）：292–296。doi ：10.2307/2219775。JSTOR 2219775。

[6] Moss, Lawrence S. (1989). 「The Liarのレビュー：Jon BarwiseとJohn Etchemendyによる真実と循環性に関するエッセイ」(PDF)。Bull. Amer. Math. Soc. (NS)。20 (2): 216–225。doi : 10.1090/S0273-0979-1989-15770-4。

[7] Rutten, JJMM (1998). 「Jon Barwise と Larry Moss による Vicious Circles: On the mathematical of non-wellfounded phenomenons のレビュー」(PDF) . Bull. Amer. Math. Soc. (NS) . 35 (1): 69–75. doi : 10.1090/s0273-0979-98-00735-6 .