Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
論理実証主義(ろんりじっしょうしゅぎ、英: logical positivism)とは、20世紀前半の哲学史の中で、特に科学哲学、言語哲学において重要な役割を果たした思想ないし運動。論理経験主義(英: logical empiricism)、科学経験主義ともいう。 経験主義
直観主義論理(ちょっかんしゅぎろんり、英: intuitionistic logic)または直観論理(ちょっかんろんり)、あるいは構成的論理(こうせいてきろんり、英: constructive logic)とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理
数学についての論理主義(ろんりしゅぎ、英: Logicism、仏: Logicism、独: Logizismus)は、数学全体を論理学の一部とみなし、数学を基礎付け、数学を論理学へと還元できるとする立場である。方法的には、論理学の諸規則から数学のそれを演繹することが出来ると主張する。
義務論理(英: deontic logic)は、義務や権利などの概念を扱う論理学の一分野である。規範論理とも。典型的な記法としては、OA(A は義務的である、A であるべきだ)と PA(A は許されている、A でもよい)がある。deontic という言葉は古代ギリシャ語の déon(拘束されているもの、適切なもの)を語源とする。
直観主義型理論は3つの有限型を持つ。その有限型は5つの異なる型構築子(type constructor)を組み合わせたものである。集合論とは異なり、型理論は第一階述語論理のような論理学をベースに構築されてはいない。だから、それぞれの型理論の特徴は、数学と論理学両方の特徴としての役割を果たす。
数学を, 公理系から厳密に演繹された体系として構成しようとする立場。 ヒルベルトなどの形式主義的方法に代表される。
〔idealism〕
原理主義(げんりしゅぎ、英語: fundamentalism、ファンダメンタリズム)は、主に以下の意味で使用されている。 キリスト教の用語で、聖書の無謬性を主張する思想や運動(キリスト教根本主義)。対比語は自由主義神学(リベラル・リベラリズム)、近代主義(モダニスト)、世俗主義など。