速度只是能源质量消耗后能量传递的快慢，或能量推动质量物体运动的节律。关系式也没有交待清楚单独的能量从何而来。爱因斯坦的质能关系式是以永恒的能量存在或源源不断的能源物质存在为前提，而在现实的使用过程中，维持社会生活所消耗的能源，是太阳时代生成的有限的难再生能源，如石油、天燃气、煤炭等，或是地球时代生成的十分危险、遗害无穷的肮脏能源、如铀、钚等。因此，质能关系式的有效性值得怀疑。爱因斯坦说，光可以转化为质量，但没有说清楚在什么情况下转化为质量，依据何来。光是物质，准确地说，是一种客观物质现象，与电磁波、脑电波一样都不是实体性的存在物，难以确定它的质量。可以怀疑爱因斯坦是否将植物的光合作用当成参考实例。光的黎曼现象不足以说明光的质量问题，而生物体的转化作用同物理学意义上的转化有着质的差别。当爱因斯坦自己认识到狭义相对论思想理论存在内在缺陷时，提出了广义相对论的两条基本原理，即广义相对性原理和等效原理。论文《广义相对论的基础》的发表，标志着广义相对论的延生。广义相对论是关于空间、时间与万有引力关系的理论，指出空间、时间本身就是物质的存在形式，它们不能离开物质独立存在，空间的结构和性状取决于物质的分布，从而提出了与牛顿引力论本质上完全不同的广义相对论的引力论，揭示了四唯时空与物质的统一关系。真实的空间并不是欧几里德空间，而是弯曲的黎曼空间。光线在引力场中传播时，因引力场作用而发生弯曲，亦即物质告诉时空必须如何弯曲，而时空告诉物质必须如何运动。广义相对论实际上是一个认识论理论。爱因斯坦在数学家格罗斯曼的协助下，建立起来的广义协变的引力场方程，很快就被发现并不能完全解释宇宙问题。于是爱因斯坦硬性通过加入“宇宙项”的办法捏造出一个等式，犯下了一生中最大的错误。人类历史上最伟大的科学思想家爱因斯坦是将世界作为一个整体在考虑，所提出的命题同样存在缺陷，甚至是至命的错误。而那些将自然分解得越来越细的分支学科，其命题的真实性、推理的普适性、归纳的有效性更值得怀疑。分解后部分的本质不一定是事物整体的本质，何况分解后是否真正把握住事物部分的本质，还是一个大问号。

当哲学家、逻辑学家发现命题逻辑存在从真实的前提推出虚假结论的局限性，认识到将语言命题表达方式进行符号化时存在问题，就在语句学和语义学上做起了文章。试图从规范命题，规范演绎规则来解决符号逻辑本身存在的问题，于是用谓词逻辑来拾漏补缺。
斯宾诺莎说：“规定给予事物，不是就事物的存在而言，而是正相反，规定是事物的不存在。”
逻辑假定了前提，规定了推理方式，得出了结论，事物的本质就难以存在了。
维特根斯坦认为：“我论述有关语言的问题，并不是由于认为语言是哲学主题。语言并不是哲学主题，我之所以要对语言进行探讨，是由于我认为，每个哲学谬误和‘思想上的困难’都来源于为语言表达在现实中的使用所隐秘地揭示的不真实的类推。”

引言部分：实在是能动的而不是静止的，而逻辑则假想了一种凝固于语言概念中的实在。

一、逻辑哲学的兴起

对于逻辑的哲学反思几乎是和逻辑同步产生的，因为任何逻辑学家都不能不思考和回答下述问题：什么是逻辑？逻辑和非逻辑的区别何在？逻辑规律和实在的规律、思维的规律、语言的规律关系如何？什么样的推理是有效的推理？区别有效推理与非有效推理的标准是什么？这些问题不是纯粹的逻辑问题，而是关于逻辑的哲学问题，对于它们的不同回答将体现逻辑学家有关逻辑的不同立场和态度。但是，这并不是说，逻辑哲学古已有之，任何逻辑学家都是一个自觉的逻辑哲学家。实际上，严格意义上的逻辑哲学是一门新兴的哲学学科，它是现代逻辑与现代哲学相互渗透、相互作用的产物。它的产生有两个历史前提：一是数理逻辑的创立以及后来的多种逻辑分支、多个逻辑系统的同时并存，一是现代西方哲学所发生的“语言转向”。

