ジョージ・ブール(George Boole, 1815年11月2日 - 1864年12月8日)は、イギリスの数学者・哲学者。多くの実績があるが、コンピュータ科学の分野の基礎的な理論のひとつであるブール代数(ブール論理)が現代では広く知られている。

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

オーガスタス・ド・モルガン(, 1806年6月27日 - 1871年3月18日)は、インド生まれのイギリスの数学者、論理学者。ド・モルガンの法則の発案や数学的帰納法の定式化を行った。

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

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

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

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

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

エルンスト・ツェルメロ(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日)はスイスの数学者・論理学者。ロンドンに生まれ、ベルリン大学およびゲッティンゲン大学で学ぶ。

トアルフ・スコーレム(Albert Thoralf Skolem 、1887年5月23日 - 1963年3月23日)は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。数理論理学、数学基礎論で重要な発見をしている。

ヤン・ウカシェヴィチ(、1878年12月21日 - 1956年2月13日)はポーランドの論理学者、哲学者。

タデウシュ・コタルビンスキ(Tadeusz Kotarbiński, 1886年3月31日–1981年10月3日)はポーランドの哲学者、論理学者、倫理学者。

オゴンチクの騎士カジミェシュ・イェジ・スクシプナ＝トヴァルドフスキ(、 1866年10月20日 - 1938年2月11日)はポーランドの哲学者。