記号論理学協会

記号論理学協会
略語	アメリカ手話
形成	1936
タイプ	学術団体
目的	研究、調査
本部	コネチカット州ストーズ
社長	フォキオン・コライティス
副社長	ナターシャ・ドブリネン
共同書記兼会計	ラッセル・G・ミラー
共同書記兼会計	リード・ソロモン
Webサイト	アスロンオンライン

記号論理学協会（ASL ）は、数理論理学と哲学論理学の専門家の国際組織である。ASLは1936年に設立され、初代会長はカート・ジョン・デュカスであった。ASLの現会長はフォキオン・コライティスである。^[1]

出版物

ASL は書籍や学術雑誌を発行しています。公式雑誌は次の 3 つです。

Journal of Symbolic Logic – 数理論理学のあらゆる分野の研究を発表します。1936 年に創刊、 ISSN 0022-4812。
Bulletin of Symbolic Logic – 主に解説記事とレビューを出版しています。1995 年に設立、ISSN 1079-8986。
Review of Symbolic Logic – 論理、哲学、科学、およびそれらの相互作用に関する研究を発表します。2008 年に設立、ISSN 1755-0203。

さらに、ASL にはスポンサー付きのジャーナルがあります。

Journal of Logic and Analysis は、 数理論理学と純粋解析および応用解析の相互作用に関する研究を発表しています。SpringerジャーナルLogic and Analysisのオープンアクセスの後継として 2009 年に創刊されました。ISSN 1759-9008 。

この組織はクルト・ゲーデルの著作集の出版にも貢献した。^[2]

書籍シリーズ

論理学講義ノート^[3]

論理における視点^[4]

書籍

ジョセフ・R・ショーンフィールド著『数学的論理学』^[5]

ゲーデル講演シリーズ

ゲーデル講演シリーズは1990年から続く毎年恒例のASL講演シリーズです。^[6]

第35回ゲーデル講演会 2024

トーマス・スキャンロン、フィールドにおける（非）決定可能性

第34回ゲーデル講演会 2023

カール・ジョクシュ、大規模な入力セットで成功するアルゴリズムから距離空間としてのチューリング度まで

2022年第33回ゲーデル講演会

パトリシア・ブランシェット『論理における形式主義』

2021年第32回ゲーデル講演会

マシュー・フォアマン、ゲーデル微分同相写像

2020年第31回ゲーデル講演会

エリザベス・ブスカレン、モデル理論における構成の普遍性

第30回ゲーデル講演会 2019

サム・バス、全体性、証明可能性、実現可能性

第29回ゲーデル講演会 2018

ロッド・ダウニー、アルゴリズムのランダム性

第28回ゲーデル講演会 2017

チャールズ・パーソンズ、ゲーデルと集合の宇宙

第27回ゲーデル講演会 2016

ステヴォ・トドルチェビッチ、集合論における基底問題

第26回ゲーデル講演会 2015

Alex Wilkie、ディオファントス応用による関数の複素継続 $\mathbb {R} _{an,exp}$

第25回ゲーデル講演会 2014

ジュリア・F・ナイト、計算可能構造理論と特殊形式の公式

第24回ゲーデル講演会 2013

キット・ファイン、トゥルースメーカー・セマティクス

第23回ゲーデル講演会 2012

ジョン・スティール、決定性モデルにおける遺伝的順序定義可能集合

第22回ゲーデル講演会 2011

アナンド・ピレイ、第一階理論

第21回ゲーデル講演会 2010

アレクサンダー・ラズボロフ、命題証明の複雑さ

第20回ゲーデル講演会 2009

リチャード・ショア『逆数学：論理の遊び場』

第 19 回ゲーデル講演会 2008

W. ヒュー・ウッディン、連続体仮説、$\Omega$ 予想、および 1 つの超コンパクト基数の内部モデル問題

第 18 回ゲーデル講演会 2007

エフード・フルショフスキー（彼の不在時にトーマス・スキャンロンが行った彼の作品に関する講義）

第 17 回ゲーデル講演会 2006

マルティン・レーフ著「論理の2つの層」

第 16 回ゲーデル講演会 2005

メナヘム・マギドール、一般化論理のためのスコーレム・レーヴェンハイムの定理

第 15 回ゲーデル講演会 2004

マイケル・O・ラビン、数学における証明、説得力、ランダム性

第 14 回ゲーデル講演会 2003

ボリス・ジルバー、カテゴリー

第 13 回ゲーデル講演会 2002

ハーヴェイ・フリードマン、数学の基礎における問題

第 12 回ゲーデル講演会 2001

セオドア・A・スラマン、再帰理論

第 11 回ゲーデル講演会 2000

ジョン・バーワイズ（講演者の死去によりキャンセル）

第 10 回ゲーデル講演会 1999

スティーブン・A・クック、論理と計算の複雑さ

第 9 回ゲーデル講演会 1998

アレクサンダー・S・ケクリス、記述的集合論の最新動向

第 8 回ゲーデル講演会 1997

1997ソロモン・フェファーマン、ゲーデルの職業と没頭：彼の作品と仕事

第 7 回ゲーデル講演会 1996

1996サハロン・シェラ、コンパクトさのないカテゴリー性

第 6 回ゲーデル講演会 1995

1995レオ・ハリントン、「ゲーデル、ハイデガー、そして直接知覚（あるいは、なぜ私は再帰理論家なのか）」

第 5 回ゲーデル講演会 1994

1994ドナルド A. マーティン、L(R): 調査

第 4 回ゲーデル講演会 1993

1993アンガス・マッキンタイア、実数およびp進解析の論理：成果と課題

