比浏览器更快的访问！
15 关系: 中间逻辑，弗雷格命题演算，命题逻辑，哲学家，公理，真理，直觉主义逻辑，蕴涵命题演算，逻辑，逻辑学家，查尔斯·桑德斯·皮尔士，柯里-霍华德同构，排中律，演绎定理，海廷代数。
中间逻辑
中介逻辑是在直觉主义逻辑和经典逻辑之间的中介，这是在它们包含在直觉主义逻辑中不可证明的定理，而又不等于的经典逻辑的意义上说的。这种逻辑也叫做超直觉主义或次经典逻辑。 有連續統的勢个不同的中介逻辑，通常是向直觉主义逻辑增加一个或多个公理而获得的。 这种逻辑的例子有：.
新！!: 皮尔士定律和中间逻辑 · 查看更多 »
弗雷格命题演算
在数理逻辑中弗雷格命题演算是第一个公理化的命题演算。它由弗雷格发明，他还在1879年发明了谓词演算，作为他的二阶谓词逻辑的一部分(尽管查尔斯·桑德斯·皮尔士首次使用了术语“二阶”并独立于 Frege 开发了自己版本的谓词演算)。 它只使用两个逻辑算子: 蕴涵和否定，并且由六个公理和一个推理规则肯定前件构成。 公.
新！!: 皮尔士定律和弗雷格命题演算 · 查看更多 »
命题逻辑
在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。.
新！!: 皮尔士定律和命题逻辑 · 查看更多 »
哲学家
#重定向 哲學家.
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
真理
真理通常被定义为与事实或实在相一致。然而，并没有任何一个真理的定义被学者普遍接受。许多不同的真理定义一直被广泛争论。许多与真理定义相关的主题同样无法获得共识。普世價值與絕對真理是兩個不完全等同的概念，儘管它們經常性地被人們所混淆。 使用真理概念的有科學、哲學、宗教等。智人终于脫離於宗教迷信外的真理概念，始自於西方文明中科学与人文并重的古希臘時期。.
直觉主义逻辑
觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。.
新！!: 皮尔士定律和直觉主义逻辑 · 查看更多 »
蕴涵命题演算
在数理逻辑中，蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典(二值)命题演算。用公式表达，这个二元运算被指示为“implies” “如果..., 则...”, “→”, “\rightarrow \!”等等。.
新！!: 皮尔士定律和蕴涵命题演算 · 查看更多 »
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
逻辑学家
逻辑学家是学术研究主题为逻辑学的哲学家，数学家或其他人。下面按姓氏的英语的字母顺序列出著名的逻辑学家。.
新！!: 皮尔士定律和逻辑学家 · 查看更多 »
查尔斯·桑德斯·皮尔士
查尔斯·桑德斯·皮尔士（Charles Sanders Santiago Peirce，；中文常译為皮尔斯，实际上读音应该是“purse”，“珀斯”）是美国的通才，实用主义学家。.
新！!: 皮尔士定律和查尔斯·桑德斯·皮尔士 · 查看更多 »
柯里-霍华德同构
柯里-霍華德对应是在计算机程序和数学证明之间的紧密联系；这种对应也叫做柯里-霍華德同构、公式为类型对应或命题为类型对应。这是对形式逻辑系统和公式计算（computational calculus）之间符号的相似性的推广。它被认为是由美国数学家哈斯凯尔·加里和逻辑学家William Alvin Howard独立发现的。.
新！!: 皮尔士定律和柯里-霍华德同构 · 查看更多 »
排中律
在逻辑中，排中律（tertium non datur）声称对于任何命题 P，(P ∨ ¬P) 为真。 符号 '¬' 读作“非”，∨ 读作“或”，∧ 读作“与”。 例如，如果 P 是 则包含式析取 为真。 这不完全同于二值原理，它陈述的是 P 必须要么是真要么是假。它也不同于无矛盾律，它陈述的是 ¬(P ∧ ¬P) 是真。排中律只是说 (P ∨ ¬P) 整体是真。不提及 P 自身可以采用什么真值。在任何情况下，任何二值逻辑的语义都将为 P 和 ¬P 指派对立的真值(就是说，如果 P 是真，则 ¬P 是假)，所以在二值逻辑中排中律会等价于二值原理。但是，对于非二值逻辑或多值逻辑就不能这么说。 特定的逻辑系统可能通过允许多于两个真值(比如：真、假、中；真、假、非真非假、亦真亦假)而拒绝二值原理，但接受排中律。在这种逻辑中，(P ∨ ¬P) 可以为真，而 P 和 ¬P 不被分别指派为对立的真值。 一些逻辑不接受排中律，最著名的是直觉逻辑。文章《二值和有关规律》中详细地讨论了这个问题。 排中律可能被误用，导致排中律的逻辑谬论，这也叫做假两难推理。.
演绎定理
在数理逻辑中，演绎定理声称如果公式 F 演绎自 E，则蕴涵 E → F 是可证明的(就是或它可以自空集推导出来)。用符号表示，如果 E \vdash F ，则 \vdash E \rightarrow F 。 演绎定理可以推广到假定公式的可数序列，使得从 E_1, E_2,...
新！!: 皮尔士定律和演绎定理 · 查看更多 »
海廷代数
在数学裡，海廷代数是一特殊的偏序集，經由廣義化布爾代數而成，得名於阿蘭德·海廷。海廷代数是作为直觉主义逻辑的模型而產生的，是一種排中律不總是成立的逻辑。完全海廷代数是无点拓扑学的核心。.
新！!: 皮尔士定律和海廷代数 · 查看更多 »
