George Boole
論理学には古い歴史があるが、19世紀にジョージ・ブールらにより数理論理学的な形式化がおこなわれた。さらに、チャールズ・サンダース・パースは、後にクロード・シャノンが"A Symbolic Analysis of Relay and Switching Circuits"で形式化した、論理演算を機械的に遂行する可能性について指摘している。彼らは哲学についても考察したが、数理論理的な成果そのものは理論的・工学的なもので、哲学的なものではない。