グレゴリー・チャイティン(Gregory "Greg" J. Chaitin, 1947年 - )は、アルゼンチン出身、アメリカ在住の数学者、コンピュータ科学者。1960年代に情報理論の分野に、ゲーデルの不完全性定理とよく似た現象を見いだす。

ソール・アーロン・クリプキ (Saul Aaron Kripke、1940年11月13日 - 2022年9月15日)は、アメリカの哲学者、論理学者。ニューヨーク市立大学大学院センター教授、プリンストン大学名誉教授。ネブラスカ州オマハ生まれ。ユダヤ人。

ポール・ベナセラフ (Paul Benacerraf, 1931年–) は、アメリカ合衆国の哲学者。現代の数学の哲学を代表する研究者の一人。

サハロン・シェラハ(ヘブライ語名：、英語名: Saharon Shelah, 1945年7月3日 - )は、イスラエルの数学者、論理学者。エルサレム出身。日本では「シェラー」あるいは「シェラーハ」と表記されることもある。

マイケル・ラビン(Michael Oser Rabin、1931年9月1日 - )は、著名な計算機科学者であり、その分野で最も権威のあるチューリング賞を受賞した。

ロトフィ・アスカー・ザデー(Lotfi Asker Zadeh、本名：ロトフィー・アリーアスキャルザーデ(ペルシア語: لطفی علی‌عسکرزاده Loṭfī ʿAlī-ʿAskar-Zāde)、...

エイヴラム・ノーム・チョムスキー(、1928年12月7日 - )は、アメリカ合衆国の哲学者、言語哲学者、言語学者、認知科学者、論理学者。マサチューセッツ工科大学の言語学および言語哲学の研究所教授 () 兼名誉教授。妻は言語学者・教育学者のキャロル・チョムスキー(2008年死没)。

ポール・リチャード・ハルモス(、、1916年3月3日 - 2006年10月2日)はとして生れたアメリカの数学者。数理論理学、確率論、統計学、作用素論、エルゴード理論、関数解析学(特にヒルベルト空間論)に基礎的な貢献をした。

アレクサンドル・セルゲーエヴィチ・エセーニン＝ヴォーリピン(ロシア語： ［アリクサーンドル・スィルギェーイェヴィチ・イスェーニン＝ヴォールィピン］ ラテン文字表記の例：Alexander Sergeyevich Esenin-Volpin, 1924年5月12日 - 2016年3月16日...

レイモンド・メリル・スマリヤン(Raymond Merrill Smullyan、1919年5月25日 - 2017年2月6日)は、アメリカ合衆国の数学者、ピアニスト、論理学者、老荘哲学者、奇術師。ニューヨーク市のFar Rockawayに生れる。最初は奇術師をしていた。

ヨハネス・フランシスカス・アブラハム・カレル・ファン・ベンタム(Johannes Franciscus Abraham Karel van Benthem、1949年6月12日 - )は、オランダの論理学者。

ジャン＝イヴ・ベジオ(, 1965年1月15日 - )は、論理学者。フランスのオルレアン出身。Brazilian Research Council - CNPq - (Federal University of Ceara, Brazil)の教授および研究者である。

ジャン＝イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。

ヤーッコ・ヒンティッカ (Jaakko Hintikka、1929年1月12日 - 2015年8月12日) はフィンランドの哲学者、論理学者である。

マイケル・ダメット(Sir Michael Anthony Eardley Dummett F.B.A., D. Litt、1925年6月27日 - 2011年12月27日)は、イギリスの哲学者。

ゲオルク・ヘンリク・フォン・ウリクト(Georg Henrik von Wright、 、1916年6月14日 - 2003年6月16日)は、フィンランドの哲学者。

パトリック・サップス(、1922年3月17日 - 2014年11月17日)は、アメリカ合衆国の哲学者。オクラホマ州タルサ出身。科学哲学、測定理論等に大きな貢献を残し、量子力学、決定理論、心理学、教育工学等を創始した。スタンフォード大学の哲学の名誉教授。

ピーター・ヘンリー・ジョージ・アクゼル(Peter Henry George Aczel, 1941年10月31日 - 2023年8月1日) は、英国の数理論理学者、計算機科学者。マンチェスター大学数学・計算機科学部名誉教授だった。

エウド・フルショフスキー(Ehud Hrushovski, 1959年9月30日 - )は、イスラエルの論理学者。ヘブライ大学教授。

ゲオルク・クライゼル(Georg Kreisel, 1923年9月15日 - 2015年3月1日)はオーストリア出身で主にイギリスとアメリカで活躍した論理学者、数学者。第二次世界大戦後の証明論および構成的数学の研究をリードした一人に数えられる。