形式主義（哲学）

形式主義という用語は、芸術、文学、哲学において、内容や意味よりも形式を重視することを意味します。形式主義を実践する人は形式主義者と呼ばれます。形式主義者は、ある分野に関して、実践者が作り出した文字通りの内容以外に、その分野には超越的な意味はないと考えています。たとえば、数学の形式主義者は、数学は数学者が書き記した記号にすぎず、論理といくつかの基本ルールだけに基づいていると主張します。これは、その分野における非形式主義者とは対照的です。非形式主義者は、本質的に真実であるものがあり、数学内の記号にそれほど依存しているのではなく、より大きな真実があると考えています。ある分野における形式主義者は、与えられたルールを超えて達成できる他の外部の真実は存在しないため、「ゲームのルール」に完全に関心を持っています。この意味で、形式主義は公理系に基づく分野に適しています。

宗教における形式主義とは、儀式や儀式の意味よりも儀式や儀式を重視することを意味します。キリスト教では、律法主義という用語は軽蔑的な用語であり、宗教的形式主義とほぼ同義です。

形式主義とは、法律と法学における学派であり、法律は外部の規範を参照することなく、あらゆる事件の結果を決定できる規則の体系であると想定しています。たとえば、形式主義は、「裁判官は法律を制定するのではなく、適用すべきである」というよく聞かれる批判を生み出しています。形式主義のライバルである法的リアリズムにとって、この批判は矛盾しています。なぜなら、法的リアリズムは、少なくとも困難な事件では、法律のあらゆる適用において、裁判官は、正義の概念や商業規範などの外部（つまり、非法的）情報源を参照する必要があると想定しているからです。

一般に芸術や文学の研究において、形式主義とは、作品の社会的、歴史的背景とは切り離して、芸術的または文学的な技法そのものに焦点を当てた批評のスタイルを指します。

一般的に言えば、形式主義とは、芸術作品に必要なものはすべてその中に含まれているという概念です。作品の制作理由、歴史的背景、芸術家の人生など、作品の文脈は重要視されません。形式主義の美学者の例としては、クライヴ・ベル、ジェローム・ストルニッツ、エドワード・ブルフなどがいます。

文学理論に関する現代の議論では、 IAリチャーズとその追随者たちの批評学派、伝統的に新批評学は「形式主義的」と称されることがある。この意味で、形式主義的アプローチは古典的な修辞学の側面の継続である。

ロシア形式主義は、東ヨーロッパを拠点とする20世紀の学派であり、言語学の研究とおとぎ話の理論化にそのルーツを持ち、物語は形式であり、王女はおとぎ話の王女であるため、内容は二次的なものとして扱われます。

現代詩では、形式主義の詩人は自由詩の作家の対極にあると考えられる。これらは単なるラベルであり、満足のいく要約になることはめったにない。詩における「形式主義」とは、韻とリズムの体系を認識して使用し、詩的な効果を生み出し、革新する詩への愛着を表す。これを古風な詩と区別するために、「新形式主義」という用語が使用されることがある。

例えば以下を参照してください:

• 形式主義詩の文芸雑誌「フォーマリスト」（現在は廃刊）
• ニュー・フォーマリズム、アメリカの詩の運動
• ニュー・フォーマリストは形式主義詩の文芸雑誌。2001年から2010年まで発行された。 ^[1]

映画研究において、形式主義とは映画制作の特徴であり、編集、ショット構成、カメラの動き、セットデザインなど、映画の言語をあからさまに使用することで、映像のグラフィックな（物語的な）性質ではなく、映像のグラフィックな性質を強調するものである。アンドレ・バザンなどのリアリスト映画理論家によって非難された厳格な形式主義は、1950年代以降、一般には大幅に減少したが^[要出典] 、一部のポストモダン映画制作者は、映画体験の不自然さを示唆するために形式主義に言及している。

形式主義映画の例としては、レネの『去年マリエンバートで』やパラジャーノフの『ざくろの色』などがあげられる。^[要出典]

形式主義は、実験や他の計算技術と一致する結果をもたらす、表記法と表記法を操作する規則のセットに適用できます。これらの規則と表記法には、対応する数学的意味論がある場合とない場合があります。数学的意味論が存在しない場合は、計算は純粋に形式的であると言われることがよくあります。たとえば、科学的形式主義を参照してください。

数学の基礎において、形式主義は特定の厳密な数学的手法と関連しています。形式体系を参照してください。一般的な用法では、形式主義とは、特定の限定された領域の形式化に向けた取り組みの結果を意味します。言い換えれば、形式体系で捉えれば、または形式体系であると主張される形式化可能なものの範囲内で、物事を正式に議論することができます。完全な形式化は、コンピューター サイエンスの領域です。

形式主義は、より正確には、定理による公理的証明を重視する数学哲学の一学派を指し、特にダヴィト・ヒルベルトに関連する。したがって、数学哲学において、形式主義者とは、ヒルベルトから派生した数学哲学の特定の教義である形式主義の学派に属する人である。

経済人類学において、形式主義とは、新古典派経済学の原理がすべての人間社会の理解に適用できるという理論的観点です。

• ジダーノフ主義、ソ連と衛星国の芸術と文化の粛清につながったスターリン主義の「反形式主義」主義

• ウィキメディア・コモンズの形式主義（哲学）に関連するメディア
• スタンフォード哲学百科事典による「数学の哲学における形式主義」。