形式科学の定義

科学を構成するさまざまな分野は、研究の目的、使用される方法、およびその目的の3つのパラメーターに基づいて順序付けることができます。 他のモデル 分類 科学を2つの大きなグループに分割することで構成されています：形式科学と事実または経験的です。

正式なもの

論理学と数学は、生物学の場合のように具体的な経験的内容がないため、2つの正式な分野です。 気象学 または歴史。

ロジックは 規律 純粋に形式的で抽象的な。 厳密な意味では、観察可能で、測定可能で、具体的な内容はありません。 実際には、それは科学的であれ日常生活であれ、あらゆる種類の知識に適用できる一連の規則です。

論理のルールは何を可能にするかです 考える 首尾一貫して合理的な方法で。 したがって、私は無矛盾律に違反しているので、何かがそうであるとは言えませんし、私はの原則に反しているので、何かがそれ自体と同一ではないと断言することはできません 身元.

数学は、その内容が精神的であり、物質的ではないため、純粋に抽象的なものです。

数字は、現実について何かを数えたり計算したりするための人間の精神の発明であるため、自然界のどこにも存在しないことを忘れないでください。 この意味で、 算術、 ジオメトリ または代数は、合理的に実証できる一連の原理に基づく数学的分野です。

参考にすれば 方程式 数学的には、その定式化は完全に独立した現実の方法で有効です。

要するに、論理と数学は一連の要素を含む形式的なシステムを構成します：公理、記号、規則 推論 と定理。 これらの要素は、記号で記述されたステートメントの形式で表されます。

事実のものは形式科学を暗黙のうちに持っています

事実の研究を扱う一連の分野は、研究の目的が理にかなっているように、正式な構造を必要とします。 一方、生物学または化学の記述が形式的に真実であることを示すには、経験的データとの相関関係がなければなりません。

要するに、形式科学は観察可能な事実の世界に投影されます。 ピタゴラスの定理を参考にすると、直角三角形を形成する直角が存在するすべての現実に対して、その定理は有効です。

要するに、形式科学と事実科学は補完的であり、別々の知識領域として考えられるべきではありません。

写真：Fotolia-Artisticco / Sergey Bogdanov