该形式科学组成的连贯和合理的知识系统化的身体。他的目标不是自然世界，而是完全抽象的对象。但是，形式科学的知识可以应用于自然自然的现实中，并由事实或经验科学使用。
形式科学所使用的方法是演绎，与事实科学不同，形式科学既不接受绑架也不接受归纳。因此，形式科学与形式一起工作。也就是说，只存在于人脑中并通过抽象获得的对象。
数学被认为是一门形式科学。资料来源：foto.com
同样，形式科学的真理被理解为逻辑真理：在考虑了所有可能的方式或将既定事实组合在一起的方式之后，就会产生一系列后果。在这种情况下，形式科学的例子可以是数学或逻辑。
形式科学的一个特征是它们是研究形式系统的科学知识的分支。因此，形式科学通过一组命题，公理，定义和推理规则来验证其理论。
形式科学都是分析性的。这将它们与自然科学和社会科学区分开来，后者是凭经验论证的。也就是说，他们需要观察现实世界以寻找支持理论的证据。相反，形式科学知识被称为“定理”，并且来自数学证明。
此外，无论情况如何，都必须遵守形式科学规定的规则或法律。因此，它们是普遍性法律，不像事实科学那样研究具体现象。形式科学的内容是空的，因为它仅以形式和因果关系进行维护。
关于它的起源，有人指出形式科学与人类一样古老，因为人类从一开始就使用数学和逻辑来组织他的世界。但是，从现代开始，当对它们进行概念化和分类时，便开始以这种方式来称呼它们。
特点
以下是形式科学的最重要特征：
-形式科学使用的方法是演绎法。
-建立真理的形式科学的标准是基于一致性或非矛盾性。
-形式科学的陈述总是分析性的，这意味着它们是通过定理或假设推论得出的。
-形式科学的实体只能存在于人脑中。
-数学家和逻辑学家通过空符号建立自己的学习对象。
-形式科学的论证是完整，全面和最终的。
-形式科学的研究激发了严谨的习惯。
研究对象
一般而言，可以说形式科学的研究对象是形式；这些可以表示为在人脑中构建的关系，抽象或理想对象。
一些科学家声称，形式科学对现象的原因不是很感兴趣，而是集中在现象的发生上。也就是说，倾向是针对形式而不是内容本身。
总之，形式科学（也称为理想科学）是那些既不关注世界或自然，也不关注统治其的化学或物理定律的科学。
他的兴趣在于建立正式的关系系统，这些系统没有自己的内容，但是可以在分析现实的任何方面时使用。
上面的例子可以用物理学来证明，物理学是一门事实或经验科学，负责研究身体，运动，空间和物质。但是，物理学使用数学（这是一门形式科学）来进行分析和结论。
形式科学的例子
-统计
统计学是一门正规学科，负责组织，解释和处理一系列数据，以建立特定人群或社会目标的某些特征。
根据一些作者的说法，统计也可以定义为研究在某些不确定的实际情况下应如何使用信息的科学。在某些情况下，统计数据被定义为“数据科学”，因为它收集，分类和解释了后者。
同样，统计数据使研究人员可以从一系列数据作为出发点来开展工作，从而保证分析和客观获得一组结果。
统计信息可以分为两个主要组：
描述性统计
它由一种数字描述一组数据的方法组成。因此，描述性统计作为一种数值方法，使用数字作为一种描述技术。
这类统计的主要特征是不允许得出具体结论。它仅提供数值结果。
演绎，分析或推论统计
它负责研究针对特定问题的不同可能解决方案内的成功概率。另外，推论统计创建了一个数学模型，该模型基于在观察样本期间获得的结论来推断人口行为。
与描述性统计相反，演绎或推论统计确实使我们能够得出具体结论。
-几何
几何学是一门正规科学，它从数学开始研究位于空间或特定平面上的图形的度量和属性。反过来，几何使用公理或形式系统来表示现实的不同方面。
这些公理系统由遵守某些规则的符号组成，这些符号可以连接并形成链，这些链也可以彼此链接。例如，几何图形基于抽象概念，例如曲线，点和线等。
重要的是要注意，几何学是存在的最古老的学科之一，因为它的起源可以追溯到古埃及。实际上，重要的数学家和学者转向几何学来研究事物的体积，面积和长度。在这些智者中，尤克里德斯和希罗多德斯脱颖而出。
几何研究中最重要的人物之一是法国物理学家和哲学家RenéDescartes，他提出形状的几何形状可以用方程表示或表示。
几何可分为两个主要分支：
解析几何
它由一种通过坐标系统研究图形的几何类型组成。这项研究通过使用数学分析中的方法来做到这一点。
描述几何
描述几何由一个分支组成，该分支致力于通过在平面上表达和发展的操作来解决空间问题。在此，代表了来自现实的实物的某些图形。
-理论语言学
理论语言学是一门形式科学，来自语言学，对自然语言的主要方面感兴趣，同时考虑了语言的结构和说话者语言知识的特征。
同样，可以确定的是，理论语言学是由其他学科构成的，例如语义学，语音学，形态学和语音学。
这门科学是建立在通用方案和理论的基础上的，可以对世界上所有使用的语言都有效。因此，理论语言学并非旨在解释某种特定语言的某些特定事实，而是指出语言结构的普遍性。
因此，可以说理论语言学是一门形式科学，因为像统计学一样，该学科负责收集数据，使我们能够解释，分析和分类语言的语法和语音结构。
此外，语言学的这一分支将理论抽象与复杂的模式结合在一起，这些模式在现实中无法理解，而只是作为理想存在于人脑中。
-人工智能
人工智能（AI）是计算机科学的一个分支，包括对机器制造的一系列抽象数据的处理。该数据允许电子设备执行任务或目标。
换句话说，通过一系列抽象和数字数据，人工智能使您可以访问机器，以便机器可以学习，感知，推理或解决某些问题。
一些科学家将人工智能定义为负责研究计算机模型的计算分支，以便他们可以通过两个主要特征来进行人类典型的活动：行为和推理。
“人工智能”一词是计算机科学家约翰·麦卡锡（John McCarthy）在1956年提出的，他确立了AI是一种创造力的科学，因为AI允许构建智能计算机程序。
参考文献
- Castañeda，J.（sf）形式科学或理想科学的特征。于2019年8月8日从特征科学检索：caracteristicasdeciencia.blogspot.com
- Lowe，B.（2002）形式科学。于2019年8月8日从Jstor检索：jstor.org
- Raffino，M.（2018）形式科学的概念。于2019年8月8日从Concept：concept.de检索
- SA（SF）形式科学。从Wikipedia检索2019年8月8日：es.wikipedia.org
- SA（sf）形式科学的概念。于8月8日从De Conceptos检索：deconceptos.com
- SA（sf。）形式科学是什么意思？于2019年8月8日从Definitions：definitions.net检索
- Soledispa，A.（sf）形式科学和事实科学的特征。于2019年8月8日从Academia检索：academia.edu
- SA（sf）什么是统计？类型和目标。于2019年8月11日从Gestiopolis检索：Gestiopolis.com
- SA（2018）。什么是理论语言学？于2019年8月11日从Quora检索：quora.com
- Tegmark，M.人工智能的好处和风险。于2019年8月11日从未来生活中检索：futureoflife.org
- Figueras，C.（Sf）几何。于2019年8月11日从Monographs检索：monogramas.com