莱布尼茨于17世纪最先提出了创立数理逻辑的设想。他力图构建一种理想化的“通用语言”和“通用数学”，把所有的推理都化归为计算，让推理的错误成为计算的错误，以至最后可以通过计算去解决各种争论或问题。经过德摩根、布尔、弗雷格、皮亚诺、罗素和怀特海等好几代逻辑学家的不懈努力，直至1928年希尔伯特和阿克曼证明一阶谓词演算的一致性、1930年哥德尔证明一阶谓词演算的完全性时，莱布尼茨的理想才算部分地实现，数理逻辑才算真正创立。这时的数理逻辑包括命题逻辑和谓词逻辑两部分，亦称“一阶逻辑”，它是建立在下述基本原则或假定之上的：（1）外延原则，即它在处理语词、语句时，只考虑它们的外延，并认为语词的外延是它所指称的对象，语句的外延是它所具有的真值：如果在某一复合语句中用具有同样指称但有不同涵义的语词或语句去替换另一语词或子语句，该复合语句的真值保持不变。这就是著名的“外延论题”。与此相联系，一阶逻辑是建立在实质蕴涵之上的真值函项的逻辑。所谓实质蕴涵，就是把一条件句的真值看作是它的各子语句的真值函项。具体来说，条件句“如果p，则q”为真，当且仅当并非p真而q假，这就是说，除开p真q假的情况下该条件句为假之外，在其他情况——p真q真、p假q假、p假q真——之下，它都是真的。

（2）二值原则，即任一命题或真或假，非真即假；没有一个命题不具有真假值。也就是说，在一阶逻辑中不存在真值空白或真值间隙（既不真也不假）。
（3）个体域非空，即量词毫无例外地具有存在涵义，并且单称词项总是指称个体域中的某个个体，不允许出现不指称任何实存个体的空词项。
（4）采用实无穷抽象法，因而在其中可以研究本质上是非构造性对象。
但是很快地，有些逻辑学家又创立了另外一些逻辑系统，它们所采用的基本原则或者与一阶逻辑不同，或者与它们根本对立。例如，多值逻辑的创立就是以放弃二值原则为契机的。在多值逻辑中，一个命题除了取真、假二值之外，还可以取许多其他的值，从而使得一阶逻辑的矛盾律和排中律也不成立。在此之后，量子逻辑、模糊逻辑、自由逻辑、偏逻辑等也放弃了二值原则。另外，一部分逻辑学家对实质蕴涵进行了激烈的抨击，认为它不符合自然语言中“如果……则……”的原义，不符合日常思维中的逻辑推理关系，违反人们的常识和直觉，是不可接受的。于是，他们相继提出用严格蕴涵、相干蕴涵、衍推、直觉主义蕴涵、反事实蕴涵等来取代实质蕴涵，并相应地创立了模态逻辑、相干逻辑、直觉主义逻辑等新的逻辑分支。自由逻辑和偏逻辑则修改或放弃了一阶逻辑的第三个假定。在自由逻辑中，允许某些单称词项在某些情况下不指称任何实存个体。而在偏逻辑中，个体域不必非空，即量词不必总是具有存在涵义；单称词项不必总是有所指称，允许无所指的单称词项出现；命题不必非真即假，允许有些命题出现“真值空白”。还有一些逻辑学家认为，以外延原则为基础的一阶逻辑遇到了某些严重的困难，它的一些基本原则，如组合性原则、等值替换原则、同一替换原则等，可以找到反例。因此，他们修改外延原则，发展了既考虑表达式的外延，又考虑表达式的内涵的内涵逻辑。如此产生的新逻辑分支还有次协调逻辑、条件句逻辑、非单调逻辑等。

人们通常把原有的一阶逻辑叫做经典逻辑，而把因否定或放弃其中某一基本原则而建立起来的各种新逻辑学分支叫做非经典逻辑，于是就出现了经典逻辑和非经典逻辑同时并存的局面。这就使得下述问题的研究与解决成为迫切的课题：经典逻辑和非经典逻辑是什么关系？各种非经典逻辑之间又是什么关系？它们是同样正确的，还是相互竞争的，即一个正确则其他的就不正确？是不是仅有一个正确的逻辑系统？有没有可能存在着同样正确的不同系统？什么是推理的有效性？什么是逻辑真理？有效性和逻辑真理能否解释为与某一形式系统相关？这些问题又引出了一些更具根本性的问题：究竟什么是逻辑？是什么东西使得一个形式系统成为一个逻辑系统？逻辑与非逻辑的划界标准是什么？逻辑是否对任何论域一概地正确？还是各种特殊的论域需要有自己特殊的逻辑？逻辑只是一种思考的方便工具吗？这些问题本质上是关于逻辑的哲学问题，对于它们的研究是关于逻辑的哲学研究。这是产生现代意义的逻辑哲学的重要原因之一。

