Natural Science/Formal Science

物理、化学、生物学などは自然科学（natural science）。
それに対して、数学や論理学などは形式科学（formal science）と
呼ばれるのだそう。

自然科学や社会科学は現実世界を記述する経験科学。
どんな法則でも議論の余地が残る。
それとは対照的に、形式科学は経験とは独立なア・プリオリな科学。
すべての法則は絶対的で、論争にはならない。

形式科学と自然科学は持ちつ持たれつの関係。
相互に影響しあって発展する。
どちらも重要だと思うが、個人的には平和が一番である。