什麼是形式科學？概念、特徵、類型和例子

我們解釋了什麼是形式科學，它們是什麼以及它們與事實科學有何不同。

形式科學研究抽象、關係和理想物件。

什麼是形式科學？

形式科學或理想科學是那些研究物件是形式，即抽象對象和它們之間的關係，例如數位、比例或表示系統。

這樣，形式科學就不研究現實世界，而自然界，也不是支配它的物理和化學定律，而是由它們產生的人類頭腦中的關係系統。但是，此類系統可以應用於分析的任何方面現實.

形式科學的最好例子是數學：它涉及對數位、它們的集合和各種關係的研究。雖然數位在現實中不存在，而是思想和心理關係，但現實可以用它們來表達和研究。

這些科學是分析性的或非實證的，這意味著它們不驗證他們的理論和知識通過實驗或觀察現實世界，但通過對規則的研究 思想 ，這些系統，例如命題、公理和定義。因此，他們的方法通常是演繹的，他們既不承認歸納也不承認誘拐。

由於所有這些原因，形式科學與事實科學，旨在通過科學方法.

它可以説明您：科學分支

形式科學的特點

正規科學的主要特點是：

• 它的研究對像是人類在心理上設計的形式系統和語言，即抽象的集合。

• 它們不處理現實世界，但它們的關係系統對於擺姿勢和研究真實現象很有用。

• 其基本目的是證明形式系統中某些可能推理的普遍有效性，稱為公理或定理。

• 它的分析方法總是演繹的，因此不允許歸納或誘拐。也就是說，它的結論總是從給定的前提中獲得的。

• 它們的形式系統是通過符號、公式和變數來表達關係而不是具體的指涉來表達的。例如，在方程式中，x 是可以表示任何數位的變數。

另請參閱：演繹

形式科學的例子

形式科學試圖檢驗其演繹推理的普遍價值。

形式科學的一些例子是：

數學

這數學它是研究計算和形式表示的邏輯程序的科學，例如數位、方程式和幾何物件。

邏輯

這邏輯它是研究推理方法的科學，即從某些命題中獲得有效結論的機制是什麼。

計算機科學

這計算，也稱為計算機科學或程式設計是一門專門研究計算系統的科學，這些系統允許自動化（存儲、檢索、傳輸）資訊.

算術

算術是一門專門研究自然數和整數之間運算的科學。它被認為是數學的一個分支，也被稱為數論。

統計學

這統計學是一門涉及賠率和大小，以及支配機會的法則。

幾何學

這幾何學它是研究平面上幾何形狀的科學，即可以用來表達關係和心理空間的心理或圖形表示。

另請參閱：科學

形式科學和事實科學的區別

形式科學與事實科學（也稱為事實科學或實證科學）的區別在於不同方面，例如：