fuguja.com
知識ベース

ジョン・レーン・ベル

ジョンレーンベル FRSC（1945年3月25日生まれ）は、カナダの哲学者および論理学者です。彼はカナダの西オンタリオ大学の哲学教授です。彼は数学的論理と哲学に貢献し、多くの本の著者です。彼の研究には、集合論、モデル理論、格子理論、モード論理、量子論理、建設数学、型理論、トポス理論、無限小解析、時空理論、数学哲学などのトピックが含まれています。彼は70以上の記事と11冊の本の著者です。 2009年、彼はカナダ王立協会のフェローに選出されました。

経歴

ジョン・ベルは15歳でオックスフォード大学に奨学金を授与され、D。フィルで卒業しました。数学：彼の論文の監督者はジョン・クロスリーでした。 1968年から89年にかけて、ロンドン経済学部で数学の講師を務め、数理論理学のリーダーを務めました。

ジョン・ベルの学生には、グラハム・プリースト（Ph.D. Mathematics LSE、1972）、マイケル・ハレット（Ph.D. Philosophy LSE、1979）、デビッド・デビディ（Ph.D. Philosophy UWO、1994）、エレイン・ランドリー（Ph.D. Philosophy UWO、1997）およびRichard Feist（Ph.D. Philosophy UWO、1999）。

書誌

本

  • 直観論的集合論 。大学出版物、2013。
  • 集合論：ブール値モデルと独立証明オックスフォード大学出版局2011。
  • 選択の公理 。カレッジ出版物、2009。
  • 数学と哲学における連続性と無限性 。 Polimetrica、2005年。
  • （D. DeVidiおよびG. Solomonと） 論理オプション：古典的および代替ロジックの紹介 。 Broadview Press、2001年。
  • 知性の芸術：概念開発における数学の初歩調査 。 Kluwer、1999。
  • 無限小解析の入門書 。ケンブリッジ大学出版局、1998年。第2版、2008年。
  • Toposes＆Local Set Theories：An Introduction 。クラレンドンプレス、オックスフォード、1988年。ドーバー、2008年に転載。
  • 集合論におけるブール値モデルと独立証明クラレンドンプレス、オックスフォード、1977年。第2版、1985年。第3版、2005年。
  • （M. Machoverと）。 数学論理のコース 。北ホラント、アムステルダム、1977年。第4回印刷、2003年。
  • （ABスロムソンと）。 モデルとウルトラプロダクト：はじめに北オランダ、アムステルダム、1969年。ドーバー、2006年に転載。

