- 逻辑哲学论
- 作者：维特根斯坦
- 路德维希‧约瑟夫‧约翰‧维特根斯坦（德语：Ludwig Josef Johann Wittgenstein；1889年4月26日－1951年4月29日），出生于奥地利，后入英国籍。维特根斯坦是20世纪最有影响力的哲学家之一，其研究领域主要在数学哲学、精神哲学和语言哲学等方面。从1939年至1947年，维特根斯坦一直在剑桥大学教书。他在生前出版的著作不多，包括有1篇书评，1本儿童辞典，和1本75页的《逻辑哲学论》（1921年）。
- http://zh.wikipedia.org/wiki/%E8%B7%AF%E5%BE%B7%E7%BB%B4%E5%B8%8C%C2%B7%E7%BB%B4%E7%89%B9%E6%A0%B9%E6%96%AF%E5%9D%A6
逻辑哲学论 维特根斯坦 著 贺绍甲 译
http://item.jd.com/10554456.html
应该可与此版对照
牛津通识读本：维特根斯坦与哲学
[A Very Short Introduction：Wittgenstein]
[英] A.C.格雷林 著 张金言 译
http://item.jd.com/11234298.html
- 编辑者按
- 此作非常适合树状结构，我认为这是维特根斯坦的本意
- 读到一半的时候比较困难，而从6.4起是全文精华，但你需要按顺序阅读
- 1 世界是一切发生的事情。
- 1.1世界是事实的总体，而不是事物的总体。
- 1.11世界为诸事实所规定，为它们即是全部事实所规定。
- 1.12因为事实的总体规定那发生的事情，也规定那所有未发生的事情。
- 1.13在逻辑空间中的诸事实就是世界。
- 1.2世界分解为诸事实。
- 1.21每项事情可以发生或者不发生，其余的一切则仍保持原样。
- 2 发生的事情，即事实，就是诸事态的存在。
- 2.0
- 2.01事态是对象（事物）的结合。
- 2.011事物的本质在于能够成为事态的组成部分。
- 2.012逻辑中没有偶然的东西；如果一个事物能够出现在一个事态中，那么该事态 的可能性必定已经预含于该事物之中。
- 2.0121 如果一个事物本身能够独立存在，那么后来的适合于它的状况看来就是一 种偶然的事情。 如果事物能够出现于事态之中，那么这一可能性必定一开始就已经存在于事物之 中。 （在逻辑中没有纯粹是可能的事情。逻辑涉及每一种可能性，而一切可能性都是逻 辑的事实。） 正如我们根本不能在空间之外思想空间对象，或者在时间之外思想时间对象一样， 离开同其他对象结合的可能性，我们也不能思想一个对象。如果我能够思想在事态中结 合的对象，我就不能离开这种结合的可能性来思想对象。
- 2.0122 事物就其能够出现在一切可能的状况中而言是独立的，但是这种独立性的 形式是一种与事态相联系的形式，即一种依赖的形式。（词以两种不同的方式——单独 地和在命题中——出现是不可能的。）
- 2.0123假如我知道一个对象，我也就知道它出现于诸事态中的所有可能性。 （每一个这种可能性必定在该对象的本性中。） 之后不可能发现新的可能性。
- 2.01231如果我要知道一个对象，虽然我不一定要知道它的外在性质，但是我必须 知道它的一切内在性质。
- 2.0124如果给出所有的对象，那么同时也就给出了所有可能的事态。
- 2.013每个事物都像是在一个可能事态的空间里。我可以设想这个空间是空的，但 是我不能设想没有这空间的事物。
- 2.0131空间对象必须处在无限的空间之中。（一个空间点就是一个主目（argument, 自变量）位置。） 视域里的一个斑块，虽然不一定是红的，但它必须有某种颜色：所以说它被颜色空 间[Farbenraum]所包围。音调必须具有某种高度，触觉对象必须具有某种硬度，等等。
- 2.014 对象包含着一切状况的可能性。
- 2.0141对象出现在诸事态中的可能性就是对象的形式。
- 2.02对象是简单的。
- 2.020
- 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.l 我们给我们自己建造事实的图像。
- 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.2图像和被图示者共有逻辑图示形式。
- 2.20
- 2.201图像用表现事态存在和不存在的可能性来图示实在。
- 2.202图像表现逻辑空间中的一种可能状况。
- 2.203图像包含它所表现的状况的可能性。
- 2.21图像与实在符合或者不符合；它是正确的或者错误的，真的或者假的。
- 2.22图像通过图示形式表现它所表现的东西，而与图像本身为真或为假无关。
- 2.221图像所表现的东西是图像的意义。
- 2.222图像的真或假就在于它的意义与实在符合或者不符合。
- 2.223要能看出图像的真假，必须将它同实在比较。
- 2.224单从图像自身不能看出它的真假。
- 2.225没有先天为真的图像。
- 3 事实的逻辑图像是思想。*
- 3.0
- 3.00
- 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.20
- 3.201我称这些要素为“简单记号”，称这命题为“完全分析了的”命题。
- 3.202命题中使用的简单记号称为名称。
- 3.203名称意指对象。对象是名称的指调。（“A”和“A”是同一个记号。）
- 3.21简单记号在命题记号中的配置；对应于对象在情况中的配置。
- 3.22 对象只能被命名。记号是对象的代表。我只能谈到对象，而不能用语调说出 它们来。命题只能说事物是怎样的，而不能说它们是什么。
- 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.322如果我们应用同一个记号，而以不同的标示方式来标示两个不同的对象，这 样做决不能指示这两者有一个共同的特征。当然，这是因为这记号是未加规定的。因此 我们可以选用两个不同的记号，这样，标示者一方还保持有什么共同点呢？
- 3.323在日常语言中经常碰到同一个词有着不同的标示方式——因而属于不同的符号——，或者有着不同标示方式的两个词以表面上相似的方式应用于命题之中。 就如“是”（ist*）这个词既作为系词，也作为相等的记号和存在的表达式 出现，“存在”（existieren）作为像“去”（gehen）一样的不及物动词出现；“同一的”（identisch） 作为一个形容词出现；我们说到某事，同时也意谓着说到某事的发生。 （在命题“Gtun ist grun*”中，第一个词“Grun”是一个人的专名，最后一个词“grun”是一个形容词，这两个词不仅具有不同的指谓，而且它们是不同的符号。）
1 德语“ist”一间也可用作表示“存在’、“有”。——译者
2 “格林是不成熟的。”——译者 - 3.324这样就容易发生最根本的混淆（整个哲学充满着这类混淆）。
- 3.325为了避免这类错误，我们必须使用一种能够排除这类错误的记号语言，其中 不将同一记号用于不同的符号中，也不以表面上相似的方式应用那些有着不同的标示方 式的记号：也就是说，要使用一种遵从逻辑语法——逻辑句法——的语言记号。 （弗雷格和罗素的概念记号系统就是这样的一种语言，诚然它也还未能排除一切错 误。）
- 3.326为了通过其记号来辨识一个符合，我们必须在有意义的使用中观察它。
- 3.327记号只有结合它的符合逻辑句法的应用才能规定一种逻辑形式。
- 3.328如果一个记号是无用的，它也就是无指谓的。这就是奥卡姆准则的要旨。 （如果一切情况都表明一个记号具有指谓，那么这个记号就是具有指谓的。）
- 3.33在逻辑句法中，记号的指谓决不应起任何作用。逻辑句法应该无须提到记号的 指谓而建立起来；它仅仅以表达式的描述为前提。
- 3.331 根据这一见解我们回过来看罗素的“类型论”：罗素的错误显然在于，他在 建立记号的规则时必须提到记号的指谓。
- 3.332没有一个命题能够作出关于自身的陈述，因为一个命题记号不能包含于它自 身之中（这就是全部的“类型论”）。
- 3.333一个函项所以不能成为它自身的主目，因为函项的记号已经包含着其主目的原型，而且它不能包含自身。 让我们假设函项 F（fx）可以成为它自身的主目，这时就会有一个命题“F（F（fx）”，其中的外函项 F 和内函项 F 必定有不同的指谓，因为内函项具有 Φ（fx）的形式，而外函项则具有 Ψ（Φ（fx））的形式。只有字母“F”对于两个函项是共同的，但是字母本身不标示任何东西。 如果我们把“F（F（u））”写作“（EΦ）：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 V q”（“P 或 q”）构 成的记号系统来替换。 （这就表明了一种特定记号系统的可能性如何能够揭示某种一般东西的方式。）
- 3.3442 复合物记号在分析中不能这样随意地分解，以致在不同的命题结合中它的 每一次分解都不相同。
- 3.4一个命题规定逻辑空间中的一个位置。命题的各组成部分的存在——有意义的命题的存在，即保证了这种逻辑位置的存在。
- 3.41命题记号加上逻辑坐标，即是逻辑位置。
- 3.411几何位置和逻辑位置的一致之处在于，二者都是某物存在的可能性。
- 3.42 一个命题虽然只能规定逻辑空间中的一个位置，然而整个逻辑空间也应该已经由它而给出。 （不然的话，通过否定、逻辑和、逻辑积等等就会在坐标上不断引入新的要氛） （围绕着一个图像的逻辑脚手架规定着逻辑空间。一个命题有贯通整个逻辑空间的力量。）
- 3.5被使用的、被思考的命题记号即是思想。
- 4 思想是有意义的命题。
- 4.0
- 4.00
- 4.001命题的总体即是语言。
- 4.002人有能力构造语言，可以用它表达任何意义，而无须想到每一个词怎样具有指谓和指谓的是什么。——就像人们说话时无须知道每个声音是怎样发生的一样。 日常语言是人的机体的一部分，而且也像机体那样复杂。 人不可能直接从日常语言中懂得语言逻辑。 语言掩饰着思想。而且达到这种程度，就像不能根据衣服的外形来推出它所遮盖的思想的形式一样；因为衣服外形的设计不是为了揭示身体的形状，而是为了全然不同的 目的。 理解日常语言所要依赖的种种默契是极其复杂的。
- 4.003关于哲学问题所写的大多数命题和问题，不是假的而是无意义的。因此我们根本不能回答这类问题，而只能确定它们的无意义性。哲学家们的大多数命题和问题，都是因为我们不懂得我们语言的逻辑而产生的。 （它们都是像善是否比美更为同一或者更不同一之类的问题。）因而用不着奇怪，一些最深刻的问题实际上却根本不是问题。
- 4.0031 全部哲学都是一种“语言批判”（当然不是在毛特纳的意义上的批判。）罗素的功绩在于指明了一个命题表面的逻辑形式不一定就是它真正的逻辑形式。
- 4.01命题是实在的图像。 命题是我们所想像的实在的模型。
- 4.011乍看起来，一个命题——例如印在纸上的某个命题——不像是它所论及的实在的一个图像。但是书写的音符乍看起来也不像是一首乐曲的图像，我们的声音记号（字母）也不像是我们口语的图像。 然而，即使在通常的意义下，这些记号语言也证明是它们所表现的东西的图像。
- 4.012显然，一个“aRb”形式的命题使我们产生一个图像的印象。这种情况下这个记号显然是被标承者的一个相像物。
- 4.013如果我们深入到图像特性的本质，就会看到，这种特性并不因表面的不规则性（如乐谱中使用#和b）而蒙受损害。 因为就是这种不规则性也图示它们想要表达的东西；不过用的是另外一种方式。
- 4.014留声机唱片、音乐思想、乐谱、声波，彼此之间都处在一种图示的内在关系之中，这就是语言和世界之间具有的关系。 它们的逻辑结构都是共同的。 （就像童话里的两个少年，他们的两匹马和他们的百合花。在某种意义上，他们都是同一的。）
- 4.0141 有一条总的规则，使得音乐家能从总谱读出交响乐，使得我们能够通过唱片的沟纹放出交响乐来.而且应用原则还可以从交响乐重新推得总谱。这些看起来完全不同的东西之间的内在相似性正在于此。这条规则就是将交响乐投射到音符语言上去的投影法则，也是把这种音符语言翻译为唱片语言的规则。
- 4.015所有的比喻以及所有的表达方式的图示性质，其可能性都是基于图示的逻辑。
- 4.016为了理解命题的本质，我们可以看一看象形文字，它图示着它所描述的事实。 从象形文字发展而来的字母文字，并未失去图示的本质。
- 4.02 我们看出这一点是基于如下事实：无须向我们解释我们就理解命题记号的意 义。
- 4.021命题是实在的图像；因为当我理解一个命题，我就知道它所表述的情况，而且无须向我解释其意义，我就理解这个命题。
- 4.022命题显示其意义。 命题显示当它为真时事情是怎样的，而且宣称事情就是这样的。
- 4.023命题对实在的确定必须达到二者取一：是或者否。 为此命题必须完全地描述实在。 命题是对事态的描述。 正如一个对象是通过给出其外部属性来加以描述一样 命题是通过实在的内部属性来描述实在的。 命题借助一种逻辑的脚手架来构造一个世界，因此如果一个命题为真，就可从中看 出所有合乎逻辑的东西是怎样的。人们可以从假的命题作出推论。
- 4.024理解一个命题意味着知道若命题为真事情该是怎样的。 （因此，不知道一个命题是否为真也可以理解它。） 理解一个命题的组成部分也就理解这个命题。
- 4.025把一种语言翻译为另一种语言时，我们并不是把一种语言的每一个命题翻译为另一种语言的命题，而是只翻译命题的组成部分。 （字典不仅翻译名词，也翻译动词、形容词和连接词等等，它以同样方式对待所有 这些词。）
- 4.026必须向我们解释简单记号（词）的指谓，我们才能理解它们。 但是我们可以用命题清楚地表达自己的意思。
- 4.027命题能够传达新的意义，这一点属于命题的本质。
- 4.03命题必须用已有的表达式来传达新的意义。 命题传达情况，因此它必定在本质上与情况有关联。 而这种关联恰恰在于，命题是情况的逻辑图像。 命题仅仅在它是一个图像时才能陈述某种东西。
- 4.031在命题中情况就像是用试验的方法组合起来的。 可以径直说：“这个命题表述如此这般的情况”，而不说：“这个命题有如此这般的 意义”。
- 4.0311 一个名称代表一个事物，另一个名称代表另一个事物，而且它们是彼此组 合起来的；这样它们整个地就像一幅活的画一样表现一个事态。
- 4.0312命题的可能性建立在对象以记号为其代表物这一原理的基础上。 我的一个基本的思想是：“逻辑常项”不是代表物，事实的逻辑是不能有代表物的。
- 4.032只有当一个命题是合乎逻辑地组合起来的才是一个情况的图像。 （甚至命题“Ambulo” 也是组合的，因为它的词干配合另一种词尾，或它的词尾 配合另一种词干，都会产生不同的意义。）
拉丁文动词“ambuldare”的第一人称现在时，意为：我走路、我散步。——译者
- 4.04 在一个命题和它所表述的情况中，应该恰好具有同样多的可以区分开来的部 分。 两者必定具有同样的逻辑（数学）的多样性。（参照赫兹的《力学》论动力学模型。）
- 4.041这种数学的多样性本身当然不能再被图示，因为图示时不可能摆脱这种多样 性。
- 4.0411例如，如果我们想把“（x）·fx”所表达的东西，通过在“fx”前面加上一个附标来表达，如写作“Alg·fx” ，那是不恰当的：我们会不知道那个附标概括的是什么。如果想用一个下标“a”来标示，如写作“f（xa）”，也不恰当：我们会不知道那个概括记号的范围。 如果试图在主目位置上引入一个标记来表达，如写作“（A，A）·F（A，A），仍然不恰当：我们会不能确立诸变项的同一性。如此等等。所有这些标示方式都不恰当，因为它们没有必须的数学多样性。
“alg”是“Allgemeine”（一般、普遍）的缩写.本条下面的下标‘a’和主目位置的‘A’也是该词的缩写。——译者 - 4.0412同样的道理，唯心主义者以“空间眼镜”解释空间关系的视觉是不恰当的， 因为它不能解释这些关系的多样性。
- 4.05实在是与命题相比较的。
- 4.06命题只因为是实在的图像，才能为真或者为假。
- 4.061决不可忽略命题有一种独立于事实的意义，否则就很容易认为真和假是记号和它们所标示的东西之间具有同等地位的关系。 例如，这时人们就可以说，“p”以真的方式标示“～p”以假的方式所标示的东西， 等等。
- 4.062我们能否用假命题——只要我们知道它们被认为是假的——来表达自己，就 像我们一直用真命题表达自己一样呢？不能！因为如果我们用一个命题来说一些事物处 于一定情况，而且它们确实如此，则这个命题为真；如果我们用“p”意指“～p”，而 且情况确如我们所指的那样，那么在新的理解下“p”为真而不为假。
- 4.0621 然而记号“p”和“～p”能说同样的东西，这一点很重要，因为它表明实 在中没有与记号“～”相对应的东西。 一个命题中出现的否定，不足以表征这个命题的意义（～”p” p）。 命题“p”和“～p”具有相反的意义，但是和它们相对应的是同一个实在。
- 4.063可用一个比喻来说明真这个概念：设想白纸上有一个黑斑块：通过指明这纸上的每一点是黑的还是白的，就可描述这个斑块的形状。一个点是黑的的事实，相应于一个肯定的事实，一个点是白（非黑）的的事实，则相应于一个否定的事实。如果我在纸面上指出一个点（即弗雷格所谓的真值），这就相应于一个为判断而提出的假定，如此等等。 但是为了能够说出一个点是黑的或者白的，我必须首先知道一个点在什么情况下称为黑的和在什么情况下称为白的：为了能够说“p”为真（或者假），我必须规定在何种惰况下我称“p”为真，并由此而规定这命题的意义。 这一比喻的不足之处在于：即使我们不知道什么是黑的和白的，我们也可以指出纸上的一点；但是如果一个命题没有意义，是没有什么东西与它相对应的，因为它并不标示一个具有可以称为“假”或“真”这种属性的东西（即真值）。一个命题的动词，并非如弗雷格所认为的，“为真”或者“为假”，而是“为真”的东西必须已经包含着动词。
- 4.064每个命题必须已经具有一个意义：肯定并不能给命题以意义，因为所肯定的 东西正好就是命题的意义。这一点同样也适用于否定，等等。
- 4.0641可以说，否定必定已经与被否定命题所规定的逻辑位置有关。 否定命题规定一个不同于被否定命题所规定的逻辑位置。 否定命题借助被否定命题的逻辑位置来规定一个逻辑位置，因为它是在后者逻辑位置之外来描述后者的。 被否定命题可以再被否定，这本身就表明，被否定者已经是一个命题，而不仅仅是命题的某个起始部分。
- 4.1命题表述事态的存在和不存在。
- 4.11真命题的总体就是全部自然科学（或各门自然科学的总体）。
- 4.111哲学不是自然科学之一。 （“哲学”一词所指的东西，应该位于各门自然科学之上或者之下，而不是同它们 并列。）
- 4.112哲学的目的是从逻辑上澄清思想。 哲学不是一门学说，而是一项活动。 哲学著作从本质上来看是由一些解释构成的。 哲学的成果不是一些“哲学命题”，而是命题的澄清。 可以说，没有哲学，思想就会模糊不清：哲学应该使思想清晰，并且为思想划定明 确的界限。
- 4.1121心理学不比任何其它自然科学更为接近哲学。 知识论是心理学的哲学。 我对记号语言的研究，和哲学家们认为对逻辑哲学如此重要的那种思想过程的研究，难道不是一致的吗？只是在大多数情形下，他们都纠缠于一些非本质的心理学考察，在我的方法这里也有类似的危险。
- 4.1122达尔文的理论不比自然科学中任何其它一种假设更与哲学有关。
- 4.113哲学为自然科学划定可以在其中进行争论的范围。
- 4.114哲学应当为能思考的东西划定界限，从而也为不能思考的东西划定界限。 哲学应当从内部通过能思考的东西为不能思考的东西划定界限。
- 4.115哲学将通过清楚地表达可说的东西来指谓那不可说的东西。
- 4.116凡是能思考的东西都能清楚地思考。凡是可以说的东西都可以清楚地说出来。
- 4.12 命题能够表述全部实在，但是不能表述它们为了能够表述实在而必须和实在共有的东西——即逻辑形式。 为了能够表述逻辑形式，我们必须能够和命题一起置身于逻辑之外，也就是说，置身于世界之外。
- 4.121命题不能表述逻辑形式：后者反映于命题之中。 自行反映在语言中的东西，语言不能表述。 语言中表达了自己的东西，我们不能用语言来表达。 命题显示实在的逻辑形式。 命题展示出这种逻辑形式。
- 4.1211因此，一个命题“fa”显示：对象 a出现在该命题的意义中：两个命题“fa”和“ga”则显示：二者说的是同一个对象。 如果两个命题互相矛盾，则它们的结构显示这一点；如果其中一个从另一个推导出 来，也由其结构显示出来。如此等等。
- 4.1212能显示出来的东西，不能说出来。
- 4.1213 现在我们也理解了我们的这种感觉：只要我们的记号语言中一切都得到正 确处理，我们也就有了一个正确的逻缉观点。
- 4.122在某种意义上我们可以谈对象和事态的形式属性，或者，对事实而言，谈它们的结构属性，以及在同一意义上谈它们的形式关系和结构关系。 【我也可以不说“结构属性”而说“内部属性”；不说“结构关系”而说“内部关 系”。 我引入这些表达式，是为了指明在哲学家当中广为流行的混淆内部关系和真正的 （外部）关系的根源。】 不过，这些内部属性和关系的存在不能通过命题来断言，而是在表述有关事态和涉及有关对象的命题中它们自己显示出来。
- 4.1221 事实的一个内部属性也可以称为这个事实的一个特征（如在我们所说的面部特征的意义上。）
- 4.123一个属性，如果不能设想它的对象不具有它，它就是一个内部属性。 （因此，这个蓝色同那个蓝色处在浅些或者深些的内部关系中。这两个对象不处在 这种关系中是不可设想的。） （在这里，“对象”一词的变化不定的用法和“属性”、“关系”这两个词的变化不定的用法是一致的。）
- 4.124一个可能情况的某个内部属性的存在，不是用命题来表达，而是在表述这个 情况的命题中，通过该命题的一个内部属性自己表达出来。 断言命题具有一种形式属性和否认它具有一种形式属性，同样是无意义的。
- 4.1241 说一种形式具有这种属性而另一种形式具有那种属性，是不可能把两种形 式彼此区分开来的：因为这样就要假定二者之中任一属性归属任一形式是有意义的。
- 4.125可能情况之间的某种内部关系的存在，通过表述这些情况的命题之间的某种内部关系在语言中自己表达出来。
- 4.1251 这里我们就得到了关于“是否所有关系都是内部的或者外部的”这个争论不休的问题的回答。
- 4.1252一个按照内部关系依次序排列的系列，我称为形式系列。 数列不是按照外部关系，而是按照内部关系依次序排列的。 命题系列也是如此： “aRb” “（9x）：aRx·xRb” “（9x, y）：aRx·xRy·yRb” 如此等等。 （如果 b对a处在上述关系之一，我称b为 a的一个后继。）
- 4.126现在我们也可以在形式属性的意义上来谈形式概念。 （我引入这个表达式，是为了弄清楚那贯穿于整个传统逻辑中的混淆形式概念和真正概念的根源。） 当某种东西归入形式概念而成为后者的一个对象，这一点是不能用命题来表达的， 而是在这个对象的记号自身中显示出来。（一个名称显示它标示一个对象，一个数的记号显示它标示一个数，等等。） 形式概念确实不能和专有概念一样从函项来表述。 因为它们的特征，即形式属性，是不能用函项来表达的。 形式属性的表达式是一定符号的特征。 因此，代表一个形式概念特征的记号，是其指谓属于该概念的所有符号的特有特征。 因此，一个形式概念的表达式是一个以这种特有特征为唯一常项的命题变项。
- 4.127命题变项标示形式概念，命题变项的值标示属于该形式概念的对象。
- 4.1271每一个变项都是一个形式概念的记号。 因为每一个变项都表示一个为它的所有值具有的不变形式，而这一形式就可以看作为这些值的形式属性。
- 4.1272因此变名“x”就是对象这个伪概念的专有记号。 凡属正确地使用“对象”（“事物”、“物”，等等）一词的地方，在概念记号系统中总是用变项名称来表达的。 例如，在命题“有两个对象，它们……”中，就用“（9x， y）…”来表达。 一旦以别种方式来使用这个词，如把它作为专有概念词使用，就只能造成无意义的 似是而非的命题。 因此，例如，不能像说“有一些书”那样，说“有一些对象”。同样也不能说“有100个对象”，或者，“有 χ0个对象”。 因而说对象的总数是无意义的。 这一点同样适用于“复合物”、“事实”、“函项”、“数”这些词，等等。它们全都标示形式概念，因而在概念记号系统中用变项来表述，而不是（如弗雷格和罗素所认为的）用函项或者类来表述。 诸如“1是一个数”，“只有一个零”以及一切类似的表达式，都是无意义的。 （说“只有一个 1”就和说“2＋2在 3点钟的时候等于 4”一样是无意义的。）
“χ0”希伯来文字母，表示数学上的无穷数。——译者*- 4.12721一个形式概念是随着属于它的任何一个对象的给定而立即给定的，因此，不能把属于一个形式概念的对象和这个形式概念本身一起作为初始观念引入。因此，比如说，不能如罗素那样，把函项概念和特定的函项两者一起作为初始观念引入；或者，把数的概念和确定的数两者一起作为初始观念引入。
- 4.1273如果我们要在概念记号系统中表达一般命题“b是 a的一个后继”，就需要有一个形式系列的一般项的表达式： aRb， （9x）：aRx·xRb， （9x，y）：aRx·xRy·yRb， 一个形式系列的一般项必须用变项来表达，因为“该形式系列的项”这个概念是一 个形式概念。（这一点为弗雷格和罗素所忽略：因此他们用以表达上述那种一般命题的方式是不正确的，其中包含着一种恶性循环。） 我们可以通过给出第一项和由前一命题产生下一项的运算的一般形式来规定形式系列的一般项。
- 4.1274 问一个形式概念是否存在是无意义的，因为不可能有一个命题是对这个问 题的回答。 （因此，例如，不能提问“是否存在不可分析的主谓式命题？”这种问题。）
- 4.128逻辑形式是无数的。 因此在逻辑中没有特殊的数，因此也没有哲学的一元论和二元论的可能性，等等。
- 4.2命题的意义是它与事态的存在和不存在的可能性符合和不符合。
- 4.21最简单的命题，即基本命题，断有一个事态的存在。 *
- 4.211不可能有基本命题同它相矛盾，这是一个基本命题的标志。
- 4.22基本命题由名称组成。它是名称的一种关联，一种连结。
- 4.221显然，对命题的分析必须达到由名称的直接结合而组成的基本命题。 这就发生了一个问题：命题的结合是怎样产生的？
- 4.2211 即使世界无限复杂，因此每个事实都是由无限多个事态组成，而且每个事 态又都是由无限多个对象组合起来，那也仍然必须有话对象和事态。
- 4.23名称只有同基本命题发生关联才能在命题中出现。
- 4.24名称是简单符号，我用单个的字母（“x”、“y”、“z”）来表示。 我把基本命题写作名称的函项，所以它们具有“fx”，“Φ（x，y）”的形式，等等。 或者我用字母p，q，r来表示它们。
- 4.241当我使用的两个记号具有同一指谓时，我就在它们之间放入记号“＝”来表达这一点。 因此“a＝b”就意味着记号“b”可以替换记号“a”。 （如果我用等式引进一个新记号“b”，规定它可用以替换已知记号“a”，那么，像罗素那样，我把这个等式（定义）写成“a＝b Def.”的形式。定义就是一条记号规则。）
“Def.”为“Definition”（定义）一词的编写。——译者 - 4.242因此，“a＝b”形式的表达式不过是一种表述的辅助手段。关于记号“a”和 “b”的指谓，它们并没有陈述什么东西。
- 4.243如果不知道两个名称是标示同一个事物还是标示两个不同事物，我们能够理解这两个名称吗？——如果不知道在一个命题中出现的两个名称的指谓是相同还是不同，我们能够理解这个命题吗？ 假如我知道一个英文词和一个具有相同指谓的德文词的指谓：那么我就不可能不知道二者是具有相同指谓的，我必定能把其中一个翻译为另一个。 像“a＝a”这样的表达式以及从中推得的那些表达式。 既不是基本命题，也不是另一类有意义的记号。（下面将会表明这一点。）
- 4.25若一个基本命题为真，事态就存在；若一个基本命题为假，事态就不存在。
- 4.26 若列举出所有为真的基本命题，就完全地描述了世界。世界通过列举所有的 基本命题加上列举其中哪些为真哪些为假而被完全地描述。
- 4.27关于 n个事态的存在和不存在，有 Kn＝ ( ∑(v=0 to n)(v))种可能性。这些事态的任何一种组合都可存在而同时别的组合不存在。 *
- 4.28 和这些组合相应的即是同等数目的关于这 n个基本命题的真（和假）的可能 性。
- 4.3基本命题的真值可能性意指事态存在和不存在的可能性。
- 4.31我们可用如下这种图式（见第 57页）来表述真值可能性（“W”指“真”，“F”指“假”；在基本命题行下面的“W”和“F”的各行，以易于理解的方式标明各种真值可能性）。
- 4.4命题是与基本命题的真值可能性符合和不符合的表达式。
- 4.41基本命题的其值可能性是命题真和假的条件。
- 4.411这也许立即使人想到，引入基本命题乃是理解所有其它命题的基础。的确， 对一般命题的理解显然是依赖于对基本命题的理解的。
- 4.42关于一个命题与n个基本命题的真值可能性符合和不符合，有 ( ∑(K=0 to Kn)(K))=Ln 种可能情况。 *
- 4.43在图式中我们可用与其值可能性相关的标记“W”（为真）来表达与真值可能性的符合。 没有这个标记就意指不符合。
- 4.431与基本命题的真值可能性符合和不符合的表达式，表达命题的真值条件。 命题即是其真值条件的表达式。 （因此，弗雷格在解释他的概念记号系统的记号时以真值条件为出发点，是完全正 确的。但是弗雷格对真值概念的解释是错误的：如果“真”和“假”真的是对象，而且 是～p等等中的主目，那么依照弗雷格的方法，～p的意义就根本是未确定的。）
- 4.44由标记“W”与真值可能性相关而产生的记号，就是一个命题记号。
- 4.441很清楚，关于记号“F”和“W”的复合物，并没有对象（或对象的复合物） 与之相对应；正好就像没有任何对象与横线、竖线或括号相对应一样。——不存在“逻 辑对象”。 当然，这也同样适用于所有和“W”与“F”的图式表达的东西相同的记号。
- 4.442例如，以下就是一个命题记号： 【此处缺省——编辑者注】（弗雷格的“断定号”“￣”逻辑上是完全无措谓的：在弗雷格（和罗素）的著作中， 它不过表示作者主张用这个记号标记的命题是真的。因此，“￣”不是命题的组成部分， 就像命题的编号不是命题的组成部分一样。一个命题不可能宣称自己为真。） 如果一个图式中真值可能性的排列次序是由组合规则一次性地固定好的，那么最后一列本身就是一个真值条件的表达式。将这一列写成为一行，上述命题记号就成为： “（WW—W）（p，q）” 或者，更清楚一点： “（WWFW）（p，q）”。 （左边括号中的位数由右边括号中的项数决定。） *
- 4.45对于 n个基本命题有 Ln组可能的真值条件。 从一定数目基本命题的真值可能性得来的真值条件组可以排成一个系列。
- 4.46 在可能的真值条件组中有两种极端情况。一种情况是，一个命题对于所有基 本命题的真值可能性都为真。我们称该真值条件是重言式的。 第二种情况是，一个命题对于所有真值可能性都为假：该真值条件是矛盾的。 在第一种情况下，我们称这命题为重言式，在第二种情况下，称这命题为矛盾式。
- 4.461命题显示它们所说的东西，重言式和矛盾式则显示它们什么也没有说。 重言式没有真值条件，因为它无条件地为真；而矛盾式则不在任何条件下为真。 重言式和矛盾式是缺少意义的。 （就像两个箭头由此指向相反方向的一个点。） （例如，当我知道或者下着雨或者没有下雨时，关于天气我就什么也不知道。）
- 4.4611但是，重言式和矛盾式不是无意义的。它们是符号系统的一部分，正如“0” 是算术符号系统的一部分。
- 4.462重言式和矛盾式不是实在的图像。它们不表述任何可能情况。因为前者容许每一种可能情况，后者则排除任何一种可能情况。 在重言式中，与世界符合的条件——表现关系——互相抵消，以致它与实在没有任何表现关系。
- 4.463命题的真值条件规定它给事实留出的范围。 （一个命题，一个图像或者一个模型，在否定的意义上就像一个固体，限制着其它物体的活动自由；在肯定的意义上就像用固体物质围住的一片空间，其中有一个物体活动的场所。 重言式为实在留出了全部——整个无限的——逻辑空间；矛盾式则占满了全部逻辑 空间，一点也没有留给实在。因而二者都不以任何方式规定实在。
- 4.464重言式的真是确定的，命题的真是可能的，矛盾式的真是不可能的。 （确定的，可能的，不可能的：这里就有了我们在概率论中所需要的最重要的分度标志。）
- 4.465一个重言式和一个命题的逻辑积，与这个命题说的是同一回事情。因此，这积与这命题是同一的。因为没有改变一个符号的意义就不能改变它的本质。
- 4.466 记号的一定的合乎逻辑的结合，对应着其指谓的一定的合乎逻辑的结合。 能与每一种任意的结合对应的只能是非结合的记号。 换句话说，对于每一种情况都为真的命题，根本不可能是记号的结合；因为，如果它们是记号的结合，就只能有对象的一定的结合与它们相对应。 （而不合乎逻辑的结合是没有一种对象的结合与之相对应的。） 重言式和矛盾式是记号结合的极限情形：即记号结合的解体。
- 4.4661 当然，在重言式和矛盾式中，记号也是直相结合着的，即它们彼此之间有 一定的关系；但是这些关系是无指谓的，对符号而言它们不是本质的东西。
- 4.5 看来现在可以给出最一般的命题形式：即给出一个关于任何一种记号语言的命题的描述，使得每一种可能的意义都能够用适合这种描述的符号来表达，而且，在适当地选择名称指谓的前提下，每一个适合这种描述的符号都能表达一种意义。 显然，在这种描述中只能包含对于最一般的命题形式为本质的东西，否则，它就不会是最一般的形式。 一般的命题形式的存在，为以下事实所证明：即没有任何一个命题，其形式是不能须知（即构造）的。命题的一般形式是：事情是如此这般的。
- 4.51假如向我给出了所有的基本命题：那么问题就只在于我能用它们构造出一些什么命题。这样我就有了全部命题，而且这就确定了这全部命题的界限。
- 4.52命题包括从所有基本命题的总体（自然，也从其确实是所有基本命题的总体）中所能得出的一切。（因此，在一定的意义上可以说，一切命题都是基本命题的概括。）
- 4.53一般的命题形式是变项。
- 5 命题是基本命题的真值函项。（基本命题是自身的真值函项。）
- 5.0
- 5.01基本命题是命题的真值主目。
- 5.02 函项的主目很容易和名称的附标相混淆。因为从主目和附标我都能看出包含它们的那些记号的指谓。 例如，当罗素写“＋c”时，其中“c”就是一个附标，它指明整个记号是用于基数的加号。但是这种标记法是一种任意约定的结果，因而完全可能选择一个简单的记号来代替“＋c”；可是，在“～p”中，“p”不是附标而是主目：除非已经先理解了“p”的意义，“～p”的意义就不可能理解。（在名称尤利乌斯·恺撒中，“尤利乌斯”是一个附标。附标总是对对象的描述的一部分，我们把它附加到对象的名称上面：例如尤利乌斯 家族中的这位恺撒。） 如果我没有弄错，弗雷格关于命题和函项的指谓理论，就是建立在混淆主目和附标的基础之上的。弗雷格认为逻辑命题是名称，而它们的主目则是这些名称的附标。
- 5.1真值函项可以排成系列。 这是概率论的基础。
- 5.10
5.101一定数目的基本命题的真值函项，可以按以下这种图式列出：
（WWWW）（p，q）重言式（如果 p则q且如果q 则 q。）（p?p·q?q）
（FWWW）（p，q）用话来说：非 p且q两者。（～（p·q）
（WFWW）（p，q）用话来说：如果q则 p。（q?p）
（WWFW）（p，q）用话来说：如果 p则 q。（p?q）
（WWWF）（p，q）用话来说：p或q。（pVq）
（FFWW）（p，q）用话来说：非 q。（～q）
（FWFW）（p，q）用话来说：非 p。（～p）
（FWWF）（p，q）用话来说：p或 q，但非 p且 q。（p·～q：V：q·～p）
（WFFW）（p，q）用话来说：如果p则 q，且如果 q则 p。（p≡q）
（WFWF）（p，q）用话来说：p
（WWFF）（p，q）用话来说：q
（FFFW）（p，q）用话来说：既非p亦非 q。（～p·～ q或 p|q）
（FFWF）（p，q）用话来说：p且非q。（p·～q）
（FWFF）（p，q）用话来说：q且非p。（q·～p）
（WFFF）（p，q）用话来说：p且q。（p·q）
（FFFF）（p，q）矛盾式（p且非 p，和p且非p）（p·～p·q·～q）
我将用命题的真值基础这个名称来称呼其真值主目使该命题为真的那些真值可能
性。
- 5.11 如果为一定数目的命题所共有的真值基础，同时也是某个命题的真值基础，那么我们就说，这个命题的真是从另外那些命题的真得来的。
- 5.12 特别是，如果命题“q”的所有真值基础也是命题“p”的真值基础，那么命题“p”的真就是从“q”的真得来的。
- 5.121一个命题的真值基础包含在另一个命题的真值基础之中：p从q得出来。
- 5.122如果p从 q得出来，则“p”的意义包含在“q”的意义之中。
- 5.123如果上帝创造一个世界，其中某些命题为真，那么由此它也就创造了一个世 界，其中所有从这些命题得出来的命题也同样为真。同样，它也不可能在创造出一个命 题“p”为真的世界的同时，而不创造出这个命题的所有对象。
- 5.124一个命题肯定每一个从它得出来的命题。
- 5.1241“ p·q”既是肯定“ p”的命题之一，也是肯定“q”的命题之一。 两个命题，如果没有一个有意义的命题肯定它们两者，它们就是彼此反对的。 凡与另一个命题矛盾的命题，都否定这个命题。
- 5.13 一个命题的真从另一些命题的真得出来，这一点我们可以从这些命题的结构 看出来。
- 5.131如果一个命题的真从另一些命题的真得出来，这一点为这些命题的形式相互 之间的关系所表达：我们无须通过把这些命题结合成为一个单独的命题，来建立起它们 之间的这些关系；相反地，这些关系是内在的，它们的存在是这些命题存在的一个直接 结果。
- 5.1311当我们从 p V q和～p推出q时，命题形式“p V q”和“～p”之间的关系在这里被我们的标示方式所掩盖。但是，例如，若将“ p V q”写为“ p|q·|·p|q”， 将“～p”写为“p|p（p|q。既非 p也非 q），其内在联系就显而易见了。 （从（x）·fx可以推出 fa，这表明符号（x）·fx本身也包含着概括。）
- 5.132如果 p从 q得出来，则我能作出从 q到 p的推论，即从 q推出p来。 单从这两个命题即可了解推论的特性。 只有这两个命题本身才能证明此推论的正确。 如弗雷格和罗素著作中用以证明推论为正确的“推演律”是缺少意义的，因而是多 余的。
- 5.133一切演绎推理都是先天形成的。
- 5.134一个基本命题不能从另一个基本命题推演出来。
- 5.135从一种情况的存在无法推论出另一种完全不同的情况的存在。
- 5.136没有证明这样一种推论为正确的因果联系。
- 5.1361我们不能从现在的事件推出将来的事件。相信因果联系是迷信。
- 5.1362 意志自由在于不可能知道尚属未来的行为。仅当因果性像逻辑推论一样是 一种内在的必然性，我们才能知道这些行为。——知与所知的联系是逻辑必然性的联系。 （如果 p是重言式，则“A知道p是发生的事情”便是缺乏意义的。）
- 5.1363 如果不能从一个命题对于我们是自明的而推出它为真，则它的自明性就不 能保证我们相信它为真是正确的。
- 5.14 如果一个命题是从另一个命题得出来的，那么后者所说较前者为多，前者所说较后者为少。
- 5.141如果p从 q得出来且q从 p得出来，则二者为同一个命题。
- 5.142重言式从一切命题得出来：它什么也没有说。
- 5.143矛盾式是没有一个命题与其它命题共有的命题共性，重言式是彼此间没有任何共同东西的所有命题的共性，可以说，矛盾式隐迹于～切命题之外；重言式则隐迹于 一切命题之内。 矛盾式是命题的外部界限；重言式则是居于诸命题中心的非实在的点。
- 5.15 如 Wr 是命题“r”的真值基础数，Wrs 是同属命题“s”和“r”的真值基础 数，则我们称比值Wss：Wr为命题“r”给与命题“s”的概率度。
- 5.151 在如上述 5. 101 那样的图式中，设 Wr 是命题 r 的“w”数，Wrs 是和命 题 r的那些“W”同列的命题s的“W”数。则命题r给命题 s以概率 Wrs：Wr。
- 5.1511没有概率命题特有的特殊对象。
- 5.152彼此之间役有共同的真值主目的命题，我们称它们是相互独立的。 两个基本命题彼此给与概率 1/2。 如果p从 q得出来，则命题“q”给与命题“p”概率 1。逻辑推论的确实性是概率 的一种极限情况。 （应用于重言式和矛盾式。）
- 5.153就其自身而言，一个命题既不是概率的也不是非概率的。 一个事件或者发生，或者不发生。没有中间状况。
- 5.154 设在一个罐子里有相等数量的白球和黑球（且没有任何别种颜色的球）。我一个一个地取出球来，又将它放回罐里。用这种试验我能够确定，随着不断地这样做下 去，取出来的黑球数和白球数是彼此接近的。 所以这不是一个数学的真实。 如果我说：“我取到一个白球的概率和取到一个黑球的概率是相等的”，这就意昧着， 我所知道的全部情况（包括作为假设的自然律）给与一个事件发生的概率不大于另一个事件发生的概率。也就是说，正如从以上的说明所不难理解的，给与每个事件以概率1/2。 通过试验我能够确认的是：这两个事件的发生是独立于我并不详细知道的种种情况的。
- 5.155概率命题的最小单元是：诸情况——我对它们别无所知——对一特定事件的 发生给与某一概率度。
- 5.156由此可见，概率是一种概括。 它包含着对一种命题形式的一般的描述。 仅当缺少确定性时我们才使用概率——虽然我们关于一个事实的知识是不完全的， 但是关于它的形式我们确实知道某种东西。 （一个命题也许是一定情况的不完全的图像，但它总归是某种东西的完全的图像。） 一个概率命题是另外一些命题的一种摘要。
- 5.2命题的结构之间具有内在的关系。
- 5.21为了在我们的表达方式中突出这些内在关系，可以把一个命题表现为一个运 算的结果，这个运算通过另外一些命题（即该运算的基础）而产生出这个命题来。
- 5.22运算就是其结果和基础两者结构之间关系的表达式。
- 5.23必须对一个命题施以运算才能产生出别的命题来。
- 5.231当然，这要依赖于它们形式的属性，依赖于它们形式的内在相似性。
- 5.232整编成一个系列所依赖的内在关系，等价于一个从一项产生出另一项来的运算。
- 5.233运算只能出现在一个命题以逻辑上有意义的方式产生于其它命题的地方，也即命题的逻辑构造开始的地方。
- 5.234基本命题的真值函项是以基本命题为基础的运算的结果（我称这些运算为真值运算。）
- 5.2341 p的其值函项的意义是 p的意义的真值函项。 否定、逻辑加、逻辑乘等等都是运算。 （否定将命题的意义反转。）
- 5.24运算显示于变项中，它显示我们怎样可以从命题的一种形式得到另一种形式。 运算表达形式之间的差异。（运算的基础与其结果之间所共有的恰为这些基础本身。）
- 5.241运算标志的不是一种报式，而是一种形式之间的差异。
- 5.242 从“p”产生“q”的运算，同样也从“q”产生“r”，如此等等。表达这一点的唯一方式是：“p”、“q”、“r”等等必须是为一定的形式关系给出一般表达式的变项。
- 5.25运算的出现并不表征命题的意义。 的确，运算是无所陈述的，只有它的结果才有所陈述，而这又依赖于运算的基础。 （运算和函项决不能在相混淆。）
- 5.251一个函项不可能是它自身的主目，然而一个运算的结果可以成为该运算自身的基础。
- 5.252只有这样，从一个形式系列中的一项到另一项（在罗素和怀特海的等级系统中是从一个类型到另一个类型）的推移才是可能的。（罗素和怀特海不承认这种推移的可能性，但是他们自己却一再地利用这种可能性。）
- 5.2521一个运算重复地应用于其自身的结果，我称之为运算的 连续应用（“o’o’o’a”是三次连续应用运算“o’ξ”于“a”的结果。） 我也在同样的意义上谈到连续应用几个运算于若干个命题。
- 5.2522因此我把形式系列a，o’a，o’o’a，……的通项记为“[a，x，o’x]”。 这个括起来的表达式是一个变项：其中第一项是形式系列的首项，第二项是系列中任意 选取的项x的形式，第三项是系列中紧接 x之后的那一项的形式。
- 5.2523连续应用一个运算的概念和“如此等等”这个概念是等价的。
- 5.253一个运算可以取消另一个运算的作用，运算可以互相抵销。
- 5.254运算可以消失（如在“～～p”中的否定：～～p＝p）。
- 5.3所有命题都是基本命题的真值运算结果。 真值运算是从基本命题产生出真值函项的方法。 依据真值运算的本性，就如从基本命题产生出它们的真值函项一样，以同样的方法也可以从真值函项产生出新的真值函项。当一个真值运算施用于基本命题的真值函项，总是产生出基本命题的另一个真值函项，即另一个命题。对基本命题真值运算的结果再作一次真值运算，其结果总可等同于对基本命题施用某一单独的真值运算。 每个命题都是对基本命题作真值运算的结果。
- 5.31即使“p”、“q”、“r”等等不是基本命题，4.31的图式也是有指谓的。 容易看出，即使“p”和“q”是基本命题的真值函项，4.442中的命题记号也仍然是表达基本命题的一个真值函项。
- 5.32所有真值函项都是把有限数量的真值运算连续应用于基本命题的结果。
- 5.4这就表明，没有（在弗雷格和罗素的意义上的）“逻辑对象”或“逻辑常项”。
- 5.41 因为：所有的对于真值函项的真值运算结果，只要它们是基本命题的同一个 真值函项，就都是等同的。
- 5.42显然，V、?等等不是右和左等等那种意义上的关系。 弗雷格和罗素的逻辑“初始记号”的交叉定义已足以表明，它们不是初始记号，更不是关系的记号。 显然，通过“～”和“V”定义的“?”和在“V”的定义中与“～”一起出现的那个“?”是等同的；而且后面这个“V”与前一个“V”也是等同的，如此等等。
- 5.43从一个事实 p会得出无数其它事实，即～～p，～～～～p等等，这看起来有点令人难以置信。同样使人惊讶的是，无数的逻辑（数学）命题是从半打“初始命题”得出来的。 但是一切逻辑命题之所说都是相同的，即什么也没有说。
- 5.44真值函项不是实质函项。 例如，肯定可以由双否定产生，团此否定是否在某种意义上就包含在肯定之中呢？ “～～p”是否定～p，还是肯定 p，还是两者都是呢？ 命题“～～p”并不是把否定作为一个对象而与之相关；而另一方面，否定的可能 性在肯定中又是早就预定了的。 而且，如果存在一个称为“～”的对象，那么就会得出，“～～p”说了某种不同于 “p”所说的东西。这是因为一个命题涉及“～”，而另一个命题则否。
- 5.441这些表面的逻辑常项的这种消失，也发现于“～（?x）·～fx”的情形，它与“（x）·fx”的所说是一样的；或者也发生于“（?x）·fx·x＝a”的情形，它与 “fa”说的是一回事情。
- 5.442如果给定一个命题，那么以它为基础的一切其值运算的给果也随之给定。
- 5.45 如果有了逻辑的初始记号，那么任何正确的逻辑就必须能够清楚地表明这些记号彼此之间的相对地位，并证明它们存在的合理性。以其初始记号为基础的逻辑的构造，必须是清楚的。
- 5.451如果逻辑有一些初始概念，它们就应该是互相独立的。如果引入了一个初始概念，那么在它出现的一切结合里，它都是应该是已经引入了的。因此，它不能先对一种结合引入，尔后又对另一种结合再次导队。例如，一旦引入了否定，我们就应该既在“～p”形式的命题中理解它，也在“～（pVq）”、“（?x）·～fx”等等这样的命题中同样地理解它。我们不应先对一类情况引入它，然后又对另一类情况目队它，因为这样一 来，它的指调在两类情况中是否相同，就值得怀疑，而且没有理由在两类情况下应用同一种记号结合方式。 （简言之，弗雷格（在《算术的基本定律》中）关于通过定义引人记号的意见，经过适当的修改，也适用于初始记号的引入。）
- 5.452在逻辑的符号系统中引入任何一种新的手段都必然是一个重大事件。在逻辑中，一种新的手段不能以所谓漫不经心的态度在括号或者脚注中引入。（如在罗素和怀特海的《数学原理》中就出现了用文字表达的定义和初始命题。为什么这里忽然出现文字呢？这是需要说明理由的，但是没有提出理由，也必然提不出理由，因为这种程序事实上是非法的。） 但是，如果证明在某处引入一种新的手段是必要的，我们就应立即追问：这种手段在哪些地方是必须用到的？必须弄清楚它在逻辑中的地位。
- 5.453在逻辑中一切数都需要说明理由。 或者不如说，必须弄清楚，逻辑中是没有数的。 不存在特别的数。
- 5.454逻辑中没有并列，也不可能有分类。 逻辑中不可能有普遍和特殊的区分。
- 5.4541逻辑问题的解决必定是简单的，因为它们设立了简单性的标准。 人们一直猜想，必定有一个领域，其中对问题的回答对称地——先天地——结合着而构成一个自足的系统。“ 这个领域遵从如下规则：简单性是真理的标志。
- 5.46 如果我们恰当地引入逻辑记号，那么我们也就同时引入了它们的一切结合— —不仅“pVq”，也有“～（pV～q）”等等——的意义。同时我们也就引入了括号的一 切可能结合的效用；因此很清楚，真正一般的初始记号不是“pVq”、“（?x）·fx” 等等，而是它们的结合的最一般形式。
- 5.461 和真实的关系不同，像 V 和?这种逻辑的伪关系是需要用到括号的，这一点看起来不太重要，事实上却具有重大意义。 的确，对这些表面上的初始记号使用括号，本身即已表明它们不是真正的初始记号。 当然没有人会认为，括号具有独立的指谓。
- 5.4611逻辑运算的记号是标点符号。
- 5.47 很清楚，关于一切命题的形式，凡是我们事先可以说的，我们必须能够一下子都说出来。 实际上基本命题自身已经包含了全部逻辑运算。因为“fa”与“（?x）·fx·x＝a”所说的完全一样。 凡有组合的地方，就有主目和函项，而有了这些就已经有了全部的逻辑常项。 可以说，唯一的逻辑常项就是一切命题根据它们的本性所彼此共有的东西。 而这就是一般的命题形式。
- 5.471一般的命题形式是命题的本质。
- 5.4711给出命题的本质，意味着给出一切描述的本质，也即给出世界的本质。
- 5.472描述最一般的命题形式，就是描述逻辑中那个唯一的一般的初始记号。
- 5.473逻辑必须照顾自己。 如果一个记号是可能的，它就应该能起标示作用。凡在逻辑中为可能的都是容许的。 （“苏格拉底是同一的”之所以不意指什么，是因为没有称为“同一的”这种属性。这个命题所以无意义，是因为我们无法作出一种任意的规定来，而不是因为这符号本身是不容许的。） 在一定的意义上，我们不可能在逻辑上犯错误。
- 5.4731 由于语言本身能防止各种逻辑错误，所以罗素多次说到的自明性才会在逻辑中成为多余的。——逻辑之所以是先天的，就在于不可能非逻辑地思考。
- 5.4732我们不能给与一个记号以错误的意义。
- 5.47321奥卡姆法则当然不是一条随意的规则，也不是一条因其在实践上的成功而获得了证明的规则：它表明，记号语言中非必要的单位不指谓任何东西。 满足一个目的的记号逻辑上是等价的；不满足任何目的的记号逻辑上是无指谓的。
- 5.4733 弗雷格说：每一个合法则地构造的命题都应当具有意义；而我说：每一个可能的命题都是合法则地构造的，而且，如果它没有意义，那只能是因为我们未能给与 它的某些组成部分以指谓。（尽管我们认为自己已经这样做了。） 因此，“苏格拉底是同一的”之所以什么也没有说，是由于我们没有给与“同一的” 这个词以任何形容词的指调。而当它作为同一性记号出现时，它是以完全不同的方式——另外一种标示关系——来标示的，因而在这两种情况下的符号也是完全不同的：这两个符号不过偶然地具有共同的记号。
- 5.474必要的基本运算的数目唯一地取决于我们的记号系统。
- 5.475这只是构造一个具有一定度数，即一定的数学多样性的记号系统的问题。
- 5.476很清楚，这里涉及的不是必须给以标示的一定数目的初始概念，而是一项规则的表达式。
- 5.5 每一个真值函项都是连续应用运算“（……W）（ξ，…… ）”于基本命题的结果。 这个运算否定右边一对括号里的全部命题，我称之为这些命题的否定。
- 5.50
- 5.501一个以命题作为项的括号表达式，如果括号里各项的次序是无关紧要的，我就用一个“（x ）”形式的记号来表示。“ξ”是一个变项，它的值是括号表达式的各个项。 变项上面的横线表示，它代表括号里变项所有的值。 （例如，若 ξ有三个值p、q、r，则（ξ）＝（p，q，r）。） 变项的值是规定了的。 这规定就是对变项所代表的命题的描述。 括号表达式中各项的描述是怎样产生的，这一点无关紧要。 我们可以区分三种描述：1.直接列举，这时可以简单地用作为变项取值的常项代换变项。2.给出一个函项fx，它对所有 x值的取值即为要描述的命题。3.给出一个决定命题构成的报式规则，这时括号表达式中的各项就是一个形式系列的所有的项。
- 5.502因此，我写作“N（x ）”以代替“（……W）（ξ，……）”。 N（ξ）是对命题变项工所有的值的否定。
- 5.503显然，我们不难表达：命题如何可以用此运算来构成和如何不可以用它来构成；故而为此必可找到一个精确的表达式。
- 5.51如果只有一个值，则 N（x ）＝～p（非 p）；如果它有两个值，则 N（x ） ＝～q·～q（既非q也非q）。
- 5.511包容一切而反映着世界的逻辑之所以能够运用这种特别的钩子和装置，是因为它们全都彼此结合着成为一张无出精细的网——一面巨大的镜子。
- 5.512 若“p”为假，则“～p”为真。因而，在真命题“～p”中，“p”是一个假 命题。那么波线“～”怎样能使“p”与实在相符合呢？ 但是在“～p”中起否定作用的并不是“～”，而是这个记号 系统中所有否定 p的记号共有的东西。 也就是说，是构成“～p”、“～～～～p”、“～pV～p”、“～p·～p”等等（以至 无 穷）所遵循的共同规则，这一共同的因素反映着否定。
- 5.513可以说，肯定 p和 q两者的一切符号所共同的东西，就是命题“p·q”；而肯定 p或者 q的一切符号所共同的东西，就是命题 pVq”。 同样可以说，两个命题如果彼此之间没有任何共同的东西，它们就是在相反对的，而且每个命题只有一个否定，因为只有一个命题完全在它之外。 因此在罗素的记号系统中也同样表明，“q：pV～p”和“q”说的是一回事情，“pV～ p”则什么也没有说。
- 5.514一个记号系统一旦建立起来，其中就有一条用以构造一切否定 p的命题的规则，一条用以构造一切肯定 p的命题的规则，一条用以构造一切肯定q或 q的命题的规则，等等。这些规则等价于一些符号，它们的意义就反映在符号之中。
- 5.515在我们的符号中必须表明，只有命题才能相互之间从“V”、“～”等等结合起来。 情况的确如此，因为“p”和“q”的符号本身已假定了“V”、“～”等等。如果在 “pVq”中记号“p”不代表一个复合记号，那么它自身单独地就不能有意义：而在这种情况下，和“p”具有相同意义的记号“pVp”、“p·p”等等也就不能有意义。而如果“pVp” 没有意义，“pVq”也就不可能有任何意义。
- 5.5151 一个否定命题的记号必须要用肯定命题的记号来构成吗？为什么不能用一个否定的事实来表达一个否定命题呢？（例如，设“a”不处在对“b”的一定关系之中， 就可以说为：aRb不是实情。） 但是即使在这里，否定命题其实也是间接地用肯定命题来构成的。 肯定命题必须以否定命题的存在为前提，反之亦然。
- 5.52若 ξ的值是函项 fx对于所有 x值的全部取值，则 N（x ）＝～（?x）·fx。
- 5.521我把所有这个概念同真值函项分离开来。 弗雷格和罗素是联系逻辑积或逻辑和而引入概括的。这样就难以理解隐含着这两个 概念的命题“（?x）·fx”和“（x）·fx”。
- 5.522概括记号的特点在于，第一，它指示一个逻辑原型；第二，它突出了常项。
- 5.523概括记号是以主目的身份出现的。
- 5.524如果给出了一些对象，那么同时也就给出了所有对象。 如果给出了一些基本命题，那么同时也就给出了所有基本命题。
- 5.525象罗素那样将命题“（?x）·fx”译述为“fx是可能的”，是不正确的。 一种情况的必然、可能或者不可能，不是用命题来表达，而是由表达式是一个重言式、一个有意义的命题或者一个矛盾式来表达。 我们常常要援引的惯例必须已经存在于符号本身之中。
- 5.526我们可以用完全概括的命题，即不必首先把每个名称对应于一个特定的对象， 未完全地描述世界。 然后，为了达到习惯的表达方式，我们只须在“有一个而且只有一个 x，使得……” 这个表达式后面加上一句话：“而且 x是 a”。
- 5.5261一个完全概括的命题，像每个其它命题一样，是组合的。 （这一点为我们在“（?x，Φ）·Φx”中必须分开地提及“Φ”和“x”这一事实所表明。两者都独立地处在对世界的标示关系中，就像非概括命题的情形一样。） 组合符号的标志是：它和别的符号有某种共同的东西。
- 5.5262 每一个命题的真或假都在世界的一般构造中引起某种改变。而且基本命题的总体为世界的构造所留下的可能范围，正好就是所有的概括命题所界定的范围。 （如果有一个基本命题为真，那就意味着无论如何有多于一个的基本命题为真。）
- 5.53我用记号的同一，而不是用等号，来表达对象的同一。对象的不同则用记号 的不同来表达。
- 5.530
- 5.5301显然，同一不是对象之间的一种关系。例如，只要考察一下“（x）：fx·?·x ＝a”这个命题，这一点就很清楚了。这个命题只是说，只有 a满足围项 f，而不是说， 只有对a具有一定关系者满足函项f。 当然，也可以说，只有a 才对a 具有这种关系；但是为了表达这点，就需要同一记号本身。
- 5.5302 罗素的“＝”的定义是不充分的，因为我们不能根据它说两个对象共有它们的一切属性。（即使这个命题决非正确的，它也仍然具有意义。）
- 5.5303 大致说来：说两个东西是同一的，这是无意义的，而说一个东西和它自身 同一，就是根本什么也没有说。
- 5.531因此我不写“f（a，b）·a＝b”，而写“f（a，a）”（或者“f（b，b）”。不写 “f（a，b）·～a＝b”，而写“f（a，b）”。
- 5.532以此类推：我不写“（?x，y）·f（x，y）·x＝y”，而写“（?x）·f（x，x）”； 不写（?x，y）·f（x，y）·～x＝y”，而写“（?x，y）·f（x，y）”。 （这样，罗素的“（?x，y）·fxy”就成为：“（?x，y）·f（x，y）·V（?x）·f（x， x）”。）
- 5.5321因此，例如，我们不写“（x）：fx?x＝a”，而写“（?x）·fx?·fa：～（?x， y）·fx·fy”。 因而，命题“只有一个 x满足 f（）”将读作“（?x）·fx：～（?x，y）·fx·fy。
- 5.533所以，同一记号不是概念记号系统的必要组成部分。
- 5.534现在我们看到，在一个正确的概念记号系统中，像“a＝a”，“a＝b·b＝c·?a ＝c”，“（x）·x＝x”，“（?x）·x＝a”等等伪似命题是根本不能写的。
- 5.535这也就消解了所有和这类伪似命题联系在一起的问题。 至此，罗素的“无穷公理”所带来的一切问题都已获致解决。 无穷公理所要说的，可以通过存在无限多个具有不同指谓的名称，在语言中自行表达出来。
- 5.5351在某些情形下，人们情不自禁地要使用“a＝a”或者“p?p”之类形式的表达式。当人们想要谈论原型，即命题、事物等等时，就出现这种情形。所以，在罗素的《数学原则》中，“p是命题”——这是无意义的——被翻译为符号“p?p”，而且把它作为假设置于某些命题前面，以保证处在这些命题主目位置上的只能是命题。 （把假设 p?p置于一个命题前面，以保证它的主目具有正确形式，这是无意义的， 因为对于以非命题为主目这个假设不是假的而是无意义的，而且因为错误种类的主目也 使得这个命题本身成为无意义的，所以在防止错误的主目这一点上，命题本身和为此目 的而附加的无意义的假设是同样地有用，或者说，是同样地无用。）
- 5.5352同样地人们想用“～（?x）·x＝x”来表达“没有事物”。但是，即使这是 一个命题，如果确实“有一些事物”，但这些事物与自身不是同一的，这个命题不也同 样为真吗？
- 5.54在一般的命题形式中，命题只是作为真值运算基础而出现于别的命题之中。
- 5.541初看起来，一个命题也可能以别种方式在另一个命题中出现。 特别是在某些心理学的命题形式中，如“A相信 p 是真的”，或者“A思考 p”等等。 这里如果只是肤浅地考察，就好像个题 p同对象A处在某种关系之中。 （在当今的知识论中（罗素、摩尔等），正是这样来理解这些命题的。）
- 5.542但是很清楚，“A相信p”，“A思考 p”，“A说 p”都是“‘p’说 p”的形式： 这里涉及到的不是一个事实和一个对象的相关，而是借助于其对象相关的诸事实的相 关。
- 5.5421 这也表明，没有像当今肤浅的心理学中所设想的心灵——主体等等——这 类东西。 的确，一个组合的心灵就已经不再是心灵了。
- 5.5423 感知一个复合物的意思就是感知到它的各组成部分以如此这般的方式互相 关联着。 这也能很好地解释，为何有两种可能的方式把如下图形看成为立方体；以及所有类似的现象。因为我们确实看到两个不同的事实。 （如果我先看定诸 a角，对诸b角只是瞥及，于是诸 a角显得在前；反之则诸 b角 显得在前。）
- 5.55现在我们必须先天地回答关于基本命题的一切可能形式的问题。 基本命题由名称组成。可是我们既然不能给出具有不同指谓的名称的数目，我们也就不能给出基本命题的组成。
- 5.551我们的基本原则是：凡一般地可以由逻辑决定的问题，必须能够当即决定。 （如果我们处在必须通过观察世界来回答这类问题的境地，那就表明我们已经陷入 了完全错误的思路。）
- 5.552 我们为了理解逻辑所需要的“经验”，不是某物是如何如何的，而是某物存 在：但这恰恰不是经验。 逻辑先于任何经验——某物是如此这般的。 逻辑先于关于“如何”的问题，而不先于关于“什么”的问题。
- 5.5521 如果不是这样，我们怎么能够应用逻辑呢？也可以这样说：假如即使没有 世界也有一个逻辑，那么，为何有了一个世界就有一个逻辑呢？
- 5.553罗素说，在事物（个体）的不同数目之间存在着简单的关系。但是，在什么数目之间？又如何断定这种关系？——依靠经验吗？ （没有地位特殊的数。）
- 5.554任何特殊形式的提出都是完全任意的。
- 5.5541例如，我能否处于一种需要27位关系的记号来标示某种 事物的状况，应该可以先天地回答这个问题。
- 5.5542 但是，我们真的可以这样来提问吗？我们能够建立一种记号形式而不知道是否有任何东西与之对应吗？ 能否有意义地提问：为有某事发生，必须存在什么东西？
- 5.555显然，关于基本命题，我们具有某种与其特定的逻辑形式无关的概念。 但是，当有一个系统使我们得以建造符号时，那么这个系统，而非单个的符号，才 是逻辑上重要的东西。
- 5.556不可能有基本命题形式的等级系列。我们只能预见我们自己构造的东西。
- 5.5561 经验的实在受到对象总体的限制。这种限制也在基本命题的总体中表现出 来。 等级系列是独立于实在的，而且必须独立于实在。
- 5.5562 如果我们根据纳粹逻辑的理由知道必须有基本命题，那么，凡是理解具有 来分析形式的命题的人也必定知道这一点。
- 5.5563 事实上，我们日常语言中的所有命题，正如它们本来的那样，在逻辑上是完全有条理的。——我们必须在这里提及的最简单的东西，不是类似于真，而是完整的真本身。 （我们的问题不是抽象的，而且也许是所有问题中最为具体的。）
- 5.557逻辑的应用决定有什么样的基本命题。 逻辑不能预期属于其应用的东西。 显然，逻辑不能与其应用冲突。 但是逻辑必须同其应用接触。 因此，逻辑不能和其应用互相重迭。
- 5.5571 如果我不能先天地举出有一些什么基本命题，那么要举出它们就必定会导 致明显的无意义。
- 5.6我的语言的界限也就是我的世界的界限。
- 5.61逻辑充满世界：世界的界限也就是逻辑的界限。 所以在逻辑上我们不能说：世界上有这个和这个，而没有那个。 因为这看来就假定了我们会排除某些可能性，而这是不可能的事情，不然逻辑就必须超出世界的界限，因为只有超出世界的界限它才也能从另外一边来察看这些界限。 我们不能思考我们所不能思考的东西；因此我们也不能说我们所不能思考的东西。
- 5.62这一段话为解决唯我论中有多少真理的问题提供了钥匙。 唯我论者意谓的东西是完全正确的，不过它不能说，而只能自己显示出来。 世界是我的世界：这表现在语言（我所唯一理解的语言）的界限就意谓我的世界的界限。
- 5.621世界和人生是一回事。
- 5.63我是我的世界。（小宇宙。）
- 5.631没有思考着或想像着的主体这种东西。 如果我写一本书叫做《我所发现的世界》，我也应该在其中报道我的身体，并且说明哪些部分服从我的意志，哪些部分不服从我的意志，等等。这是一种孤立主体的方法， 或者不如说，是在一种重要意义上表明并没有主体的方法；因为在这本书里唯独不能谈到的就是主体。
- 5.632主体不属于世界，然而它是世界的一个界限。
- 5.633在世界上哪里可以找到一个形而上主体呢？ 你会说这就正好像眼睛和视域的情形一样。但是事实上 你看不见眼睛。 而且在视野里没有任何东西使得你能推论出那是被一只眼睛看到的。
- 5.6331视域肯定不具有如图这样的形式： *
- 5.634与此有联系的一点是，我们的经验中也没有一部分同时是先天的。 我们看到的一切也可能是别种样子。 我们通常能够描述的一切也可能是别种样子。 没有先天的事物秩序。
- 5.64 这里可以看到，严格贯彻的唯我论与纯粹的实在论是一致的。唯我论的自我收缩为无广延的点，保留的是与它相关的实在。
- 5.641因此，确实有种意义使哲学可以用非心理学的方式来谈论自我 由于“世界是我的世界”而使自我进入哲学之中。 哲学上的自我并不是人，也不是人的身体或者心理学所考察的人的心灵，而是形而 上主体，是世界的界限——而不是它的一个部分。
- 6 真值函项的一般形式是： ［p，ξ，N（ξ）］ 这也是命题的一般形式。
- 6.0
- 6.00
- 6.001它只是说明：每个命题都是连续应用运算N（ξ）于基本命题的结果。
- 6.002如果有了怎样构成一个命题的一般形式，那么也就随之有了怎样通过一个运算可以从一个命题产生出另一个命题的一般形式。
- 6.01因此运算Ω’（?）的一般形式是：［ξ，N（ξ）］’（?）（＝［?，ξ，N（ξ）］）。 这是由一个命题过渡到另一个命题的最一般的形式。
- 6.02由此我们就达到了数。我给出如下定义：X＝Ω ’x Def.
并且Ω’Ω ’(v)x＝Ω ’(v+1)x Def.
这样，根据这些记号规则我把系列
x，Ω’x，Ω’Ω’x，Ω’Ω’Ω’x，……
写作：Ω ’(0)x，Ω ’(0+1)x，Ω ’(0+1+1)x，Ω ’(0+1+1+1)x，……
因此，我不写作“［x，ξ，Ω’ξ］”，而写作：
“［Ω ’(0)x，Ω ’(v)x，Ω ’(v+1)x］’”
而且我给出如下定义：
0＋1＝1 Def.
0＋ 1＋ 1＝ 2 Def.
0＋ 1＋ 1＋ 1＝ 3 Def.
（以及依此类推）- 6.021数是一个运算的阶次。
- 6.022数的概念不过是一切数所共有的东西，即数的一般形式。数的概念是变数， 数相等的概念就是一切特定的数相等情形的一般形式。
- 6.03整数的一般形式是：［0，ξ，ξ＋1］。
- 6.031类的理论在数学中完全是多余的。与此相关联的一点是：数学中所需要的概 括，不是偶然的概括。
- 6.1逻辑命题是重言式。
- 6.11因此，逻辑命题什么也没有说。（它们是分析命题。）
- 6.111凡是使一个逻辑命题显得像是具有内容的理论都是假的。例如，人们也许认 为，词“真”和“假”标示着和其它属性一起的两种属性，于是，每个命题都具有这两 种属性之一，看起来就是一个很奇怪的事实。按照这种理论，这个事实看起来决不是自 明的，正如命题“所有玫瑰花不是黄的就是红的”一样，即使它为真，也不是自明的。 的确，这使得逻辑命题获得了自然科学命题的全部特征，而这也就肯定地标志着逻辑命 题遭到了误解。
- 6.112要正确地说明逻辑命题，就必须在所有命题中给与它们以独特的地位。
- 6.113逻辑命题的特有标志是，仅仅从符号人们就能认出它们为真，这个事实包含着全部的逻辑哲学。 因此，一个同样也是非常重要的事实是：非逻辑命题的真或假不能单从命题本身看 出来。
- 6.12 逻辑命题是重言式，这显示语言和世界的形式的——逻辑的——属性。命题成分以这种特定方式连结起来构成重言式，这就表明了这些命题成分的逻辑特征。如果一些命题以一定方式连给起来构成重言式，那么它们必定具有一定的结构性质。所以，当它们以这种方式结合起来而构成重言式时，就表明它们具有这些结构性质。
- 6.120
- 6.1201例如，命题“p”和“～p”在结合“～（p·～p）”中构成一个重言式，这就表明它们是互相矛盾的。命题“p?q”、“p”、“q”在形式“（p?q）·（p）：?：（q）” 中互相结合起来构成一个重言式，这就表明q 从 p并且 p?q 得出来。“（x）·fx：?： fa”是一个重言式，就表明 fa从（x）·fx得出来，等等。
- 6.1202很清楚，用矛盾式取代重言式也能达到同样的目的。
- 6.1203 为了看出一个表达式是重言式，在其中没有概括记号出现的情形下，可以应用如下的直观方法：我将“p”、“q”、“r’等等，写为“WpF”、“WqF”、“WrF”等等。
用括号来表达真值组合，如：
并且用线段表示整个命题的真或假与其真值主目的真值组合之间的相关，方式如下
这样，如上述这个记号就表述命题p?q。现在我想以举例的方式来考察一下命题～（p·～p）（矛盾律），看它是否为重言式。在我们的记号法中，形式“～ξ”写为：
形式“ξ·?”则写为：
因而，命题～（p·～q）就表为：
如果在这里我们用“p”代换“q”，并考察最外层的 W 和 F 与最里层的 W 和 F 的结合，那么就得出，整个命题的真相关于其主目的一切真值组合，而其假则不与其主目的任何真值组合相关。
- 6.121逻辑命题通过把一些命题结合成为什么也没有说的命题而展现这些命题的逻辑性质。 这种方法也可称为置零法（zero-method）。在逻辑命题中各命题之间达到平衡，而这种平衡状态则指明这些命题在逻辑上必须怎样构成。
- 6.122由此得出，不用逻辑命题也行；因为在一个合适的记号系统中，我们只须仔细考察命题本身就能看出命题的形式属性。
- 6.1221 例如，若两个命题“p”和“q”在组合“p?q·p”中构成重言式，那么 很清楚，p是从 p得来的。 例如，我们从这两个命题本身看出：“q”从“p?q·p”得出来，但是我们同样也 可以用如下方式来表明这一点：我们将其结合为形式“p?q·p：?q”，并且表明这是 一个重言式。
- 6.1222 这就颇有启发地说明，为何逻辑命题不可被经验确证，就像它不可被经验驳倒一样。一个逻辑命题不仅必须不被任何可能的经验驳倒，它也必须不被任何可能的经验确证。
- 6.1223 现在清楚了，为什么人们常觉得好像我们要“设立”（postulate）“逻辑真理”。道理就在于，我们可以要求设立逻辑真理，就如我们可以要求设立一种合适的记号系统一样。
- 6.1224现在也清楚了，逻辑为何被称为形式和推论的理论。
- 6.123很清楚，逻辑规律不能反过来又遵从逻辑规律。 （并不像罗素所认为的，每个“类型”都有一个特殊的矛盾律；一个规律就够了，因为它不应用于自身。）
- 6.1231逻辑命题的特征不是普遍有效性。普遍不过意味着偶然地适合于一切事物。 非概括命题和概括命题一样，也可以是重言式的。
- 6.1232逻辑的普遍有效性同“凡人皆有死”这类命题的偶然的普遍有效性相对比，可以称为本质的普遍有效性。如罗素的“可归纳性公理”这类命题不是逻辑命题，这就说明了我们的这种感觉：即使这些命题为真，也只能是一件碰巧的偶然事情。
- 6.1233 可能设想一个世界，其中可归约性公理是无效的。因此很清楚，我们的世界实际上是否也像这样的，这个问题同逻辑毫无关系。
- 6.124逻辑命题描述世界的脚手架。或者不如说，它们展示世界的脚手架。它们不“论及”什么。它们假定名称具有指谓。基本命题具有意义，这就是它们同世界的联系。显然，符号——它们本质上具有确定的特性——的一定结合是重言式，这种情况必定指示着关于世界的某种东西。这是关键所在。我们说过，在我们使用的符号中，有些东西是随意的，有些东西则不是随意的。逻辑中只表达后者，这就意味着，逻辑领域不是我们借助记号来自由表达的地方，而是绝对必要的记号自身表现其本性的地方。如果我们知道任何一种记号语言的逻辑句法，那么也就有了所有的逻辑命题。
- 6.125即使按照旧逻辑的观点，事先描述所有的“真”逻辑命题，也是可能的。
- 6.1251因而在逻辑中决不可能有出乎意料的东西。
- 6.126通过对符号的逻辑属性的演算，可以演算一个命题是否属于逻辑命题。 当我们“证明”一个逻辑命题时，就是这样做的。因为无须关心意义和指谓，我们只是应用处理记号的规则来从其它命题构造逻辑命题。 逻辑命题的证明过程如下：我们连续应用总是由初始的重言式重又生成重言式的一定运算来从别的逻辑命题产生出待证明的逻辑命题。（而且，事实上从一个重言式只能得出重言式来。） 当然，这种指明逻辑命题是重言式的方法，对于逻辑是完全不重要的，因为作为证明的出发点的那些命题，必定无须任何证明就表明自己是重言式。意义。但是对于等式 来说，具有根本意义的一点是：为了显示用等号连接的两个表达式有相同的指谓，等式并非必要，因为这一点从两个表达式本身即可以看出来。
- 6.1261在逻辑中，中间过程和结果的地位是等同的。（因此没有出乎意料的东西。）
- 6.1262 逻辑中的证明只是一种使得在复杂的情况下易于辨识重言式的机械的便利方法。
- 6.1263 如果一个有意义的命题可以逻辑地证明是从一些别的命题得来，一个逻辑命题也是如此的话，那就的确太奇怪了。 一开始就很清楚，一个有意义的命题的证明和逻辑中的证明必然是根本不同的两回事情。
- 6.1264 有意义的命题陈述某件事情，它的证明表明确是如此。在逻辑中每个命题都是一种证明的形式；每个逻辑命题都是一个用记号表示的（modus ponens）。（而 modus ponens 不能用一个命题来表达。）
modus ponens，假言推理的肯定式。 ——译者 - 6.1265对逻辑始终可以这样来理解：每个逻辑命题都是它自身的证明。
- 6.127所有逻辑命题都是同等地位的：其中并没有本质上为初始命题和本质上为派生命题之分。每个重言式本身表明它是一个重言式。
- 6.1271很清楚，“逻辑的初始命题”的数目是任意的，因为可以从单独一个初始命题，例如，从弗雷格的那些初始命题简单地构成的一个逻辑积，推演出逻辑来。（弗雷格也许会说，这样我们就不再有一个直接自明的初始命题了。但是一位像弗雷格这样的严谨的思想家竟会援引自明的程度作为逻辑命题的标准，那是很奇怪的。）
- 6.13逻辑不是一种学说，而是世界的一个映像。逻辑是先验的。
- 6.2数学是一种逻辑方法。数学命题是等式，因此都是伪命题。
- 6.21数学命题不表达思想。
- 6.211在现实生活中我们要得到的并非教学命题；或者说，我们应用数学命题只是为了从一些不属于数学的命题推论出另一些同样也不属于数学的命题。 （“我们使用这个词或者这个命题究竟为了什么？”这个问题在哲学中往往导致有价值的领悟。）
- 6.22逻辑命题在重官式中显示的世界的逻辑，数学在等式中显示出来。
- 6.23 如果两个表达式用等号连接起来，这就意味着它们可以彼此代换。但是事实是否如此，两个表达式本身必可显示出来。 两个表达式可以彼此代换，这表明它们的逻辑形式的特征。
- 6.231肯定可以看作双重否定，这是肯定的一个性质。“1＋1＋l＋1”可以看作“（1 ＋1）＋（l＋1）”，这是‘1＋1＋1＋1”的一个性质。
- 6.232弗雷格说，上述两个表达式有相同的指谓，但是有不同的意义。 但对于等式来说，具有根本意义的一点是：为了显示用等号连接的两个表达式有相同的指谓，等式并非必要，因为这一点从两个表达式本身即可以看出来。
- 6.2321 而数学命题证明的可能性，不过意味着数学命题的正确性可以直接察知， 而无须将它们表达的东西本身同事实比较以确定其正确性。
- 6.2322 两个表达式指谓的同一是不能断言的。因为，为了能够断言关于它们指谓 的任何东西，我就必须知道它们的指谓，而一旦知道了它们的指谓，也就知道了它们所 指的是否相同。
- 6.2323等式不过标志我考察两个表达式的角度，即它们的指调相等的角度。
- 6.233在解决教学问题中是否需要直觉，这个问题应该这样回答：这里语言已经提 供了必须的直觉。
- 6.2331演算过程正好引进了这种直觉。演算并非试验。
- 6.234数学是一种逻辑的方法。
- 6.2341 数学方法的本质特征在于它是用等式来工作的。正是由于这种方法，每个 数学命题本身必须足以表明自己的成立。
- 6.24 数学用来得到等式的方法是代换法。因为等式表达两个表达式的可代换性； 我们从一定数目的等式出发，按照等式的条件，通过代换不同的表达式而推进到新的等式。
- 6.241因此，命题 2×2＝4的证明进行如下： *
- 6.3逻辑的探究就是对所有符合规律性的东西的探究。逻辑之外的一切都是偶然的。
- 6.31所谓的归纳律不可能是一条逻辑规律，因为它显然是一个有意义的命题。——因此它也不可能是一条先天的规律。
- 6.32因果律不是规律而是一种规律的形式。
- 6.321“因果律”是一个通名。正如在力学中有一些“极小原理”。如最小作用律， 在物理学中也有一些因果律，即具有因果形式的规律。
- 6.3211 的确，人们在精确地知道怎样表述“最小作用律”以前，就已经猜测到应 该有一个这样的规律。（在这里，像通常那样，一定的先天的东西被证明是某种纯属逻 辑的东西。）
- 6.33我们并非先天地相信一种守恒律，而是先天地知道一种逻辑形式的可能性。
- 6.34如充足理由律、自然界的连续性原理和最小耗损原理等等，所有这些命题都 是关于科学命题可能的规范形式的先天领悟。
- 6.341例如，牛顿力学给世界的描述提供了一种统一的形式。让我们设想一个上面有着一些不规则黑斑的白色表面。于是我们可以说，不管这些斑块构成一种什么图像，只要用一张足够精细的方格网覆盖住这个表面，然后说出每一个方格是黑的还是白的，我就总是能够使对这个表面的描述达到任意程度的近似。用这个办法我就给这个表面的描述提供了一种统一的形式。这种形式是任意选择的，因为我可以用一张三角形格子或者六角形格子的网来达到同样的效果。也许用三角形格子的网会使描述更为简单：也就是说，用较稀的三角形网格也许比用较密的四方形网格能够更精确地描述这个表面（或者相反），如此等等。不同的网相当于不同的描述世界的系统。力学规定了一种描述世界的形式：它指出，所有描述世界的命题都必须以一定的方式从若干给定的命题——力学公理而得到。这样它就提供了建筑科学大厦的砖块，而且指出：不管你想建筑怎样的大厦，你总得必须使用而且只能使用这些砖块。 （正如借助数字系统我们能够写出任何数目一样，借助力学系统我们也应该能够写出任何物理学命题。）
- 6.342 现在我们可以看出逻辑和力学的相对地位。（这张网也可由不只一种形状的网眼组成：例如，我们可以用三角形和六角形两种网眼。）以一种给定形式的网来描述一个如上所述的图像，这一可能性关于这图像本身并无所说。（因为这种可能性对于所有这类图像都是有效的。）但是，这图像能够用具有特定大小网眼的特定的网来完全地描述，这件事确实说明了这图像的特征。 同样，世界可以用牛顿力学来描述，这关于世界并无所说；但是恰如实际上所用的描述世界的这种确定方式，却告诉了我们关于世界的某些东西。用一种力学可以比用另一种力学更为简单地描述世界，也告诉了我们关于世界的某些东西。
- 6.343力学是一种按照单一的计划来构造我们描述世界所需的全部真命题的尝试。
- 6.3431物理学定律借助其全部的逻辑机制而间接地说及世界的对象。
- 6.3432 我们不应忘记，力学对世界的描述都是完全一般的描述。例如，它从不提到特定的质点：它只是谈论任何一个不论怎样的质点。
- 6.35虽然我们上述图像中的斑块是几何图形，但是几何学显然根本不能谈论它的实际形状和位置。而网是纯粹几何学的，它的全部属性可以先天地给出来。像充足理由律等等这样的定律，涉及的是网而网不是所描述的东西。
- 6.36要是有因果律，也就可以说“有自然律”。不过，这当然不可说，而是自已显露出来的。
- 6.361可以用赫兹的话来说：只有遵从规律的联系才是可以思考的。
- 6.3611 我们不能将一个过程和“时间之流”——不存在这种东西——相比较，而只能将它同另一个过程（如计时器的运行过程）相比较。 因此，我们只有依靠另外一种过程才能描述一段时间的经过。 对于空间也有完全类似的情形。例如，当人们说，两个（相互排斥的）事件中一个也不能发生，因为没有任何东西导致发生一个事件而不发生另一个事件，这实际上是由于，除非有某种不对称，我们就不能描述这两件事当中的一件。而如果有这种不对称，我们就可以认为它是一件事发生而另一件事不发生的原因。
- 6.36111康德的关于右手和左手不能使之重合的问题，在平面中就已经存在，甚至也存在于一维空间中：
如其中两个全等的图形 a 和 b，除非越出这个空间，就不能使之重合。右手和左手事实上是真正地全等的，人们不能使它们重合与这一事实没有关系。假如能够在四维空间中旋转，右手套就可以戴到左手上面。 *
- 6.362凡能描述的就能够发生；而为因果律所排除的东西是不可描述的。
- 6.363归纳程序的实质在于，我们承认能够同我们的经验协调的最简单的规律为真。
- 6.3631 但是这种程序只有心理的依据而没有逻辑的依据。很清楚，相信实际上只会发生最简单的可能事件是没有根据的。
- 6.36311太阳会在明天出来是一个假设：这意味着我们不知道它是否会出来。 *
- 6.37由于另外某个事件的发生，一个事件就必定发生，这种强制性是没有的。只 有一种逻辑的必然性。
- 6.371整个现代的世界观都建立在一种幻觉的基础上，即认为所谓的自然律是自然现象的解释。
- 6.372所以，当代人们站在自然律面前，就像古代人们站在神和命运面前一样，把它视为某种神圣不可侵犯的东西。事实上他们两者都是正确的，也都是错误的：虽然古代人们的观点更为清楚一些，因为他们承认有一个明白的界限，而现代的系统则力求显得似乎一切东西都已经得到解释。
- 6.373世界是独立于我的意志的。
- 6.374即使我们所希望的一切都会发生，这也只能说是命运的恩赐，因为在意志和世界之间没有保证这一点的逻辑的联系，而假定的物理的联系又不是我们自己所能意愿 的东西。
- 6.375正如只有逻辑的必然性一样，也只有逻辑的不可能性。
- 6.3751 例如，在视域的一个位置上同时显现两种颜色是不可能的，而且是逻辑上的不可能，因为它为颜色的逻辑结构所排斥。 让我们设想这种矛盾在物理学中是如何表现的：大体上是这样的——一个质点不可能同时具有两个速度；也就是说，它不可能同时处在两个位置；也就是说，同一时刻处在不同位置的质点不可能是同一的。 （很清楚，两个基本命题的逻辑积可以既不是重言式也不是矛盾。说视野中的一个点同时具有两种不同颜色，这个陈述是一个矛盾。）
- 6.4所有命题都是同等价值的。
- 6.41 世界的意义必定在世界之外。世界中一切事情就如它们之所是而是，如它们之所发生而发生；世界中不存在价值——如果存在价值，那它也会是无价值的。如果存在任何有价值的价值，那么它必定处在一切发生的和既存的东西之外。因为一切发生的和既存的东西都是偶然的。使它们成为非偶然的那种东西，不可能在世界之中，因为如果在世界之中，它本身就是偶然的了。它必定在世界之外。 *
- 6.42所以也不可能有伦理命题。 命题不能表达更高的东西。
- 6.421很清楚，伦理是不可说的。 伦理是超验的。 （伦理和美学是同一个东西。）
- 6.422当列出一个“你应该……”形式的伦理规范时，人们首先的一个想法就是：如果我不这样做又怎么样呢？可是很清楚，伦理与通常意义下的奖和惩没有什么关系。所以关于行为后果的问题必定是不重要的。——至少那些后果不是重大事件。但是这问题的提出必有某种正确的东西。确实应该有某种伦理的奖励和伦理的惩罚，但最这些必须就包含在行动本身之中。 （同样也很清楚，奖励应该是某种愉快的东西，而惩罚应该是某种不愉快的东西。）
- 6.423作为伦理主体的意志是不可说的。而作为一种现象的意志只有心理学才感到兴趣。
- 6.43如果善的意志或恶的意志可以改变世界，那么它只能改变世界的界限，而不能改变事实，即不能改变可以用语言表达的东西。 简言之，其结果必然是世界整个地变成另外的样子。也就是说，世界必定作为整体而消长。 幸福者的世界不同于不幸者的世界。
- 6.431同样地，在死这一点上，世界不是改变，而是终止。
- 6.4311死不是生活里的一件事情：人是没有经历过死的。 如果我们不把永恒性理解为时间的无限延续，而是理解为无时间性，那么此刻活着的人，也就永恒地活着。 人生之为无穷，正如视域之为无限。
- 6.4312 不仅人的灵魂在时间上的不灭，或者说它在死后的永存，是没有保证的，而且在任何情形下，这个假定都达不到人们所不断追求的目的。难道由于我的永生就能把一些谜解开吗？这种永恒的人生难道不像我们此刻的人生一样是一个谜吗？时空之中的人生之谜的解答，在于时空之外。 （所要解答的肯定不是自然科学的问题。）
- 6.432世界上的事物是怎样的，对于更高者完全无关紧要。上帝不在世上现身。
- 6.4321事实都只算是提出问题，而非问题的解答。
- 6.44世界是怎样的这一点并不神秘，而世界存在着，这一点是神秘的。
- 6.45用永恒观点来观察世界，就是把它看作一个整体——一个有界限的整体。把世界作为一个有限整体的感觉是神秘的。【斯宾诺莎的 sub specie aeterni】
- 6.5若解答不可说，其问题也就不可说。谜是不存在的。当一个问题可以提出，它 也就可能得到解答。
- 6.51 怀疑论不是不可反驳的，而是因为它试图在不能提出问题的地方产生怀疑，所以显然是无意义的。因为怀疑只能存在于有一定问题的地方，一定问题只能存在于有一定解答的地方，而解答则只能存在于有某种东西可说的地方。
- 6.52 我们觉得，即使一切可能的科学问题都已得到解答，也还完全没有触及到人生问题。当然那时不再有问题留下来，而这也就正是解答。
- 6.521人生问题的解答在于这个问题的消除。（有些人在长期怀疑之后发现他们明白了人生的意义，但是又不能说出来这意义究 竟是什么，不就是这个道理吗？）
- 6.522确实有不可说的东西。它们显示自己，它们是神秘的东西。
- 6.53 哲学中正确的方法是：除了可说的东西，即自然科学的命题——也就是与哲学无关的某种东西之外，就不再说什么，而且一旦有人想说某种形而上学的东西时，立刻就向他指明，他没有给他的命题中的某些记号以指谓。虽然有人会不满意这种方法——他不觉得我们是在教他哲学——但是这却是唯一严格正确的方法。
- 6.54 我的命题应当是以如下方式来起阐明作用的：任何理解我的人，当他用这些命题为梯级而超越了它们时，就会终于认识到它们是无意义的。（可以说，在登上高处之后他必须把梯子扔掉。）他必须超越这些命题，然后他就会正确看待世界。
- 7 对于不可说的东西我们必须保持沉默。
- 编辑者注*
- 0.该文只能用于了解大意，数学标记和图片的缺省使得理解困难，但跳过这些也能掌握作者的思想。
- 0.所有的数学标记都难以用恰当的方式书写，我不知道实体书中如何。如9x与?x可能是同一个符号。
- 即使跳过所有数学标记，亦能使人受益匪浅
- 0.所有的图片缺省
- 0.原著中没有无文字的条目，如2.0，我为了编辑而添加了节点。
- 0.多处错别字修改，如「因为」误为「困为」，「次序」误为「砍序」，「假」误为「惯」，「没」误为「役」，「否定」误为「吉定」，「情况」误为「清况」，「无」误为「天」，「设想」误为「没想」，「自己」误为「自已」等。
- 3.猜测「事态的逻辑图像是思想。」
- 4.116常被引用
- 凡是能思考的东西都能清楚地思考。凡是可以说的东西都可以清楚地说出来。
- 4.1272χ0指阿列夫零
- 4.21最简单的命题，即基本命题，断（只）有一个事态的存在。
- 4.27 数学标记的原文为
- n
- n
- 有Kn＝()种可能性
- ∑ v
- v=0
- 4.31无法找到57页。
- 4.42 数学标记的原文为
- Kn
- Kn
- 有()=Ln种可能情况
- ∑ K
- K=0
- 4.442无图
- 5.451导队与目队可能为同一个词
- 5.6331无图
- 6.02数学标记的原文为
- 0
6.02由此我们就达到了数。我给出如下定义：X＝Ω ’x Def.
ν ν+1
并且Ω’Ω ’x＝Ω ’x Def.
这样，根据这些记号规则我把系列
x，Ω’x，Ω’Ω’x，Ω’Ω’Ω’x，……
0 0+1 0+1+1 0+1+1+1
写作：Ω ’x，Ω ’x，Ω ’x，Ω ’x，……
因此，我不写作“［x，ξ，Ω’ξ］”，而写作：
0 ν ν+1
“［Ω ’x，Ω ’x，Ω ’x］’”
而且我给出如下定义：
0＋1＝1 Def.
0＋ 1＋ 1＝ 2 Def.
0＋ 1＋ 1＋ 1＝ 3 Def.
（以及依此类推）
- 6.241无图
- 6.36111无图
- 6.36311常被引用
- 太阳会在明天出来是一个假设：这意味着我们不知道它是否会出来。
- 6.41常被引用
- 世界的意义必定在世界之外。
- 6.4311
- 人生之为无穷，正如视域之为无限。
- 7常被引用
- 对于不可说的东西我们必须保持沉默。
- 其他资料（非同一人翻译）
- 前期维特根斯坦哲学
Ludwig Josef Johann Wittgenstein (26 April 1889 – 29 April 1951) was an Austrian philosopher .
Major works
Tractatus Logico-Philosophicus (1921)《逻辑哲学论》
Philosophical Investigations (1953)《哲学研究》
一、全部哲学是语言批判
（一）语言是表述经验事实的，因而语言的表述必须局限于经验范围之内。
（二）维氏认为，要使说话有意义，使人听得懂，必须具备几个条件：
一是符合逻辑句法。
二是必须表述经验范围以内的事情，即表述经验事实。
（三）经验证实原则
任何一个命题只有以被经验证实或否证才有意义；反之，如不能被经验证实或否证，即无法用经验证实它是真是假，就没有意义，它们都是一些形而上学的“废话”，它们都应该从哲学中排除出去。
（四）经验的或然性和逻辑的必然性
1、经验事实只有重复性而没有必然性，不能从过去的重复中预知未来，归纳法是没有可靠的逻辑根据的。因果性、必然性是一种“迷信”或“假设”。
2、不是事实规定逻辑，而是逻辑规定事实
“只有逻辑必然性。” “逻辑中没有偶然的东西。”“逻辑之外一切都是偶然的。”
“逻辑是超验的。”“逻辑先天性实质在于我们不能非逻辑地思考。”
逻辑是经验事实的空间或框架。经验的事实必须服从先验的逻辑。
二、《逻辑哲学论》中的本体论问题
《逻辑哲学论》中涉及本体论的关键语句如下：
“世界是一切发生的事情。”
“世界是事实的总体，而不是事物的总体。”
“对象是简单的。”
“对象构成世界的实体。因此它们不能是复合的。”
“固定者，实存者和对象是同一个东西。”
应从语言的角度理解以上命题。
（一）世界的实体由对象构成
1、对象与事物：维氏把事物当作句子中的语词的对象。
维氏所说的对象是指语词的对象，或通过语词所表达的思想的对象。
一定的语词的组合构成句子，一定的对象的组合构成事态。“事态是对象（事物）的结合。”（“事”和“物”被理解为对象。）
例子
苏格拉底诞生了。
苏格拉底成为哲学家。
苏格拉底喝了毒酒。
苏格拉底死了。
就语言的层面而言，我们理解某个语词，就是理解这个语词的意义，即这个语词对应某个具有一定的形式和内容的对象。这种形式和内容是语词的意义的本质，它是独立于现象世界中发生的事情（事实）的。“实体是独立于发生的事情而存在的。”“它是形式的内容。”
对“对象”含义的理解：参看《现代西方哲学十五讲》P157
2、对象构成世界的实体
世界的实体是由对象构成的，对象是指语词的对象，它不是指我们通常所理解的现实世界中的事实，而是指词所指的内在的属性，或基本的规定性。
3、对象是不变的
维氏强调不变的东西是语词的对象，即语词所指称的形式和内容。当我们听到一定的语词的时候，我们就把它们与一定的形式和内容联系在一起。如果语词与对象没有固定的联系，我们就难以理解语词的意义。
（二）现实的世界和所思的（可能的）世界
我们的语言所言说的不只是现实的东西，而且还包括可能的东西。如果我们的语句只是描述发生的事情（事实）的话，那么就不会出现不符合事实的有意义的语句的情况。
1、事实与事态
“发生的事情，即事实，是事态的存在。”
事态可以存在，也可以不存在，所存在的事态才是事实。
2、什么是现实的世界和所思的世界
现实的世界是由事实构成的。所思的世界是由事态构成的。
所思的世界是可能的世界。这种可能性是指逻辑空间中的可能性。可能的东西并不一定会成为现实的东西，但是不可能的东西绝不会成为现实的东西。
例子：“苏格拉底是一个医生。”和“苏格拉底仅仅依靠精神食粮而生活。”的区别。
3、现实的世界与所思的世界的构成
现实的世界可以分解为复合的事实，复合的事实可以分解为简单的事实。简单的事实（或简称事实）是现实世界的最基本的组成单位。
所思的世界可分解为复合的事态（事况），复合的事态可以分解为简单的事态。简单的事态是所思的世界的基本的组成部分。
如果本体论所探讨的只是关于现实的世界的本体问题，那么维氏明确断言只有事实才是世界的本体。如果本体论所探讨的还应包括语言所指涉的意义（概念和命题）的体系，那么维氏还主张对象是所思的世界的实体，事态是构成所思的世界的最基本单位。
三、语言与世界的结构对应与图像论
在《逻辑哲学论》中，维氏主张，语言与世界之间存在相对应的结构，命题是实在的逻辑图像。这一关于语言与世界的关系的基本观点常被简称为“同构论”和“图像论“。
维氏的“同构论”和“图像论”包括宏观和微观两方面的内容。
（一）宏观方面
1、基本观点
从宏观方面来说，维特根斯坦主张世界是事实的总体，语言是命题的总体。两者具有相同的结构。
命题之间互相联系的结构与事实之间互相联系的结构相对应，一个复合的命题描述一个复合的事实。
语言的基本命题与世界的基本事实相对应。
2、两者同构，“描述”与“被描述”是如何可能的？
说世界是事实的总体，并不是说世界是由相互内在联系的事实组成的整体，而是说世界无非是彼此独立的事实的复合而已。
说语言是命题的总体，并不是说语言是由相互内在联系的命题组成的系统，而是说语言无非是彼此独立的基本命题的复合而已。
事实与事实之间没有内在联系，它们只有“和”、“否定”、“如果…….那么……”、“当且仅当”之类的外在联系。
“和”、“否定”、“如果…….那么……”、“当且仅当”也是命题之间的联结关系。通过这些联结词，基本命题构成复合命题。
（二）微观方面
1、由名词组成的基本命题是描述简单事实的图像
图像（基本命题）的要素代表对象，并以一定的方式相互关联，描述以一定的方式相结合的事物间的关系。
命题由名词组成，名词如同图像中的要素。名词代表对象，命题则描述事实。
“一个名称代表一个事物，另一个名称代表另一个事物，而且它们是彼此组合起来的；这样它们整个地就像一幅活的画一样表现一个事态。”
2、所指与意义的区分“名词意指对象。对象是它的所指。”
“只有命题才有意义，名词只有在句子的关联中才有所指。”
“人们可以不说命题描述这种或那种事态（事实），而直接说命题具有这种或那种意义。”
3、对象只能被命名，不能被描述；我们要么命名一个对象，要么描述与其相关的事态。
语言的图像论主张语言是事态或事实的图像，而不是主张语言是对象的图像。换句话说，语言不是对象的图像，而是构成为事态或事实的对象的组合的对象。
一个对象能被命名，但命名不是描述。所谓描述一个对象，意思是描述与该对象相关的诸事态。
4、判断一个描述事实的命题的真假一是看命题是否符合与该事实相关的对象与对象间的关系或对象与属性间的关系，二是要正确断言所描述的事实是否存在。
5、一个假命题可以是一个有意义的命题。因为它纵然没有正确地描述一个事实，但它仍然在描述某个可能的事态。
语言图像论总结：
语言由命题组成，所有的有意义的命题都能分析成基本命题，成为基本命题的真值函项。基本命题由名称和名称结合而成，而名称代表对象，对象和对象结合构成基本事态，基本命题就是基本事态的逻辑图像，基本事态和基本事态组成事态，事态的总体（即指存在事态和不存在事态的总体）就是世界，所以语言的结构是真值函项，语言的作用是描述世界，语言就是对世界进行描述的语言。这种理论就是他所谓语言逻辑的基础。
四、语言的界限和神秘主义
（一）、语言的界限
“凡是可以说的东西都说得清楚；对于不能谈论的东西必须保持沉默。”
1、如何给语言划一个界限？
凡是可说的东西仅限于能被图示的东西，亦即，只有那些能被描述的事态或事实才是可以说的东西。
凡是不能被图示的东西，就是无意义的或无谓的东西，必须对之保持沉默的东西。
符合语言的图像论的要求的功能，仅限于语言的描述的功能。亦即，可说的语言限制为描述的语言。
2、只有经验科学的命题，才是有意义的命题，才属于可说的范围。只有那些描述可能发生的事态或已经发生了的事情（事实）的命题，即只有那些具有偶然的真理性的命题（任何事态都可能发生也可能不发生，其发生与否要视具体的条件而定，所以描述它们的命题只能具有偶然的真理性），才是有意义的命题，才属于可说范围。
“凡能描述的就能发生，并且凡是被因果规律排除在外的东西，也都是不能被描述的。”
如何理解？要从“命题是实在的图像。”这个基本命题出发。
3、无意义的命题与无谓的命题
（1）、逻辑的命题是无意义的命题
无意义的命题指不是描述事态的、没有关于事实内容的，但仍然有用、必需的命题。
逻辑的命题要么是重言式的命题（必然真），要么是矛盾式的命题（必然假）。
重言式的命题使得一切可能的世界成为真，从而对事态什么也没有说，什么也没有描述。
矛盾式的命题
（2）、无谓的命题既不是有意义的命题，也不是无意义的命题。
无谓的命题意旨实际上根本不存在的对象和事态。实质上是伪命题，是引起误解、导致荒唐的命题。
传统哲学中的大部分命题都是无谓的命题。
（二）不可说的，但可显示、可理解的东西
1、逻辑结构（形式）
“命题不能表述逻辑形式：逻辑形式反映在命题之中。语言不能表达本身反映在语言中的东西。对于那些在语言中自行表现出来的东西，我们不能用语言来表达它。命题显示实在的逻辑形式。命题展示出这种逻辑形式。”
例子
留声机上唱片的纹道与乐曲具有相同的结构，这一结构不是被描述出来，而是显示出来的。即唱片上纹道的深浅程度与乐曲的音阶上的高低程度相对应，显示两者结构相同。
2、涉及价值的伦理、美学和宗教的观念也是不可说只可显示的，在这个意义上，它们是神秘的。
涉及这些学科领域的句子的逻辑结构与描述事态的命题的逻辑结构完全不同。在日常语言的句子中，我们容易把这两类句子混淆起来，即把不可说的句子当作可说的句子来处理。于是产生了无谓的命题。这是导致形而上学的哲学错误的一个重要原因。
“确实存在不可说的东西。它们显示自己，它们是神秘的东西。”