形式体系
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/06/01 10:01 UTC 版)
形式体系(けいしきたいけい、Formal System)は、数学のモデルに基づいた任意の well-defined な抽象思考体系と定義される。エウクレイデスの『原論』は史上初の形式体系とされることが多く、形式体系の特徴をよく表している。その論理的基盤による体系の命題と帰結の関係(論理包含)は、他の抽象モデルを何らかの基盤とする体系から形式体系を区別するものである。形式体系は大きな理論や分野(例えばユークリッド幾何学)の基盤またはそのものとなることが多く、現代数学では証明論やモデル理論などと同義に扱われる。ただし形式体系は必ずしも数学的である必然性はなく、例えばスピノザの『エチカ』はエウクレイデスの『原論』の形式を模倣した哲学(倫理学)書である。
- ^ Encyclopædia Britannica, Formal system definition, 2007.
形式体系
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/21 06:49 UTC 版)
詳細は「形式体系」を参照 アルファベット、構成規則、ならびに推論体系(英語版)からなる体系は形式体系と呼ばれる。ここで、推論体系とは推論規則の集合と公理の集合の一方もしくはその両方からなる体系をいう。形式体系を定めれば、一つまたは複数の式から別の一つの式を演繹できるようになる。命題論理や述語論理は形式体系の例である。
※この「形式体系」の解説は、「構成規則」の解説の一部です。
「形式体系」を含む「構成規則」の記事については、「構成規則」の概要を参照ください。
形式体系と同じ種類の言葉
- 形式体系のページへのリンク