作者：（奥）维特根斯坦 著
出版社：商务印书馆
格式: AZW3, DOCX, EPUB, MOBI, PDF, TXT
逻辑哲学论(汉译名著本)试读：
英译者前言
本书是1921年最早发表在德文期刊Annalen der Naturphilosophie（《自然哲学年鉴》）上面的路德维希・维特根斯坦的Logisch-Philosophische Abhandlung（《逻辑哲学论》）的一个英译本。较早一些的一个英译本是由C.K.奥格登在F.P.雷姆塞的协助下完成的，它以并列刊印出德文原文的形式发表于1922年。现在这个译本于1961年出版，也附有德文原文。这次进行的修改参照了维特根斯坦本人在他同C.K.奥格登的通信中关于第一个英译本的意见和评论。该信件现已由冯・赖特教授发表出来（Blackwell，Oxford，及Routledge＆Kegan Paul，London和Boston，1972年）。
在罗素的允许下，书中重印了他为1922年版本所写的导言。导言中包含的罗素本人或最初英译者的有关译文，都未作改动。皮尔斯，麦克吉尼斯1974年导 言
维特根斯坦先生的《逻辑哲学论》，不管它是否证明就其考察的问题提供了最后的真理，由于它的广度、视界和深度，确实应该认为是哲学界的一个重要事件。它从符号系统的原则和任何语言中词和事物之间必须具有的关系出发，将这种考察的结果应用于传统哲学的各个部分，并在每一种情形下都表明，传统的哲学和传统的解决是怎样由于对符号系统原则的无知和对语言的误用而产生出来的。
首先涉及的是命题的逻辑结构和逻辑推论的性质，然后我们依次经由知识论、物理学原则和伦理学，最后达到神秘之物（das Mystische）。
要理解维特根斯坦先生的这本书，必须清楚他谈的是什么问题。在涉及符号系统的这一部分理论中，他谈的是一种逻辑上完善的语言所必须满足的条件。关于语言有各种各样的问题。第一，当我们使用语言打算以它来意指某种东西时，我们心中实际出现的是什么的问题；这个问题属于心理学。第二，在思想、词或句子和它们指称或指谓的东西之间存在着什么关系的问题；这个问题属于认识论。第三，使用一些语句来表达真的而不是假的东西的问题；这属于阐述这些语句的论题的专门科学。第四，还有一个问题：一个事实（比如一个语句）要能够成为另一个事实的符号，它与后者必须具有什么关系？最后的这个问题是一个逻辑问题，维特根斯坦先生所谈论的就是这个问题。他谈到了精确的符号系统的条件，即在符号系统中，一个语句要“意指”某种完全确定的东西的条件。实际上，语言总或多或少是模糊的，因此，我们所断言的东西从不是十分精确的。这样，关于符号系统逻辑上就有两个问题需要研究：（1）符号的结合成为有意义而不是无意义的条件；（2）在符号或者符号的结合中指称或意味的唯一性的条件。一种逻辑上完善的语言具有防止无意义的句法规则，而且具有其意指总是唯一确定的单一符号。维特根斯坦先生谈的是一种逻辑上完善的语言的条件——并非任何语言都是逻辑上完善的，或者我们相信此时此地我们就能建造一个逻辑上完善的语言，但是语言的全部职能就是有所意指，而且只能在它接近我们所假设的理想语言的程度上来履行这一职能。
语言的基本职能是断言或者否认事实。给定一种语言的句法，只要知道各组分语词的意指，一个语句的意指即随之确定。为使某个语句能断言某个事实，不论语言如何构成，在语句的结构和事实的结构之间必须有某种共同的东西。这也许是维特根斯坦先生的理论中最根本的主题。而且他争辩说，那种必定是语句和事实之间的共同的东西本身反过来是不能在语言中被说出来的。按照他的用语，它只能被显示，而不能说出，因为无论我们说什么，仍然需要有这同样的结构。
理想语言的第一个要求是每个简单物都有一个名称，而且两个不同的简单物绝不能有同一个名称。一个名称是一个简单的符号，是就其没有本身就是符号的部分这个意义上而言的。在一种逻辑上完善的语言中，非简单物不会有简单的符号。代表整体的符号是一个包含代表各个部分的所有符号的“复合物”（complex）。说到“复合物”，如下面将表明的，我们就违反了哲学语法的规则，但这在开始时是不可避免的。“关于哲学问题所写的大多数命题和问题，不是假的而是无意义的。因此，我们根本不能回答这类问题，而只能确定它们的无意义性。哲学家们的大多数问题和命题，都是因为我们不懂得我们语言的逻辑而产生的。它们都是像善是否比美更为同一或者更不同一之类的问题”（4.003）。世界上的复合物是一个事实，那些不是由其它事实组成的事实，就是维特根斯坦先生所称为的Sachverhalte（事态），而一个也许由两个或更多的事实组成的事实，则称为Tatsache（事实）：因此，例如“苏格拉底是聪明的”是一个Sachverhalt，也是一个Tatsache，然而“苏格拉底是聪明的且柏拉图是他的学生”则是一个Tatsache而不是一个Sachverhalt。
他把语言的表达式比作几何学中的投影。一个几何图形可以用许多方式来投影：其中每一种方式相当于一种不同的语言。但是不管采用哪种方式，原有图形的投影性质仍保持不变。如果命题是断言事实，那么在他的理论中，这些投影性质就相当于对命题和事实必须为共同的东西。
在某些基本的方面，这当然是明显的。例如，不使用两个名称就不可能作出一个关于两个人的陈述（此刻我们假定人可以作为简单物来对待），而且如果你要断言这两个人之间的一种关系，那么你于其中作出断言的句子，就必须在这两个名称之间建立一种关系。假如我们说“柏拉图爱苏格拉底”，在“柏拉图”这个词和“苏格拉底”这个词之间出现的“爱”这个词，就在这两个词之间建立了一定的关系，而且由于这个事实，我们的句子才能够断言用“柏拉图”和“苏格拉底”这两个词来命名的两个人之间的一种关系。“我们必不可说，复合记号‘aRb’说的是‘a和b处在关系R中’，而必须说，‘a’和‘b’处于某种关系中这一事实，说的是aRb这一事实”（3.1432）。
维特根斯坦先生用这一陈述（2.1）来开始他的符号系统的理论：“我们给我们自己建造事实的图像”。他说，图像是实在的模型，图像的要素对应于实在中的对象：图像本身是一个事实。事物彼此具有一定关系这个事实，被图像中它的要素彼此具有一定关系这个事实所描绘。“在图像和被图示者中必须有某种同一的东西，因此前者才能是后者的图像。图像为了能以自己的方式——正确地或错误地——图示实在而必须和实在共有的东西，就是它的图示形式”（2.161，2.17）。
当我们想要意指的只是在任何意义下作为一种图像本质上应该具有的相似性，也就是说，想要意指的仅限于逻辑形式的同一性时，我们就谈到了实在的逻辑图像。他说，事实的逻辑图像是Gedanke（思想）。图像可以与事实符合或者不符合，与此相应地可以为真或者为假，但是在两种情形下它都与事实共享逻辑形式。他所说的图像的意思，可由他的如下的陈述来说明：“留声机唱片，音乐思想，乐谱，声波，彼此之间都处在一种图示的内在关系之中，这就是语言和世界之间具有的关系。它们的逻辑结构都是共同的。（就像童话里的两个少年，他们的两匹马和他们的百合花，在某种意义上他们都是同一的）”（4.014）。命题描绘事实的可能性是以对象在命题中为记号所描绘这一事实为基础的。所谓逻辑“常项”则不为记号所描绘，而是和在事实中一样，自己在命题中表现出来。命题和事实必须呈现出同样的逻辑的“多样性”，而这一点本身是不能被描绘的，因为它必须是事实和图像之间共同的东西。维特根斯坦先生强调，任何真正是哲学上的东西，都属于只能显示的东西，属于事实与它的逻辑图像之间共同的东西。由此得出，在哲学中不能说出任何正确的东西。每一个哲学命题都是坏的文法，通过哲学讨论我们所能希望达到的最好结果，不过是使人们看出，哲学讨论乃是一种错误。“哲学不是自然科学之一。（‘哲学’一词所指的东西，应该位于各门自然科学之上或者之下，而不是同它们并列。）哲学的目的是从逻辑上澄清思想。哲学不是一门学说，而是一项活动。哲学著作从本质上来看是由一些解释构成的。哲学的成果不是一些‘哲学命题’，而是命题的澄清。可以说，没有哲学，思想就会模糊不清：哲学应该使思想清晰并为思想划定明确的界限”（4.111和4.112）。按照这个原则，为了引导读者理解维特根斯坦先生的理论所必须说的东西，全都是这个理论本身斥之为无意义的东西。我们将带着这项限制条件来尽力表达出那幅看来是他的体系基础的世界图画。
世界由事实组成：严格地说，事实是不能定义的，但是我们可以说，事实是那使得命题为真或为假的东西，以此来表明我们所说的意思。事实可以包含本身也是事实的组成部分，或者不包含这样的部分；例如：“苏格拉底是一个聪明的雅典人”，由两个事实组成，即“苏格拉底是聪明的”和“苏格拉底是雅典人”。一个不以一些事实为组成部分的事实，维特根斯坦先生称为一个事态。这就是他所称为的原子事实。原子事实虽然不包含一些事实作为组成部分，但它还是包含一些组成部分。假如我们可以认为“苏格拉底是聪明的”是一个原子事实，我们就看出它包含“苏格拉底”和“聪明的”两个成分。如果一个原子事实被尽可能地（指理论的而不是实际的可能性）完全地分解，最终达到的成分就可称为“简单物”或者“对象”。维特根斯坦并非坚持我们能够事实上分离出这种简单物或者得到关于它的经验知识。这就像电子一样，是一种理论上所要求的逻辑的必需。他坚持必须有简单物的理由，是每个复合物都以一个事实为前提，无须假定事实的复合性是有限的；即使每一个事实由无数的原子事实组成，而且每一个原子事实由无数的对象组成，也仍然有对象和原子事实（4.2211）。断言一定的复合物存在，归结为断言它的一些成分以一定的方式发生关系，也就是断言一个事实：因此，如果我们给予复合物一个名称，这个名称仅仅由于一定命题、即断言该复合物各成分之间关系的命题的真理性才具有意义。这样，复合物的命名要以命题为前提，而命题又以简单物的命名为前提。由此，简单物的命名在逻辑学中就表现为逻辑上的起点。
假如所有的原子事实都已知道，同时还知道一件事，即这些就是原子事实的全部，世界就能被完全地描述出来。仅仅为世界中的所有对象命名还不能描述世界；还必须知道以这些对象为成分的原子事实。给出这种原子事实的总体，每一个真的命题，不管多么复杂，理论上都可以推论出来。断言一个原子事实的命题（为真或为假）称为一个原子命题。所有原子命题逻辑上都是彼此独立的。没有一个原子命题蕴涵任何别的原子命题，或者同任何别的原子命题发生矛盾。因此逻辑推论的全部工作仅涉及非原子命题。这种命题可以称为分子命题。
维特根斯坦的分子命题理论依赖于他的真值函项结构的理论。
命题p的真值函项是一个包含p的命题，而且其真或假仅仅依赖于p的真或假，同样地，p、q、r……多个命题的真值函项，是一个包含p、q、r……的命题，它的真或假仅仅依赖于p、q、r……的真或假。乍一看来，除了真值函项以外，好像还存在别的命题函项；例如“A相信p”就是这种情形，因为一般说来，A会相信一些真命题和一些假命题：除非他是一个具有特殊天赋的人，我们不能从他相信p这点推出p为真，或者从他不相信p这点推出p为假。还有一些其它的明显的例外，如“p是一个十分复杂的命题”或“p是一个关于苏格拉底的命题”。可是，由于下面就会谈到的一些理由，维特根斯坦先生坚持认为，这些例外只是表面上的，每个命题函项实际上都是真值函项。由此得出，如果我们能够一般地定义真值函项，我们就能借助原子命题的初始集合而得到一个一切命题的一般定义。维特根斯坦着手做的就是这件事情。
舍菲尔博士曾经指出（《美国数学学会会刊》，XIV卷，）：一组已知命题的所有真值函项，可以由“非p或非q”或者“非p和非q”这两种函项中的一种来构成。维特根斯坦应用了后一种函项，看来他对舍菲尔的工作是了解的。别的真值函项由“非p和非q”来构成的方法很好理解。“非p和非p”等值于“非p”，因此借助于我们的初始函项，我们得到了关于否定的定义：由此我们可以定义“p或q”，因为这就是我们的初始函项“非p和非q”的否定。关于从“非p”和“p[1]或q”扩展出其它的真值函项，在《数学原理》的开始部分给出了详细的说明。当作为我们的真值函项的主目的命题已由列举而给定时，这就提供了我们所需要的一切。可是维特根斯坦通过非常有趣的分析，成功地将这一过程推广到一般性命题，即推广到作为我们的真值函项主目的命题不是由列举来给出，而是由所有那些满足某种条件的命题来给出的情况。例如，设fx是一个命题函项（即该函项的值都是命题），如“x是人”——那么fx的不同的值构成一个命题集合。我们可以推广“非p和非q”的观念，以应用于同时否定所有作为fx的值的那些命题。这样我们就得到了一个在数理逻辑中通常是用“fx对于x的所有值为假”这句话来表述的命题。这个命题的否定就是命题“至少有一个x使得fx为真”，它用“（Ǝ x）・fx”来表示。如果我们从非fx而不是从fx出发，我们就会得到命题“fx对于x的所有值为真”，它用“（x）・fx”来表示。维特根斯坦处理一般性命题〔即“（x）・fx”和“（Ǝ x）・fx”〕的方法不同于前述方法之处，在于概括仅在确指有关的命题集合时出现，这样做了以后，真值函项的建立，完全就像列举的主目p、q、r……为有限个数的情形那样进行。
维特根斯坦关于他的符号系统的解释，在这一点上原文中没有充分地展开。他所用的符号是下面是对这个符号的解释：表示所有的原子命题。表示任何一个命题集合。
N（）表示对构成的所有命题的否定。
整个符号表示用如下方法所得到的任何东西：选取任何一组原子命题，全部否定它们，然后选取任何一个现在所得命题的集合，加上原有的任何命题，如此等等以至无穷。他说，这就是一般的真值函项，也是命题的一般形式。它所意味的东西，并不像看起来那样复杂。这个符号是想描述一种方法，给出原子命题，所有其它命题都可以借助这种方法构造出来。这方法依赖于：（1）舍菲尔所证明的，所有真值函项都能从同时否定得到，即从“非p和非q”得到；（2）维特根斯坦先生从命题的合取和析取推导出一般性命题的理论；（3）断言一个命题只有作为真值函项的主目才能在另一个命题中出现。给定这三个基础，就可从中得出：所有非原子命题都能够用一个统一的方法从这些原子命题推导出来，这就是维特根斯坦先生的符号所指示的方法。
从这种统一的构成方法，我们达到了推理理论的惊人的简化，同时也得到了属于逻辑的那类命题。刚才所描述的这个生成方法，使得维特根斯坦可以说，所有命题都能以上述方式由原子命题构成，而且这样一来，命题的总体也就确定了。（前面提到的那些明显的例外，是用我们下面将要考察的方式来处理的。）现在维特根斯坦可以断言：命题就是从原子命题的总体（加上这就是它们的总体这个事实）所得到的全部东西；一个命题总归是若干原子命题的一个真值函项；而且如果p是从q得来，则p的意义包含在q的意义之中，由此就当然得出结论，从一个原子命题不可能演绎出任何东西来。他坚持认为，所有逻辑命题都像“p或者非p”那样，是重言式。
从一个原子命题不可能演绎出任何东西，这一事实，例如在因果性上，得到了有趣的应用。在维特根斯坦的逻辑中，是不能有任何像因果联系这种东西的。他说，“未来的事件不能从现在的这些事件推出来。相信因果联系是迷信。”太阳明天会出来是一个假设。我们事实上不知道它是否会出来，因为没有一种强制性使得因为另一事物发生了这一事物就必须发生。
让我们现在来谈另一个问题——关于名称的问题。在维特根斯坦的理论逻辑语言中，只有简单物才赋予名称。我们不给一个事物以两个名称，或者给两个事物以一个名称。依照维特根斯坦，我们没有任何方法可以用来描述可被命名的事物的总体，换句话说，即世界上存在的事物的总体。要能这样做，我们必须知道由于逻辑必然性而必定属于每一事物的某种属性。人们曾经试图从自身同一性那里找到这种属性，但是同一性概念却遭到了维特根斯坦的看来是无可避免的毁灭性的批判。用无差别的同一给同一性下的定义被拒绝了，因为无差别的同一似乎不是一条逻辑上必然的原则。根据这条原则，如果x的每个属性也是y的一个属性，x和y就是同一的，但是两个事物恰好具有同样的属性在逻辑上毕竟是可能的。如果这种情况事实上并未发生，那只是世界的一个偶然的特征，而不是逻辑上必然的特征，而世界的偶然特征当然不容许进入逻辑结构之中。由此维特根斯坦先生就排除同一性而采取了不同字符意指不同事物的约定。实际上，在一个名称和一个摹状词之间，或者在两个摹状词之间，是需要有同一性的。像“苏格拉底是那位饮了毒芹汁的哲学家”或“1后面的下一个数是偶素数”这样的命题，就需要有同一性。关于同一性的这种用法，就维特根斯坦先生的系统是不难加以规定的。
排斥了同一性就失去了一个谈论事物总体的方法，而且会发现任何其它可以设想出来的方法，也同样是错误的：至少维特根斯坦这样主张，而我认为他是对的。这就导致说“对象”是一个虚假概念。说“x是一个对象”等于什么也没有说。由此得出，我们不能作出像“世界上有三个以上的对象”，或“世界上有无数的对象”这样的陈述。只有同某种确定的属性相联系才能谈到对象。我们可以说“有三个以上是人的对象”，或者“有三个以上是红色的对象”，因为在这些陈述中，“对象”一词可以用逻辑语言中的变项来代替：在第一个陈述的情形下，变项是满足函项“x是人”的项；在第二个陈述的情形下，则是满足函项“x是红色的”的项。而当我们试图说“有三个以上的对象”时，关于“对象”一词的这种变项代换就成为不可能了，因此这个命题被看作为是没有意义的。
这里我们接触到了维特根斯坦的基本论点的一个实例，即不能说关于世界作为一个整体的任何事情，能够说的必须是关于世界的有限部分。这一观点也许本来是由记号法提示出来的，如果是这样，那就于它大为有利，因为一种好的记号法具有精巧性和启发性，有时几乎就像一位机敏的教师。记号法的不规范往往是哲学错误的先兆，而完善的记号法则会成为思想的替代物。不过，虽然也许是记号法首先向维特根斯坦先生提示了，逻辑只局限于世界内部的事物以对立于作为整体的世界，但是这个观点一旦提出来，人们就发现它还有许多其它值得介绍的地方。它是否为最后真理，就我这方面而言，我不敢说已经知道。在这篇导言里，我所做的只是说明这个观点，而不是对它加以评论。根据这个观点，只有假如我们可以处在世界之外，也就是说，假如世界对于我们已不再是整个的世界时，我们才能谈论关于世界作为一个整体的事情。我们的世界对于某个能从上面来俯视它的超越的存在者来说，也许是有界限的，但是对于我们来说，不管它怎样有限，它却不可能有边界，因为没有什么东西在它之外。维特根斯坦用视场来作类比。我们的视场对我们来说是没有视觉界限的，正是因为没有什么东西在视场之外；同样地，我们的逻辑世界也没有逻辑的界限，因为我们的逻辑不知道有什么东西在它之外。这些思考将他引到关于唯我论的多少有些奇特的议论。他说，逻辑充满着世界。世界的界限也就是逻辑的界限。因此，在逻辑中我们不能说，世界里有这个和这个而没有那个，因为这样说显然是以我们排除掉一定的可能性为前提，而这种情形是不可能的，因为这就要求逻辑必须越出世界的界限，好像它也能够从界限的另一方来考察这些界限。我们不能想的东西我们就不能想，因而我们也不能说我们所不能想的东西。
他说，这就提供了理解唯我论的钥匙。唯我论所意指的东西是完全正确的，但是这不能说，它只能显示出来。世界是我的世界，表现在语言（我所懂得的唯一语言）的界限指示着我的世界的界限这一事实之中。形而上主体不属于世界，而是世界的一个界限。
下面我们应当讨论一下如“A相信p”这样的分子命题的问题，初看起来这类命题并非它们所含命题的真值函项。
维特根斯坦在陈述他的主张，即所有分子命题都是真值函项时，提出了这个论题。他说（5.54），“在一般的命题形式中，命题只是作为真值运算基础而出现于别的命题之中。”他接着解释说，初看起来好像一个命题也可能以别种的方式出现，如“A相信p”。这里表面看来，好像命题p处在对对象A的某种关系之中。“但是很清楚，‘A相信p’，‘A思考p’，‘A说p’都是‘p说p’的形式；这里我们涉及到的不是一个事实和一个对象的相关，而是借助于其对象相关的诸事实的相关”（5.542）。
维特根斯坦先生这里所谈到的东西，他说得这样简短，那些不了解他所涉及的争论的人，可能不大清楚其中的论点。他所不同意的理论可以从我在《哲学文集》和《亚里士多德学会会报》（1906—1907年）上写的论真和假的性质的文章中找到。引起争论的是关于相信的逻辑形式，即表示一个人在相信时发生了什么事情的思想图式的问题。当然，这个问题不仅适用于相信，它同样也适用于可以称为命题态度的许多其它精神现象，如怀疑、考虑、期待等等。在所有这些场合，好像很自然地就用“A怀疑p”、“A期望p”等等的形式来表述这种精神现象。这种形式使人觉得我们像是在处理一个人和一个命题之间的关系。这当然不可能是最后的分析，因为除非在它们本身就是独立的事实这个意义上这些人是虚设的，这些命题也是如此。作为本身是一个独立的事实来考虑的命题，可以是一个人对自己说出来的一套语词，一个复杂的意象，一列闪过他心头的意象或者一套开始发生的身体的动作。它可能是无数种不同事情之一。这个本身是独立事实的命题，比如一个人对自己说出来的实在的一套词语，是与逻辑无关的。与逻辑有关的是所有那些事实之间共有的因素，如我们所说的，这种共有的因素使他能够意指该命题所断言的事实。当然，很多东西与心理有关，因为一个符号不能单单由于逻辑关系，而且还要由于意向、联想或诸如此类的心理联系，才能意指它所标记的东西。不过意义的心理部分是与逻辑学家无关的，在信念这个问题上与逻辑学家有关的是逻辑的图式。很清楚，当一个人相信一个命题时，为了说明发生了什么事情，并不非要假定这个作为形而上主体的人。必须说明的是一套词语，即本身作为独立事实考虑的命题，同使命题成真或成假的“客观”事实之间的关系。这就最后归结为命题意义的问题，也就是说，命题的意义仅仅属于信念分析问题中的非心理部分。这个问题不过是两个事实之间的关系，即相信者所使用的一串词语与使这些词语成真或成假的事实之间的关系问题。一串词语是一件事实，正如使它成真或成假的是一件事实一样。这两个事实之间的关系并非不可分析的，因为命题的意义来自它的组成部分的词语的意义。作为一个命题的一串词语的意义是各分离的词语的意义的函项。因此，在说明一个命题的意义时，命题作为一个整体并未真正成为必须说明的东西。如果说在我们所考虑的情形下，命题是作为事实出现，而不是作为命题出现，这也许有助于提示我所试图指明的观点。不过这一陈述必须不要过分从字面上来理解。真正的要点在于，在相信、期望等等中，逻辑上基本的东西是看作为事实的命题与使之成真或成假的事实之间的关系，以及两个事实的这种关系可以化归为它们的组成部分的关系。[2]因此该命题确实不是以它出现于真值函项中的同样意义而出现的。
在我看来，维特根斯坦先生的理论有些方面还需要有较大的技术上的发展。特别是他的数论（6.02及以下），像现在这样就只能处理有限整数。任何逻辑除非表明它能够处理超穷数，就不能认为是充分的。我觉得在维特根斯坦先生的体系中没有任何东西使他不能弥补这个缺陷。
比这些较为细节的问题更为有趣的是维特根斯坦先生对待神秘之物的态度，这态度是从他的纯逻辑的学说中自然地产生出来的。根据这一学说，合逻辑的命题是事实的图像（真的或假的），而且与事实共有某种结构。正是这一共同的结构使它能够成为事实的图像，但是这结构本身不能用语词来表述，因为它既是一些语词的结构，也是这些词所指谓的事实的结构。因此，包含在语言表达性这个观念中的所有东西，必定不能在语言中表达出来，因此，在完全确切的意义上说，它们是不可表达的。依照维特根斯坦先生，这种不可表达的东西包括整个的逻辑和哲学。他说，教哲学的正确方法应当使自己只限于以最大可能的清晰性和准确性陈述出来的科学命题，把哲学的断言留给学习者，并且向他证明，不管他何时作出这些断言，它们都是无意义的。的确，试图采用这种教学方法的人，也许会遭到苏格拉底的命运，但是如果这是唯一正确的方法，我们就不应被那种恐惧吓退。并非这一点使人们不顾维特根斯坦先生用来支持其主张的有力的论据，而在接受他的主张时引起某种犹豫。引起犹豫的是这一事实，即归根到底维特根斯坦先生还是在设法说出一大堆不能说的东西，这就使持怀疑态度的读者想到，可能有某种通过语言的等级系统或者其它的出路找到逃遁办法。例如，关于伦理学的全部论题，被维特根斯坦先生置于神秘的不可表达的范围之内，然而他还是能够传达他的伦理学见解。他会申辩说，他所称为的神秘之物虽然不能说，却是可以显示的。也许这种申辩是恰当的，但是，就我而言，我承认它使我产生某种理智上不快的感觉。
有一个纯粹的逻辑问题，对于这个问题这些困难显得特别尖锐。我指的是概括的问题。在概括的理论中，必须考虑fx形式的所有命题，这里fx是一给定的命题函项。根据维特根斯坦先生的体系，这属于可以表达的逻辑部分。但是看来应该包括在fx形式命题总体中的x的可能值的总体，维特根斯坦先生却不承认是在可说的事物之列，因为这正好就是世界上事物的总体，因而含有把世界作为整体来设想的企图；“把世界作为一个有限整体的感觉是神秘的”；故而x的值的总体是神秘的（6.45）。当维特根斯坦先生否认我们能够作出关于世界上有许多事物，例如有多于三的事物的命题时，就清楚地表明了这个意思。
这些困难使我想到如下这种可能性：每一种语言，如维特根斯坦先生所说的，具有一种结构，关于这结构在该语言中是一点也不能说的，但是可以有另外一种论述第一种语言结构的语言，它本身具有新的结构，而且这种语言的等级系统可以是无限的。维特根斯坦先生当然会回答说，他的整个理论可以无须改变地应用于这种语言的总体。唯一的反驳是否认有任何这样的总体。然而维特根斯坦先生主张逻辑上不能说的这个总体，却被他认为是存在的，并且是他的神秘主义的主题。由我们的等级系统而来的总体不仅逻辑上不可表达，而且是一种虚构和纯粹的幻想，这样一来，所假想的神秘领域就会消失。这样一种假设是非常困难的，而且我能看到反对它的理由，对此我暂时还不知道如何回答。然而我也看不出任何一种比较容易的假设怎样能够逃脱维特根斯坦先生的结论。即使这一非常困难的假设证明是成立的，关于维特根斯坦先生的理论也还有很大一部分仍完好无损，虽然这也许不是他本人所希望特别强调的部分。作为一个对于逻辑学的困难和一些看起来无可辩驳的理论的不可靠性具有长期经验的人，我觉得自己不能仅仅根据我未能看出一个理论的错误之处而确信它的正确性。但是建造出一个在任何点上都没有明显错误的逻辑理论，就是完成了一件极其困难而且重要的工作。依我看来，维特根斯坦先生的这本书就具有这种价值，因而使它成为一本任何认真的哲学家都不能忽略的书。柏特兰・罗素1922年5月【注释】
[1]《数学原理》（Principia Mathematica），罗素与怀特海合著，1910年至1913年出版。——译者
[2]这句结论性的话同罗素上文所作的分析是矛盾的。依据上文所说，“A相信p”这类命题的意义问题，“仅仅属于信念分析问题中的非心理部分。这个问题不过是两个事实之间的关系，即相信者所使用的一串词语与使这些词语成真或成假的事实之间的关系问题。”那么就只能得出维特根斯坦的结论：在“A相信p”这类命题中，p也同样是以真值基础的意义出现的。——译者前 言
这本书也许只有那些自己本身已经一度思考过这本书中表达的思想或至少类似这一思想的人才会理解。——因此它不是一本教科书。——如果它使读懂了它的人觉得满意，它的目的也就达到了。
这本书讨论哲学问题，并且表明，——我相信——这些问题之所以提出，乃是基于对我们语言逻辑的误解。这本书的全部意义可以用一句话概括：凡是可以说的东西都可以说得清楚；对于不能谈论的东西必须保持沉默。
因此本书想要为思想划一个界限，或者毋宁说，不是为思想而是为思想的表达划一个界限：因为要为思想划一个界限，我们就必须能够想到这界限的两边（这样我们就必须能够想那不能想的东西）。
因此这界限只能在语言中来划分，而处在界限那一边的东西就纯粹是无意义的东西。
我的努力与别的哲学家符合到何种程度，我不想加以判定。的确，我在这里所写的在细节上并不要求创新；而我之所以没有指明思想来源，是因为我思考的东西是否已为别人先行思考过，于我是无关紧要的事情。
我只想提到，我受惠于弗雷格的巨著和我的朋友贝特兰・罗素先生的著作，它们在颇大程度上激发了我的思想。
如果这本书有一点价值，就在于两点：第一是书中表达了一些思想，因此这些思想表达得愈好——愈能说到点子上——它的价值也愈大。——这里我意识到离可能做到的还相差很远。这完全是因为我的能力太小，不足以完成这项任务。——希望有别人来完成得更好些。
另一方面，这里所传达的思想的真理性，在我看来是无可辩驳的和确定的。因此我认为，问题从根本上已获致最终的解决。而且，如果我这样认为没有错，那么这本书的价值所在的第二点就是，它表明了当这些问题获致解决时，所做的事情是多么地少。路・维1918年，维也纳[1]
1 世界是一切发生的事情。
1.1 世界是事实的总体，而不是事物的总体。
1.11 世界为诸事实所规定，为它们即是全部事实所规定。
1.12 因为事实的总体规定那发生的事情，也规定那所有未发生的事情。
1.13 在逻辑空间中的诸事实就是世界。
1.2 世界分解为诸事实。
1.21 每项事情可以发生或者不发生，其余的一切则仍保持原样。[2]
2 发生的事情，即事实，就是诸事态的存在。
2.01 事态是对象（事物）的结合。
2.011 事物的本质在于能够成为事态的组成部分。
2.012 逻辑中没有偶然的东西：如果一个事物能够出现在一个事态中，那么该事态的可能性必定已经预含于该事物之中。
2.0121 如果一个事物本身能够独立存在，那么后来的适合于它的状况看来就是一种偶然的事情。
如果事物能够出现于事态之中，那么这一可能性必定一开始就已经存在于事物之中。（在逻辑中没有纯粹是可能的事情。逻辑涉及每一种可能性，而一切可能性都是逻辑的事实。）
正如我们根本不能在空间之外思想空间对象，或者在时间之外思想时间对象一样，离开同其他对象结合的可能性，我们也不能思想一个对象。
如果我能够思想在事态中结合的对象，我就不能离开这种结合的可能性来思想对象。
2.0122 事物就其能够出现在一切可能的状况中而言是独立的，但是这种独立性的形式是一种与事态相联系的形式，即一种依赖的形式。（词以两种不同的方式——单独地和在命题中——出现是不可能的。）
2.0123 假如我知道一个对象，我也就知道它出现于诸事态中的所有可能性。（每一个这种可能性必定在该对象的本性中。）
之后不可能发现新的可能性。
2.01231 如果我要知道一个对象，虽然我不一定要知道它的外在性质，但是我必须知道它的一切内在性质。
2.0124 如果给出所有的对象，那么同时也就给出了所有可能的事态。
2.013 每个事物都像是在一个可能事态的空间里。我可以设想这个空间是空的，但是我不能设想没有这空间的事物。
2.0131 空间对象必须处在无限的空间之中。（一个空间点就是一个主目位置。）
视域里的一个斑块，虽然不一定是红的，但它必须有某种颜色：所以说它被颜色空间［Farbenraum］所包围。音调必须具有某种高度，触觉对象必须具有某种硬度，等等。
2.014 对象包含着一切状况的可能性。
2.0141 对象出现在诸事态中的可能性就是对象的形式。
2.02 对象是简单的。
2.0201 每一个关于复合物的陈述可以分解为关于其各组成部分的陈述，分解为完全地描述该复合物的一些命题。
2.021 对象构成世界的实体。因此它们不能是复合的。
2.0211 假如世界没有实体，那么一个命题是否有意义就依赖于另一个命题是否为真。
2.0212 在这种情况下就不可能勾画出世界的任何图像（真的或假的）。
2.022 显然，一个想象的世界，无论它怎样不同于实在的世界，必有某种东西——一种形式——为它与实在的世界所共有。
2.023 正是诸对象构成这种不变的形式。
2.0231 世界的实体只能规定一种形式，而不能规定任何物质的属性。因为物质的属性只有通过命题来表述——只有通过对象的配置来构成。
2.0232 顺便说一下，对象是无色的。
2.0233 如果两个对象具有相同的逻辑形式，除了它们外在性质的差异之外，它们之间唯一的区别就是：它们是不同的。
2.02331 或者一个事物具有别的任何事物都没有的属性，这时我们可以直接用一个描述使它同别的事物区分开来并指谓它；或者另一种情形，有好几个事物，它们的全部属性都是共有的，这时就完全不可能从它们之中指出某一个来。
因为如果没有任何东西来区分一个事物，我就不能区分它，不然的话它总是会被区分开来的。
2.024 实体是独立于发生的事情而存在的。
2.025 它是形式和内容。
2.0251 空间、时间和颜色（有色性）是对象的形式。
2.026 如果世界要有一个不变的形式，就必须要有对象。
2.027 不变者、实存者和对象是一个东西。
2.0271 对象是不变的和实存的；它们的配置则是可变的和不定的。
2.0272 对象的配置构成事态。
2.03 在事态中对象就像链条的环节那样互相勾连。
2.031 在事态中对象之间以一定的方式相互关联。
2.032 对象在事态中发生联系的一定的方式，即是事态的结构。
2.033 形式是结构的可能性。
2.034 事实的结构由诸事态的结构组成。
2.04 存在的事态的总体即是世界。
2.05 存在的事态的总体也规定哪些事态不存在。
2.06 事态的存在和不存在即是实在。（我们还把事态的存在称为肯定的事实，把事态的不存在称为否定的事实。）
2.061 事态相互间是独立的。
2.062 从一个事态的存在或不存在不能推出另一个事态的存在或不存在。
2.063 全部实在即是世界。
2.1 我们给我们自己建造事实的图像。
2.11 图像描述逻辑空间中的情况，即事态的存在或不存在。
2.12 图像是实在的一种模型。
2.13 在图像中图像的要素与对象相对应。
2.131 在图像中图像的要素代表对象。
2.14 图像的要素以一定的方式相互关联而构成为图像。
2.141 图像是一种事实。
2.15 图像的要素以一定的方式相互关联，这表明事物也是以同样方式相互关联的。
图像要素的这种关联称为图像的结构，而这种结构的可能性则称为图像的图示形式。
2.151 图示形式是这种可能性，即事物之间的联系方式和图像要素之间的联系方式是相同的。
2.1511 图像就是这样依附于实在的；它直接触及实在。
2.1512 它就像一把衡量实在的标尺。
2.15121 只有分度线的端点才真正接触到被测量的对象。
2.1513 按照这种理解，图像也应包含使之成为图像的图示关系。
2.1514 图示关系是由图像要素和事物之间的相关构成的。
2.1515 这些相关像是图像要素的触角，图像通过这些触角而接触实在。
2.16 事实要成为图像，它和被图示者必须有某种共同的东西。
2.161 在图像和被图示者中必须有某种同一的东西，因此前者才能是后者的图像。
2.17 图像为了能以自己的方式——正确地或错误地——图示实在而必须和实在共有的东西，就是它的图示形式。
2.171 图像能够图示其形式为图像所具有的一切实在。空间图像能够图示一切空间的东西，颜色图像能够图示一切有色的东西，等等。
2.172 然而图像不能图示它的图示形式；图像显示它的图示形式。
2.173 图像从外部表现它的对象。（它的观点就是它的表现形式。）因此图像会正确地或错误地表现它的对象。
2.174 然而图像本身不能处在它的表现形式之外。
2.18 任何图像，无论具有什么形式，为了能够一般地以某种方式正确或错误地图示实在而必须和实在共有的东西，就是逻辑形式，即实在的形式。
2.181 若图示形式为逻辑形式，图像即称为逻辑图像。
2.182 每一个图像同时也是一个逻辑图像。（另一方面，例如，并非每一个图像都是一个空间图像。）
2.19 逻辑图像可以图示世界。
2.20 图像和被图示者共有逻辑图示形式。
2.201 图像用表现事态存在和不存在的可能性来图示实在。
2.202 图像表现逻辑空间中的一种可能状况。
2.203 图像包含它所表现的状况的可能性。
2.21 图像与实在符合或者不符合；它是正确的或者错误的，真的或者假的。
2.22 图像通过图示形式表现它所表现的东西，而与图像本身为真或为假无关。
2.221 图像所表现的东西是图像的意义。
2.222 图像的真或假就在于它的意义与实在符合或者不符合。
2.223 要能看出图像的真假，必须将它同实在比较。
2.224 单从图像自身不能看出它的真假。
2.225 没有先天为真的图像。
3 事实的逻辑图像是思想。
3.001 “事态是可以思想的”，意思是说，我们自己可以构造事态的图像。
3.01 真的思想的总体就是一幅世界的图像。
3.02 思想包含它所思想的情况的可能性。可以思想的东西也就是可能的东西。
3.03 我们不能思想非逻辑的东西，否则我们就必须非逻辑地思想。
3.031 常言道，上帝能够创造一切，只是不能创造违反逻辑规律的东西。这就是说，我们不能说一个“非逻辑的”世界会是什么样子。
3.032 在语言中不能表现任何“违反逻辑”的东西，就像在几何学中不能用坐标来表现违反空间规律的图形，或者给出一个并不存在的点的坐标一样。
3.0321 虽然我们能在空间上表现一个违反物理规律的事态，但是我们不能在空间上表现一个违反几何规律的事态。
3.04 如果一个思想是先天地正确的，那么它就是一个其可能性即保证了其真理性的思想。
3.05 仅当一个思想的真从它自身（无须同任何东西比较）就能看出时，我们才有关于一个思想为真的先天的知识。
3.1 思想在命题中得到了一种可由感官感知到的表达。
3.11 我们用命题中的可由感官感知的记号（声音的或书写的记号等等）作为可能情况的投影。
投影的方法就是思考命题的意义。
3.12 我们用以表达思想的记号我称为命题记号。一个命题就是一个处在对世界的投影关系中的命题记号。
3.13 命题包括投影所包括的一切，而不包括被投影者。因此命题包括的是被投影者的可能性，而不是被投影者本身。
因此命题中也不包含命题的意义，而只包含表达其意义的可能性。（“命题的内容”是指有意义的命题的内容。）命题中包含命题意义的形式而非其内容。
3.14 命题记号的构成，在于其中的要素（语词）是以一定方式相互关联的。
命题记号即是事实。
3.141 命题不是词的混合。——（就像音乐的主旋律不是音调的混合一样。）
命题是可以有节奏地说出的［artikuliert］。
3.142 只有事实才能表达意义，一组名称不能表达意义。
3.143 虽然命题记号即是事实，但是这一点却被通常的书写和印刷的表达形式所掩盖。
因为，例如在一个印刷出来的命题中，命题记号和词之间看起来并没有重大差别。（这可能就是使弗雷格把命题称为复合名称的原因。）
3.1431 如果我们设想一个命题记号是由一些空间对象（例如桌子、椅子和书本）组成，而不是由一些书写记号组成，它的本质就会看得很清楚。
于是这些东西的空间分布就表达出这个命题的意义。
3.1432 我们必不可说：“复合记号‘aRb’说的是a和b处在关系R中”，而必须说：“‘a’和‘b’处于某种关系中这一事实说的是，aRb这一事实。”
3.144 情况可以描述，但是不能命名。（名称像是一些点；命题像是一些箭头——它们具有意义。）
3.2 在命题中思想可以这样来表达，使得命题记号的要素与思想的对象相对应。
3.201 我称这些要素为“简单记号”，称这命题为“完全分析了的”命题。
3.202 命题中使用的简单记号称为名称。
3.203 名称意指对象。对象是名称的指谓。(“A”和“A”是同一个记号。)
3.21 简单记号在命题记号中的配置，对应于对象在情况中的配置。
3.22 名称在命题中代表对象。
3.221 对象只能被命名。记号是对象的代表。我只能谈到对象，而不能用语词说出它们来。命题只能说事物是怎样的，而不能说它们是什么。
3.23 要求简单记号的可能性，就是要求意义的确定性。
3.24 关于复合物的命题与关于其组成部分的命题有一种内在的关系。
复合物只能通过对它的描述而给出，这描述可以是正确的或错误的。说到一个复合物的命题，如果这个复合物不存在，那么这个命题不是无意义的，而只是假的。
当一个命题要素标示一个复合物时，可以从它在其中出现的命题的不确定性看出来。我们知道，这种情形下这个命题有些东西是没有规定的。（概括性记号总是包含一种原型。）
把复合物的符号压缩为简单符号，可以用定义来表达。
3.25 命题有一个而且只有一个完全的分析。
3.251 命题以确定的可以清楚陈述的方式表达它所表达的东西：命题是可以有节奏地说出的。
3.26 名称不可用定义来作任何进一步的分析：名称是一种初始记号。
3.261 每个被定义的记号通过那些定义它的记号而起标示作用；定义则指明这一途径。
两个记号，如果一个是初始记号，而另一个是用一些初始记号定义的记号，则二者不能以相同的方式起标示作用。名称不能用定义来分解。（任何一个自身独立地具有指谓的记号也是如此。）
3.262 记号不能表达的东西，其应用显示之。记号隐略了的东西，其应用清楚地说出之。
3.263 初始记号的指谓可以通过解释来说明。解释就是包含初始记号的命题。所以只有已经知道这些记号的指谓，才能理解它们。
3.3 只有命题才有意义；只有在命题的联系关系中名称才有指谓。
3.31 命题中表征其意义的每个部分我都称为表达式（或符号）。（命题本身是一个表达式。）
凡是能够为诸命题所共有、对于命题的意义具有本质重要性的，都是表达式。
一个表达式标志一个形式和一个内容。
3.311 表达式以它能够在其中出现的所有命题的形式为前提。它是一类命题的共同特征的标记。
3.312 因此表达式表现为它所表征的那些命题的一般形式。事实上，在这一形式中表达式为常项，而其余的一切都是变项。
3.313 因此表达式为一变项所表现，这变项的值就是那些包含该表达式的命题。（在极限情况下，变项成为常项，表达式成为命题。）
我称这样一种变项为“命题变项”。
3.314 表达式只有在命题中才有指谓。所有变项都可理解为命题变项。（连变名也一样。）
3.315 如果我们把命题的一个组成部分改为变项，就有了一类命题，它们全都是由此得来的变项命题的值。这个类一般还依赖于我们按任意约定所给予的原来命题各组成部分的指谓。但是，如果把其中已任意规定了指谓的所有记号都改为变项，仍然会得到一个这样的类。这个类不再依赖于任何约定，而仅仅依赖于命题的本性。它相应于一种逻辑形式——一种逻辑原型。
3.316 一个命题变项可以取一些什么值是某种被规定了的东西。
值的规定即是变项。
3.317 规定命题变项的值就是给出以这变项为共同特征的那些命题。
规定就是描述这些命题。
因此规定只涉及符号，而不涉及它们的指谓。
对于规定来说唯一重要的事情在于，它仅仅是对符号的描述，而对符号所标示的东西不作任何陈述。
命题的描述如何产生，那是不重要的。
3.318 像弗雷格和罗素一样，我把命题看成是其中包含的表达式的函项。
3.32 记号是一个符号中可以被感官感知到的东西。
3.321 故同一个记号（书写记号或声音记号等等）可以为两个不同的符号所共有——这时两者是以不同的方式在标示。
3.322 如果我们应用同一个记号，而以不同的标示方式来标示两个不同的对象，这样做决不能指示这两者有一个共同的特征。当然，这是因为这记号是未加规定的。因此我们可以选用两个不同的记号，这样，标示者一方还保持有什么共同点呢？
3.323 在日常语言中经常碰到同一个词有着不同的标示方式——因而属于不同的符号——，或者有着不同标示方式的两个词以表面上相似的方式应用于命题之中。
就如“是”（ist）这个词既作为系词，也作为相等的记号和存在[3]的表达式出现；“存在”（existieren）作为像“去”（gehen）一样的不及物动词出现；“同一的”（identisch）作为一个形容词出现；我们说到某事，同时也意味着说到某事的发生。[4]（在命题“Grün ist grün”中，第一个词“Grün”是一个人的专名，最后一个词“grün”是一个形容词，这两个词不仅具有不同的指谓，而且它们是不同的符号。）
3.324 这样就容易发生最根本的混淆（整个哲学充满着这类混淆）。
3.325 为了避免这类错误，我们必须使用一种能够排除这类错误的记号语言，其中不将同一记号用于不同的符号中，也不以表面上相似的方式应用那些有着不同的标示方式的记号：也就是说，要使用一种遵从逻辑语法——逻辑句法——的语言记号。（弗雷格和罗素的概念记号系统就是这样的一种语言，诚然它也还未能排除一切错误。）
3.326 为了通过其记号来辨识一个符号，我们必须在有意义的使用中观察它。
3.327 记号只有结合它的符合逻辑句法的应用才能规定一种逻辑形式。
3.328 如果一个记号是无用的，它也就是无指谓的。这就是[5]奥卡姆准则的要旨。（如果一切情况都表明一个记号具有指谓，那么这个记号就是具有指谓的。）
3.33 在逻辑句法中，记号的指谓决不应起任何作用。逻辑句法应该无须提到记号的指谓而建立起来；它仅仅以表达式的描述为前提。
3.331 根据这一见解我们回过来看罗素的“类型论”：罗素的错误显然在于，他在建立记号的规则时必须提到记号的指谓。
3.332 没有一个命题能够作出关于自身的陈述，因为一个命题记号不能包含于它自身之中（这就是全部的“类型论”）。
3.333 一个函项所以不能成为它自身的主目，因为函项的记号已经包含着其主目的原型，而且它不能包含自身。
让我们假设函项F（fx）可以成为它自身的主目，这时就会有一个命题“F（F（fx））”，其中的外函项F和内函项F必定有不同的指谓，因为内函项具有φ（fx）的形式，而外函项则具有ψ（φ（fx））的形式。只有字母“F”对于两个函项是共同的，但是字母本身不标示任何东西。
如果我们把“F（F（u））”写作“（Ǝ φ）：F（φu）・φu＝Fu”，这一点就立刻清楚了。
这样罗素的悖论就消解了。
3.334 只要我们知道每一个别记号如何起标示作用，逻辑句法的规则就应当是自明的。
3.34 命题具有本质特征和偶然特征。
偶然特征是随同产生命题记号的特定方式而来的特征，本质特征则是命题为了能够表达其意义所必不可少的那些特征。
3.341 因此一个命题中本质的东西，是所有能够表达相同意义的命题共有的东西。
同样地，一般说来，一个符号中本质的东西，是所有能够达到同一目的的符号共有的东西。
3.3411 因此可以说：一个对象的真正的名称，是所有标示这个对象的符号共有的东西。由此可以依次得出，任何一种组合对于一个名称都不是本质的。
3.342 虽然我们的记号系统中确有某种随意的东西，但是如下这一点却不是随意的：即只要我们随意地规定了一个东西，某种其它的东西就必然要发生。（这一点来自记号系统的本质。）
3.3421 一种特定的标示样式也许是不重要的，但它是一种可能的标示样式，这一点永远是重要的。在哲学中一般地正是这样：个别的情形总是一再表明是不重要的，但是每一个别情形的可能性都揭示了关于世界本质的某种东西。
3.343 定义是从一种语言翻译为另一种语言的规则。凡是正确的记号语言都应该按照这种规则可以翻译为任何其它一种语言：这一点是一切正确的记号语言所共有的。
3.344 在一个符号中起标示作用的东西，是依据逻辑句法规则可以代换这个符号的一切符号所共有的东西。
3.3441 例如我们可以这样来表述所有真值函项记号系统共同的东西：它们的共同之处在于，比如说，它们每一种都能够用“～p”（“非p”）和“p∨q”（“p或q”）构成的记号系统来替换。（这就表明了一种特定记号系统的可能性如何能够揭示某种一般东西的方式。）
3.3442 复合物记号在分析中不能这样随意地分解，以致在不同的命题结合中它的每一次分解都不相同。
3.4 一个命题规定逻辑空间中的一个位置。命题的各组成部分的存在——有意义的命题的存在，即保证了这种逻辑位置的存在。
3.41 命题记号加上逻辑坐标，即是逻辑位置。
3.411 几何位置和逻辑位置的一致之处在于，二者都是某物存在的可能性。
3.42 一个命题虽然只能规定逻辑空间中的一个位置，然而整个逻辑空间也应该已经由它而给出。（不然的话，通过否定、逻辑和、逻辑积等等就会在坐标上不断引入新的要素。）（围绕着一个图像的逻辑脚手架规定着逻辑空间。一个命题有贯通整个逻辑空间的力量。）
3.5 被使用的、被思考的命题记号即是思想。
4 思想是有意义的命题。
4.001 命题的总体即是语言。
4.002 人有能力构造语言，可以用它表达任何意义，而无须想到每一个词怎样具有指谓和指谓的是什么。——就像人们说话时无
试读结束[说明：试读内容隐藏了图片]