ジャーナル記事

  • 数学の基礎のボリュームでは今後の数学、ジョヴァンニSommaruga、EDの基礎で選択公理。、ウェスタンオンタリオシリーズの大学、スプリンガー
  • 凝集性、 Intellectica 、41、2009。
  • タイプ、セット、カテゴリ、 ロジックのハンドブック （エルゼビア）、近日公開。
  • Hermann Weyl、 スタンフォード哲学百科事典 、2009
  • 「選択の公理と弱集合理論における排除された中間の法則」、 Mathematical Logic Quarterly 、54、no。 2、2008。
  • 「選択の公理」、 スタンフォード哲学百科事典 、2008年。
  • 「数学の哲学：5つの質問」への貢献、V。ヘンドリックスとH.レイトゲブ編、自動プレス、2007年。
  • 「一般的な設定の不完全さ」。 シンボリックロジック速報13、2007 。
  • 「カバースキーム、フレーム値セット、およびそれらの時空物理学における潜在的な使用」。 時空物理学研究動向、世界物理学の地平線 、第248巻、Nova Science Publishers、ニューヨーク、2007年。
  • 「宇宙論と創造者の存在の問題」。 宗教と科学の課題 、Ashgate Publishers、2007年。
  • 「カテゴリ理論の抽象および変数セット」。 カテゴリ理論とは 、Polimetrica、2006年。
  • 「19世紀および20世紀初頭の数学と哲学における連続体の多様な概念」。 Axiomathes 15、2005 。
  • 「カテゴリー論理の開発」、 哲学論理ハンドブック 、第12巻。Springer、2005年。
  • 「連続性と無限小」。 スタンフォード哲学百科事典 、2005年。
  • 「直観主義的集合論の選択原則」、 哲学への論理的アプローチ、グラハム・ソロモン、D。デビディおよびT.ケニヨンの編著、エッセイ 、スプリンガー、2006年。
  • 「数学と哲学における対立とパラドックス。」 Axiomathes 15、2005 。
  • 「数学の観察」、「 数学としての物語 」、2003 Fields Institute Conferenceの議事録、UWO、2004年。
  • 数学の全体と一部。 Axiomathes 14、2004 。
  • （Geoffrey Hellmanと）「多元主義と数学の基礎」。 科学的多元主義に関するワークショップの議事録、ミネソタ大学、2002年。ミネソタ大学出版局、2006年。
  • 「Zornの補題のいくつかの新しい直観主義的等価物」、 数学的論理のアーカイブ 、42、Number 8、2003 。
  • 「ラッセルのパラドックスと建設的文脈における対角化」、 ラッセルのパラドックスの100年 、ミュンヘン2001年、ウォルターデグルイター、2004年。
  • 「ハーマン・ワイルの後期哲学的見解： フッサールとの相違」、 フッサールと科学 、R。フェイスト編U. of Ottawa Press、2003年。
  • 「カテゴリー論理の開発」、 哲学論理ハンドブック 、第12巻。Springer、2005年。
  • 「ゲーデルの宇宙における時間と因果関係」、 超越哲学 3、2002年。
  • 「カテゴリー理論の観察」、 公理12、2001
  • 「滑らかな無限小解析の連続体」。 対掌体の再結合-連続体の構成的および非標準的ビュー Symposion Proceedings、San Servolo / Venice、Italy、1999. U. Berger、H. Osswald and P. Schuster、eds。 Kluwer、2001。
  • 「継続性と知覚の論理」、 超越哲学 1、no。 2、2000。
  • 「直観と連続体に関するヘルマン・ワイル」、 Philosophia Mathematica （3）、8、2000。
  • 「セットとクラスを多くとして」、 Journal of Philosophical Logic 、 29、2000 。
  • 「Infinitary Logic」、 スタンフォード哲学百科事典 、2000
  • 「Finite Sets and Frege Structures」、 Journal of Symbolic Logic 、64、no。 4,1999。
  • 「建設的な設定におけるフレーゲの定理」、 Journal of Symbolic Logic 、64、no。 2、1999。
  • 「ブール代数と分配的格子は建設的に扱われる」、 Math。 Logic Quarterly 45、1999 。
  • 「ブール代数」、 Routledge Philosophy of Philosophy 、1998
  • 「直観型型理論におけるZornの補題と完全なブール代数」、 Journal of Symbolic Logic 62、no。 4、1997。
  • （S. Gebellatoと）「ToposのPrecovers、モダリティ、および普遍的な閉鎖演算子」、 数学。 Logic Quarterly 42、1996 。
  • 「ポリモーダルラティスとポリモーダルロジック」、 Math。 Logic Quarterly 42、1996 。
  • （W. Demopoulosと共に）「基本命題と独立」、 Notre Dame Journal of Formal Logic 、37、no。 1、1996。
  • 「Kochen-Speckerの定理に関する論理的考察」、 量子現実に関する展望 、R。Clifton、編、Kluwer、1996年。
  • （R.Clifton†を使用）「量子力学における準ブール代数と同時確定的性質」、 Int。 Journal of Theoretical Physics 、 34、12、1995 。
  • 「Infinitesimals and the Continuum」、 Mathematical Intelligencer 、17、no。 2、1995。
  • 「型を削減する対応と適切な順序：フレーゲとツェルメロの構造の再検討」、 Journal of Symbolic Logic 、60、no。 1、1995。
  • 「フレーゲの定理とゼルメロ・ブルバキの補題」。 Frege's Philosophy of Mathematicsの付録、W。Demopoulos、ed。ハーバードUP、1995
  • 「一次理論のフレーガン拡張」、 数学。 Logic Quarterly 、40、1994。（W。Demopoulos、ed。Frege's Philosophy of Mathematics、ハーバードUP 1995でも転載）
  • 「直観主義型理論におけるヒルベルトのイプシロン演算子」、 数学。 Logic Quarterly 、 39、1993 。
  • （with W. Demopoulos）「フレジェの概念とオブジェクトの理論と二次論理の解釈」、 Philosophia Mathematica 、（3）、1、1993。
  • 「ヒルベルトのイプシロン演算子と古典論理」、 Journal of Philosophical Logic 、 22、1993 。
  • 「ブール代数のシコルスキー拡張定理に相当するいくつかの命題」、 Fundamenta Mathematicae 130（1988）。
  • 「Infinitesimals」、 Synthese 、 75、1988
  • 「論理、逆説、数学の基礎」、 LSE Quarterly Vol.I、No.3、1987
  • 「絶対数学からローカル数学へ」、 シンセ69、1986
  • 「量子論理への新しいアプローチ」、 Br。 J.フィロス。科学 、37、1986。
  • 「Orthospaces and Quantum Logic」、 Foundations of Physics 15、1985。
  • 「オルソロジー、強制、属性の明示」、 1981 SE Asian Conference in Mathematical Logicの議事録 。北ホラント、アムステルダム、1983年。
  • 「ブール代数のシコルスキー拡張定理の強さ」、 Journal of Symbolic Logic 48、1983。
  • （MFハレットと）、「論理、量子論理、経験主義」、 科学哲学 49、1982年。
  • 「カテゴリ、ポーズとセット」、 Synthese 、51、No.3、1982年。
  • 「トポスの定数オブジェクトのサブオブジェクトのカテゴリのいくつかの側面」、 Journal of Pure and Applied Algebra 24、1982
  • 「カテゴリー理論と数学の基礎」、 Brit.J.Phil.Sci。 32、1981。
  • 「S-Toposesの構造の同型」、 Journal of Symbolic Logic 、46、1981年。
  • 「 取り戻された無限の過去： ホイットローへの返信」、 ブリット・J・フィル・サイ科学 、1979
  • 「Toposesとしてのブール拡張」、 Bull。デラソクフランセーズ・ド・ロジケ、メソドロジー、フィル・デ・サイ6、1979。
  • 「ZFC + V = Lの数え切れない標準モデル」、 集合論と階層理論、Andrzej Mostowskiへの記念オマージュ 、数学のスプリンガー講演ノート。 537,1976。
  • 「ジェネリックウルトラフィルターに関する注意事項」、 Zeitschr。 f。 Math.Logik und Grund.der Math。 22、1976。
  • 「ユニバーサル完全ブール代数と枢機Col崩壊」、 Zeitsch。 f。 Math.Logik und Grund数学 22、1976。
  • 「ユニバーサル完全ブール代数の特性化」、 J。London Math.Soc。 （2）、12、1975。
  • 「コンパクトカーディナルズ」、 Zeitschr.f。 Math.Logik und Grund.der Math。 20.1974。
  • （DHフレムリン使用）、「選択の公理の幾何学的形態」、 基金。数学。 LXXVII、1972。
  • （DHフレムリンと）、「集合の格子の最大理想定理」、 Bull。ロンドン数学。 Soc。 、4、1972。
  • 「弱いコンパクトさと制限された二次言語との関係について」、 Arch。数学。 Logik 15、1972 。
  • 「現在の数学的実践に関するいくつかの発言」、1971年、デンマークのバートランド・ラッセル記念論理会議の議事録 。
  • （F.ジェレットと）。 「ブールプライム理想定理と機能分析の2つの原則との関係について」、 Bull。 de l'Acad。ポルデサイ 、XIX、No.3、1971年。
  • 「制限された2次言語のコンパクトさの弱さ」、 Bull。 de l'Acad。ポルデサイ 、No.3、1970年。
カテゴリ: