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

アラン・マシスン・チューリング(Alan Mathison Turing、〔音写の一例：テュァリング〕, 1912年6月23日 - 1954年6月7日)は、イギリスの数学者、暗号研究者、計算機科学者、哲学者である。日本語において、姓の はテューリングとも表記される。

ジョン・ベン(ジョン・ヴェン、John Venn FRS、1834年8月4日 - 1923年4月4日)は、イギリスの論理学者・哲学者。ベン図の考案者として知られ、その成果は集合論、確率、論理学、統計学、計算機科学をはじめ、様々な分野で利用されている。ジョン・ベンのサイン

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

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

ジュゼッペ・ペアノ(ペアーノ、、:、:, 1858年8月27日 – 1932年4月20日)は、イタリアの数学者、言語学者。自然数の公理系 (ペアノの公理)、ペアノ曲線、存在記号、包含記号の考案者として知られる。

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

アレン・ハイティング(Arend Heyting、1898年5月9日 - 1980年7月9日)は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。

ライツェン・エヒベルトゥス・ヤン・ブラウワー(Luitzen Egbertus Jan Brouwer、1881年2月27日 - 1966年12月2日)はオランダの数学者。ブラウエル、ブローウェルなどとも表記される。

バスティアーン・コルネリス・ファン・フラーセン(Bastiaan Cornelis van Fraassen、1941年4月5日 - )は、アメリカ合衆国の科学哲学者。プリンストン大学名誉教授で、現在はサンフランシスコ州立大学教授。

アレキサンダー・ケクリス(Alexander S. Kechris, 1946年5月23日 - )はギリシャの論理学者。カリフォルニア工科大学教授。1969年にアテネ国立工科大学電気機械工学科を卒業、1972年にカリフォルニア大学ロサンゼルス校で数学の博士号を取得。

ペール・エリック・ルトガー・マルティン=レーフ(Per Erik Rutger Martin-Löf(; ; ), 1942年5月8日 - )は、スウェーデンの論理学者・哲学者・数理統計学者。

フョードル・イポリトビッチ・シチェルバツコイ、(、 、、1866年10月1日 - 1942年3月12日)は、ロシアのインド学者。西洋における仏教および仏教哲学の研究機関の設立に貢献した。

アレクサンドル・ジノビエフ(、、1922年10月29日 - 2006年5月10日)は、ロシアの論理学者・社会学者・作家および風刺作家。モスクワ大学教授、論理学の部長を務めた。

ヴィルヘルム・アッカーマン(Wilhelm Friedrich Ackermann, 1896年3月29日 - 1962年12月24日)はドイツの数学者。計算理論での重要な例の一つであるアッカーマン関数を考案した。

ゲルハルト・カール・エーリヒ・ゲンツェン(, 1909年11月24日 - 1945年8月4日)はドイツの論理学者・数学者。ヘルマン・ワイルとパウル・ベルナイスの弟子。ゲッティンゲン大学でワイルに学び、1934年に学位を取得。プラハ大学で講師となる。

エルンスト・ツェルメロ(Ernst Friedrich Ferdinand Zermelo 、1871年7月27日 ベルリン – 1953年5月21日 フライブルク)は、ドイツの数学者・論理学者。特に集合論に業績を残した。

フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ(Friedrich Ludwig Gottlob Frege, 1848年11月8日 - 1925年7月26日)は、ドイツの哲学者、論理学者、数学者。現代の数理論理学、分析哲学の祖とされる。

パウル・ベルナイス(, 1888年10月17日 - 1977年9月18日)はスイスの数学者・論理学者。ロンドンに生まれ、ベルリン大学およびゲッティンゲン大学で学ぶ。

パウル・ローレンツェン(ドイツ語:Paul Lorenzen、1915年3月24日 - 1994年10月1日)は、ドイツ帝国(現:ドイツ)キール出身の哲学者、数学者、論理学者。