传统逻辑
传统逻辑，也叫做词项逻辑，是关于亚里士多德（公元前384年—前322年）所开创的传统逻辑学的宽松的术语，并有幸地没有经历广泛的改变，直到十九世纪末出现了谓词逻辑。 有时很难理解在弗雷格和罗素之前的哲学，原因是对他们之前的所有哲学家们所共识的术语和观念没有基本的掌握。本文提供对传统系统的基本介绍，和对进一步阅读的建议。 亚里士多德系统 亚里士多德的六篇逻辑学著作被收录在《工具论》（Organon）中。特别是其中叫做《》和《解释篇》的两篇包…
标签：#逻辑史
共 27 篇文章
明希豪森三难困境
明希豪森三难困境（）是认识论中的一个思想实验，用以表明包含逻辑学和数学在内任何对真理的论证都是不可能的。 介绍 当论证某一陈述时，这一论证的前提亦需要证成（）。而对这前提的证成，其本身亦有进一步的前提需要证成，即论证具有倒退性。 由此，对任何论证最终有三种可能性： 循环论证：论证最终由其自身支持； 无限倒退：支持論证的前提最终没有终点； 武断终止论证：论证终止于一个被接受的前提，如某个公理、规定、道德信条、宗教信条等。 这三种可能性都不…
非經典邏輯
非经典邏輯（），也称为替代逻辑（），概括了在经典邏輯體系之外的各種形式系統，這些系統在命題及謂詞等方面，與经典邏輯不同。 哲学逻辑被理解为包含并专注于非经典逻辑，尽管该术语还有其他含义。 此外，可以将理论计算机科学的某些部分视为使用非经典推理，尽管这因学科领域而异。隨著現代哲學邏輯與理論計算機科學的發展，推動了非经典邏輯發展。 简介 经典逻辑基于公理化的四个基本原理：同一律、排中律、无矛盾律（也被称为矛盾律）和充足理由律。经典逻辑也被特…
哲學分析
哲學分析是西方哲學界在哲學分析傳統中涉及「拆解」(例如: 分析)的哲學議題最典型的眾多應用技巧的一個通稱。其中，幾乎無爭議地將概念分析視為最卓越的一種技巧。 依靠對事物，事件，人物，現象以及一切有形和無形的形而上，形而下的物質與非物質，現象與非現象進行的俱備嚴謹或者必要性發散的思維方式的整個探求和發現的行為軌跡，即是哲學分析。
因明學
因明（，），音譯-{醯}-都费陀，在古印度發展的佛教邏輯學和认识论，是一種思考方法，也是探索真理的工具之一，為五明之一。佛教、耆那教與印度教都受到它的影響。 概論 「明」字已包含了「學」之意。起源、發展於印度正理派的一種思維和推理方法。《因明大疏》上本曰：“明此因义，故曰因明。” 古因明 释尊以前，足目（）仙人创之。有成书于公元250至350年之间的《正理经》。 新因明 至佛灭后，大乘论师陈那集其大成。其著作包括《因轮抉择论》、《因明正…
逻辑史
逻辑史，又稱理則史，指逻辑学的发展史。 在古埃及和巴比伦都发现逻辑学的萌芽。但现在所使用的逻辑学产生于古希腊时期。与此同时，印度和中国也独立地发展了逻辑学。 中国古代逻辑学代表为墨家逻辑，晚期的墨家中一批人已经开始研究形式逻辑。不过中国的逻辑学并未形成体系。可惜的是，汉朝以后，实行“罢黜百家、独尊儒术、外儒内法”，逻辑学的研究停止了。后来，印度的逻辑学随佛教传入中国。 现在所使用的逻辑学直接来源于古希腊逻辑学。亚里斯多德等人确立了完整的…
工具論
《工具论》是亚里士多德学派的传人们（即逍遥学派）对他的六篇关于逻辑的著作， 汇编成一本著作集，并定为此名。 《工具论》中的六篇著作分别是《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》。 简介 亚里斯多德的逻辑，尤其是他的三段论理论，对西方思想史产生了无与伦比的影响。它并不一直保持这种地位：在希腊化时期，，尤其是克律西波斯的著作占据了上风。但是，在后来的上古时期，随着亚里士多德评论家们的努力，亚里士多德的逻辑成…
经典逻辑
经典逻辑（），也被稱為標準邏輯（standard logic），标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新，它比亚里士多德的词项逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑满足一些公理化的基本思维规律，包括：同一律、排中律、无矛盾律（也被称为矛盾律）。 历史简介 古希腊亚里斯多德的传统逻辑主要反映在其著作集《工具论》中。《工具论》是亚里士多德学派的传人们（即逍遥…
奥卡姆剃刀
所绘制的哥白尼系统，见于《和谐大宇宙》（1708）。太阳、月亮和其他太阳系行星的运动既可以用地心说来解释，也可以用日心说来解释，都同样有效，然而日心说只需要7个基本假设，地心说却需要多得多的假设。在尼古拉·哥白尼的《天体运行论》序言中指出了这一点。]] 奥卡姆剃刀（），又稱简约法则（），是由14世纪方济会修士奥卡姆的威廉（约1287年至1347年，英格兰萨里郡奥卡姆人氏）提出的邏輯學法则。如果关于同一个问题有许多种理论，每一种都能作出同…
推理
推理或推論（）是「使用理智從某些前提（已知）導出結論」的思維過程。 推理传统上分为演绎推理（deduction）和归纳推理（induction），这一区分至少可追溯至亚里士多德（公元前4世纪）。第三种类型，溯因推理（abduction），由查尔斯·桑德斯·皮尔士提出。 各领域研究推理的不同方面：逻辑学研究有效的推理形式，认知心理学研究人类如何实际进行推理，人工智能研究者开发自动推理系统以模拟人类推理。 定义 推理可以指两个不同的概念：一…
不可分者同一性原理
不可分者同一性原理，也称不可区分之同一性等（），是一条本体论的原理（principle），它是指如果两个实体或客体有完全相同的性质，那么它们必然不可区分。用符号语言表达为：实体 x 与 y 等同，仅当 x 的所有谓词，同样是 y的所有述词，且反之亦然。所谓两样事物不可区分，即指两个名字下指涉同一样事物。所以有可能，没有完全等同的两样东西（比如两片雪花的形状并不相同）。但这仅仅是形而上学的一条原理，而非自然科学的。它的逆命题是同一者不可分…
卡济梅尔兹·塔多斯基
卡济梅尔兹·塔多斯基（Kazimierz Jerzy Skrzypna-Twardowski，1866年10月20日 – 1938年2月11日）是一位波兰哲学家與逻辑学家。 生平 1866年10月20日，卡济梅尔兹·塔多斯基出生在奥地利帝国首都维也纳。塔多斯基在维也纳大学师从弗朗兹·布伦塔诺和罗伯特·齐默曼学习哲学。 1892年他以论文《構想与知觉》（Idee und Perzeption）获得博士学位。 1894-95年他在维也纳担任…
名家
名家，是先秦時期诸子百家之一，也是司馬談《論六家要旨》的六家之一。古代名家「辩者」以严谨逻辑思想而闻名。名家在中国开创了逻辑和符号思想探究，包括对思想中最基本的元素 “实”与“名”和各命题关系的诠释，著名的命题包括「白马非马」、「堅白石」、「合同异」等，著名人物有鄧析、公孫龍、宋钘、尹文、惠施等人。 思想內容 名家是先秦诸子之一，主要探讨“名”（概念、名称）与“实”（事物本身）之间的关系。其思想内部可大致分为两种代表性理论取向：一是以惠…
中国逻辑史
中国逻辑史指的是演绎逻辑和归纳逻辑等思想在中国产生和发展的历史。从逻辑史角度看，中国的逻辑学并未同欧洲、印度和穆斯林世界一样有着广泛认同和持续发展的特点，而是在相当长的时间内保持相对孤立。因此，中国的形式逻辑在逻辑学史上有着特殊的地位。 中国的逻辑思想极为丰富地表现在了各个学术的思想范围和认识中。然而由于过去封建正名的思想统治，使旧哲学中论名实的逻辑科学长期停顿在正名主义的逻辑思想和墨辩立名本的思想认识上；而一直分散在各种科学技术思想方…
概念文字
《概念文字》（）是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书的完整标题把它标识为《模仿算术的纯思维的形式语言》。这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“演算推论器”的渴望。 弗雷格定义了逻辑演算来支持他在数学基础上的研究。“概念文字”是书和其中定义的演算二者的名字。 记号和系统 演算介入了量词，因而本质上是经典的谓词逻辑，尽管使用了一种特异的二维记号…
新工具论：或解释自然的一些指导
《新工具论：或解释自然的一些指导》（，也译作新工具)，是弗兰西斯·培根于1620年出版的一部科学哲学著作，用拉丁文写成。培根在《新工具论》中，针对亚里士多德的关于逻辑和三段论的著作《工具論》，提出了他认为优于三段论的新逻辑体系——培根法。一般认为，此书是对现代科学的方法进行论证的最早的著作之一，奠定了现代科学发展的方法论基础。 《新工具论》的扉页描绘了一艘盖伦帆船穿行于直布罗陀海峡。神话中的海格力斯之柱分别矗立在的海峡两岸，表示这里是离…
四句 (佛教)
四句（），又稱四門、四句分別、四句法，一種邏輯結構，最早出現在古印度佛教論師龍樹作品《中論》中。破除四句，稱為四句破、四句否定，是一種悖論與辯證方法，為早期中觀派的主要因明學特徵。 概論 所謂四句，最早出現在《中論》第一品： 這是由大乘佛教中觀派的創始者龍樹的作品中所發現的。龍樹利用四句破來描繪這個看似矛盾的現實本質，其中「世俗」的現實認為實體都是獨立存在的，而大乘佛教的「根本」現實（屬於空）則所有都是虛無的。 以現代數學來表達，其內容…
普罗泰戈拉
普羅塔哥拉斯（；）是一位出身古希臘阿布德拉的智辯家。他主要致力於發展辯論技巧，同時提出哲學問題。他提出的哲學問題被柏拉圖、亞里斯多德等哲學家詳細討論。他的著名論點「人是萬物的尺度」（），被解釋為支持相對主義的早期案例。 他長期活動於雅典，並對許多道德和政治議題之思想討論產生影響。儘管採取傳統的道德觀念，但他表達了對諸神信仰的不可知論態度；根據傳統，他被指控不敬神，他的著作被公開焚燒，他被驅逐出雅典。 透過聲稱與過去偉大的詩人和思想家有直…
公理
在傳統邏輯中，公理（古希臘語: ἀξίωμα, 德語、英語: Axiom）是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b=b+a」。 不同的系統，會預計不同的公理。例如非歐幾何的公理，和歐氏幾何的公理就有一點不同；另外，集合論的選擇公理在許多系統的建…
柏拉圖實在論
柏拉圖實在論（），哲學術語，用來稱呼由希臘哲學家柏拉圖建立的實在論觀點。柏拉圖認為，共相是存在的，但是不是以一般物理性的方式存在，而是以理型（ideal forms）的方式存在。柏拉圖因此將世界切割為兩個不同的區塊：「形式的」智慧世界、以及我們所感覺到的世界。我們所感覺到的世界是從有智慧的形式或理想裡所複製的，但這些複製版本並不完美。那些真正的形式是完美的而且無法改變的，而且只有使用智力加以理解才能實現之，這也表示了人的智力並不包含知觉…