Loading article…
記号論理学会（ASL）は、数理論理学と哲学論理学の専門家による国際組織です。ASLは1936年に設立され、初代会長はカート・ジョン・デュカスでした。現在のASL会長はナターシャ・ドブリネンです。[ 1 ]
ASLは書籍と学術誌を出版しています。公式の学術誌は以下の3誌です。
さらに、ASLはスポンサー付きの学術誌を発行しています。
この組織はクルト・ゲーデルの著作集の出版に一役買いました。[ 2 ]
論理学講義ノート[ 3 ]
論理学の展望[ 4 ]
ジョセフ・R・ショーエンフィールド著『数理論理学』[ 5 ]
ゲーデル講演シリーズは、1990年に遡る毎年恒例のASL講演シリーズです。[ 6 ]
第35回ゲーデル講演会（2024年）
トーマス・スキャンロン、『フィールドにおける（非）決定可能性』
第34回ゲーデル講演会（2023年）
カール・ヨックシュ著、「多数の入力に対して成功するアルゴリズムから、距離空間としてのチューリング次数へ」
第33回ゲーデル記念講演（2022年）
パトリシア・ブランシェット著『論理学における形式主義』
第32回ゲーデル講演（2021年）
マシュー・フォーマン、ゲーデル微分同相写像
第31回ゲーデル講演会（2020年）
エリザベス・ブスカレン著「モデル理論における構成の遍在性」
第30回ゲーデル記念講演（2019年）
サム・バス著『全体性、証明可能性、実現可能性』
第29回ゲーデル記念講演会 2018
ロッド・ダウニー、アルゴリズム的ランダム性
第28回ゲーデル記念講演会（2017年）
チャールズ・パーソンズ著『ゲーデルと集合の宇宙』
第27回ゲーデル記念講演会（2016年）
ステボ・トドルチェヴィッチ、集合論における基底問題
第26回ゲーデル記念講演会（2015年）
アレックス・ウィルキー、定義可能な関数の複雑な継続ディオファントス的応用
第25回ゲーデル記念講演会（2014年）
ジュリア・F・ナイト、「計算可能な構造理論と特殊形式の公式」
第24回ゲーデル記念講演会（2013年）
第23回ゲーデル記念講演会（2012年）
ジョン・スティール、「決定性モデルにおける遺伝的に順序付け可能な集合」
第22回ゲーデル記念講演会（2011年）
第21回ゲーデル記念講演会（2010年）
アレクサンダー・ラズボロフ著「命題証明の複雑性」
第20回ゲーデル記念講演会（2009年）
リチャード・ショア著『逆数学：論理の遊び場』
第19回ゲーデル記念講演会（2008年）
W. ヒュー・ウッディン、「連続体仮説、Ω予想、および1つの超コンパクト基数の内部モデル問題」
第18回ゲーデル記念講演会（2007年）
エフド・フルショフスキ（彼の不在中にトーマス・スキャンロンが行った、彼の作品に関する講演）
第17回ゲーデル記念講演会（2006年）
ペル・マルティン＝レーフ著「論理の2つの層」
第16回ゲーデル記念講演会（2005年）
メナヘム・マジドール著、 「一般化論理のためのスコレム＝ローヴェンハイムの定理」
第15回ゲーデル記念講演会（2004年）
マイケル・O・ラビン著『数学における証明、説得、ランダム性』
第14回ゲーデル記念講演会（2003年）
第13回ゲーデル記念講演会（2002年）
ハーヴェイ・フリードマン著『数学の基礎における諸問題』
第12回ゲーデル記念講演会（2001年）
第11回ゲーデル記念講演会（2000年）
ジョン・バーワイズ（講演者の死去により中止）
第10回ゲーデル記念講演会（1999年）
スティーブン・A・クック著、『論理と計算複雑性』
第9回ゲーデル記念講演会（1998年）
アレクサンダー・S・ケクリス著『記述集合論の最新動向』
第8回ゲーデル記念講演会（1997年）
1997年ソロモン・フェファーマン、『ゲーデルへの執着と関心：彼の作品と仕事』
第7回ゲーデル記念講演会（1996年）
1996年サハロン・シェラ、「コンパクト性のないカテゴリー性」
第6回ゲーデル記念講演会（1995年）
1995年レオ・ハリントン著『ゲーデル、ハイデガー、そして直接知覚（あるいは、私が再帰理論家である理由）』
第5回ゲーデル記念講演会（1994年）
1994年ドナルド・A・マーティン、左(右): 調査
第4回ゲーデル記念講演会（1993年）
1993年アンガス・マッキンタイア著『実数解析とp進解析の論理：成果と課題』
第3回ゲーデル記念講演会（1992年）
1992年ジョセフ・R・ショーエンフィールド著『優先権方式』
第2回ゲーデル記念講演会（1991年）
1991年、ダナ・スコット著「論理学者は機械に取って代わられるのか？」
第1回ゲーデル記念講演会（1990年）
1990年ロナルド・ジェンセン、『インナーモデルと大きなカーディナル』
ASLは毎年、北米とヨーロッパ（後者は論理学コロキウムとして知られている）でそれぞれ1回ずつ、計2回の主要な会議を開催している。さらに、ASLはアメリカ数学会（AMS）およびアメリカ哲学会（APA）と定期的に合同会議を開催し、毎年多くの国で会議を主催している。
同協会は定期的に多数の賞や表彰を授与している。[ 8 ]
カープ賞は、記号論理学の分野における優れた論文または書籍に対して、協会によって5年ごとに授与されます。賞金は現金で、1973年にキャロル・カープ教授を記念して設立されました。[ 9 ]
サックス賞は、数理論理学における最も優れた博士論文に授与される賞です。賞金が授与され、MITとハーバード大学のジェラルド・サックス教授を称えるために1999年に設立されました。
受給者には以下が含まれます: [ 10 ]
2007年に創設されたショーエンフィールド賞は、論理学の分野における優れた解説的著作を表彰し、ジョセフ・R・ショーエンフィールドの名を称えるため、書籍と論文の2つの部門で3年ごとに授与される。[ 11 ]
受賞者は以下の通りです。
