比浏览器更快的访问！
135 关系: 嚴復，原則，印度，印度历史，古希腊，可废止逻辑，可废止推理，可靠性定理，史丹佛哲學百科全書，名家，名教，同一律，墨家，多值逻辑，大卫·希尔伯特，学习，孫中山，字根，宇宙学，中國，中间逻辑，希尔伯特演绎系统，希腊，布尔代数，布尔逻辑，三值逻辑，三段論，一阶逻辑，一致性 (邏輯)，乔治·布尔，亚结构逻辑，亚里士多德，人工智能，二階邏輯，库尔特·哥德尔，代数逻辑，伊曼努尔·康德，传统逻辑，伦理学，伯特兰·罗素，形上學，形式，形式科學，形式系統，形式语言，归纳推理，修辞学，心理学，分析哲學，命题逻辑，...，和製漢語，哥德尔不完备定理，哲学，哲学逻辑，公理化集合论，关系代数 (抽象代数)，充足理由律，前件，因果，四大文明古国，皮亚诺公理，知識論，矛盾，理論，秦朝，线性逻辑，经典逻辑，组合子逻辑，缺省逻辑，真理，直觉主义逻辑，直觉类型论，直言三段论，相干逻辑，相继式演算，韩非，道义逻辑，非单调逻辑，非形式逻辑，謬論，證明，计算机科学，计算机逻辑，认识逻辑，证明论，词语，语义学，辩证逻辑，辩证法，阿爾弗雷德·諾思·懷特黑德，邏各斯，自动认识逻辑，自由逻辑，自然语言，自然演绎，集合论，逻辑，逻辑史，逻辑学家，逻辑非，逻辑论证，递归论，逆命题，虚拟可能性，陶渊明，柏拉图，柯里-霍华德同构，推理，排中律，格奥尔格·威廉·弗里德里希·黑格尔，概念，概念文字，概率，概率逻辑，模型论，模糊逻辑，模态逻辑，次协调逻辑，正理经，法律，法律逻辑学，溯因推理，演绎推理，有效性，戈特弗里德·莱布尼茨，戈特洛布·弗雷格，海廷代数，文法，时间逻辑，悖论，数学，数学基础，数学原理，数理逻辑，思想。 扩展索引 (85 更多) »
嚴復
嚴復（），乳名体乾，初名传初，改名宗光，字又陵，后名復，字几道，晚号「瘉壄老人」，福建侯官（後并入闽县，称为闽侯，今福州市）人。中国近代启蒙思想家、翻译家。曾為京師大學堂校長，籌安會六君子之一。 嚴復系统地将西方的社会学、政治学、政治经济学、哲学和自然科学介绍到中国，他翻译了《天演论》、《原富》、《群学肄言》、《群己权界论》、《社会通诠》、《法意》、《名学浅说》、《穆勒名学》等著作。他的译著在当时影响巨大，是中国20世纪最重要启蒙译著。嚴復的翻译考究、严谨，每个译称都经深思熟虑，他提出的“信、达、雅”的翻译标准对后世的翻译工作产生深远影响。.
原則
原則」英文譯為：反譯回來也包括「定律」、「原理」一詞，是在「方法論」中我们所认知的集合范围内可以预测现象的自然规律，常是客观存在的。使用原則概念的有科學、哲學、宗教、法律等。原則通常被定义为与事实或实在有潛在可推論性。然而，由於并没有任何一个真理的定义被学者普遍接受的情況下，邏輯性地使人产生了对近似真理的「原則」權充自然绝对性规律的認知，常使「原則」成为指导行动的"最高准则"或"標準"。许多不同的原則定义一直被广泛争论。许多与原則定义相关的主题同样无法获得共识。普世價值的「原則」更與絕對「真理」是兩個不完全等同的概念，儘管它們經常性地被人們所混淆，甚至有人造出「真理原則」的矛盾覆詞產生。.
印度
印度共和国（भारत गणराज्य，；Republic of India），通称印度（भारत；India），是位于南亚印度次大陆上的国家，印度面积位列世界第七，印度人口众多，位列世界第二，截至2018年1月印度拥有人口13.4亿，仅次于中国人口的13.8亿，人口成長速度比中國還快，预计近年将交叉。是亚洲第二大也是南亚最大的国家，面积328万平方公里（实际管辖），同时也是世界第三大（购买力平价／PPP）经济体。 印度并非单一民族及文化的国家。印度的民族和种族非常之多，有“民族大熔炉”之称，其中印度斯坦族占印度总人口的大约一半，是印度最大的民族。印度各个民族都拥有各自的语言，仅宪法承认的官方语言就有22种之多，其中印地语和英语被定为印度共和国的联邦官方语言，并且法院裁定印度没有国语。英语在印度非常流行，尤其在南印地位甚至高于印地语，但受限于教育水平，普通民众普遍不精通英语。另外，印度也是一个多宗教的国家，世界4大宗教其中的佛教和印度教都源自印度。大部分印度人信仰印度教。伊斯兰教在印度也有大量信徒，是印度的第二大宗教，信教者约占印度的14.6%(截至2011年，共有约1亿7千7百万人)。伊斯兰教是在公元8世纪随着阿拉伯帝国的扩张而传播到印度的。公元10世纪后，北印的大多数王朝统治者都是信奉伊斯兰教的，特别是莫卧儿王朝。印度也是众多正式和非正式的多边国际组织的成员，包括世界贸易组织、英联邦、金砖五国、南亚区域合作联盟和不结盟运动等。 以耕种农业、城市手工业、服务业以及其支撑产业为主的部分行业已经相对取得了进展。除了民族文化与北方地形的丰富使印度旅游业颇受欢迎之外，由于时差，大批能说英语的人才也投入外包行业（即是外国企业把客户咨询，电话答录等等服务转移到印度）。另一方面，宝莱坞电影的文化输出在英语圈乃至全球的影响力不亚于世界主流。同时印度还是很多专利过期药物的生产地，以低价格提供可靠的医疗。近年来，印度政府还大力投资本国高等教育，以利于在科学上与国际接轨，例如自主太空研究、南亚半岛生态研究等等。印度最重要的贸易伙伴是美国、欧盟、日本、中国和阿拉伯联合酋长国。.
印度历史
印度地区歷史悠久，是世界上较早出现文明的地区之一。而印度河是其古印度文明的發源地，在古印度文明滅亡後，雅利安人進入印度地區，在文化上并与当地人结合，创造了经典的吠陀文化。.
古希腊
位于雅典卫城的帕特农神庙，是给女神雅典娜而建。它是古希腊文明最具代表性的标志性符号之一。 古希腊是指从希腊历史上公元前8世纪的古风时期开始到公元前146年被罗马共和国征服之前的这段时间的希腊文明。 早在古希臘文明興起之前約800年，愛琴海地區就孕育了燦爛的克里特文明和邁錫尼文明。大約在公元前1200年，多利亞人的入侵毀滅了邁錫尼文明，希臘歷史進入所謂「黑暗時代」。 在雅典的领导下，在兩次的波希战争取胜之后，并在前5世纪到前4世纪之间，也就是在波希戰爭結束後至伯羅奔尼撒戰爭爆發前的這段時期达到鼎盛，被称作“黄金时期”。在被馬其頓國王亚历山大大帝征服后，希腊化文明在地中海西岸到中亚的大片地区扩散。 古希腊人在宗教、哲學、科學、藝術、工藝等诸多方面有很深的造诣。由于古希腊文明对罗马帝国有过重大影响，后者将前者的文明吸收并带到环地中海和欧洲的许多地区。因此一般认为古希腊文明为西方文明打下了基础。.
可废止逻辑
可废止逻辑是Donald Nute提出的用来形式化可废止推理的非单调逻辑。在缺省逻辑中，有三种不同类型的命题：;硬性规则：指定一个事实总是另一个事实的结论；;可废止规则：指定一个事实典型的是另一个事实的结论；;废止者：指定对可废止规则的例外。 可以在可废止规则和废止者上给出优先级。在演绎期间，硬性规则总是应用，而可废止规则只能在没有更高优先级的废止者指定它不能用的时候应用。.
可废止推理
可废止推理是对推理形式的研究，它尽管令人信服，却不如演绎推理那么形式化和严格。它已经在哲学中，和最近在人工智能中讨论过了。 其他演绎推理的替代者包括归纳推理和逆推推理。它们在传统上不被术语「可废止推理」所覆盖。.
可靠性定理
可靠性定理（或健全性）是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体：弱可靠性的和强可靠性的。“强”与“弱”的意义在于，强可靠性考虑句子的任意集合，而与弱可靠性有关的句子的空集是这种集合之一。大多数但不是全部演绎系统，强可靠性和弱可靠性都成立。.
史丹佛哲學百科全書
史丹佛哲學百科全書（Stanford Encyclopedia of Philosophy，SEP）是一部由史丹佛大學營運的免費線上哲學百科全書，內容主要以經同行評審認可的論文為主。該百科內的每一篇論文均由一位該領域的專家撰寫並維護，作者涵蓋來自世界各地徐術機構的教授。每一位在該百科全書上發表文章的作者均同意將作品的出版權讓與史丹佛大學，但作者仍可保有著作權。.
新！!: 逻辑和史丹佛哲學百科全書 · 查看更多 »
名家
名家，是中国先秦時期诸子百家之一， 也是司馬談《論六家要旨》的六家之一。名家的人在古代以「辩者」而闻名。名家思想包括诠释“实”与“名”来阐述观点，开创了中国的逻辑思想探究。重要人物有鄧析、公孫龍、宋钘、尹文、惠施等人，其提出的命题包括白马非马、堅白石、合同异等。.
名教
#重定向 礼教.
同一律
在逻辑中，同一律声称 A.
墨家
墨家，是中国春秋戰國时期的哲学流派，诸子百家之一。法家代表韩非子称墨家和儒家为“世之显学”，而儒家代表孟子也曾说“天下之言，不归杨（杨朱，道家右派代表人物）则归墨（墨子）”等语，证明了墨家思想曾经在中国的辉煌。戰國後期，墨學的影響一度甚至在孔学之上。 至汉初，因为墨家思想独有的政治属性，兼之西汉汉武帝“罢黜百家，独尊儒术”的官学勾结政策，墨家不断遭到打压，并逐渐失去了存身的现实基础，墨家思想在中国逐渐灭绝；直到清末民初，学者们才从故纸堆中重新挖出墨家，并发现其进步性。近年来经过一些新墨者的努力，墨家学说中的一些有益观点开始进入人们的视野。 墨家逻辑是中国古代第一个逻辑学体系，全球三大古典逻辑体系之一，主要以三物论为代表，三物分别为故、理、类。《墨辩》是墨家逻辑的主要著作。.
多值逻辑
多值逻辑是有多于两个的可能的真值的逻辑演算。传统上，逻辑演算是二值的，就是说对于任何命题都只有两个可能的真值，真和假（它一般对应于我们直觉概念的真理和虚假）。但是二值只有一个可以被指派的可能的真值范围，已经开发了一些其他逻辑系统，带有对二值的变异，或带有多于两个可能的真值指派。.
大卫·希尔伯特
大卫·希尔伯特（David Hilbert，），德国数学家，是19世纪和20世纪初最具影响力的数学家之一。希尔伯特1862年出生于哥尼斯堡（今俄罗斯加里宁格勒），1943年在德国哥廷根逝世。他因为发明了大量的思想观念（例：不变量理论、、希尔伯特空间）而被尊为伟大的数学家、科学家。 他提出了希尔伯特空间的理論，是泛函分析的基礎之一。他热忱地支持康托的集合论与无限数。他在数学上的领导地位充分体现于：1900年，在巴黎的国际数学家大会提出的一系列问题（希尔伯特的23个问题）为20世纪的许多数学研究指出方向。 希尔伯特和他的学生为形成量子力学和广义相对论的数学基础做出了重要的贡献。他还是证明论、数理逻辑、区分数学与元数学之差别的奠基人之一。.
新！!: 逻辑和大卫·希尔伯特 · 查看更多 »
学习
学习是透過外界教授或从自身經驗提高能力的過程。.
孫中山
孫中山（），名文，幼名帝象，譜名德明，字載之，號逸仙、日新。流亡日本時，曾化名中山樵，故通稱孫中山。生於大清帝國廣東省廣州府香山縣翠亨村，祖籍广东省东莞。清末民初醫師、政治家、革命家、哲学家，是中華民國奠基人，亦是中國國民黨之創黨人。1905年，在日本東京組成中國同盟會，被推為總理；確定「驅除韃虜，恢復中華，建立民國，平均地權」政綱，提出三民主義學說。在日本東京由黑龍會領袖內田良平的号召下與華興會以及光復會等組織籌備成立中國同盟會，後於東京黑龍會總部組成中國同盟會，孫中山主張使用狀似日本軍旗「旭日旗」的「青天白日旗」，反對使用黃興所提出的井字旗作為革命旗幟，並在黑龍會等組織的支持下被推為總理。1911年12月29日，被十七省代表在南京推选为中華民國臨時大總統，1912年1月1日在南京宣布就职，建立中华民国臨时政府。1919年，将中华革命党改组为中国国民党1940年4月，國民政府明令尊稱孫中山先生為中華民國國父。中國共產黨尊其為「中國近代民主革命的偉大先行者」。 孫中山童年曾受太平天国的影响，就有革命思想。但到了青年時期，他依舊未有行動，28岁上書清朝重臣李鴻章，建言改革，卻遭遇李的冷落。日本命令將兵遣師，侵入中國。1894年11月24日，孙中山在檀香山成立兴中会（中國國民黨前身）。1895年，兴中会发动乙未广州起义。原本，孫中山提倡以武裝革命推翻滿清統治以建立中華民國，但民國建立以後，他得不到北洋軍人的信任、支持，所以他又提倡武力推翻中华民国北洋政府，於是遭受許多非議。他提出三民主義等政治綱領，影響中國政治至深，中国国民党尊其為唯一總理。 孙中山著有《建國方略》、《建國大綱》、《三民主義》等。其著述在逝世后多次被结集出版，有中华书局1986年出版的十一卷本《孙中山全集》，台北1969、1973、1985年出版的《国父全集》.
字根
字根是字形類中文輸入法拆字的基本形狀單位。 舉例說，「妲」這個字，倉頡輸入法拆碼為「女(V)、日(A)、一(M)」，大易輸入法拆碼為「女(L)、日(D)、一(E)」，行列輸入法拆碼為「女(W)、日(P)、一(A)」，嘸蝦米輸入法拆碼為「女(G)、日(D)、一(E)」，「女、日、一」即是這幾種輸入法的字根。.
宇宙学
宇宙學（英文：Cosmology）或宇宙論，這個詞源自於希臘文的κοσμολογία（cosmologia, κόσμος （cosmos） order + λογια （logia） discourse）。宇宙學是對宇宙整體的研究，並且延伸探討至人類在宇宙中的地位。雖然宇宙學這個詞是最近才有的，人們對宇宙的研究已經有很長的一段歷史，牽涉到科學、哲學、神秘学以及宗教。.
中國
中國是位於東亞的國家或地理區域，此名稱最早见于西周，用來指以洛陽盆地為中心的中原地區，與四夷相對，之後逐漸用來指稱從夏朝起延續傳承至今的各政權。其疆域隨著歷史演變而有所增減，但大多不脫以中原王朝根基所在的汉地九州為中心。民族構成上以漢族為主體，文化上透過歷代王朝政權與周邊各民族政權的交流與征戰，而融入不少周邊民族的文化。現今國際上廣泛承認代表中國的政權是中华人民共和国。 中國文明是世界上最早的文明之一。 新石器时期，中原地区开始出现聚落组织；公元前27世纪左右出现方国，以共主為首的制度；前20世纪开始，古代中国进入世袭的封建皇朝阶段；公元前2世紀，秦滅六國，完成中國第一次大一統。此後幾千年來，中國的政治制度以半傳統的夏代為基礎的世襲君主制以朝代更換政權運作。此後经多次擴大，破裂，重組，朝代更迭，經過數次统一与分裂交替进行。直到1911年辛亥革命後，中國废除君主制，实行共和制，清朝被1912年成立的中华民国取代。1945年第二次國共內戰爆發後，中國共產黨逐漸控制中國的大部分領土，最終於1949年10月1日建立中华人民共和国，形成了中华民国與中华人民共和国双方相隔台灣海峽对峙的局面；惟做為國際關係核心場域的聯合國系統內，中華民國政府仍持擁有中國代表權，直到1971年聯合國大會2758號決議通過後，才被中華人民共和國政府完全取代。 中國經濟曾经在相当长的历史时期中在世界上占有重要的地位，其周期通常与王朝的兴衰与更替相對應。中國經濟史可分为几个階段：第一階段為遠古至西晉末年，其中以三國孫吳時轉變較大；第二階段為東晉至北宋末年，其中以唐安史之亂劃分為前後；第三階段為南宋建立至鴉片戰爭張家駒，《兩宋經濟重心的南移》，湖北人民出版社，1957年。工业革命後，西方國家的工業成品，無論在數量和質量上，相較於當時中国純手工業經濟出産的商品，佔有壓倒性的優勢。而且，由于明清兩代以來，中國對外政策趨於保守，並對外實行海禁，使得西方工業化的影响步伐在中国国門前站住了腳，中国在19世紀末以前，一直沒有很好地進行工業化，經濟遂落後於西方。1978年改革開放施行後，中国经济發展迅速，對世界經濟的影響也日漸顯著。 中国文化歷經上千年的歷史演變，是各區域、各民族古代文化長期相互交流、借鉴、融合的結果。其中汉文化对日本、朝鮮半島和东南亚有深远影响，形成漢字文化圈。中国的传统艺术形式有国乐、相声、戏曲、书法、国画、文學、陶瓷藝術、雕刻等，传统娱乐活动有象棋、围棋、麻将、中国武术等。茶、酒、菜和筷子等为中国的特色饮食文化，春节（舊曆新年）、元宵、清明、端午、七夕、中秋、重阳、冬至等为传统节日。中国传统上是一个儒学国家，以夏历为历法，以五伦为道德准则。春秋时期孔子「有教无类，因材施教」开始办私塾培养人才，汉朝时采用察举推选政府官员，隋朝起实行科举在平民中选拔人才。此外，中国歷朝歷代都设有史官，因此保存有十分详尽的历史资料，如《二十四史》、《资治通鉴》等。古代中國在科學領域上有豐厚的成就。.
中间逻辑
中介逻辑是在直觉主义逻辑和经典逻辑之间的中介，这是在它们包含在直觉主义逻辑中不可证明的定理，而又不等于的经典逻辑的意义上说的。这种逻辑也叫做超直觉主义或次经典逻辑。 有連續統的勢个不同的中介逻辑，通常是向直觉主义逻辑增加一个或多个公理而获得的。 这种逻辑的例子有：.
希尔伯特演绎系统
在逻辑特别是数理逻辑中，希尔伯特风格演绎系统是归功于弗雷格和希尔伯特的一类形式演绎系统。这种演绎系统最经常为一阶逻辑而研究，但对其他逻辑也是有价值的。 所有演绎系统都在逻辑公理和推理规则之间作出取舍平衡。希尔伯特风格的演绎系统可以刻画为选择了大量的逻辑公理模式和少量的推理规则。最常研究的希尔伯特风格演绎系统只有一个推理规则即肯定前件和几个无限公理模式。 自然演绎系统做了相反的取舍，包括了很多演绎规则但有非常少甚至没有公理模式。.
新！!: 逻辑和希尔伯特演绎系统 · 查看更多 »
希腊
希腊（Ελλάδα，），官方名称为希腊共和国（希腊语：Ελληνική Δημοκρατία，），位于欧洲东南部的跨大洲国家。2015年其人口约为1,090万。雅典为希腊首都及最大城市，塞萨洛尼基为第二大城市。 希腊位于欧洲、亚洲和非洲的十字路口，战略地位重要。其位于巴尔干半岛南端，西北邻阿尔巴尼亚，北部邻马其顿共和国和保加利亚，东北邻土耳其。希腊分为九个地区：马其顿、中希腊、伯罗奔尼撒、色萨利、伊庇鲁斯、爱琴海诸岛（包括十二群岛及基克拉泽斯）、色雷斯、克里特和伊奥尼亚群岛。爱琴海位于希腊本土东侧，爱奥尼亚海位于西侧，克里特海和地中海位于南侧。希腊海岸线长达，为地中海盆地国家中最长，世界第11长。希腊拥有大量岛屿，其中227个岛屿有人居住。其百分之八十区域为山地，奥林波斯山为全境最高峰，海拔。 希腊为世界历史最悠久的国家之一，自公元前270,000年起即有人居住。其被称作西方文明的摇篮，为民主制度、西方哲学、奥林匹克运动会、西方文学、史学、政治学、重要科学及数学原理、西方戏剧（悲剧及喜剧）的发源地。公元前4世纪马其顿腓力二世首先统一了希腊。其子亚历山大大帝迅速征服了古代世界的大片地区，将希腊文化和科学自东地中海地区传播至印度河流域。公元前2世纪希腊为罗马所吞并，成为罗马帝国及其继承国拜占庭帝国的核心组成部分，其中后者为希腊语言及文化所主导。公元1世纪希腊正教会建立起来，塑造了现代希腊的文化认同，并将希腊传统传播至正教世界。15世纪中叶，奥斯曼帝国夺取了希腊地区。1830年，在经历独立战争后，希腊作为现代民族国家建立起来。希腊的文化遗产由其18个联合国教科文组织世界遗产数可见一斑，这一数目在欧洲及世界均居前列。 希腊为民主制国家，发达国家及高收入经济体，其生活质量较高，及人类发展指数为极高。希腊为联合国创始国之一，为欧洲共同体（欧洲联盟前身）第十个成员国，并自2001年以来为欧元区成员国。其亦为诸多国际组织的成员国，包括欧洲委员会、北大西洋公约组织、经济合作与发展组织、世界贸易组织、欧洲安全与合作组织及法语圈国际组织。希腊的独特文化地位、旅游业、船运业及战略地位使其被归为一中等强国。其为巴尔干地区最大规模经济体，并为这一区域重要的投资者之一。.
布尔代数
在抽象代数中，布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， 相似于集合论断言子集A和它的补集AC有空交集， 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中 ≤ 。任何两个格的元素，比如p .
布尔逻辑
布尔逻辑（Boolean algebra，台湾译--，中國大陸譯--）得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年，克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。.
三值逻辑
在邏輯學中的三值邏輯（three-valued，也稱為三元（ternary），或三价（trivalent）邏輯，有時縮寫為3VL）是幾個多值逻辑系統中的其中之一。有三種狀態來表示真、假和一個表示不確定的第三值；这相对於基礎的二元邏輯（比如布尔逻辑，它只提供真假兩種狀態）。概念形式和基本思想最初由 JanŁukasiewicz和 C. I. Lewis創建。 然後這些由 Grigore Moisil以公理代數形式重新制定，並在 1945年擴展到 n值邏輯。.
三段論
三段论在传统逻辑中，是在其中一个命题（结论）必然地从另外两个命题（叫做前提）中得出的一种推论。这个定义是传统的，可以宽松地从亚里士多德的《前分析篇》Book I, c. 1中推出来。希腊语“sullogismos”的意思是“演绎”。对传统意义上的三段论的详细描述参见直言三段论。 三段论由三个部分组成：大前提、小前提和结论，它在逻辑上是从大前提和小前提得出来的。大前提是一般性的原则。小前提是一个特殊陈述。在逻辑上，结论是从应用大前提于小前提之上得到的。.
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
一致性 (邏輯)
邏輯上，一致性（consistency）、相容性、或自洽性，是指一個形式系統中不蘊涵矛盾。 所謂的矛盾有二種解讀方式：.
新！!: 逻辑和一致性 (邏輯) · 查看更多 »
乔治·布尔
喬治·布爾（George Boole，，英語發音 ），英格兰数学家和哲学家，数理逻辑学先驱。.
亚结构逻辑
在数理逻辑中，特别是联合上证明论的时候，一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基于相继式（sequent）表达，而不是自然演绎的公式化表达。两个重要的亚结构逻辑是相干逻辑和线性逻辑。 在相继式演算中，你可以把证明的每一行写为 这里的结构规则是重写相继式左手端的Γ的规则，Γ是最初被构想为命题的字符串。这个字符串的标准解释是合取式：我们希望把相继式符号 读做 这里我们把右手端的Σ采纳为一个单一的命题C（这是直觉主义风格的相继式）;但是所有的东西都同样的适用于一般情况，因为所有的操作都发生在十字转门（turnstile）符号的左边。 因为合取是交换性和结合性的操作，相继式理论的形式架设通常包括相应的结构规则来重写相继式的Γ - 例如 演绎自 还有对应于合取特性的幂等性和单调性的进一步的结构规则：从 我们可以演绎出 还有从 我们可以演绎出，对于任何B， 在线性逻辑中有重复的假设（hypothese）'被认为'不同于单一的出现，它排除了这两个规则。而相干逻辑只排除后者的规则，因为B明显的与结论无关。 这些是结构规则的基本例子。在应用到常规命题演算的时候，这些规则是没有任何争议的。它们自然的出现于证明理论中，并在那里被首次注意到（在获得一个名字之前）。.
亚里士多德
亞里士多德（Αριστοτέλης，Aristotélēs，），古希腊哲学家，柏拉圖的學生、亚历山大大帝的老師。他的著作包含許多學科，包括了物理學、形而上學、詩歌（包括戲劇）、音乐、生物學、經濟學、動物學、邏輯學、政治、政府、以及倫理學。和柏拉圖、蘇格拉底（柏拉圖的老師）一起被譽為西方哲學的奠基者。亞里士多德的著作是西方哲學的第一個廣泛系統，包含道德、美學、邏輯和科學、政治和形而上学。 亞里士多德关于物理學的思想深刻地塑造了中世紀的學術思想，其影響力延伸到了文藝復興時期，雖然最終被牛頓物理學取代。在動物科學方面，他的一些意見仅在19世纪被确信是準確的。他的学术领域还包括早期关于形式逻辑理论的研究，最终这些研究在19世纪被合并到了现代形式逻辑理论裡。在形而上學方面，亞里士多德的哲學和神學思想在伊斯蘭教和猶太教的傳統上產生了深遠影響，在中世紀，它繼續影響着基督教神學，尤其是天主教教會的學術傳統。他的倫理學，虽然自始至终都具有深刻的影响，后来也随着新兴現代美德倫理的到来获得了新生。今天亞里士多德的哲學仍然活躍在學術研究的各个方面。在經濟學方面，亞里士多德對於經濟活動的分類與看法持續影響到中世紀與重農主義，直到被亞當斯密的古典經濟學派取代為止。雖然亞里士多德寫了許多論文和優雅的對話（西塞羅描述他的文學風格為“金河”），但是大多數人認為他的著作现已失散，只有大約三分之一的原创作品保存了下來。.
人工智能
人工智能（Artificial Intelligence, AI）亦稱機器智能，是指由人製造出來的機器所表現出來的智能。通常人工智能是指通過普通電腦程式的手段實現的人類智能技術。該詞也指出研究這樣的智能系統是否能夠實現，以及如何實現科學領域。同時如此，人類的數量開始收斂及功能逐漸被其取代。 一般教材中的定义领域是“智能主体（intelligent agent）的研究与设计”，智能主体是指一个可以观察周遭环境并作出行动以达致目标的系统。约翰·麦卡锡于1955年的定义是「制造智能机器的科学与工程。」 人工智能的研究是高度技术性和专业的，各分支领域都是深入且各不相通的，因而涉及範圍極廣。人工智能的研究可以分为几个技术问题。其分支领域主要集中在解决具体问题，其中之一是，如何使用各种不同的工具完成特定的应用程序。 AI的核心问题包括建構能夠跟人類似甚至超越的推理、知识、规划、学习、交流、感知、移动和操作物体的能力等。強人工智能目前仍然是该领域的长远目标。目前強人工智慧已經有初步成果，甚至在一些影像辨識、語言分析、棋類遊戲等等單方面的能力達到了超越人類的水平，而且人工智慧的通用性代表著，能解決上述的問題的是一樣的AI程式，無須重新開發算法就可以直接使用現有的AI完成任務，與人類的處理能力相同，但達到具備思考能力的統合強人工智慧還需要時間研究，比较流行的方法包括统计方法，计算智能和传统意义的AI。目前有大量的工具应用了人工智能，其中包括搜索和数学优化、逻辑推演。而基於仿生學、認知心理學，以及基于概率论和经济学的演算法等等也在逐步探索當中。.
二階邏輯
在逻辑和数学中，二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。 一阶逻辑和二阶逻辑都使用了论域（有时叫做“域”或“全集”）的想法。论域是可以在其上量化的个体元素的集合。一阶逻辑只包括取值为论域的个体元素的变量和量词。例如在一阶句子∀x(x ≠ x + 1)中变量x被用来表示一个任意的个体。二阶逻辑扩展了一阶逻辑，通过增加取值在个体的集合上变量和量词。例如，二阶句子\forall S \forall x \Big(x \in S \vee x \notin S \Big) 声称对于所有个体的集合S和所有的个体x，要么x在S中要么不在（这是二值原理）。最一般的二阶逻辑还包括量化在函数上的变量，和在下面语法章节解说的变量。.
库尔特·哥德尔
库尔特·弗雷德里希·哥德尔（Kurt Friedrich Gödel，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。.
新！!: 逻辑和库尔特·哥德尔 · 查看更多 »
代数逻辑
在數理邏輯中，代數邏輯使用抽象代數方法形式化邏輯。.
伊曼努尔·康德
伊曼努尔·康德（Immanuel Kant；；）為啟蒙時代著名德意志哲学家，德国古典哲学创始人，其學說深深影響近代西方哲學，並開啟了德國唯心主義和康德義務主義等諸多流派。 康德是啟蒙運動時期最後一位主要哲學家，是德國思想界的代表人物。他調和了勒內·笛卡兒的理性主義與法蘭西斯·培根的經驗主義，被认为是繼蘇格拉底、柏拉圖和亞里士多德後，西方最具影響力的思想家之一。 康德有其自成一派的思想系統，並且有為數不少的著作，其中核心的三大著作被合稱為「三大批判」，即《純粹理性批判》、《實踐理性批判》和《判斷力批判》，這三部作品有系統地分別闡述他的知識學、倫理學和美學思想。《純粹理性批判》尤其得到學術界重視，標誌著哲學研究的主要方向由本體論轉向認識論，是西方哲學史上劃時代的巨著。此外，康德在宗教哲學、法律哲學和歷史哲學方面也有重要論著。 康德哲学理论的一个基本出发点是，认为将经验转化为知识的理性（即“范畴”）是人与生俱来的，没有先天的范畴我们就无法理解世界。他的这个理论结合了英国经验主义与欧陆的理性主义，对德国唯心主义与浪漫主义影响深远。康德的道德哲学理论也十分著名。此外他还曾针对太阳系的形成提出第一个现代的理论解释，即康德-拉普拉斯假设。.
新！!: 逻辑和伊曼努尔·康德 · 查看更多 »
传统逻辑
传统逻辑，也叫做词项逻辑，是关于亚里士多德（公元前384年—前322年）所开创的传统逻辑学的宽松的术语，并有幸的没有经历广泛的改变，直到十九世纪末出现了谓词逻辑。 有时很难理解在弗雷格和罗素之前的哲学，原因是对他们之前的所有哲学家们所共识的术语和观念没有基本的掌握。本文提供对传统系统的基本介绍，和对进一步阅读的建议。.
伦理学
伦理学（ethics）也称为道德哲学或道德学，是对人类道德生活进行系统性思考和研究的学科；在此，「道德」被定義為一群人或一種文化所認可的所有行為準則。伦理学试图从理论层面建构一种指导行为的法则体系，并且对其进行严格的评判。 伦理学是哲学的一个主要分支学科，涉及到在正確行為與錯誤行為的概念督導下，人們應該怎樣過正常生活。「倫理」对应的英文用詞「ethics」來自於希臘文「ethos」，可以翻譯為「習俗」或「道德」，又可翻譯為「信念」。甚麼是正確或錯誤？甚麼是聰明或愚蠢？研究這些問題的學問統稱為「ethica」。在哲學裏，探討價值的學問稱為價值論，主要探討的是倫理學的價值與美學的價值。 倫理學主要分為四種研究領域：.
伯特兰·罗素
伯特兰·亚瑟·威廉·罗素，第三代羅素伯爵（Bertrand Arthur William Russell, 3rd Earl Russell，），OM，FRS，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最勇敢的君子，卓越的活力，勇氣，智慧與感受性，代表了諾貝爾獎的原意和精神”。 1921年罗素曾於中国讲学，对中国学术界有相当影响。.
形上學
形上學（英语：Metaphysics）是指研究存在和事物本质的学问。形上學是哲学研究中的一个范畴，被视为“第一哲学”和“哲学的基本问题”。它指通过理性的推理和逻辑去研究不能直接透过感知所得到答案的问题，它是人类理性对于事物最普遍的面相和终极的原因的探索的一门学科。 形上學的主要问题包括：根本上有什麼存在？（What is ultimately there?）它是什麼樣的？（What is it like?） 形上學家們試圖闡明人們用以理解世界的基本概念（範疇），例如存在、客體（objects）及其性質、空間和時間、因果和可能性。形上學的主要分支學科之一是本體論，即對基本範疇及其相互關連的研究。另一個形上學的主要分支是宇宙論，即對本源（如果有的話）、基本結構、本性（nature）、宇宙動力學的研究。.
形式
形式可以指：.
形式科學
形式科學是指主要研究對象為抽象形態的科學，如邏輯、數學、計算理論、資訊理論、統計學等。.
形式系統
在邏輯與數學中，一個形式系統（Formal system）是由兩個部分組成的，一個形式语言加上一個推理規則或轉換規則的集合。一個形式系統也許是純粹抽象地制定出來，只是為了研究其自身。另一方面，也可能是為了描述真實現象或客觀現實的領域而設計的。.
形式语言
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。.
归纳推理
归纳法或归纳推理（Inductive reasoning），有时叫做归纳逻辑，是论证的前提支持结论但不确保结论的推理过程。它基于对特殊的代表（token）的有限观察，把性质或关系归结到类型；或基于对反复再现的现象的模式（pattern）的有限观察，公式表达规律。例如，使用归纳法在如下特殊的命题中：.
修辞学
修辭學是研究修辭的學問，是语言学的範疇。修辭是增強言辭或文句效果的藝術手法。自語言出現，人類就有修辭的需要。修辭可以令人：.
心理学
-- 心理学是一门研究人類以及其他动物的內在心理歷程、精神功能和外在行为的科学，既是一门理论学科，也是一门应用学科。包括理论心理学与应用心理学两大领域。 心理學研究涉及意識、感覺、知覺、認知、動機、情绪、人格、行為和人際關係等眾多領域，影響其他學科的發展，例如：教育學、管理學、傳播學、社會學、經濟學、精神病學、統計學、計算機科學以及文學等等。心理學一方面嘗試用大腦運作來解釋個体基本的行為與心理機能，同時，心理學也嘗試解釋個體心理機能在社會行為與社會動力中的角色。心理學家從事基礎研究的目的是描述、解釋、預測和控制行為。應用心理學家還有第五個目的——提高人類生活的質量。這些目標構成了心理學事業的基礎。.
分析哲學
分析哲学（英語：analytic philosophy或analytical philosophy）可包含两个意思：一个是指20世纪初期出现的，具有特定目的和方法的哲学研究。另外它还指当今研究哲学的一种“风格”或者“方法”，这个意义上的分析哲学并没有具体的目标，它所研究的问题也更加广泛、多样。.
命题逻辑
在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。.
和製漢語
和製漢語是指現代漢語中從日語借用的新詞。19世紀末起，大量日語的漢語詞流入中國，成為漢語中的外来詞。這類詞彙的來源可分為被日本人賦予新意的中國古籍裏的舊詞以及日本人原創的新詞；前者如「洋行、社會、經濟」等，後者有「大根、抽象、哲學」等崔崟《進入中國的「和製漢語」》，〈日語學習與研究〉2007(6)，2008-06-03。 另外，近代以來中國人獨力或者與外國人合作翻譯的詞被稱為「華製新漢語」。日本為了吸收西洋文明而有系統地引進中文書刊和辭書，這些新詞因而被日語吸收，後來又被中國人原封不動地帶回中國陳力衛《語詞的漂移：近代以來中日之間的知識互動與共有》，〈學苑〉2007-05-29。.
哥德尔不完备定理
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出： 这是形式逻辑中的定理，容易被错误表述。有许多命题听起来很像是哥德尔不完备定理，但事实上并不是。具体实例见对哥德尔定理的误解 把第一条定理的证明过程在体系内部形式化后，哥德尔证明了第二条定理。该定理指出： 这个结果破坏了数学中一个称为希尔伯特计划的哲学企图。大卫·希尔伯特提出，像实分析那样较为复杂的体系的相容性，可以用较为简单的体系中的手段来证明。最终，全部数学的相容性都可以归结为基本算术的相容性。但哥德尔的第二条定理证明了基本算术的相容性不能在自身内部证明，因此当然就不能用来证明比它更强的系统的相容性了。.
新！!: 逻辑和哥德尔不完备定理 · 查看更多 »
哲学
哲學（philosophy）是研究普遍的、根本的问题的学科，包括存在、知识、价值、理智、心灵、语言等领域。哲学与其他学科的不同是其批判的方式、通常是系统化的方法，并以理性论证為基礎。在日常用语中，其也可被引申为个人或团体的最基本信仰、概念或态度。.
哲学逻辑
哲学逻辑是对逻辑更特定于哲学的方面的研究。这个术语相对于数理逻辑，因为数理逻辑开发于19世纪晚期，已经包含了传统上一般由逻辑学处理的大多数主题。它关心的是尽可能的以最基础的方式刻画如推论、理性思维、真理和思维内容这样的概念，并尝试使用现代形式逻辑建模它们。 它要谈论的概念包括引用、论断、同一、真理、否定、量化、存在性、必然性、定义和蕴涵。 哲学逻辑並不关心与思维、情感、想象和类似事物相关的心理过程。它只关心那些有能力为真和假的实体 — 思维、句子、命题，並把這些概念應用在心灵哲学和语言哲学上。弗雷格被认为是现代哲学逻辑的缔造者。.
公理化集合论
在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。.
关系代数 (抽象代数)
在数学中，关系代数是支持叫做逆反(converse)的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 X 上的所有二元关系的代数 2^，带有 R·S 被解释为平常的二元关系复合。关系代数的早期形式形成于十九世纪德·摩根、皮尔士和 Ernst Schröder 的工作。它今日的纯等式形式是阿尔弗雷德·塔斯基和他的学生在 1940 年代开发的。.
新！!: 逻辑和关系代数 (抽象代数) · 查看更多 »
充足理由律
充足理由律是逻辑学基本原理之一。.
前件
前件（antecedent），亦稱前提，是假言命题的前半部分。 例子：.
因果
因果可以指：.
四大文明古国
四大文明古国，或稱四大古文明，是流行於漢語文化圈的一個概念，一般指古埃及、美索不達米亞（古巴比倫位於今伊拉克）、古印度及中國此四處人类文明最早誕生的地區。四大文明古國是四大古文明的舊稱，而四大古文明也是比較合理的說法，其中四大古文明的意義並不在時間的先後，而在於他們為現在文明的發源地，亦可以說是一個創造點。 西方历史学也有相当于“四大文明古国”的概念，或者诸如“文明的摇篮”等的类似概念。.
皮亚诺公理
亚诺公理（Peano axioms），也称皮亚诺公设，是意大利数学家皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。.
知識論
#重定向 知识论.
矛盾
粗略的说，矛盾（Contradiction）是在两个或更多陈述、想法或行动之间的不一致，存在差别。 汉语辞源出自《韩非子》中《难一》所述故事： 白話文大意為：有一位賣盾牌和賣矛的楚國人，他誇讚自己賣的盾牌說：“我的盾牌堅固無比，什麼東西都無法刺穿它。”又誇讚自己賣的矛說：“我的矛鋒利無比，什麼東西都可以刺穿。”有人問他說：“用你的矛来試著刺你的盾，將會如何？”那人一句話都無法回答。不能被刺穿的盾牌和能刺穿一切的矛，是不可以同时存在的。 注意在口语和辩证法中，矛盾有着同形式逻辑中完全不同的意义，口语中的矛盾强调矛盾双方的斗争性。.
理論
論（Theory），又稱學說或學說理論，指人類對自然、社會現象，按照已有的實證知識、經驗、事實、法則、認知以及經過驗證的假說，經由一般化與演繹推理等等的方法，進行合乎邏輯的推論性總結。 接近科学的学说是科学的，反之则是违背科学的或者说伪科学；任何自然科学的产生，源自对自然现象观察。 人類藉由觀察實際存在的現象或邏輯推論，而得到某種學說。任何學說在未經社會實踐或科學試驗證明以前，只能屬於假說。如果假說能藉由大量可重現的觀察與實驗而驗證，並為眾多科學家認定，這項假說就可被稱為科学理論。.
秦朝
朝（前221年－前207年），是中國歷史上首个大一統中央集权的帝國。秦朝皇室為嬴姓，所以史書又称嬴秦。秦朝源自周朝諸侯國秦國。前770年，秦地君長在東周周平王東遷時有功，受封於关中平原，建立秦國。战国時期，秦國根据礼记总结地“今天下车同轨，书同文，行同輪”的社会现状，推行车辆统一道路，书籍统一文字，行为统一伦理，并在政治、軍事、經濟、交通方面，实施商鞅变法，成為天下第一強國。前230年至前221年，到秦王嬴政陸續攻滅其他六個主要諸侯國，一統中原，史称秦朝。 秦王政建立秦朝後自稱「始皇帝」（即秦始皇），從此中國有了皇帝的稱號，並且發起一系列的改革以鞏固帝國。而後南征百越、北伐匈奴，使得領土約等同中國本土。疆域為東起遼東，西至臨洮，北抵長城，南達象郡（今越南北部）。雖然秦朝外表十分強盛，但由於秦始皇集權、過度發展、嚴重勞役百姓，所以秦朝之統治不免帶有苛急、暴虐之特點，讓天下百姓飽受苛政之苦而想要叛變。秦二世繼位後，秦廷被掌權的趙高掌控而混亂不堪。此時秦末民變爆發，六國有力的軍人各自復國，雖然秦將章邯努力平亂，但秦將王離於鉅鹿之戰被楚將項羽擊敗，秦軍主力投降。前207年十月，新任秦王子嬰於咸陽向民變領袖劉邦投降，後項羽率軍抵達關中，殺死秦王子嬰，焚燒咸陽宮，秦朝於秦始皇死後3年滅亡。而後至西漢統一全國之期間稱秦漢之際，又稱西楚時期。西楚霸王項羽重建封國制體系，分封十八諸侯。由於項羽分封不公，劉邦、田榮等諸侯繼而起兵反抗，演變成楚漢戰爭。前202年劉邦擊滅項羽，受諸侯擁戴為漢帝，建國漢，開啟漢朝。 秦朝為了鞏固遼闊但各地文化不一的帝國，在政治、軍事、經濟、交通方面，都推行政策與改革。政治制度建立有皇帝制度、三公九卿制與郡縣制為基礎的中央集權制，取代过去不同诸侯豪门的爵位制度。法律基本延續秦國法律，增加了皇帝握有生殺大權，丞相僅僅是輔佐。防务方面，興建長城以鞏固北方，毀六國長城與城墩等防禦工事，沒收天下百姓武器，鑄成十二金人，先後五次東巡以安定關東各地區 。交通方面，興建馳道與靈渠等交通要道以便軍隊前往各地平亂，也有利各地區運輸物資。經濟方面，秦朝延續商鞅變法的政策，推行重農輕商，鼓勵農民增產糧食，甚至有機會獲爵位。工商業方面統一貨幣（秦半兩）與度量衡，實行鹽鐵專賣，但不完全禁止商業，也鼓勵如經營畜牧業的烏氏倮與丹砂的巴地寡婦清等商人。 文化思想的部分，秦朝的政治思想以法家為尊，推行融合「法、術、勢」的君主專制，另有發揚陰陽家的五德始終說以神化皇帝。宗教以傳統崇拜上帝、祖先、山神、河神等眾神以及巫術、占卜與占星等，而神仙方術之術受秦始皇所迷信。為了箝制人民叛亂思想、统一中央集权思想、報復欺騙秦始皇的方士們，先後發生焚書坑儒事件，這是先秦文化與諸子百家思想的一大浩劫。 秦朝的建立使中國由一個抽象的地理名稱轉為具體的大一統帝國，為融合中原文化、秦文化、荊楚文化與齊魯文化等等文化打下基礎，使得「秦」成為中國文化的象徵之一。其遺留下來的驪山秦始皇陵與秦始皇兵馬俑也受後世史學家注目，其中兵馬俑被列入《世界遺產名錄》。.
线性逻辑
在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如经典逻辑或直觉逻辑，那里统治判断是“真理”，它可以按需要被自由的使用多次。例如，从命题A和A ⇒ B能按如下步骤得出结果A ∧ B.
经典逻辑
经典逻辑（Classical logic），又稱古典邏輯，标识已经被最深入的研究和最广泛的使用的一类形式逻辑，也被稱為標準邏輯（standard logic）。經典邏輯被特征化为一些性质，非经典逻辑缺乏這其中的某一个或多个特性：.
组合子逻辑
组合子逻辑是Moses Schönfinkel和哈斯凱爾·加里介入的一种符号系统，用来消除数理逻辑中对变量的需要。它最近在计算机科学中被用做计算的理论模型和设计函数式编程语言的基础。它所基于的组合子是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的高阶函数。.
缺省逻辑
缺省逻辑是Ray Reiter提出的用来形式化有缺省假定的推理的非单调逻辑。 缺省逻辑可以表达像“缺省的，某个事物是真的”的事实；相反的，标准逻辑只能表达某个事物为真或某个事物为假。这是一个问题，因为推理经常涉及在多数时候是真但不总是真的事实的推理。经典的例子是：“鸟通常会飞”。这个规则可以在标准逻辑中表达为要么“所有鸟都会飞”，这与企鹅不会飞的事实相矛盾；要么“除了企鹅、鸵鸟...的所有鸟都会飞”，这要求规则指定出所有的例外。缺省逻辑致力于形式化像这样的推理规则，而不需要明确提及所有的例外。.
真理
真理通常被定义为与事实或实在相一致。然而，并没有任何一个真理的定义被学者普遍接受。许多不同的真理定义一直被广泛争论。许多与真理定义相关的主题同样无法获得共识。普世價值與絕對真理是兩個不完全等同的概念，儘管它們經常性地被人們所混淆。 使用真理概念的有科學、哲學、宗教等。智人终于脫離於宗教迷信外的真理概念，始自於西方文明中科学与人文并重的古希臘時期。.
直觉主义逻辑
觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。.
直觉类型论
觉类型论、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和哲学家 Per Martin-Löf 在1972年介入。 Martin-Löf 已经多次修改了它的提议；先是非直谓性的而后是直谓性的，先是外延的而后是内涵的类型论变体。 直觉类型论基于的是命题和类型的同一: 一个命题同一于它的证明的类型。这种同一通常叫做Curry-Howard同构，它最初公式化了命题逻辑和简单类型 lambda 演算。类型论通过介入包含着值的依赖类型把这种同一扩展到谓词逻辑。类型论内在化了 Brouwer、Heyting 和 Kolmogorov 提议的叫做 BHK释义的直觉逻辑释义。类型论的类型扮演了类似于集合在集合论的角色，但是在类型论中的函数总是可计算的。.
直言三段论
言三段论是所有前提都是直言命题的演绎推理。 例子： 前兩個命題叫做前提。如果這個三段論是有效的，這兩個前提邏輯上蘊含了最後的命題，它叫做結論。結論的真實性建立在前提的真實性和它們之間的聯繫之上：中項在前提中必須周延（distribute）至少一次，形成在結論中的主詞和謂词之間的連接。即使直言三段論是有效的，但如果有前提為假的話結論仍可能是假。.
相干逻辑
干逻辑，也叫做相关逻辑，是一类非经典亚结构逻辑，它在蕴涵上施加了特定限制。（一般但不完全的，澳大利亚逻辑学家称之为relevant logic，其他说英语的逻辑学家称之为relevance logic）。 相干逻辑致力于捕获蕴含在经典真值泛函逻辑中被“实质蕴涵”算子所忽略的那些方面。这个想法不是新的：它导致C. I. Lewis发明模态逻辑，特别是严格蕴涵，依据是在经典逻辑中谬误蕴涵任何命题是成立的。因此"如果我是教皇，则2+2.
相继式演算
在证明论和数理逻辑中，相继式演算（又译矢列演算、矢列式演算）是众所周知的一阶逻辑（和作为它的特殊情况的命题逻辑）的演绎系统。这个系统也叫做LK系统，用以区别于后来建立的有时也叫做相继式演算的类似风格的各种其他系统。另一个给这种系统的术语是Gentzen系统。 相继式演算LK由Gerhard Gentzen介入为研究自然演绎的工具。它已经变成构造逻辑推导的非常有用的演算。它的名字得来自德语的Logischer Kalkül，意思是"逻辑演算"。相继式演算是关于这个主题的很多研究所选择的方法。.
韩非
韓非（約），生活於戰國末期時期的韓國（今屬河南省新鄭市）的思想家，為中國古代著名法家思想的代表人物，認為應該要「法」、「術」、「勢」三者並重，是法家的集大成者。 韓非出身韓國公族，與李斯均是荀子學生，後因其學識淵博，被秦始皇召喚入秦，正欲重用，卻遭到妒忌的同窗李斯害死，在韓非死後，秦始皇在韓非的思想指引下，完成統一六國的帝業。 韓非其學出於荀子，源於儒家，而成為法家，又推究老子思想，歸本於道家。司馬遷指出韓非喜好「刑名法術」且歸本於道家的「黃老之學」，一套由「道」、「法」共同完善的政治統治理論。《史記·老子韓非列傳》：「喜刑名法術之學，而其歸本於黃老。.
道义逻辑
道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑。.
非单调逻辑
非单调逻辑（Non-monotonic logic）是（在前提的集合和单一的句子之间的）推论关系不是单调递增的形式逻辑。 与单调推理（经典逻辑）相对，非单调推理是指知识库加入新知识后，原有的推论会被推翻的逻辑。也就是说，知识库的推论不随着知识增长而增长，即非单调递增。这时，必须使用某种正确的维持机制，确保推理继续进行。因此，非单调推理多是在知识不完全的情况下发生的。 多数形式逻辑都有单调性的推论关系，就是说，如果一个句子可以从前提的集合中推理出来，则它也可以从把这个前提集合作为子集包含的任何前提集合中推理出来，这意味着向理论增加一个公式永不引起它的推论集合的减小。在直觉上，单调性指示出学习一些新知识不能减小已知知识的集合。单调逻辑不能处理各种推理任务比如缺省推理（事实可以是已知的，只是因为缺乏反面的证据）、溯因推理（事实只按最合适的解释演绎出来）、关于知识的推理（在事实变成已知的时候，对一个事实的无知必须被撤消），和信念修正（新知识可以和旧信念矛盾。） 目前对于非单调推理的研究一般有两种途径：.
非形式逻辑
非形式逻辑是对自然语言论证的研究，典型特征是不如形式逻辑善于分析。非形式逻辑的焦点在于分析错误的论证来辨别逻辑谬论，和辨别与分类类似的推理策略等活动。用自然语言分析论证的活动和在形式逻辑系统中表现它们被称为哲学分析，而且有时被当作非形式逻辑的一部分。 报纸的评论文章提供了对非形式逻辑的示例性教科书样的例子(参见 Walton reference)，这些文章通常是简短的并且经常是荒谬的。无论如何，非形式逻辑还用于推理有关人类和社会科学的事件。事实上，多数从已知事实到未知事实的推理使用自然语言，即使组合上数学或统计，可以被当作非形式逻辑的应用，只要它不依赖于额外的经验性论据。 Category:邏輯 L.
謬論
#重定向 謬誤.
證明
在數學上，證明是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、和的大部分检验。數學哲學就關注語言和邏輯在數學證明中的角色，和作為語言的數學。.
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
计算机逻辑
计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括：.
认识逻辑
认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。 认识逻辑的基本模态算子通常写为 K，它可以读做“有人知道...”，“...在认识上是必然的”，或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent)，可以向这个算子附加下标(Ka, Kb, etc.)来指示谈论的是哪个代理者。 认识逻辑与真势模态逻辑共享某些特征。例如模式 T， 陈述必然的事物是真的，这好像是正确的。它的认识版本是 陈述某知识为“已知”是真，这好像同样是正确的。在另一方面，很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如模式 4， 当把方框解释为“...(在形而上学上)是必然的”的时候好像是似是而非的。它的知识版本 陈述如果一个代理者知道某事，则他知道他知道这个事情，这不是个很明显的一个原理。 认识逻辑的早期提议者包括 E. J. Lemmon 和 Jaakko Hintikka。.
证明论
证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。 证明论也可视为哲学逻辑的分支，其主要兴趣在于证明论语义学的思想，该思想依赖于结构证明论的技术型想法才可行。.
词语
詞語是词和短语（又称词组）的合称。词是最小的能够独立运用的语言单位，而短语是有多个词组成的整体。 词的音节与音节之间或字与字之间若插入成分，意义改变；相反，短语中的特定位置插入成分，原有意义保留。比如“白菜”中加入“的”，就变成了“白的菜”，意义显然发生了变化，再如，在“看书”中加入“一本”，则原有的意义依然保留。因此称“白菜”是词，“看书”是短语。 汉字，如：“我、家、有、个、大、書、百、步、氣、糖”等可以獨立成词，也可以和其他字合成一个新的词，如：“我們、家庭、富有、個性、大眾、书包、百科、跑步、天气、葡萄糖”等。一些詞如“蜻蜓”、“葡萄”等，当“蜻”与“蜓”、“葡”与“萄”分开时，并不会带来任何含义。另一些词如“马虎”（形容草率），當拆成“马”与“虎”时，它们的含义和“草率”没有关系。还有许多外来音译词，如：“巧克力、维基、英格兰、葡萄牙”等等也是不能再拆分的詞。 外文中也有詞，例如英文dog。幾個词可以組合成短語，例如英文a big dog。dog和a big dog均为词语。.
语义学
语义学（Semantics，La sémantique），也作「语意学」，是一个涉及到语言学、逻辑学、计算机科学、自然语言处理、认知科学、心理学等诸多领域的一个术语。虽然各个学科之间对语义学的研究有一定的共同性，但是具体的研究方法和内容大相径庭。语义学的研究对象是自然语言的意义，这里的自然语言可以是词汇，句子，篇章等等不同级别的语言单位。但是各个领域里对语言的意义的研究目的不同：.
辩证逻辑
辯證邏輯（Dialectical Logic），是“矛盾邏輯”的同義詞。與之相對應的反義詞，是“無矛盾邏輯”，或者“相容邏輯”，也常常被稱作“形式邏輯”，或者簡稱為“邏輯”（即亞裏士多德邏輯）。.
辩证法
辩证法（dialectic，也译作辩证术、辩证方法）是一种化解不同意见的論證方法。它是在两个或更多对一个主题持不同看法的人之间的对话，目的是通过这种有充分理由的对话建立起对事物真理的认知。它自古以来就在印度与欧洲哲学佔有中心地位。此詞彙應用於多種不同領域，包括哲學、自然科學與史學。 辩证法源自於古希臘的邏輯辯證過程，并因柏拉图对苏格拉底对话录的记载而为人所熟知。苏格拉底认为真理才是最重要的，惟有基於理性（类似于逻辑，而不是感情），才是说服别人以及发现真理的正确方法，并且，是一个人行为的决定性因素。他认为真理能够在讨论所使用的推理和逻辑中被发现。 辯證法以問答進行，是关于对立统一、普遍联系和变化发展的哲学学说。源出希腊语“dialego”，意为谈话、论战的技艺，指一种逻辑论证的形式。现在用于包括思维、自然和历史三个领域中的一种哲学进化的概念，也用来指和形而上学相对立的一种世界观和方法论。 自古而來，有各种不同形式的辩证推理在古印度和西方出现。其三種基本形式為：苏格拉底反诘法，以黑格尔为代表的唯心辩证法和马克思主义的唯物辩证法。其它還包括：印度教辩证法、佛教辩证法、中世纪辩证法、犹太教塔尔穆德辩证法，以及新教辩证法等。 要注意的是，辩证与辩论或修辭不同，在辩论中，辩论者堅持自己的看法论点，并且以赢得辩论为目的。辩论者要么驳倒他们的对手，证明他们自身推理的正确；要么证明他们对手的推理的错误。因此，在辩论中需要有裁判或评判团来判定何方胜利；在修辭中，使用修辭的人通过喻理（logos）、喻德（ethos）与喻情（pathos）的方式来说服閱聽者，使他们相信其說法。 诡辩家认为"才能"（arete）是最重要的，也是一个人一生行为的决定性因素。他们认为，在演说言辞中的艺术品质能够表明一个人的才能高低。演说被认为是一种艺术形式，它通过精彩的演讲来取悦并且感染听众。尽管如此，诡辩者仍然教导他们的学生要用各种方法来寻求才能，而不仅仅只是在演说中。苏格拉底反对诡辩者，反对他们那「把雄辩当做一种艺术和有感染力的演说，不需要逻辑也不需要证明」的教导。.
阿爾弗雷德·諾思·懷特黑德
阿爾弗雷德·諾思·懷特黑德（Alfred North Whitehead ，），OM，英國數學家、哲學家。他是學派的奠基者，目前已被視為可應用到多種學科，包括生態學、神學、教育學、物理學、生物學、經濟學、心理學及其他領域。 在他的职业生涯早期怀特黑德主要研究数学、逻辑和物理。他最引人注目的是与前学生伯特兰·罗素合著的三卷《数学原理》（1910年至1913年）。《数学原理》认为是二十世纪最重要的数学逻辑作品之一，在出版社所列的二十世纪前100本英文非小说书籍名單中，獲得第23名。 1910年代末至1920年代初，怀特黑德逐渐把他的注意力从数学轉移至科学哲学和形而上学。和柏格森一樣，他關注直覺體驗與生命本身，但他採取不同的進路來解決這個問題，進而構建了一个全面的形而上学的系统。怀特黑德认为现实是由事件構成，而不是物质；这些事件不能脫離彼此關係而定义，因此拒绝独立存在的物质理论。C. Robert Mesle, Process-Relational Philosophy: An Introduction to Alfred North Whitehead (West Conshohocken: Templeton Foundation Press, 2009), 9.
新！!: 逻辑和阿爾弗雷德·諾思·懷特黑德 · 查看更多 »
邏各斯
邏各斯（λόγος，Logos）是古希臘哲學、西方哲學及基督教神學的重要概念。在古希臘文一般用語中有話語的意思；在哲學中表示支配世界萬物的規律性或原理；在基督教神學是耶穌基督的代名詞，因為他是上帝的旨意或話語，也是萬物的規律的源頭，中文《新約聖經》一般譯為“道”。在西方哲學史上，邏各斯是最早關於規律性的哲學范畴。邏各斯的概念亦見於波斯、古印度和古埃及。.
自动认识逻辑
自动认识逻辑是致力于形式化关于知识的表示和推理的形式逻辑。命题逻辑只能表达事实，而自动认识逻辑可以表达关于事实的知识和知识的缺乏。.
自由逻辑
自由逻辑是免除存在性假定的逻辑。或者说，它是定理在包括空域的所有论域中都有效的逻辑。.
自然语言
自然语言（Natural language）通常是指一种自然地随文化演化的语言。英语、汉语、法語、西班牙語、日语为自然语言的例子，而世界语则为人工语言，即是一种由人特意为某些特定目的而创造的语言。 不过，有时所有人类使用的语言（包括上述自然地随文化演化的语言，以及人工语言）都会被视为“自然”语言，以相对于如编程语言等为计算机而设的“人造”语言。这一种用法可见于自然语言处理一词中。自然语言是人类交流和思维的主要工具。.
自然演绎
在数理逻辑中，自然演绎是证明论中尝试提供象“自然”发生一样的逻辑推理形式模型的一种方式。這種方式對比於使用公理的公理系統。.
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
逻辑史
逻辑史，又稱理則史，指逻辑学的发展史。 在古埃及和巴比伦都发现逻辑学的萌芽。但现在所使用的逻辑学产生于古希腊时期。与此同时，印度和中国也独立地发展了逻辑学。 中国古代逻辑学代表为墨家逻辑，晚期的墨家中一批人已经开始研究形式逻辑。不过中国的逻辑学并未形成体系。可惜的是，汉朝以后，实行“罢黜百家、独尊儒术、外儒内法”，逻辑学的研究停止了。后来，印度的逻辑学随佛教传入中国。 现在所使用的逻辑学直接来源于古希腊逻辑学。亚里斯多德等人确立了完整的形式逻辑、三段论等逻辑学基本理论。中世纪欧洲的哲学家和伊斯兰哲学家对逻辑学也做出了贡献。 在现代，逻辑学发展巨大，传统的形式逻辑被数学化重新描述为数理逻辑，也产生了非形式逻辑。.
逻辑学家
逻辑学家是学术研究主题为逻辑学的哲学家，数学家或其他人。下面按姓氏的英语的字母顺序列出著名的逻辑学家。.
逻辑非
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值--。 命题A的非可以有几种写法：.
逻辑论证
在逻辑中，论证是基于叫做前提的一组断言，证明叫做结论的断言的真实性的尝试。演绎和归纳推理的证明过程形成了论证，并假定了某种交流方式，它可以是书写的文本、演讲或交谈。.
递归论
递归论或可计算性理论，是一个数理逻辑分支。它起源于可计算函数和图灵度的研究。它的领域增长为包括一般性的可计算性和可定义性的研究。在这些领域中，这门理论同证明论和能行描述集合论（effective descriptive set theory）有所重叠。 数理逻辑中的可计算性理论家经常研究相对可计算性、可归约性概念和程度结构的理论。相对于计算机科学家，他们研究次递归层次，可行的计算和公用于可计算性理论研究的形式语言。在这两个社区之间有着相当大的知识和方法上的重叠，而没有明显的界限。.
逆命题
逆命题：一个命题的条件与结论分别是另一个命题的结论与条件时，这两个命题互逆，也就是说其中任一个命题是另一个命题的逆命题。 两个互为逆命题的命题。在命题的四种形式中，原命题与逆命题，否命题与逆否命题是两对互逆命题。比如说有“假如事件A为真，则事件B也为真”，那么它的逆命题就是“假如事件B为真，则事件A也为真”。当然，我们是无法通过原命题的真假性来判断逆命题的真假性的。 Category:数学术语.
虚拟可能性
虚拟可能性(也叫做真势可能性或形而上学可能性）是在模态逻辑中研究最多的模态。虚拟可能性是我们在关注反事实条件的时候考虑的那种可能性; 虚拟模态是有关于一个陈述是否可能已经为真的模态词——包括可能、可以、必定、必然、偶然等等。虚拟可能性包括逻辑可能性、形而上学可能性、法则可能性和时间可能性.
陶渊明
陶淵明（），（），一名潛（）。，自號五柳先生，私諡靖節先生。潯陽郡柴桑县（今江西省庐山市）人。東晉、劉宋的文學家，东晋大司马陶侃曾孫，父、祖皆為郡守，自曾祖、祖、及父，都在東晉為臣，但自己一生未曾擔任高官，曾任彭澤令，但因厭惡當時的政治，做了80餘日就辭職歸故里。.
柏拉图
柏拉圖（，，約公元前427年－前347年）是著名的古希腊哲学家，雅典人，他的著作大多以對話錄形式紀錄，並創辦了著名的学院。柏拉圖是蘇格拉底的學生，也是亞里士多德的老師，他們三人被廣泛認為是西方哲學的奠基者，史稱「西方三聖賢」或「希臘三哲」。.
柯里-霍华德同构
柯里-霍華德对应是在计算机程序和数学证明之间的紧密联系；这种对应也叫做柯里-霍華德同构、公式为类型对应或命题为类型对应。这是对形式逻辑系统和公式计算（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 不被分别指派为对立的真值。 一些逻辑不接受排中律，最著名的是直觉逻辑。文章《二值和有关规律》中详细地讨论了这个问题。 排中律可能被误用，导致排中律的逻辑谬论，这也叫做假两难推理。.
格奥尔格·威廉·弗里德里希·黑格尔
格奧爾格·威廉·弗里德里希·黑格尔（Georg Wilhelm Friedrich Hegel，常缩写为G.；）是一名德國哲學家。其時代晚於康德，是德国19世紀观念论哲學的代表人物之一。黑格爾出生于今天德国西南部巴登-符腾堡首府斯图加特；卒於柏林，去世时是柏林大學（今日的柏林洪堡大學）的校長。 许多人认为，黑格尔的思想，标志着19世纪德国唯心主义哲学运动的顶峰，对后世哲学流派，如存在主义和马克思的历史唯物主义都产生了深远的影响。更有甚者，由于黑格尔的政治思想兼具自由主义与保守主义两者之要义，因此，对于那些因看到自由主义在承认个人需求、体现人的基本价值方面的无能为力，而觉得自由主义正面临挑战的人来说，他的哲学无疑是为自由主义提供了一条新的出路。.
新！!: 逻辑和格奥尔格·威廉·弗里德里希·黑格尔 · 查看更多 »
概念
概念是抽象的、普遍的想法，是充当指明实体、事件或关系的范畴或类的实体。在它们的外延中忽略事物的差异，如同它们是同一的去处理它们，所以概念是抽象的。它们等同的适用于在它们外延中的所有事物，所以它们是普遍的。概念也是命题的基本元素，如同词是句子的基本语义元素一样。 概念是意义的载体，而不是意义的主动者。一个单一的概念可以用任何数目的语言来表达；术语则是概念的表达形式。狗 的概念可以表达为德语的 Hund，法语的 chien 和西班牙语的 perro。概念在一定意义上独立于语言的事实使得翻译成为可能 - 在各种语言中词有同一的意义，因为它们表达了相同的概念。 概念是人类对一个复杂的过程或事物的理解。从哲学的观念来说概念是思维的基本单位。在日常用语中人们往往将概念与一个词或一个名词（術语）同等对待。.
概念文字
《概念文字》是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书名《Begriffsschrift》通常翻译成《Concept Writing》或《Concept Notation》；书的完整标题把它标识为《模仿算术的纯思维的形式语言》。这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“演算推论器”的渴望。 弗雷格定义了逻辑演算来支持他在数学基础上的研究。“概念文字”是书和其中定义的演算二者的名字。.
概率
--率，舊稱--率，又称或然率、機會率或--、可能性，是数学概率论的基本概念，是一个在0到1之间的实数，是对随机事件发生之可能性的度量。 概率常用來量化對於某些不確定命題的想法"Kendall's Advanced Theory of Statistics, Volume 1: Distribution Theory", Alan Stuart and Keith Ord, 6th Ed, (2009), ISBN 978-0-534-24312-8，命題一般會是以下的形式：「某個特定事件會發生嗎？」，對應的想法則是：「我們可以多確定這個事件會發生？」。確定的程度可以用0到1之間的數值來表示，這個數值就是機率William Feller, "An Introduction to Probability Theory and Its Applications", (Vol 1), 3rd Ed, (1968),Wiley,ISBN 978-0-471-25708-0。因此若事件發生的機率越高，表示我們越認為這個事件可能發生。像丟銅板就是一個簡單的例子，正面朝上及背面朝上的兩種結果看來機率相同，每個的機率都是1/2，也就是正面朝上及背面朝上的機率各有50%。 這些概念可以形成機率論中的數學公理（參考概率公理），在像數學、統計學、金融、博弈論、科學（特別是物理）、人工智慧/機器學習、電腦科學及哲學等學科中都會用到。機率論也可以描述複雜系統中的內在機制及規律性。.
概率逻辑
概率逻辑（或或然性逻辑）的目标是组合概率论的处理不确定性的能力和演绎逻辑开发结构的能力。结果是更加丰富和更有表达力的形式化，并有广阔的可能应用领域。概率逻辑的困难是增加了它们的概率论和逻辑构件的计算复杂性。.
模型论
数学上，模型论(Model theory)是从集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为数学系统基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。 比如实数理论中一个模型论概念的例子是：我们从一个任意集合开始，作为集合元素的每个个体都是一个实数，其间有一些关系和（或）函数，例如。若我们在该语言中问"∃ y (y × y.
模糊逻辑
模糊逻辑是处理部分真实概念的布林運算扩展。经典逻辑坚持所有事物（陈述）都可以用二元项（0或1，黑或白，是或否）来表达，而模糊逻辑用真实度替代了布尔真值。这些陈述表示实际上接近于日常人们的问题和語意陈述，因为“真实”和结果在多数时候是部分（非二元）的和/或不精确的（不准确的，不清晰的，模糊的）。 真实度经常混淆于概率。但是它们在概念上是不一样的；模糊真值表示在模糊定义的集合中的成员歸屬关系，而不是某事件或条件的可能度（likelihood）。要展示这种区别，考虑下列情节：Bob在有两个毗邻的屋子的房子中：厨房和餐厅。在很多情况下，Bob的状态是在事物“在厨房中”的集合内是完全明确的：他要么“在厨房中”要么“不在厨房中”。但Bob站在门口的时候怎么办呢？它可被认为是“部分的在厨房中”。量化这个部分陈述产生了一个模糊集合成员关系。比如，只有他的小脚趾在餐厅，我们可以说Bob是0.01“在厨房中”。只要Bob站在了门口，就没有事件（如抛硬币）能解决他完全的“在厨房中”或“不在厨房中”。模糊集合是基于集合的模糊定义而不是随机性。 模糊逻辑允许在包含0和1的它们之间集合成员关系值，同于黑和白之间的灰色，在它的语言形式中，有不精确的概念如"稍微"、"相当"和"非常"。特别是，它允许在集合中的部分成员关系。它有关于模糊集合和可能性理论。它是1965年卢菲特·泽德教授在加州大学伯克利分校介入的。 模糊逻辑尽管被广泛接受却是有争议的：它被某些控制工程师出于有效性和其他原因，和一些坚持概率论是不确定性的唯一严格描述的统计学家所拒绝。批評者認為它不是普通集合论的超集，因为成员函数是依据常规集合而定义的。.
模态逻辑
模态逻辑，或者叫（不很常见）内涵逻辑，是处理用模态如“可能”、“或许”、“可以”、“一定”、“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征：复杂公式的真值不能由子公式的真值来决定的。允许这种决定性的逻辑是“外延性的”，经典逻辑就是外延性的例子。模态算子不能使用外延语义来形式化：“乔治·布什是美国总统”和“2+2.
次协调逻辑
次协调逻辑是尝试处理矛盾的逻辑。 次协调逻辑是不瑣碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在标准逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione quodlibet（ECQ），也叫做爆炸原理。次协调逻辑就是ECQ不成立的逻辑系统。 次协调逻辑可以用来建模有矛盾的信仰系统，但不是任何东西都能从它推导出来的。在标准逻辑中，必须小心的防止形成说谎者悖论的陈述；次协调逻辑由于不需要排除这种陈述而更加简单（尽管它仍然必须排除Curry悖论）。此外，次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制，而是完备的。.
正理经
正理经()是目足·乔答摩()在公元前2世纪的著述。经文共五卷，每卷两章。.
法律
法律（Law） 是一種由規則組成的體系，經由社會組織來施與強制力量，規範個人行為。法律是一系列的規則，通常需要經由一套制度來落實。但在不同的地方，法律體系會以不同的方式來闡述人們的法律權利與義務。其中一種區分的方式便是分為歐陸法系和英美法系兩種。有些國家則會以他們的宗教法條為其法律的基礎。 學者們從許多不同的角度來研究法律，包括從法制史和哲學，或從如經濟學與社會學等社會科學的方面來探討。法律的研究來自於對何為平等、公正和正義等問題的訊問，這並不都總是簡單的。法国作家阿納托爾·法郎士於1894年說：「在其崇高的平等之下，法律同時禁止富人和窮人睡在橋下、在街上乞討和偷一塊麵包。」 在一個典型的三權分立國家中，創造和解釋法律的核心機構為政府的三大部門：公正不倚的司法、民主的立法和負責的行政。而官僚、軍事和警力則是執行法律，並且讓法律為人民服務時相當重要的部分。除此之外，若要支持整個法律系統的運作，同時帶動法律的進步，則獨立自主的法律專業人員和充滿生氣的公民社會也是不可或缺的一部分。 古希臘哲學家亞里斯多德於西元前350年寫道：「法治比任何一個人的統治來得更好。.
法律逻辑学
法律逻辑学目前还没有一个统一的学术体系，个人的学术观点大量存在，有时候，我们甚至可以看见很怪异和很冷僻的研究。这种研究的困难正在于，法学家不愿意把精力放在一种方法论上，而仅仅知道方法论的人，未必对法律有什么兴趣。 法律逻辑，更早的渊源，可以追溯到智者，可以认为他们是天生的法律人，且以逻辑为主要学术工具。第一个智者普罗塔哥拉，他不仅为一个城邦立法，他还亲自教授学生以逻辑方法（按罗素的说法，“智者”差不多就是教授的意思）。一个流传广泛且至今难解的悖论是，普罗塔哥拉悖论，这是一个编造的故事，在罗马时代的《阿提卡之夜》里有记载，大意是说他告他的学生不交学费，但是由于口头合同有约定：“在学生第一次胜诉的时候才交纳欠缴的学费”。结果师生产生了不同解释。其他智者更多的贡献是培养法律方面的学生。稍后，苏格拉底在价值分析方面，对现今的很多法理学术语进行了逻辑研究，他使用的问答法影响了美国现代的案例教学法，一般我们不得不称其为苏格拉底教学法。苏格拉底的弟子柏拉图贡献了辩证法，其实也不过是定义和划分技术的发展而已，柏拉图对法学的贡献显然是希腊最伟大的贡献之一。亚里士多德完成了逻辑学的集大成，同时他也是法学上的伟大贡献者，他的三段论直接产生了近代的司法三段论，他的《修辞学》比较成功地启示了人们对法庭辩论的研究。 真正的法律逻辑，应当是在罗马时期，几乎所有健全的法律概念和法律技术都成就于罗马时代。这是它影响世界的超文化因素。 近代成文法主义非常推崇法律逻辑，但是他们研究的是司法格式，而不是具体的法律技术。 现代法学，在两个方面已经不可避免地，必须以法律逻辑的方式来进行研究。一个是，法律解释的方法论，人们在争论法律推理是可形式化的还是不可形式化的。如果按照可形式化的观点研究，法律解释最终可以归结为一种形式化评价工作，形式平台是一样的，但是价值初始极其不一样，这种研究明确了形式和价值的区别。法律逻辑另外一个方向是，诉讼事实的论证问题，人们期待知道法律上的论证是何种性质的，证明的可能性怎么样，证明的技术和手段是什么，证据方面有什么是独立于逻辑规则甚至反逻辑规则的，以及这些变异何以可能的原因。.
溯因推理
溯因法或溯因推理（英语：abductive reasoning，也译作反绎推理），是推理到最佳解释的过程。换句话说，它是开始于事实的集合--，并推导出其最佳解释的推理过程。有时使用术语溯因（abduction）意味生成假设来解释观察或结论，但是前者定义在哲学和计算二者中更常见。 演绎和溯因区别在于推理中使用“a 蕴涵b”这种规则的方向（与归纳的比较请参见逻辑推理）: （以下b.
演绎推理
演绎推理（Deductive Reasoning）在传统的亚里士多德逻辑中是「结论，可从叫做‘前提’的已知事实，‘必然地’得出的推理」。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理：它们的前提可以预测出高概率的结论，但是不确保结论为真。 “演绎推理”还可以定义为结论在普遍性上不大于前提的推理，或「结论在确定性上，同前提一样」的推理。.
有效性
在逻辑中，如果一个论证不能从真前提中得出假结论，则论证的形式是完全有效的。一个论证若被称为是有效的，则如果在其中所有前提都为真的每个模型中，结论也是真的。例如：“所有A是B；有些A是C；所以有些B是C”是有效形式。.
戈特弗里德·莱布尼茨
戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz， 或 ；Godefroi Guillaume Leibnitz，，），德意志哲学家、数学家，歷史上少見的通才，獲誉为十七世纪的亚里士多德。他本人是律師，經常往返於各大城鎮；他許多的公式都是在顛簸的馬車上完成的，他也自稱具有男爵的貴族身份。 莱布尼茨在数学史和哲学史上都占有重要地位。在数学上，他和牛顿先后独立发明了微积分，而且他所使用的微積分的数学符号被更廣泛的使用，萊布尼茨所发明的符号被普遍认为更综合，适用范围更加广泛。莱布尼茨还对二进制的发展做出了贡献。 在哲学上，莱布尼茨的乐观主义最为著名；他认为，“我们的宇宙，在某种意义上是上帝所创造的最好的一个”。他和笛卡尔、巴鲁赫·斯宾诺莎被认为是十七世纪三位最伟大的理性主义哲学家。莱布尼茨在哲学方面的工作在预见了现代逻辑学和分析哲学诞生的同时，也显然深受经院哲学传统的影响，更多地应用第一性原理或先验定义，而不是实验证据来推导以得到结论。 莱布尼茨对物理学和技术的发展也做出了重大贡献，并且提出了一些后来涉及广泛——包括生物学、医学、地质学、概率论、心理学、语言学和信息科学——的概念。莱布尼茨在政治学、法学、伦理学、神学、哲学、历史学、语言学诸多方向都留下了著作。 莱布尼茨对如此繁多的学科方向的贡献分散在各种学术期刊、成千上万封信件、和未发表的手稿中，其中約四成為拉丁文、約三成為法文、約一成五為德文。截至2010年，莱布尼茨的所有作品还没有收集完全。 2007年，戈特弗里德·威廉·莱布尼茨图书馆暨下薩克森州州立圖書舘的莱布尼茨手稿藏品被收入联合国教科文组织编写的世界记忆项目。 由於莱布尼茨曾在汉诺威生活和工作了近四十年，并且在汉诺威去世，为了纪念他和他的学术成就，2006年7月1日，也就是萊布尼茨360周年诞辰之际，汉诺威大学正式改名为汉诺威莱布尼茨大学。.
新！!: 逻辑和戈特弗里德·莱布尼茨 · 查看更多 »
戈特洛布·弗雷格
弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。.
新！!: 逻辑和戈特洛布·弗雷格 · 查看更多 »
海廷代数
在数学裡，海廷代数是一特殊的偏序集，經由廣義化布爾代數而成，得名於阿蘭德·海廷。海廷代数是作为直觉主义逻辑的模型而產生的，是一種排中律不總是成立的逻辑。完全海廷代数是无点拓扑学的核心。.
文法
文法即文章的書寫法規，一般用來指以文字、詞語、短句、句子編排而成的完整語句和文章的合理性組織。.
时间逻辑
在逻辑中，术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑，这是 Arthur Prior 在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是 Amir Pnueli 和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究，并写有专著《时序逻辑程序设计与软件工程》。 时间逻辑首先被亚里士多德深入研究过，他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑，只使用两个真值的任何逻辑都是二值逻辑。 考虑陈述："我饿了"。尽管它的意思随时间恒定，但这个陈述的真值随时间可变。有时这个陈述为真，有时这个陈述为假，但是这个陈述不能同时为真并且为假。在时间逻辑中，陈述可以有随时间变化的真值。与之相对的是非时间逻辑，它只能处理有着随时间恒定的真值的陈述。 三个基本时间算子是：总是、有时、和永不。 计算树逻辑（CTL）、线性时间逻辑（LTL）和间隔时间逻辑（ITL）是时间逻辑的例子。.
悖论
悖論，亦稱為弔詭或詭局，是指一种导致矛盾的命题。通常从逻辑上无法判断正确或错误称为悖论，似非而是称为佯谬；有时候违背直觉的正确论断也称为悖论。悖论的英文paradox一詞，来自希腊语παράδοξος ，paradoxos，意思是“未预料到的”，“奇怪的”。 如果承认它是真的，经过一系列正确的推理，却又得出它是假的；如果承认它是假的，经过一系列正确的推理，却又得出它是真的。古今中外有不少著名的悖论，它们震撼了逻辑和数学的基础，激发了人们求知和精密的思考，吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考，悖论的解决又往往可以给人带来全新的观念。 paradox其實亦有“似非而是”的解釋。即是用普通常識看上去不正確，但其實是正確或是有可能的。例如“站著比走路更累”。一般常識是走路比站著累，但要一個人例如在公園裡站一個小時，他可能寧願走動一個小時。因為“站著比走路更累”。也例如狹義相對論裡面的雙生子佯謬亦是另外一個例子。 佛法中也有釋迦牟尼佛破外道悖論的例子：如《大智度論》卷一中舉出長爪梵志的例子：長爪梵志提倡一種“一切法不受”的主張，其意思是說他不接受世間一切理論。釋迦牟尼佛就問他：「你接不接受你自己所建立的這個“一切法不受”的理論？」長爪梵志像一匹千里馬一樣有智慧，不必等到鞭子打到身上才起跑，只看到鞭影覺悟了。換句話說，當釋迦牟尼佛提出這個問題的時候，長爪梵志就知道自己的理論是有問題的──如果接受，那就是“接受一種理論”這與他自己建立的“一切法不受”的主張違背；如果不接受，那他的主張就不存在。就這樣，一方面顯示長爪梵志的理論是一種悖論，另一方面也突顯釋迦牟尼佛以非常簡短的開示就把長爪梵志折服了。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数学基础
数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为真? 目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。實際上，幾乎所有现在的数学定理都可以表述為集合论下的定理。在这个观点下，所謂数学命题的真实性，不过就是该命题可以从集合论公理使用形式逻辑推导出来。 这个形式化的方法不能解释一些问题：为什么我们應沿用现行的公理而不是別的，为什么我们應沿用现行的逻辑规则而不是別的，为什么"真"数学命题（例如，算術領域的皮亚诺公理）在物理世界中似乎是真的。这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”（The unreasonable effectiveness of mathematics in the natural sciences）。 上述的形式化真实性也可能完全没有意义：有可能所有命题，包括自相矛盾的命题，都可以从集合论公理导出。而且，作为歌德尔第二不完备定理的一个结果，我们永远無法排除這種可能性。 在數學實在論（有时也叫柏拉图主义）中，独立于人类的数学对象的世界的存在性被作为一个基本假设；这些对象的真实性由人类发现。在这种观点下，自然定律和数学定律有類似的地位，因此"有效性"不再"无理由"。不是我们的公理，而是数学对象的真实世界构成了數學基础。但，显然的问题在于，我们如何接触这个世界？ 一些数学哲学的现代理论不承认這種數學基础的存在性。有些理论倾向于專注，並試圖把数学家的实際工作視為一種社會群體來作描述和分析。也有理論试图创造一个，把数学在"现实世界"中的可靠性歸結為人類的認知。这些理论建议只在人类的思考中找到基础，.
数学原理
《数学原理》（Principia Mathematica）是由伯特兰·罗素与他的老师阿尔弗雷德·诺思·怀特黑德合著的一本数学书籍，书籍共分三卷，分别出版于1910年，1912年，1913年。 它通常缩写為PM (Principia Mathematica)，企图表述所有数学真理在一组数理逻辑內的公理和推理规则下，原则上都是可以证明的。因此这一雄心勃勃的项目對於数学史和哲学史都是非常重要的，然而在1931年，哥德尔不完备性定理证明對於数学原理或其他任何類似的尝试，这个崇高的目标皆永远无法达到; 也就是说，任何尝试以一组公理和推理规则來建立的数学系統，若非不一致，便是不完備 (即存在一些数学真理不能由此系統推导出來)。 数学原理的一个主要的灵感和动机来自于逻辑学家戈特洛布·弗雷格的工作,但伯特兰·罗素发现其允许建设有矛盾的集合（罗素悖论）。数学原理排除无限制创建任意的集合來试图避免这个问题,它以不同“类型”的集合來取代一般的集合,一组特定类型的集合只能包含套較低的类型。然而在当代数学,會使用如Zermelo-Fraenkel的集合理论体系,來避免如罗素的笨拙方式,。 现代图书馆它排在二十世纪英文非小说书籍中的第23名。.
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
思想
思想可以指一般想法，或是在思考當中對各想法所作的組織。雖然思想是人類的基本活動，但對於思想是什麼構成，以及思想的產生方式，尚沒有一致的看法。簡單來說，思想可以視為自發的或是有意向的思考行為之產物或結果。 由於思想是許多人類行為和交互作用的基礎，因此對其物理和形而上學的起源、過程和效果的了解，一直以來都是多個學科的長期目標，包括心理學、神經科學、哲學、人工智能、生物學、社會學和認知科學等。 思考可以讓人類認知、詮釋、描述或模型化其體驗的周遭世界，並作出關於世界的預測。.
重定向到这里：
形式逻辑，推理學，理则学，理則，理則學，論理學，邏輯，邏輯學，逻辑学，逻辑系统。
