形式科学
形式科学は科学的方法が確立される前に始まった。最も古い数学の資料は紀元前1800年(バビロニア数学)、紀元前1600年(エジプト数学)、紀元前1800年(インドの数学)に遡る。異なる文化の数学者たちは各これらの時から、数学の発展に大いに寄与してきた。一方、遠く離れた日本や中国では、それぞれ独自の数学的伝統が発達してきた。
形式科学の最古の分野の一つとして、数学の他に論理学がある。論理学は、推論の方法の明確な解析として3か所に起源を持ち、持続的な発達をした。紀元前6世紀のインド、紀元前5世紀の中国、紀元前4世紀から紀元前1世紀にかけてのギリシャである。
形式的に洗練された近代論理学の扱いは、アリストテレスの項論理(en:Term logic)などで知られ、のちにイスラムの論理学者たちが発展させたギリシャ流のものによる。インド流の論理学は早期近代まで続いた。