コトバンクはYahoo!辞書と技術提携しています。

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

翻訳|formalism

5件 の用語解説(形式主義の意味・用語解説を検索)

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

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

質料や内容に対して形式を重視する立場の総称。一定の学問,特に数学 (→数学基礎論 ) や論理学において真理の性格についていわれる形式主義は,当の真理が実在との関係ではなく記号の約束事もしくは定義のみによっているとする理論。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

デジタル大辞泉の解説

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

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

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

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

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

一般に事物の内容よりも形式を重んずる立場。哲学・倫理学では認識あるいは道徳の普遍妥当性の根拠を純粋に形式的な法則に求めるカントあるいは新カント学派,特にリッケルト批判主義の立場をいう。
→関連項目ブローエル

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. ご提供する『百科事典マイペディア』は2010年5月に編集・制作したものです

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

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

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

大辞林 第三版の解説

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

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

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

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

【数学基礎論】より

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

【数理哲学】より

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

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

形式主義の関連キーワード自然淘汰スキー八雲愛人松柏砂山チェリーなんか花菱ぶうぶう

今日のキーワード

トランスアジア航空

台湾・台北市に本拠を置く航空会社。中国語名は復興航空。1951年、台湾初の民間航空会社として設立。83年に台湾の国産実業グループに経営移管され、組織改編を実施した。92年に国際チャーター便の運航を始め...

続きを読む

コトバンク for iPhone

形式主義の関連情報