Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
直観主義論理(ちょっかんしゅぎろんり、英: intuitionistic logic)または直観論理(ちょっかんろんり)、あるいは構成的論理(こうせいてきろんり、英: constructive logic)とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理
反対語は楽天主義(optimism)である。 元来は哲学における分野の用語であり、「この世界は悪と悲惨に満ちたものだ」という人生観をさす。ジャコモ・レオパルディの世界観と、「世界は盲目的な意志によって動かされている」とするショーペンハウアーの思想が悲観主義の代表である。ショーペンハウアーの悲観主義
直観主義型理論は3つの有限型を持つ。その有限型は5つの異なる型構築子(type constructor)を組み合わせたものである。集合論とは異なり、型理論は第一階述語論理のような論理学をベースに構築されてはいない。だから、それぞれの型理論の特徴は、数学と論理学両方の特徴としての役割を果たす。
〔哲〕
が、実質的には革命指導者の地位にあるカダフィによる独裁国家であったと解釈されている。 また国家や地方自治の制度ではないが、デモ活動などの直接的示威行為も広義には直接民主主義の一部とされることもある。 日本においては、憲法改正には国民投票が必要である(日本国憲法第96条)。また地方自治においては、地方自治法
(1)対象について認識・行為・評価などを行う意識のはたらき, またそのはたらきをなす者。 通例, 個別的な心理学的自我と同一視されるが, カントの認識論では個別的内容を超えた超個人的な形式としての主観(超越論的主観)を考え, これが客観的認識を可能にするとする。
数学の哲学において、直観主義(ちょっかんしゅぎ、英: Intuitionism)とは、数学の基礎を数学者の直観におく立場のことを指す。 これに類する主張は、カントールの集合論に対抗する形でクロネッカーやポアンカレによってもなされていたが、最も明確に表明したのはオランダの
(1)常にいだいている主張・考えや行動の指針。