理性
在哲學中，理性（）是指人類能夠運用理智的能力。相對於感性的概念，它通常指人類在審慎思考各項客觀的證據後，以推理方式，推導出合理的結論。這種思考方式稱為理性。 感性和理性，都屬於意識的範疇，且為意識的性質。 理性，基於意識，是具有參照性的意識。 參照系，可以是生命，比如本能；也可以是知識，比如坐標；也可以是意識，比如自我。 理性，也代表其思想及行為不會被杏仁核劫持，能夠冷靜分析，控制情緒，是情緒智慧中重要的一部分。 字源 理性（）最早源起…
标签：#哲学逻辑
共 42 篇文章
自由逻辑
自由逻辑是免除存在性假定的逻辑。或者说，它是定理在包括空域的所有论域中都有效的逻辑。 解说 在经典逻辑中，有些定理明确的假定在论域中必须有东西。考虑下列经典的有效定理。 :1. \forall xA(x) \rightarrow \exists xA(x); :2. \forall xA(x) \rightarrow A(r/x)（这里的 r 对于 A(x) 中的 x 不自由出现，而 A(r/x) 是代换 A(x) 中 x 的所有自由出…
語意
語意（），在語言學上，指發出訊息者想要表示或傳達給發現者或接收者的理念；亦或發現者或接收者由該語境所推斷的結果。 在大多數語言中，有些字往往會有多種不同涵義；因此發現者或接收者由語境推斷語意時，往往會因線索不足而混淆，導致產生不同的解讀。 參考文獻
柏拉圖實在論
柏拉圖實在論（），哲學術語，用來稱呼由希臘哲學家柏拉圖建立的實在論觀點。柏拉圖認為，共相是存在的，但是不是以一般物理性的方式存在，而是以理型（ideal forms）的方式存在。柏拉圖因此將世界切割為兩個不同的區塊：「形式的」智慧世界、以及我們所感覺到的世界。我們所感覺到的世界是從有智慧的形式或理想裡所複製的，但這些複製版本並不完美。那些真正的形式是完美的而且無法改變的，而且只有使用智力加以理解才能實現之，這也表示了人的智力並不包含知觉…
心智
中提出的一幅大脑的分区图。颅相学是第一个试图解释人类思维活动与其大脑布局对应关系的学科。]] 用于展示二元并存理念所绘制的图画。 笛卡尔认为人从外部通过感觉器官获得信息，并传送至松果体内，并在那里传送到非物质的心灵。]] 心智（；亦常稱為心靈）指一系列认知能力组成的总体，这些能力可以让个体具有意识、感知外界、进行思考、做出判断以及记忆事物。心智是人类的特征，但是其它的生物可能也具有心智。 很长的时间里面人们都试图从哲学、宗教、心理学和认…
哲学逻辑
哲学逻辑（）指传统上使用公认的逻辑方法来解决或推进哲学问题讨论的哲学领域，是对逻辑更特定于哲学的方面的研究。 其中，强调了对论证、意义和真理的研究，而则将同一性、存在、预测、必然性和真理作为他关于哲学逻辑的书的主要主题。 哲学逻辑被理解为包含并专注于非经典逻辑，尽管该术语还有其他含义。 非经典逻辑是对传统的经典逻辑的扩展和替代, 其介绍可见于 的《哲学逻辑》。 该著作描述非经典逻辑的五个中心分支（时间逻辑、模态逻辑、条件逻辑、相干逻辑和…
同一性
在哲學中，同一性（，來自，「相同」之意），是每個事物只與它自己有關的關係，或「名稱」與「被指稱之物」的關係。 同一性的概念引發了許多哲學問題，包括不可分者同一性原理（如果 x 和 y 共享它們的所有屬性，它們是否是同一回事？），以及關於隨時間變化和人格同一性的問題（必須是什麼？一個人 x 一次和一個人 y 稍後是同一個人的情況？）。區分定性同一性（英語：qualitative identity）和數字同一性（英語：numerical i…
元数学
元数学（），又译为超数学，使用数学技术来研究数学本身的一门学科。一般来说，元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学是一种用来研究数学和数学哲学的数学。“数学的数学”是于19世纪初由通常的数学分离出来的，它最初研究的对象是在所谓的数学危机。将二者混为一谈会导致一些矛盾，典型例子有理查德悖论。 比如说，元数学的主题之一就是：分析某些数学要素是否在任意的数学系统中都是可证实或者证伪的。 许多关于数学基础与…
理智
畫作《理智睡著時產生的惡魔》]] 理智（），一種人類的心智能力。它被認為是一種思考、計算、衡量、推理與邏輯的能力，通常被當成形容詞來使用。當我們說一個人是理智的，代表他的行為都是經過思考，考慮過對錯、前因後果，有道理，合乎邏輯的。具備這樣能力的人，我們會說他是理性的。 與理性相對的心智能力，為直覺、感覺、情緒等，這些都是不經過仔細計算與推理，由內在衝動引導，進行決策的能力。 字源 在西方語言中，理智（）最早源起於希臘文邏各斯（，），它是…
分析性推理
分析性推理（）是指观察信息的能力（无论是还是定量的信息），包括在信息中进行辨析。分析性推理亦涉及没有专业知识的演绎推理，例如：理解一组关系的基本结构，识别在逻辑上一致的陈述，以及从给定的事实与规则中推断出什么可能为事实或必定为事实。分析性推理已成为一种公理，因为它已是不言自明的真理。相比之下，综合推理（）则需要人们有观察事物的经验，不过人们总是会以怀疑的态度去观察事物。伊曼努尔·康德曾在1781年出版的著作《纯粹理性批判》的开头中介绍了…
绝对无限
绝对无限是数学家康托尔的超越超限数的无限概念。康托尔把绝对无限等同于神。他坚持绝对无限有各种数学性质，包括绝对无限的所有性质也被某些更小的对象所持有。 康托尔的观点 引证康托尔所说: :实际无限在三个上下文中出现: 首先在它被认识于最完善的形式中，在完全独立的其他世界的存在中，“in Deo”的时候，这里我称呼它为绝对无限或简单的称为无限；其次在它偶然性的出现在 神造世界中的时候；第三在精神“在观念上”把它掌握为数学上的量、数或序类型的…
道家悖論
道家悖論，是中國春秋時代墨家思想家墨子及西漢儒家思想家揚雄，在道家思想家老子及莊子其著作表述中所發現的一系列悖論，分別是「言盡悖」（所有言論都無法表達真理）、「學無益」（學習並無益處）、「非誹」（不應駁斥他人）、「辯無勝」（辯論雙方都沒有贏家）。墨子及揚雄在其著作中對以上悖論進行邏輯分析，並用之抨擊道家學說。 言盡悖 言盡悖，轉作白話文的意思是「所有言論都是錯的」、「所有言論都無法表達真理」，類似的表述素見諸老莊著作，用以表示「道」（道…
事實
事實是有關特定情況的一個或多個方面的真實資料或真實情形等。它可以指在過去已發生的事件，亦可指被驗證成立且中立的陳述；在科學中則指可被（重複）證明的概念。 傳聞在本質上不同於歷史事實。事實也不同於推論、理論、價值和客體等。 確認資訊的真實性的過程，被稱為事實查核。 詞源及使用 英文 英文的「」一詞來自拉丁文中的Factum，在英文中首次使用時意思是「一件事已經完成或者演出（）」，即是現時經已過時。從十六世紀開始，意思是「事情真的發生」或者…
循環論證
循環論證（circular argument）、循環推理（循環推論；circular reasoning）、或循環證成（循環證立；circular justification），是論點的真確性最終由自身支持的推理方式。 循環論證或循環推理有時也泛指包括循環證成、循環因果、循環定義、循環解釋等各種有循環形式的陳述。 形式說明 循環證成通常是這樣的：主張命題p_1，但p_1並非已知或不證自明（例如論者試圖為它提供理據，或者它受人質疑），於是…
充足理由律
充足理由律 简述为：任何判断必须有（充足）理由。古希腊亚里斯多德的经典逻辑 只明确的描述了矛盾律、同一律、排中律三个基本公理。“充足理由律”是由德国哲学家莱布尼茨提出 , 并由德国哲学家亚瑟·叔本华在1813年发表的博士论文《论充足理由律的四重根》（英文：On the Fourfold Root of the Principle of Sufficient Reason）中进一步阐述。 叔本华还将充足理由律和矛盾律、同一律、排中律并列，…
温度悖论
温度悖论或帕蒂悖论是形式语义学和哲学逻辑中的经典难题。它由在20世纪70年代提出。其中包含的以下论点，英语使用者认为它们完全无效。 温度是九十度。 温度在升高。 因此，九十正在升高。 （无效结论） 尽管该结论明显无效，但该论点在大多数基于传统外延逻辑系统的形式化中都是有效的。例如，以下一阶谓词逻辑的形式化通过莱布尼茨定律是有效的： t=90 R(t) R(90)（此形式化中的有效结论） 为了在不放弃莱布尼茨定律的情况下正确预测论证的无效…
逻辑哲学论
《逻辑哲学论》（又译《名理论》，英语、拉丁语：Tractatus Logico-philosophicus，德语：Logisch-Philosophische Abhandlung），是奥地利哲学家维特根斯坦在其一生中出版的唯一的书籍篇幅的著作。本书在1918年第一次世界大战作者服兵役期间写成。首先在1921年以德语出版。它现在被广泛的认为是20世纪最重要的哲学著作之一。拉丁语标题Tractatus Logico-Philosophic…
T-模式
T-模式（也叫做约定T）是位于 Alfred Tarski 的真理的语义理论的任何实现的核心位置的归纳定义，表达了真理在逻辑运算符上的交换性。 T-模式经常用自然语言表达，但它们很容易接纳多类谓词逻辑或模态逻辑的形式化；比如叫做 T-理论的公式化。T-理论构成了哲学逻辑中很多基础工作的基础，它们被应用于分析哲学中很多重要争论。它们也是在模型论背后的基础直觉；或者说模型论实现了它们。 参见 真理的语义理论 公式 (数理逻辑) 註釋 外部链…
墨辯
墨辯是指《墨子》書中〈經上〉、〈經下〉、〈經說上〉、〈經說下〉、〈大取〉、〈小取〉六篇文獻，是墨经逻辑的基本推理程式。 研究 晉朝鲁胜作《墨辩注》称之为《辩经》。梁启超稱墨辩即逻辑，1904年梁启超发表的《墨子之论理学》一文试图运用西方近代逻辑体系来勾勒墨家逻辑，但流于过简。 胡适在赴美留学之前，即因梁启超影响对墨学产生浓厚的兴趣，胡适是第一个对《墨子》一书进行系统分类的人，他认为「故」与「法」是《墨经》中极为重要的两个概念，只有懂得这…
严格条件
在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题 p 和 q，公式 p \rightarrow q 说 p 实质上蕴涵 q，而 \Box (p \rightarrow q) 说 p 严格蕴涵 q。严格条件是 Clarence Irving Lewis 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。 : 如果 Bill Gates 是医…