科学史
紀元前3000年ころから古代エジプトやメソポタミアで文明がおこる。メソポタミアのシュメール人は紀元前3100年には文字を発明し、神殿を中心とした国家を形成した。そして労働力・財力を集積して管理するため、またピラミッドやジッグラトといった巨大建築物を建設するために、正確な測量技術および数学の発展が起こる。神事・農業を行うために暦の作成が始まり天文学が発達する。同じころインダス文明、黄河文明、長江文明などが発達する。さらに医療の発達もこのころから見られ、メソポタミアでは紀元前3000年、エジプトでは紀元前2000年に内科、外科、皮膚科などに分類されて症例に関する記録が文献に残されるようになった。ただしこのころの医療は神事や呪術と深くつながったものであり、占星術や儀式の要素が大きかった。
論理学の歴史
現代論理学は、ブールを起源としパース、ジェヴォンズ、シュレーダー、を含むいわゆる「代数学派」に始まる。彼らの目的はクラス、命題、確率の領域で推論を形式的に表せるように計算を発達させることであった。この学派は、1847年に発表されとても強い影響力を及ぼしたブールの作品『論理学の数学的分析』(英:Mathematical Analysis of Logic)とともに始まったが、ごく近い先駆者としてド・モルガン(1847年)がある。ブールの体系の基本的な発想は、代数学数式は論理的関係を表すのに使えるというものであった。ブールはこれを10台の頃に思いつき、リンカンの私学校時代に露払いとして用いた。例えば、xとyにクラスを表させ、"="にクラスが同じ成員を持つことを表させ、xyにxとyの全ての成員を、そしてxとyの成員だけを表させ、等々。ブールはこれらを「選択記号」すなわち考察するためにある対象を選択する記号、と呼んだ。選択的記号が用いられた表現は「選択函数」と呼ばれ、選択的函数を含む方程式は「選択方程式」である。選択函数の理論と選択函数の「発展」は、真理函数とその加法標準形による表現という本質的に現代的な観念である。