ブラウザよりも高速アクセス！
14 関係: 形式主義 (数学)、形式体系、形而上学、アリストテレス、イマヌエル・カント、エトムント・フッサール、哲学、非形式論理学、認識論、論理学、論理学の歴史、数学の哲学、数理論理学、19世紀の哲学。
形式主義 (数学)
数学における形式主義（）とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。.
新しい！!: 形式論理学と形式主義 (数学) · 続きを見る »
形式体系
形式体系（けいしきたいけい、Formal System）は、数学のモデルに基づいた任意の well-defined な抽象思考体系と定義される。エウクレイデスの『原論』は史上初の形式体系とされることが多く、形式体系の特徴をよく表している。その論理的基盤による体系の命題と帰結の関係（論理包含）は、他の抽象モデルを何らかの基盤とする体系から形式体系を区別するものである。形式体系は大きな理論や分野（例えばユークリッド幾何学）の基盤またはそのものとなることが多く、現代数学では証明論やモデル理論などと同義に扱われる。ただし形式体系は必ずしも数学的である必然性はなく、例えばスピノザの『エチカ』はエウクレイデスの『原論』の形式を模倣した哲学（倫理学）書である。 形式体系には形式言語があり、その形式言語は基本的な記号（シンボル）で構成される。形式言語の文（式）は公理群を出発点として、所定の構成規則（推論規則）に従って発展する。従って形式体系は基本的な記号群の有限の組み合わせを通して構築された任意個の数式で構成され、その組み合わせは公理群と構成規則群から作り出される。 数学における形式体系は以下の要素から構成される.
新しい！!: 形式論理学と形式体系 · 続きを見る »
形而上学
形而上学（けいじじょうがく、μεταφυσικά、Metaphysica、Metaphysics、métaphysique、Metaphysik）は、感覚ないし経験を超え出でた世界を真実在とし、その世界の普遍的な原理について理性的な思惟によって認識しようとする学問ないし哲学の一分野である『岩波哲学小事典』「形而上学」の項目。世界の根本的な成り立ちの理由（世界の根本原因）や、物や人間の存在の理由や意味など、見たり確かめたりできないものについて考える。対立する用語は唯物論である『岩波哲学小事典』「形而上学」の項目。他に、実証主義や不可知論の立場から見て、客観的実在やその認識可能性を認める立場『岩波哲学小事典』「形而上学」の項目や、ヘーゲル・マルクス主義の立場から見て弁証法を用いない形式的な思考方法のこと『岩波哲学小事典』「形而上学」の項目。.
新しい！!: 形式論理学と形而上学 · 続きを見る »
アリストテレス
アリストテレス（アリストテレース、Ἀριστοτέλης - 、Aristotelēs、前384年 - 前322年3月7日）は、古代ギリシアの哲学者である。 プラトンの弟子であり、ソクラテス、プラトンとともに、しばしば「西洋」最大の哲学者の一人とされ、その多岐にわたる自然研究の業績から「万学の祖」とも呼ばれる。特に動物に関する体系的な研究は古代世界では東西に類を見ない。イスラーム哲学や中世スコラ学、さらには近代哲学・論理学に多大な影響を与えた。また、マケドニア王アレクサンドロス3世（通称アレクサンドロス大王）の家庭教師であったことでも知られる。 アリストテレスは、人間の本性が「知を愛する」ことにあると考えた。ギリシャ語ではこれをフィロソフィア（）と呼ぶ。フィロは「愛する」、ソフィアは「知」を意味する。この言葉がヨーロッパの各国の言語で「哲学」を意味する言葉の語源となった。著作集は日本語版で17巻に及ぶが、内訳は形而上学、倫理学、論理学といった哲学関係のほか、政治学、宇宙論、天体学、自然学（物理学）、気象学、博物誌学的なものから分析的なもの、その他、生物学、詩学、演劇学、および現在でいう心理学なども含まれており多岐にわたる。アリストテレスはこれらをすべてフィロソフィアと呼んでいた。アリストテレスのいう「哲学」とは知的欲求を満たす知的行為そのものと、その行為の結果全体であり、現在の学問のほとんどが彼の「哲学」の範疇に含まれている立花隆『脳を究める』（2001年3月1日 朝日文庫）。 名前の由来はギリシア語の aristos （最高の）と telos （目的）から 。.
新しい！!: 形式論理学とアリストテレス · 続きを見る »
イマヌエル・カント
イマヌエル・カント（Immanuel Kant、1724年4月22日 - 1804年2月12日）は、プロイセン王国（ドイツ）の哲学者であり、ケーニヒスベルク大学の哲学教授である。『純粋理性批判』、『実践理性批判』、『判断力批判』の三批判書を発表し、批判哲学を提唱して、認識論における、いわゆる「コペルニクス的転回」をもたらした。フィヒテ、シェリング、そしてヘーゲルへと続くドイツ古典主義哲学（ドイツ観念論哲学）の祖とされる。彼が定めた超越論哲学の枠組みは、以後の西洋哲学全体に強い影響を及ぼしている。.
新しい！!: 形式論理学とイマヌエル・カント · 続きを見る »
エトムント・フッサール
トムント・グスタフ・アルブレヒト・フッサール（Edmund Gustav Albrecht Husserl、IPA:、1859年4月8日 - 1938年4月27日）は、オーストリアの哲学者、数学者である。ファーストネームの「エトムント」は「エドムント」との表記もあり、またラストネームの「フッサール」は古く「フッセル」または「フッセルル」との表記も用いられた。.
新しい！!: 形式論理学とエトムント・フッサール · 続きを見る »
哲学
哲学（てつがく、Φιλοσοφία、philosophia、philosophy、philosophie、Philosophie）は、語義的には「愛智」を意味する学問的活動である。日本語辞典の広辞苑では、次のように説明している。 観念論的な形而上学に対して、唯物論的な形而上学もある。諸科学が分化独立した現在では、哲学は学問とされることが多いが、科学とされる場合哲学は「自然および社会，人間の思考，その知識獲得の過程にかんする一般的法則を研究する科学」である。出典は、青木書店『哲学事典』。もある。.
非形式論理学
非形式論理学（ひけいしきろんりがく、Informal logic）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学 and・or その学際的分野である。非形式論理学は1970年代初め、北アメリカで学部学生への論理学入門コースの代替として導入されたのが始まりである。間もなく思考スキル強化の運動と連携し、特に批判的思考（後述）と密接に関連するようになった。後に、学際的研究分野である議論学とも連携するようになった。 非形式論理学の正確な定義には異論もある。Ralph H. Johnson と J. Anthony Blair は非形式論理学を「論理学の一分野で、日常会話における議論・論証の分析・解釈・評価・批評・構築のための非形式的な標準・尺度・手続きを開発することを目的とする」と定義したJohnson, Ralph H., and Blair, J. Anthony (1987), "The Current State of Informal Logic", Informal Logic, 9(2–3), 147–151.
新しい！!: 形式論理学と非形式論理学 · 続きを見る »
認識論
認識論（にんしきろん、Erkenntnistheorie、Epistemology、Épistémologie）は、認識、知識や真理の性質・起源・範囲（人が理解できる限界など）について考察する、哲学の一部門である。存在論ないし形而上学と並ぶ哲学の主要な一部門とされ、知識論（theory of knowledge）とも呼ばれる。日本語の「認識論」は独語の訳語であり、日本ではヒト・人間を考慮した場合を主に扱う。英語と仏語の語源は「知」(epistēmē) + 「合理的な言説」(logos)。フランスでは「エピステモロジー」という分野があるが、20世紀にフランスで生まれた科学哲学の一つの方法論ないし理論であり、日本語では「科学認識論」と訳される。 哲学はアリストテレス以来その領域を諸科学によって置き換えられていったが、最後に狭い領域が残り、それが大きく認識論と存在論に大別され、現在もこの分類が生きている。認識論ではヒトの外の世界を諸々の感覚を通じていかに認識していくかが問題視される。認識という行為は、人間のあらゆる日常的、あるいは知的活動の根源にあり、認識の成立根拠と普遍妥当性を論ずることが存在論である。しかし、哲学における方法論は思弁に尽きるため、仮説を立て実験によって検証するという科学的方法論は長年取り入れられることはなかった。哲学論は基本的に仮設の羅列に過ぎず、単に主観的な主張であった。客観性の保証が全くない内観法が哲学者の主たる武器であった。19世紀末ごろ、認識論の一部が哲学の外に出て心理学という学問を成立させるが、初期にはもっぱら内観や内省を方法論とし、思弁哲学と大差はなかったため、のちにアームチェア心理学と呼ばれた。やがて、思弁を排し客観的、科学的方法論をもとに実験心理学が登場し、認識の一部は、心理学に取り込まれていった。錯覚現象などがその研究対象になった。実験心理学では、データの統計的処理では科学的であったが、なぜ錯覚が生まれるかというメカニズムの解明では、仮説を立て実験データとの照合を論じてはいたものの、その仮説自体はやはり思弁に過ぎなかった。それを嫌い人間の主観を排し、実験動物を用いた観察可能な行動のみを研究対象とする一派も存在したが、人間の認識は研究対象から外された。このため、認識論の問題は比較的最近まで客観科学化されずに哲学の領域にとどまり続けた。しかし、脳科学の進歩によって急速に、認識論と存在論の2つの世界は大きく浸食されつつある立花隆『脳を究める』（朝日新聞社 2001年3月1日）。.
論理学
論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.
論理学の歴史
論理学の歴史では妥当な推論を探求する学問の発展を取り扱う。形式論理学は古代の中国、インド、ギリシアで発展した。ギリシア論理学、中でもアリストテレス論理学は科学・数学に広く受容・応用されている。 アリストテレス論理学は中世のイスラーム圏およびキリスト教西方世界にさらに発展し、14世紀半ばに頂点をむかえた。14世紀から19世紀初めまでの時期は概して論理学が衰退し、軽視された時期であり、少なくとも一人の論理学史家によって論理学の不毛期とみなされているOxford Companion p. 498; Bochenski, Part I Introduction, passim。 19世紀半ばになると論理学が復興し、革命期が始まって、数学において用いられる厳密な証明を手本とする厳格かつ形式的な規則へと主題が発展した。近現代におけるこの時期の発展、いわゆる「記号」あるいは「数理」論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言えるOxford Companion p. 500。 数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。.
新しい！!: 形式論理学と論理学の歴史 · 続きを見る »
数学の哲学
数学の哲学（すうがくのてつがく、philosophy of mathematics）は、哲学（科学哲学）の一分野で、数学を条件付けている哲学的前提や哲学的基礎、そして数学の哲学的意味を研究するものである。数理哲学とも言われる。 数学的哲学（すうがくてきてつがく、mathematical philosophy）という用語が、しばしば「数学の哲学」と同義語として使われる。しかしながら、「数学的哲学」は、別の意味を少なくとも二つ持っている。一つは、例えばスコラ学の神学者の仕事やライプニッツやスピノザの体系が目標にしていたような、美学、倫理学、論理学、形而上学、神学といった哲学的主題を、その主張するところでは、より正確かつ厳密な形へと形式化するプロジェクトを意味する。さらに、個々の数学の実践者や、考えかたの似た現場の数学者の共同体が日頃抱いているものの考え方（＝哲学）を意味する。.
新しい！!: 形式論理学と数学の哲学 · 続きを見る »
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
新しい！!: 形式論理学と数理論理学 · 続きを見る »
19世紀の哲学
19世紀の哲学（じゅうきゅうせいきのてつがく）は、哲学史的に考察した場合、19世紀は、様々な新たな思想が誕生して発展し、現代思想の原点となった時期である。.
新しい！!: 形式論理学と19世紀の哲学 · 続きを見る »
ここにリダイレクトされます：
形式論理。
