formalism

/ˈfɔːrməlɪzəm/ フォーマリズム

1. 厳格な形式主義

特定の形式、規則、伝統に非常に厳密に従う態度や実践を指します。特に芸術、哲学、法学、政治などの分野で使われます。

The old-fashioned bureaucracy was notorious for its formalism, prioritizing procedures over practical solutions. (その旧態依然とした官僚主義は形式主義で悪名高く、実用的な解決策よりも手続きを優先していた。)

• The old-fashioned bureaucracy: 時代遅れの官僚組織
• was notorious for: ～で悪名高かった
• its formalism: その形式主義
• prioritizing procedures: 手続きを優先すること
• over practical solutions: 実用的な解決策よりも

Her artistic style was criticized for its excessive formalism, lacking genuine emotion and spontaneity. (彼女の芸術スタイルは過度な形式主義であると批判され、真の感情と自発性に欠けていた。)

• Her artistic style: 彼女の芸術スタイル
• was criticized for: ～であると批判された
• its excessive formalism: その過度な形式主義
• lacking genuine emotion: 真の感情を欠いて
• and spontaneity: そして自発性を

In some legal systems, formalism emphasizes strict adherence to the letter of the law rather than its spirit. (一部の法制度では、形式主義は法の精神よりも法の文字通りの解釈への厳密な固執を重視する。)

• In some legal systems: 一部の法制度では
• formalism emphasizes: 形式主義は強調する
• strict adherence to: ～への厳密な固執
• the letter of the law: 法の文字通りの解釈（条文）
• rather than its spirit: その精神よりも

2. (数学・論理学) 形式論

数学や論理学の分野で、それらの体系を記号と規則の操作に還元できるという哲学的な立場や理論を指します。

Hilbert's program aimed to establish mathematics on a purely formal basis, a prime example of formalism. (ヒルベルトのプログラムは、数学を純粋に形式的な基礎の上に確立することを目指しており、形式論の代表的な例だ。)

• Hilbert's program: ヒルベルトのプログラム
• aimed to establish: ～を確立することを目指した
• mathematics on a purely formal basis: 数学を純粋に形式的な基礎の上に
• a prime example of formalism: 形式論の代表的な例

Formalism in logic focuses on the structure of arguments and proofs, abstracting away from their specific content. (論理学における形式論は、議論や証明の構造に焦点を当て、その具体的な内容から抽象化する。)

• Formalism in logic: 論理学における形式論
• focuses on: ～に焦点を当てる
• the structure of arguments and proofs: 議論と証明の構造
• abstracting away from: ～から抽象化することによって
• their specific content: それらの具体的な内容

Gödel's incompleteness theorems challenged the foundational ambitions of formalism in mathematics. (ゲーデルの不完全性定理は、数学における形式論の基礎的な野心に異議を唱えた。)

• Gödel's incompleteness theorems: ゲーデルの不完全性定理
• challenged: 異議を唱えた
• the foundational ambitions: 基礎的な野心
• of formalism in mathematics: 数学における形式論の

関連

• structuralism
• dogmatism
• literalism
• classicism
• conventionalism
• ritualism