形式主義(読み)けいしきしゅぎ(英語表記)formalism

翻訳|formalism

ブリタニカ国際大百科事典 小項目事典の解説

形式主義
けいしきしゅぎ
formalism

質料や内容に対して形式を重視する立場の総称。一定の学問,特に数学 (→数学基礎論 ) や論理学において真理の性格についていわれる形式主義は,当の真理が実在との関係ではなく記号約束事もしくは定義のみによっているとする理論。認識論では質料の存在や重要性を無視し,認識の妥当性や真理性をただ思惟の形式からのみ考える立場。この意味の形式主義は美学や倫理学における形式主義につながる。形式主義美学は感覚的要素や芸術の表現内容を美の契機として認めず,もっぱら要素間の結合や表現法によって美を考える。倫理学 (特にカント倫理学) では道徳の根拠を実質的倫理価値との関係ではなく道徳法則との整合性に求める立場が形式主義といわれる。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

デジタル大辞泉の解説

けいしき‐しゅぎ【形式主義】

内容よりも形式を重んずる考え方。
カントのように、認識の普遍妥当性を認識形式に関して吟味する立場。道徳に関しては、その根拠を実践理性の純粋形式的法則とする。
美学で、感覚的要素の意義を否定し、形式に美の原理を認める立場。

出典 小学館デジタル大辞泉について 情報 | 凡例

百科事典マイペディアの解説

形式主義【けいしきしゅぎ】

一般に事物の内容よりも形式を重んずる立場。哲学・倫理学では認識あるいは道徳の普遍妥当性の根拠を純粋に形式的な法則に求めるカントあるいは新カント学派,特にリッケルトの批判主義の立場をいう。数学基礎論では,論理主義,直観主義に対し,形式化された数学の公理系の無矛盾性を証明することによって問題を解決しようとするヒルベルトの立場。
→関連項目ブローエル

出典 株式会社平凡社百科事典マイペディアについて 情報

世界大百科事典 第2版の解説

けいしきしゅぎ【形式主義 formalism】

20世紀初頭,集合論における逆理(パラドックス)の出来(しゆつたい)を一つの契機として始まった数学基礎論において,B.A.ラッセルの論理主義,L.E.J.ブローエルの直観主義と並んで,D.ヒルベルトによって主張された立場である。ヒルベルトは,彼の公理主義の立場から,数学を述語論理の中で形式化した。すなわち定理とか証明は一定の法則によって並べられた単なる記号の系列であって,それらの意味は考えないで,その公理的・形式的体系の無矛盾性を有限的,構成的なしかたで証明することが数学の基礎づけの根本問題であるとしてそのプログラムを提出した。

出典 株式会社平凡社世界大百科事典 第2版について 情報

大辞林 第三版の解説

けいしきしゅぎ【形式主義】

認識論で、理性のアプリオリな形式を認識の普遍妥当性の根拠と考えるカントや新カント主義の立場。
倫理学で、純粋に形式的な道徳法則(定言命法)を道徳の普遍妥当性の根拠と考えるカントの立場をはじめ、実質的・具体的な規範の定立を避ける思想態度。
美学で、感覚的な内容美ではなく表現の仕方に美の原理を求めるヘルバルトらの立場。
数学基礎論で、数学を有限の記号列から成る推論の連鎖と見なし、公理論的に形式化された体系の無矛盾性を証明することによって、数学を基礎づけようとするヒルベルトらの主張。
一般に、物事の内容的側面を軽視して、形式的側面を重視する立場。多く否定的な意味合いでいう。 「 -に堕す」

出典 三省堂大辞林 第三版について 情報

精選版 日本国語大辞典の解説

けいしき‐しゅぎ【形式主義】

〘名〙
① ものごとの形式を重んじてそれにこだわり、内容を軽視もしくは無視する立場。また、その考え。形式論
※文明批評家としての文学者(1901)〈高山樗牛〉三「実に形式主義、方便主義に堕落せる十九世紀末の文明と」
② 哲学で、認識の客観性の根拠を主観に求めるカントの批判的観念論の立場。
③ 倫理学で、道徳の普遍妥当性の根拠を実践理性の純粋形式的な道徳法則(定言的命令)におくカントの立場。
④ 美学で、芸術作品の内容そのものの観念的把握よりも、表現上の美的原理や統一作用に価値を見出そうとするヘルバルトらの立場。
⑤ 数学で、数学の理論とは、ある種の記号の列を一定の規則に従って変形することにより得られる記号の列の総体に他ならないとするヒルベルトの立場。

出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報

世界大百科事典内の形式主義の言及

【数学基礎論】より

…この意味で,その立場はしばしば半直観主義とも呼ばれる。 形式主義の立場に立つ公理主義者D.ヒルベルトは楽観的な態度をとり続け,数学は何らかのくふうにより,〈そのままの形〉で救えるものと考えた。1920年代後半,彼は数学(例えば解析学)を記号論理の中で形式化して得られる公理的体系を考え,その体系の無矛盾性の証明を有限の立場で行うという基本的プログラム(ヒルベルトの計画という)を提出,みずからもP.ベルナイスの協力を得つつその実行を試みた。…

【数理哲学】より

…これは数学を広義の直観に帰着せしめようとする。第3は形式主義である。形式主義は哲学よりもむしろ数学と直結した数理哲学であって,数学者はほとんどこの形式主義にくみする。…

※「形式主義」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社世界大百科事典 第2版について | 情報

今日のキーワード

GAFA

グーグル(Google)、アップル(Apple)、フェースブック(Facebook)、アマゾン(Amazon)の4社のこと。頭文字を取って称される。いずれも米国を代表するIT企業であり、4社は世界時価...

続きを読む

コトバンク for iPhone

コトバンク for Android

形式主義の関連情報