1992 年第 3 回ゲーデル講演会

1992ジョセフ・R・ショーンフィールド、「優先法」

第2回ゲーデル講演会 1991

1991ダナ・スコット、「論理学者は機械に置き換えられるか？」

1990 年第 1 回ゲーデル講演会

1990ロナルド・ジェンセン「内部モデルと大枢機卿」

会議

ASL は毎年 2 つの主要な会議を開催しています。1 つは北米で、もう 1 つはヨーロッパで開催されます (後者はLogic Colloquiumとして知られています)。さらに、ASL はアメリカ数学会(AMS) およびアメリカ哲学会(APA) との合同会議を定期的に開催しており、毎年さまざまな国で会議を後援しています。

大統領一覧

^[7]

受賞歴

協会は定期的に数々の賞や表彰を行っています。^[8]

カープ賞

カープ賞は、記号論理学の分野で優れた論文や著書に対して協会が5年ごとに授与する賞である。賞金は現金で、1973年にキャロル・カープ教授を記念して設立された。^[9]

サックス賞

サックス賞は、数理論理学の分野で最も優れた博士論文に授与される賞です。賞金で構成され、MIT とハーバード大学のジェラルドサックス教授を称えるために 1999 年に設立されました。

受賞者には以下が含まれる: ^[10]

ショーンフィールド賞

2007年に創設されたショーンフィールド賞は、論理学の分野における優れた解説文を表彰し、ジョセフ・R・ショーンフィールドの名を讃えて、書籍と論文の2つの部門で3年ごとに授与される賞である。^[11]

受賞者は次のとおりです:

ゲーデル講演

ゲーデル講演は、1990 年に創設され、協会の年次総会で講演する栄誉を授与するものです。この賞は、クルト・ゲーデルにちなんで名付けられました。

講演者の全リストについては、上記のゲーデル講演シリーズをご覧ください。

参考文献

^ “Council Members, Committees, and Representatives – Association for Symbolic Logic”. Association for Symbolic Logic. 2023年5月4日時点のオリジナルよりアーカイブ。2023年5月4日閲覧。
^ 「Gödel Lecturers – Association for Symbolic Logic」。2019年12月22日時点のオリジナルよりアーカイブ。2019年2月21日閲覧。
^ “Lecture Notes in Logic – Association for Symbolic Logic”. 2024年2月29日時点のオリジナルよりアーカイブ。2024年2月29日閲覧。
^ “Perspectives in Logic – Association for Symbolic Logic”. 2024年2月29日時点のオリジナルよりアーカイブ。2024年2月29日閲覧。
^ “Other Books – Association for Symbolic Logic”. 2024年2月29日時点のオリジナルよりアーカイブ。2024年2月29日閲覧。
^ “Gödel Lecturers – Association for Symbolic Logic”. 2024年2月12日時点のオリジナルよりアーカイブ。2024年2月29日閲覧。
^ “Former Officers – Association for Symbolic Logic”. 2019年12月22日時点のオリジナルよりアーカイブ。2019年9月26日閲覧。
^ 「賞と表彰 – 記号論理協会」。記号論理協会。2019年1月24日時点のオリジナルよりアーカイブ。2019年1月24日閲覧。
^ 「Karp Prize Recipients – Association for Symbolic Logic」。2019年7月22日時点のオリジナルよりアーカイブ。2019年1月24日閲覧。
^ 「サックス賞受賞者 - 記号論理学会」。2019年7月22日時点のオリジナルよりアーカイブ。2019年1月24日閲覧。
^ “Shoenfield Prize Recipients – Association for Symbolic Logic”. 2019年7月22日時点のオリジナルよりアーカイブ。2019年2月21日閲覧。

外部リンク

ASLウェブサイト
記号論理学ジャーナル
記号論理学のレビュー
論理と分析ジャーナル

[1] “Council Members, Committees, and Representatives – Association for Symbolic Logic”. Association for Symbolic Logic. 2023年5月4日時点のオリジナルよりアーカイブ。2023年5月4日閲覧。

[2] 「Gödel Lecturers – Association for Symbolic Logic」。2019年12月22日時点のオリジナルよりアーカイブ。2019年2月21日閲覧。

[3] “Lecture Notes in Logic – Association for Symbolic Logic”. 2024年2月29日時点のオリジナルよりアーカイブ。2024年2月29日閲覧。

[4] “Perspectives in Logic – Association for Symbolic Logic”. 2024年2月29日時点のオリジナルよりアーカイブ。2024年2月29日閲覧。

[5] “Other Books – Association for Symbolic Logic”. 2024年2月29日時点のオリジナルよりアーカイブ。2024年2月29日閲覧。

[6] “Gödel Lecturers – Association for Symbolic Logic”. 2024年2月12日時点のオリジナルよりアーカイブ。2024年2月29日閲覧。

[7] “Former Officers – Association for Symbolic Logic”. 2019年12月22日時点のオリジナルよりアーカイブ。2019年9月26日閲覧。

[8] 「賞と表彰 – 記号論理協会」。記号論理協会。2019年1月24日時点のオリジナルよりアーカイブ。2019年1月24日閲覧。

[9] 「Karp Prize Recipients – Association for Symbolic Logic」。2019年7月22日時点のオリジナルよりアーカイブ。2019年1月24日閲覧。

[10] 「サックス賞受賞者 - 記号論理学会」。2019年7月22日時点のオリジナルよりアーカイブ。2019年1月24日閲覧。

[11] “Shoenfield Prize Recipients – Association for Symbolic Logic”. 2019年7月22日時点のオリジナルよりアーカイブ。2019年2月21日閲覧。