形式化 – ウィキペディア

形式化 プロセスを意味します。何かが（厳密な）形状を与えることで正式になり、（厳格な）形式で提示されるか、その実装で特定の（厳密な）形状が観察されます。厳格な形式とは、文字が指定された方法で定義された順序で処理される書面によるフォームを意味します。

科学理論と文化科学の重要性は、この一般的な意味と区別できます。

より広い意味での科学的、形式化の理論は、「その具体的な経験的参照をとることによる（科学的）声明の一般化」を意味します。 ^[初め] この意味では、形式化は抽象化に関連しています。

狭い意味では、形式化とは、現象の説明または正式な言語での理論の定式化、その公理化、および最後の段階としての計算を意味します（正式な理論を参照）。

数学的論理は、形式化によって特徴付けられます。論理のシステムは、その中で発生する式の指定された強度を控え、この式を正確に使用して、このシステムの公理または規則が処方するという意味で正式に使用されます。 ^[2] 「ステートメントロジックと述語ロジックは、日常の論理閉鎖の形式化と見なすことができます。」 ^[3]

言語学では、生成的変換文法などの正式な文法を通じて自然言語を説明する試みがあります。

文化的な意味では、ターゲットアクションの解散は、プロセス組織を規制することによって行われるように、繰り返し可能な転送可能な手続きステップで説明できます。哲学者のシビル・クレマーは、「タイポグラフィ、概略的、解釈 – シンボル」の数学に密接に語っています。 ^[4] アクションを自動化します。

個人的およびarbitrary意的なアプローチの関連する制限は、異なる意図を持つことがあります。透明性と平等（政治、法律、数学）の理由、または合理化と自動化の理由（経済、軍事、技術、コンピューターサイエンス）の理由で発生する可能性があります。記録は、形式化の基礎と結果の両方です。

厳密に定義されたプロセスが習慣になる儀式化は、形式化に感情的な安全を与え、歴史的にはそれから分離できません（ゲームのルールを参照）。有名なエッセイで、人類学者のホレス・マイナーは、「ナシレマ」のブラッシングを、「ヒグリーの正式なジェスチャーのシリーズ」を備えた魔法の儀式として説明しました。 ^[5] 言語学者のヴォルフガング・ワイルドゲンは、「（空の）部分的な行動は、形式化と儀式を通して「意味関数」を取得するという事実を語っています。 ^[6]

• SybilleKrämer： シンボリックマシン：歴史的解体における形式化のアイデア 、Scientific Book Society、Darmstadt1988。ISBN9783534032075

1. ↑ DTV Lexicon/Formalization、ISBN 3-423-05998-2
2. ↑ ウィルヘルム・エッサー、ローザ・マルティネス、ヨアヒム・ラボード： ロジックIの基本的な特徴。 Klostermann、Frankfurt Am Main 5thEd。2001、p。76。ISBN 9783465031642
3. ↑ Arnim Regenbogen、Uwe Meyer： 哲学的用語の辞書、 Meiner、Hamburg 2006、p。xxx。 ISBN 978-3-7873-2500-9
4. ↑ SybilleKrämer： シンボリックマシン：歴史的解体における形式化のアイデア 、Scientific Book Society、Darmstadt 1988、p。2。
5. ↑ ホレスマイナー： ナシレマの間の身体の儀式 、 の： アメリカのanthopologist 、58：1956、S。503–507、ここS. 504
6. ↑ wolfgings wildgert： 認知文法：古典的なパラダイムと。新しい視点 、ベルリン：De Gruyter 2008、S。27。ISBN 9783110196009