其次，逻辑哲学的产生还具有哲学的动因。从哲学形态上看，西方哲学经历了三个阶段两次转向：当古希腊哲学家孜孜探求世界的本原、始基时，他们是在从事一种本体论的研究。这时，哲学研究的逻辑出发点是作为客体的整个世界，人们要从变动中发现不变，从现象背后发现本质，从暂时中找到永久。当时的哲学家企图让自己跳出这个世界，然后反观这个作为整体的世界，追寻纷繁万物的本原，他们研究的是“世界是什么”、“作为这个大千世界之本质的存在是什么”、“一般和个别何者是真实的”这样一些本体论问题。这些问题带有独断性质，人们自然要问：这些关于世界的知识可靠吗？这些知识是从哪里来的？它们的根据是什么？于是哲学的重心就从世界的本原转到了知识的来源。从笛卡尔开始，经由贝克莱、休谟、康德等人，近代西方哲学发生了认识论转向，这时它以追求知识的确定性为首要目标。对于近代哲学家来说，离开认识谈存在是不可靠的，不能独断地做出关于世界的知识是什么的断定，而要追问什么是确定的知识，研究这种知识究竟来自何处（来自经验或来自理性）以及知识主体的认识能力和限度。一句话，这时必须回答主体能不能认识客体以及如何认识客体等问题。这样，哲学研究的逻辑出发点便从客体退回到认知的主体，使主体和客体、思维和存在的关系问题直接成为哲学的基本问题。自弗雷格等人开始，现代西方哲学又发生了所谓的“语言转向”，即是说，在哲学研究中语言问题被提到了首要地位，甚至全部哲学问题都被归结为逻辑——语言问题。

在分析哲学家看来，我们具有可靠的知识，这一点是确定无疑的，问题不是要去了解是否可能获得知识，问题是要表明：获得这种知识的条件和过程是什么？我们是怎样从怀疑、无知和无根据的信念达到有充分根据的信念的？我们是如何区别合理的信念与不合理的信念的？我们如何能在扩大、改进我们对世界及其多种组成部分的信念方面取得进展？他们因此特别关心下述研究课题：“（1）研究语言在实践和思维中的作用，特别是研究怎样在语言的使用中识别意义、获得意义或确保意义的存在；（2）考察探究的逻辑和方法论。这里，这种逻辑必须对获得真信念和可靠知识的各种技术和条件进行估价；（3）从哲学上考察获得新生的形式逻辑的功能以及运用这些功能来帮助解决各种哲学问题的若干方法。”这样，分析哲学家们认为，哲学的任务就是解释科学语言和日常语言的意义，以建立一种满意的意义理论和真理理论；哲学的性质就在于它不是理论，而是澄清语词或语句的意义的活动；哲学研究最重要的方法就是逻辑分析和概念分析（日常语言分析）。这样一来，他们就把语言哲学和逻辑哲学提升成为哲学研究的主要领域，使它们成为现代西方哲学中的显学。

从时间上说，现代逻辑哲学开始于德国数学家兼哲学家弗雷格（1848—1925）。他是第一个真正意义上的逻辑哲学家。他的三篇论文——《函项和概念》（1891）、《概念和对象》（1892）、《涵义和指称》（1892）——已成为逻辑哲学的经典性论文。他在逻辑哲学方面的主要贡献有：第一，严厉抨击逻辑研究中的心理主义倾向，提出了逻辑学和哲学研究的三条基本原则：（1）始终要把心理的东西和逻辑的东西、主观的东西和客观的东西明确区别开来。他认为，逻辑具有客观性，心理过程具有主观性，因此逻辑与任何心理过程无关。（2）决不能孤立地问一个语词的意义是什么，语词只有在语言的实际运用中、在语句的语境中才能获得意义。（3）强调对象和概念的区别，把语句作为基本的意义单位并分析其内部结构，从而区分出专名和概念词。第二，明确区分表达式的涵义和所指。他强调指出，一个表达式的涵义是客观的，与该表达式在说话者和听话者那里产生的任何心理状态无关。他还提出了著名的“外延论题”，并注意到它在某些特殊情况下不成立。第三，他最先提出逻辑主义纲领，认为全部数学可以化归于逻辑，可以在逻辑的基础上证明全部数学的可靠性，即用逻辑概念定义数学概念，从逻辑中推导出数学定理，并为实现此目标而持之不懈地努力。
继弗雷格之后，许多人开始关注逻辑哲学问题的研究，在这方面做出过或大或小的贡献，但其中最主要的代表人物，可能要数罗素、维特根斯坦、卡尔纳普、蒯因、克里普克这五位逻辑学家兼哲学家。

