命题和說謊者悖論

快捷方式: 差异，相似，杰卡德相似系数，参考。

命题和說謊者悖論之间的区别

命题 vs. 說謊者悖論

在现代哲学、逻辑学、语言学中，命题是指一个判断（陳述）的语义（實際表達的概念），這個概念是可以被定義並觀察的現象。命题不是指判断（陳述）本身。当相異判断（陳述）具有相同语义的时候，他们表达相同的命题。例如，雪是白的（汉语）和 Snow is white（英语）是相異的判断（陳述），但它们表达的命题是相同的。在同一种语言中，两个相異判断（陳述）也可能表达相同命题。例如，刚才的命题也可以说成冰的小结晶是白的，不過，之所以是相同命题，取決於冰的小结晶可視為雪的有效定義。 通常，命題是指閉判斷，以區別於開判斷，或謂詞。在這種情況下，命題不是真的就是假的。哲學學派邏輯實證主義支援這一命題的概念。 一些哲學家，諸如約翰•希爾勒，認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不通過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它，例如，在當老師請學生對某個引用發表意見的時候，這個引用就是一個命題（即它有語義）而這個老師並沒有判定它。在上一段中，只給出了命題雪是白的，但沒有判定它。. 說謊者悖論，在哲學和邏輯學中，古典的說謊者悖論是指一個說謊者聲稱自己正在說謊：例如，聲稱：「我在說謊」或者「我所說的皆為假」。如果他確實在說謊，那麼他所說的就是真的，但如果他所說的就是真的，那麼他就是在說謊。在「這個語句正在說謊」的悖論中，為了強化悖論，使悖論更經得起嚴格的邏輯分析，「說謊」的概念往往被「真假」的概念所取代，僅僅保留「說謊者」這一名稱來指涉關於古典二值邏輯會推導出矛盾的悖論。 如果「這個語句為假」為真，那麼這個語句為假，但是如果這個語句聲稱它為假，且它為假，那麼它一定為真，如此一來悖論於焉成形。.

哲学

哲學（philosophy）是研究普遍的、根本的问题的学科，包括存在、知识、价值、理智、心灵、语言等领域。哲学与其他学科的不同是其批判的方式、通常是系统化的方法，并以理性论证為基礎。在日常用语中，其也可被引申为个人或团体的最基本信仰、概念或态度。.

命题和哲学 · 哲学和說謊者悖論 · 查看更多 »

哲學家

哲學家（Philosopher），哲學的研究者，對哲學懷抱興趣，擁有廣泛的知識，並且能夠利用這些知識來解決特定的哲學問題。根據歐洲哲學傳統，哲學家研究的主題包括美學、倫理學、知識學、邏輯學、形而上學，以至於社會哲學與政治哲學等。.

命题和哲學家 · 哲學家和說謊者悖論 · 查看更多 »

真值

在逻辑中，真值（truth value），又稱逻辑值（logical value），是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值。 在经典逻辑中，唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。 在代数上说，集合形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。 在topos理论中，topos的主客对象分类器接管了真值集合的位置。.

命题和真值 · 真值和說謊者悖論 · 查看更多 »

逻辑

邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.

命题和逻辑 · 說謊者悖論和逻辑 · 查看更多 »