可以根据三个参数对构成科学的不同学科进行排序:按研究对象、按使用的方法和按其目的。另一种分类模型包括将科学分为两大类:形式科学和事实或经验科学。
正式的
逻辑和数学是两门正式的学科,因为它们没有具体的经验内容,就像生物学、气象学或历史学一样。
逻辑是一门纯粹形式和抽象的学科。从严格意义上讲,它不具有可观察、可衡量和有形的内容。它实际上是一套适用于任何类型知识的规则,无论是科学知识还是日常生活。
逻辑规则是那些允许你以连贯的方式和理性的方式思考的规则。因此,我不能说某物既是又不是两者,因为我违反了不矛盾原则,我不能肯定某事与自身不同,因为我违反了同一性原则。
数学纯粹是抽象的,因为它的内容是精神的而不是物质的。
请记住,数字在自然界的任何地方都不存在,因为它们是人类思维的发明,用于计算或计算有关现实的某些事情。从这个意义上说,算术、几何或代数是基于一系列可以合理证明的原理的数学学科。
如果我们以任何数学方程为参考,它的公式是完全独立于现实的。
简而言之,逻辑和数学构成了形式系统,其中包括一系列元素:公理、符号、推理规则和定理。这些元素以通过符号描述的陈述的形式表达。
事实的有隐含的形式科学
处理研究事实的一系列学科需要一个正式的结构,以便他们的研究对象有意义。另一方面,为了证明生物学或化学中的陈述在形式上是正确的,必须与经验数据存在相关性。
简而言之,形式科学被投射到可观察事实的世界上。如果我们以勾股定理为参考,它的表述对于任何存在直角形成直角三角形的现实都是有效的。
简而言之,形式科学和事实科学是互补的,不应被视为独立的知识领域。
照片:Fotolia - Artisticco / Sergey Bogdanov