罗素著述甚丰，与逻辑有关的主要著作有：《数学原理》（与怀特海合著，3卷，1910—1913）、《我们关于外间世界的知识》（1914）、《逻辑原子论哲学》（1918）、《意义和真理探究》（1940）、《数理哲学导论》（1919）等。他于1905年发表的《论指示》一文已成为逻辑哲学的经典性论文。罗素对逻辑哲学的贡献是多方面的，主要包括：（1）系统地阐述和发展了逻辑原子论哲学。其要点是：世界由事实构成，而命题与事实对应，事实使一个命题为真或为假。最简单的事实叫做原子事实，与原子事实对应的是原子命题。原子命题的真假取决于它与相应的原子事实是否符合和一致。分子命题是原子命题的真值函项，它与复合事实相对应。一切知识都可以用原子命题和分子命题表述。相应地，整个世界是建立在原子事实之上的逻辑构造。这套理论的一个根本假定是，语言和世界具有结构的同型性。（2）利用数理逻辑方法发展了摹状词理论，后者被称为“哲学的范例”。他认为，名称的意义就是它的所指。真正的专名只有像“这”、“那”等少数几个逻辑专名，普通专名只不过是伪装的摹状词，而摹状词在句子中的出现又是可消除的，因而不是独立的意义单位。他由此得出的哲学结论是：存在不是个体的性质，而是命题函项的性质，整个世界都是基于感觉材料之上的逻辑构造。（3）提出了解决集合论悖论的重要理论——类型论。罗素认为，产生悖论的根源在于，假定一类事物可以包括只能根据该类的全体才能定义的东西作为分子。例如，一切类所构成的类还是一个类。这样的类是“不合法的整体”，承认它会导致“恶性循环”，导致自相矛盾。于是他提出了“禁止恶性循环原则”，创立了类型论。（4）明确主张逻辑主义纲领，并在三大卷《数学原理》中为此付出了极大的努力。他从逻辑演算（一阶逻辑）出发，加上两个非逻辑公理即无穷公理和选择公理，推导出了康托尔集合论、一般算术和大部分数学。尽管逻辑主义纲领本身没有完全成功，但罗素等人在这方面的工作却产生了深远的影响。

维特根斯坦其哲学可以分为前期和后期。前期哲学的代表作是《逻辑哲学论》（1922），在其中他提出了著名的图像说：“命题是实在的图像，命题是我们所设想的实在的模型。”这一学说的基本点在于：语言与实在、命题与事实都处于形式关系之中，而且它们在结构上相似，因此我们可以由语言去推论世界。在图像说的基础上，他提出了自己的意义理论和真值函项理论。他区分了两类命题：基本命题和复合命题；基本命题的真值条件在于它与事实一致或不一致，复合命题则是基本命题的真值函项。有三种类型的真值函项：重言式、矛盾式和命题。重言式和矛盾式对于这个世界无所叙说，没有任何经验内容，前者对于基本命题的一切可能的真值组合都真，后者对于基本命题的一切可能的真值组合皆假。命题则含有经验内容，在某些真值组合下为真，在另一些真值组合下为假。维特根斯坦通过把逻辑和数学命题视作重言的，来确保它们的先天必然的真理性。维特根斯坦后期哲学的代表作是《哲学研究》（1953），其中提出了著名的语言游戏说。这一理论把语言看作游戏，认为语言游戏与其他游戏有一系列类似之处，如自主性、无需证明、非推论性、无需反思、多样性、遵守规则、变易性、无本质，等等。这一理论的宗旨是要彻底清除以往哲学研究中由于误用语言而产生的一切混乱，摒弃把意义看作实体的观念，使对语言的研究从追求意义转向语言的实际用法。与这种游戏理论相联系，维特根斯坦提出了这样一个口号：意义即使用，认为一个词的意义在于它在语言中的用法，因此特别强调语境，强调语言游戏整体对其中角色的制约。

卡尔纳普与逻辑相关的重要著作有：《世界的逻辑构造》（1928）、《语言的逻辑句法》（1934）、《语义学引论》（1942）、《意义和必然性》（1947）、《概率的逻辑基础》（1950）等。他对逻辑哲学的主要贡献有：（1）明确提出和阐述了经验主义的可证实性原则。这一原则断定：一个陈述的意义在于它的证实条件，一个陈述是有意义的当且仅当它在原则上是可证实的。可证实性原则的基本精神是：理论、陈述、语词的意义必须是直接或间接地从经验事实中获得的。由于这一原则遇到了一系列理论上的困难，卡尔纳普将其弱化为可确证性原则和可检验性原则，并由对确认度的定量研究转向对概率归纳逻辑的研究。（2）在《语言的逻辑句法》中提出著名的“宽容规则”，即每个人都可以自由地选择他的语言和逻辑。这一原则指出了语言、逻辑的约定性、相对性，揭示了多种语言、多种逻辑并存的根源。（3）从塔斯基关于“对象语言”和“元语言”的区分出发，建立了一套形式化的语义学体系，在其中精确表达和定义了许多语义学概念或术语，例如内涵、外延、分析的、综合的、矛盾、等值、（逻辑）必然性和（逻辑）可能性，等等。