形式科学

内容

• 他们反对事实科学
• 形式科学的例子

的形式科学 它们是分析命题采用数学和逻辑陈述的地方。这样，他的学习领域不是现实世界而是理想世界，在许多情况下无法完全观察到的空内容形式，而是理解现实的有效分析工具。

形式科学的特点是不与现实冲突，因为它们不承担可验证的责任。相反，形式科学需要使用 逻辑上可以证明的命题，并且这可能发生：否则，这些科学会使用“轴心”，这是显而易见的命题，无需事先证明就可以接受。

公理的使用与此类科学的常用方法有关，即 演绎法：以公理为起点，然后以派生的方式进行，得出这些命题是先前命题的必要逻辑结果。据说，一个正式的系统由以下部分组成：

• 有限集 符号 用于构造公式。
• 一种 语法 形式，作为构建格式正确的公式的机制。
• 一套 公理
• 一套 推理规则
• 一套 定理 其中包括可以从公理得出的所有信息。

他们反对事实科学

通常形式科学的概念与 事实科学，这是研究事实的人。两者在当今世界中都是非常重要的，因为它们是两者之间的补充：某些基础科学对技术进步（例如化学或计算机科学）的贡献得到了诸如数学。

形式科学的例子

1. 理论计算机科学：计算机科学专业，专注于该领域最抽象和数学的方面。它包括算法分析，尤其是编程语言的形式语义。
2. 统计：负责收集，组织，处理，分析和解释数据以推论目标人群特征的科学。
3. 逻辑：研究理性形式程序的学科，试图通过形式主张来了解人脑使用哪种类型的程序。
4. 数学：专门用于研究抽象实体及其关系的演绎科学。适用于数字，符号和几何形状。
5. 系统理论：一般而言，对系统进行跨学科研究，以便研究适用于所有研究领域中任何级别的系统的原理。

其他类型的科学：

• 纯粹科学与应用科学的例子
• 软科学实例
• 精确科学的例子
• 社会科学实例
• 自然科学实例