罗素的理论描述

弗雷格的的力量逻辑消除哲学问题立即被认可。例如,“非是古老的问题。”在小说中通过镜子通过刘易斯·卡罗尔信使说,他通过了没有人在路上,他会见了观察,“没有人比你走慢。“这个使者回答说:“我相信没有人比我走得更快,”进而使它看起来很奇怪(信使)可以超越他(没人)。问题源自治疗没有人作为一个单一的词,必须引用一些在这种情况下,一个神秘的是,并不存在。当没有人被视为它应该像一个quantifier-the句子吗我在路上没人可以被理解为意义这一谓词…是通过我在路上吗是不满意。没有什么矛盾的或神秘的。

在他的文章“指示”(1905),英国哲学家伯特兰·罗素(1872 - 1970)的一步明确的描述名词短语的形式所以,所以,如现在的法国国王形成了弗雷格的逻辑的范围。罗素是如何处理的问题占的意义明确的描述不引用任何东西。这样的描述是常用于正式的数学推理,证明了归谬法没有最大的质数。证明由推导一个矛盾的句子让x是最大的质数,它包含一个描述,最大的质数,通过假设不引用。如果描述视为Fregean奇异项,然而,它是不清楚它可能,因为感觉,弗雷格,referent的表现模式。

罗素的解决方案是看到诸如实际上定量的描述。让x是最大的质数分析了作为让x是没有数量大于'等x是质数。同样,罗素的著名的例子现在的法国国王是秃头分析了作为有一个x这样:(我)x现在是法国国王,(ii)吗y,如果y现在是法国的国王呢y=x,(iii)x是秃头。换句话说,有一个且只有一个国王的法国,个人是秃头。这句话是假的但不是荒谬的。至关重要的是,自现在的法国国王不作为奇异项的分析,没有参照应描述或有意义的句子。分析作品没有问什么现在的法国国王指,而是会计的含义的句子现在的法国国王发生;句子意义对单词意义的Fregean优先维护。摘要罗素把自己开创一个程序的分析同样显示许多其他类型的哲学困惑实体实际上是“逻辑小说。”

弗雷格、罗素发起什么通常被称为“语言学转向”在英美哲学(看到分析哲学)。直到那个时候,当然,语言提供了某些话题的哲学speculation-such意义,理解,参考,和事实但这些主题被视为很大程度上独立于其他无关(或不直接相关的)语言(如知识,精神,物质,和时间。然而,弗雷格显示,基本数学的进步可以通过研究使用的语言来表达数学思想。的的想法快速广义:从今以后,而不是学习,说,物质的性质形而上学的问题,哲学家们将调查关于物质的语言表达,等等其他的话题。语言哲学上很快就取得了基本位置,导致“黄金时代”的逻辑分析20世纪前三十年。从业者的新哲学,现代逻辑提供了一个详尽的工具分类信息的语言形式可以表达和识别确定的逻辑影响与每个表单相关联。分析将揭示哲学麻烦逻辑小说句子的逻辑形式尚不清楚从表面上看,它最终会揭示现实的本质,语言是连接。这个愿景陈述了最大的严重性和严谨Tractatus Logico-Philosophicus(1921),由罗素的奥地利学生路德维希维特根斯坦(1889 - 1951)。

维特根斯坦的Tractatus

在Tractatus,句子被视为“图片”的事务。在弗雷格的系统,包括基本元素引用表达式,或“逻辑上正确的名称,挑出最简单的部分国家事务。最简单的命题,称为“基本”或“原子”,配合物的结构或逻辑形式是一样的,他们所代表的状态。原子的句子站在不逻辑关系另一个,因为逻辑只适用于复杂的句子从原子的句子通过简单的逻辑运算,建立了等结合和否定(看到连接)。逻辑本身是微不足道的,在某种意义上,它仅仅是一种手段,明确目前已经有的东西。这是“真正的”只有一个同义反复的正确定义和不是因为它准确地代表一个独立存在的现实的特性。

根据维特根斯坦,句子的普通语言,不能由原子句子逻辑操作,严格来说,毫无意义的,尽管他们可能代表世界以外的一个函数。因此,句子包含道德条款,以及那些声称是指将自我,或神,毫无意义。然而,众所周知,维特根斯坦的句子发音相同的判决Tractatusitself-thus暗示,一些哲学家,他切断了他坐在分支。维特根斯坦的隐喻的禁令,读者必须扔掉梯子一旦他爬,似乎并没有解决困难,因为这意味着读者真正的爬上梯子都是他。这怎么能是读者可能的句子如果Tractatus是愚蠢的?维特根斯坦否认了这一困境,在他的断言论文逻辑形式的语言是“展示”,但不是“说。“这种对比,然而,仍然是出了名的不清楚,很少有哲学家勇敢地宣称,他们完全理解它。