正式な科学が首尾一貫して合理的知識の体系的な体で構成されています。彼の目的は、物理的な自然の世界ではなく、完全に抽象的なオブジェクトです。ただし、形式科学の知識は、物理-自然の現実に適用することができ、事実科学または経験科学によって使用されます。
フォーマルサイエンスが使用する方法は控除であり、事実科学とは異なり、フォーマルサイエンスは拉致も誘導も認めません。したがって、形式科学は形式で機能します。つまり、人間の心にのみ存在し、抽象化によって取得されるオブジェクトを使用します。
数学は形式的な科学と考えられています。出典：pixabay.com
同様に、形式科学の真実は論理的な真実として理解されます。それは、すべての可能性または事前に確立された事実を組み合わせる方法を検討した後に続く一連の結果です。この文脈では、形式科学の例は数学または論理でありえます。
形式科学の特徴は、形式システムを研究する科学知識の分岐であるということです。その結果、形式科学は、一連の命題、公理、定義、および推論規則を通じてその理論を検証します。
形式科学はすべて分析的です。これは、経験的に主張されている自然科学および社会科学とは異なります。つまり、理論を支持して証拠を見つけるには、現実世界を観察する必要があります。代わりに、正式な科学知識は「定理」と呼ばれ、数学的証明から得られます。
さらに、どんな場合であっても、形式科学によって規定された規則や法律は常に守られます。そのため、事実科学のように具体的な現象を研究しない普遍的な法則です。形式と因果関係でのみ維持されるため、形式科学の内容は空です。
その起源については、最初から人間が数学と論理を使用して自分の世界を組織してきたため、正式な科学は人類と同じくらい古いと指摘する人もいます。しかし、それらは概念化され分類された現代の時代からこのように呼ばれ始めました。
特徴
以下は、形式科学の最も重要な特徴です。
-フォーマルサイエンスで使用される方法は、控除の方法です。
-真理を確立する正式な科学の基準は、一貫性または非矛盾に基づいています。
-フォーマルサイエンスのステートメントは常に分析的です。つまり、定理または仮定によって推論されます。
-フォーマルサイエンスの実体は人間の心の中にしか存在できません。
-数学者と論理学者は、空の記号を使って独自の研究対象を構築します。
-正式な科学のデモンストレーションは完全で、完全で、最終的なものです。
-フォーマルサイエンスの研究は、厳格な習慣を活性化します。
調査対象
一般論として、形式科学の研究の対象は形式であると言える。これらは、人間の心の中で構築された関係、抽象化、または理想的なオブジェクトとして提示できます。
一部の科学者は、フォーマルサイエンスは現象の理由にそれほど関心がなく、むしろその方法に焦点を当てていると主張しています。つまり、傾向はフォームに対するものであり、コンテンツ自体に対するものではありません。
結論として、フォーマルサイエンスは、理想科学としても知られていますが、世界や自然、またはそれを管理する化学的または物理的な法則に焦点を当てていない科学です。
彼の関心は、独自のコンテンツはありませんが、現実のあらゆる側面の分析中に使用できる関係の正式なシステムにあります。
上記の例は、身体、動き、空間、物質の研究に責任がある事実または経験科学である物理学で証明できます。ただし、物理学は数学（正式な科学）を使用して、その分析と結論を実行します。
形式科学の例
-統計学
統計は、特定の母集団または社会的目的の特定の特性を確立するために、一連のデータを整理、解釈、および処理する正式な専門分野です。
一部の著者によると、統計は、不確実性を生み出す特定の実際的な状況で情報をどのように使用すべきかを研究する科学と定義することもできます。統計は後者を収集、分類、解釈するため、「データの科学」と定義される場合があります。
同様に、統計により、研究者は一連のデータを出発点として作業を行うことができ、一連の結果の分析と客観的な取得が保証されます。
統計は主に2つのグループに分類できます。
記述統計
これは、データのセットを数値で記述する方法で構成されています。したがって、記述的統計は数値的手法であるため、数値を使用して手法を説明します。
このタイプの統計の主な特徴は、具体的な結論を導き出すことができないことです。数値結果のみを提供します。
演繹的、分析的または推論的な統計
特定の問題に対して考えられるさまざまな解決策の中で成功する確率を調査する責任があります。さらに、推論統計は、サンプルの観察中に得られた結論に基づいて母集団の行動を推定する数学モデルを作成します。
記述統計とは対照的に、演繹統計または推論統計では、具体的な結論を導き出すことができます。
-ジオメトリ
幾何学は、数学から始まり、空間または特定の平面にある図形の測定値と特性を研究する正式な科学です。次に、ジオメトリは公理的または形式的なシステムを使用して、現実のさまざまな側面を表現します。
これらの公理システムは、特定の規則に従って、結合してチェーンを形成できるシンボルで構成されます。チェーンは互いにリンクすることもできます。たとえば、ジオメトリは、曲線、点、線などの抽象的な概念に基づいています。
ジオメトリはその起源が古代エジプトにさかのぼるため、存在する最も古い分野の1つであることに注意することが重要です。実際、重要な数学者や学者たちは、物事の体積、面積、長さに関する研究を発展させるために幾何学に目を向けました。これらの賢明な男性の中で、ユークリッドとヘロドトスが際立っています。
幾何学研究で最も重要な人物の1人は、フランスの物理学者で哲学者であるルネデカルトで、形状の幾何学は方程式で表現または表現できると提案しました。
ジオメトリは2つの主要なブランチに分けることができます。
分析ジオメトリ
これは、座標系を介して図形を調べる一種のジオメトリで構成されています。この研究は、数学的分析からの方法論を使用することによってそうします。
説明的なジオメトリ
記述的ジオメトリは、平面上で表現および開発される操作を通じて空間問題を解決するための専用のブランチで構成されます。これには、現実の固体オブジェクトからの特定の数字が表されます。
-理論的な言語学
理論言語学は、言語学に由来する形式科学であり、言語の構造と話者の言語知識の特性を考慮に入れて、自然言語の主要な側面に関心があります。
同様に、理論言語学は、意味論、音韻論、形態論、音声学などの他の分野で構成されていることも確認できます。
この科学は、世界で話されているすべての言語に当てはまる可能性のある普遍的なスキームと理論の構築に基づいています。その結果、理論言語学は特定の言語の特定の事実を説明することを目的とせず、むしろ言語構造の普遍性を指摘しています。
このため、統計学と同様に、この分野は言語の文法および音韻構造の解釈、分析、カタログ化を可能にするデータの収集を担当しているため、理論言語学は形式科学であると言えます。
さらに、この言語学の分野では、理論的な抽象化と、実際には理解できない複雑なスキーマを使用していますが、人間の心の中では理想としてのみ存在しています。
-人工知能
人工知能（AI）はコンピューターサイエンスの分野であり、機械によって作成された一連の抽象的なデータの処理で構成されます。このデータにより、電子デバイスはタスクまたは目的を実行できます。
言い換えると、一連の抽象的および数値的なデータを通じて、人工知能は機械へのアクセスを提供し、機械が特定の問題を学習、認識、推論、または解決できるようにします。
一部の科学者は、コンピュータモデルの研究を担当する計算ブランチとして人工知能を定義し、行動と推論という2つの主要な特性を通じて、人間の典型的な活動を実行できるようにしています。
「人工知能」という用語は、1956年にコンピューターサイエンティストのジョンマッカーシーによって造られました。AIは創意工夫の科学であり、インテリジェントなコンピュータープログラムを構築できるためです。
参考文献
- カスタニェダJ.（sf）形式的または理想的な科学の特性。2019年8月8日、科学の特性から取得：caracteristicasdeciencia.blogspot.com
- ロウB.（2002）フォーマルサイエンス。2019年8月8日にJstorから取得：jstor.org
- Raffino、M.（2018）形式科学の概念。2019年8月8日、Concept：concept.deから取得
- SA（sf）フォーマルサイエンス。ウィキペディアから2019年8月8日取得：es.wikipedia.org
- SA（sf）形式科学の概念。De Conceptosから8月8日に取得：deconceptos.com
- SA（sf。）形式科学とはどういう意味ですか？2019年8月8日、定義から取得：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日、Future of Lifeから取得：futureoflife.org
- Figueras、C.（Sf）ジオメトリ。2019年8月11日、モノグラフから取得：monogramas.com