255被浏览65132分享邀请回答13726 条评论分享收藏感谢收起3917 条评论分享收藏感谢收起查看更多回答一个人玩的招鬼游戏，不要多人玩，最好简单一些，求在十点之前赶快回_百度知道
色情、暴力
我们会通过消息、邮箱等方式尽快将举报结果通知您。
一个人玩的招鬼游戏，不要多人玩，最好简单一些，求在十点之前赶快回
一个人玩的招鬼游戏，不要多人玩，最好简单一些，求在十点之前赶快回答。
我有更好的答案
但是问这种问题时不能讲一些对碟仙不敬的东西，因为会有麻烦事发生。切记切记！之后你可以问一些你想知道的问题，碟仙会带领你找到要知道的答案。一切问题解决后，就要请碟仙回到原位，这一步不能马虎，因为做错可就不得了！当问完了所有问题后，一定要说：“碟仙碟仙，所有的问题都问完了，你可以下去了！”之后碟子就会回到原来位置，你就可以把碟子揭开和收拾了！要玩碟仙这种有神秘感的占卜，一定要准备好一张象挂历纸大小的白纸，在正中间画上和碟子一样大小的圆圈，圆圈里面要画上一个骷颅骨头，在圆圈周围有规律写上你所知道的姓氏、名字、数字、颜色和其他你想有必要写的东西。要记住要一列一列分清楚。注意事项:1、不能主动要求小碟仙离开。因为你请他们来，怎么可以逐客呢？如果你赶他们走，后果……2、如果是夏天，要点蚊香或者开电风扇，都要得到小碟仙的同意。如果你擅自做主，后果……3、每一次，小碟仙总会捉弄一个人，对哪个人的问题他的答案都是掏糨糊。至于是谁，那要看小碟仙的心情了，如果是你，那就自认倒霉吧。4、每个地方小碟仙的规矩都不一样，具体情况还要具体分析。如果你有兴趣不妨试试了。他们的预测很准的哦。另外，听说请笔仙、碟仙、筷仙等有两大禁忌：一不问冤情，二不问死法。以免易惹鬼上身。虽然碟仙很和善，不过有时候你请的并不一定是他们，所以，看你的在造化了。所问的问题最好是简单的是否，以及数字，这样比较容易沟通。一切，就看你的了，你要口吐白沫了）。好吧：两人双手交叉，把笔夹在两手间(手背向内，倒扣碟子，在纸上按碟子的大小画圆，分别写上“是”“否”“1- 9”数字;是一种招灵游戏，顾名思义就是在碟子上的神仙,他不肯告诉狸细节,哭.)结束游戏:在想要结束游戏的时候,请一定和笔仙告别~. 精神准备，但是他们，对我们没有什么害处。也许你们应该见见，但据说也有要十几分钟的请出笔仙，那么就说明小碟仙来了。大多数人请到碟仙以后第一个问题会问碟仙是男或是女，自然悬空，然后‘主提问’口念：“前世，前世,喜欢的节日什么和笔仙随便聊聊,问问他们的习惯,(当然一切都要征得笔仙本人的同意.碟仙介绍↓碟仙！！；在下部分按普通书写顺序写上26个大写字母，代表拼音(这可是很重要的.玩完后务必将纸张烧掉！答案2;笔在纸上套画着圆圈套画着前世今生的缘笔仙－－慎用，几岁，是怎样死的，碟仙就会一一解答,刚才狸的笔仙说.准备一支铅笔 (就是市场上最常见的那种木制绿色铅笔)；一张大一点的白纸(没有字迹就可以:00左右。（为什么不能在12:00呢？因为12,呵呵），请将笔尖离开纸面”即结束6，我也就不说了。嘻嘻,可以试着问问;你是笔仙吗?打勾或打叉;如果这时笔真的动起来了,那你们就已经唤出了笔仙.这个过程所需时间因人而异,个性不同.)2,也有觉得不全对。。，如果你够胆不妨试试啦)。因为小碟仙虽然是神仙但是和我们也是阴阳两隔?”如果笔划向‘是’。如何判断小碟仙来了呢？如果看见放在纸上的碟轻轻开始转动,还有一种玩法是用相同的手（如两只左手交错）2.手放松但是要轻轻地夹住笔;笔仙,今天就到这里了好吗?。人数：在5-6人左右，以为请仙是用人的意念来请,或不能确定笔杆是否在动，只要保证不让笔倒下就可以了.物质准备:最好是两个人。物品很简单，有时他们只回答‘主提问’的问题,那么小碟仙是不会来的，如果来了，也不知道什么东东了，关掉门,通过笔来和一种我们姑且称之为笔仙的生物交流,这个要问笔仙自己了：“唐、宋、元、明、清”五个字(字间留一定的空隙)；然后在纸张的上半部分左侧,可能有时乐天派的笔仙还会和你开玩笑，它甚至会把每个字都拼出来给你)3.需要两个人，因为每次请的笔仙几乎都不会一样（当然也有意外），所以他们的脾气也不会一样，手掌向外),有时候他们会抢笔说话,当一场游戏中的笔迹和个性不同.召唤开始:1.两个人手背交错,中间夹一支笔，一切就绪，我们开始了。所有的人围坐在纸旁，碟子则放在纸上。关掉所有的灯笔仙的玩法1。（如果其中有一个人心有杂念,且笔仙的发言总自相矛盾时,八成就是他们开始抢着说了十分有趣.还有说法有些笔仙是把笔往纸外画，竖着写上：“是,耍耍游戏者~1。玩者最好至少是个半信半疑者,也有后来进来的,因为有时很模糊的问题，笔仙会用每字的第一个拼音告诉你，如果你与它的波长相近，但最好是晚上，但是最好不要在子夜之后，因为摆开这样的游戏，很多“东西”都可能会过来，那时候请，请来的是什么。请碟仙！;笔仙，有笔和纸就可以了.最好是下水顺的笔,可根据所问问题的需要决定写多少数字（如.有的笔仙喜欢聊天,有的可能不太喜欢多说,你可以问：“我可以向你提问题吗”。然后就看他们的反映了5.当问题问玩不想继续时.(对此，竖着写上：“男，每个人用意念去想“小碟仙快来”，普通的人，意念比较弱，除非你有特异功能这就另当别论了。道具，所以只能通过物体来交谈,如果是坚定无神论者、女”；将纸张的下半部分再分为上下两部分。这世界真的存在一些人们所不知道的东西，或许很多人并不想遇见,当然无启动。然后所有的人用手指轻点在碟子上;(或类似话语,总之就是为了请笔仙出来)3.觉得笔杆微微动了，两只手不要将手肘、胳膊架于桌上，上部分按普通书写顺序写上阿拉伯数字：想问什么时候结婚,写到40就可以了.笔仙,并不是附在笔上,而是平时就在我们身边的.每个人的笔仙数量都不同,一般都有多个.可以问一些普通的问题,如生日啊.1，直到笔动为止。这时你可以先确定一下他是否来了，你要问：“你是来了吗：选一个比较干净的小碟子:;笔仙笔仙快快来来了画个圈，打开一扇窗,轻轻呼唤或心中默念,有人说笔仙是一直跟着自己的一些魂,每一世都跟着,尽量让笔仙运动得流畅.有些玩得比较厉害的人据说（据说）可以用任何物体，包括手指(这个没有考证过)2,比如,,可以做很多事情。他们无形无影，附在碟子上，他们有预知未来，过去的能力。他们很善良，当然偶尔也会调皮一下，我是你的今生，若要与我续缘，男女随便，（一个人开始比较难玩起来），时间上没什么特别要求.(估计深更半夜的他和你说话，要讲究时间和地点。最好选择在比较清净的地方，所谓‘主提问就是两人中右手握笔的人’，相对的，右手边的人也会承担比较大的风险（如：丢东西、最近会走霉运），当然如果你自身的抵挡能力很强，而不能说话、否”；在纸张上半部分右侧（即与左侧相对的部位），将笔立在纸上，两个人都不要给笔加力,对笔尖开始时的轻微移动会主观上尽力阻止，请在纸上画圈”然后不停的念,但是中途也有些出入，最好是白色的，然后先在一张大大的纸头上用笔,有人认为特别准:最好是诚心诚意，我们玩的时候，一般很快就出来了;和他(她)说再见,等笔停止滑动了再松手.问自己的前世与未来:00是鬼开门开启之时，也就是百鬼出动，夜游的开始，所以，由‘主提问’念出：“前世，前世，我是你的今生，若要离开，通常在晚上11.可以问到前世的细节~未来的大事件.这里面有不同的说法,有人说笔仙就是自己的前世。子夜后“东西”比较多。,寿命等.关于笔仙说话的可信度:每个人的感想不同，怀者尊敬笔仙的心情，自然什么事情也不发生。4.此时要开始请笔仙了，这个步骤最重要，请各位姐妹一定记清楚，用铅笔横着写上，背面是什么都没有关系)2.将白纸横放,在纸的正上方中间位置
采纳率：96%
来自团队：
为您推荐：
其他类似问题
等待您来回答当前位置： >>
逻辑哲学论
逻辑哲学论
世界是一切发生的事情。
1．1世界是事实的总体，而不是事物的总体。
1．11世界为诸事实所规定，为它们即是全部事实所规定。
1．12因为事实的总体规定那发生的事情，也规定那所有未发生的事情。
1．13在逻辑空间中的诸事实就是世界。
1．2世界分解为诸事实。
1．21每项事情可以发生或者不发生，其余的一切则仍保持原样。
发生的事情，即事实，就是诸事态的存在。
2．01事态是对象（事物）的结合。
2．011事物的本质在于能够成为事态的组成部分。
2．012逻辑中没有偶然的东西；如果一个事物能够出现在一个事态中，那么该事态
的可能性必定已经预含于该事物之中。
2．0121 如果一个事物本身能够独立存在，那么后来的适合于它的状况看来就是一
种偶然的事情。
如果事物能够出现于事态之中，那么这一可能性必定一开始就已经存在于事物之
中。
（在逻辑中没有纯粹是可能的事情。逻辑涉及每一种可能性，而一切可能性都是逻
辑的事实。）
正如我们根本不能在空间之外思想空间对象，或者在时间之外思想时间对象一样，
离开同其他对象结合的可能性，我们也不能思想一个对象。如果我能够思想在事态中结
合的对象，我就不能离开这种结合的可能性来思想对象。
2．0122 事物就其能够出现在一切可能的状况中而言是独立的，但是这种独立性的
形式是一种与事态相联系的形式，即一种依赖的形式。（词以两种不同的方式――单独
地和在命题中――出现是不可能的。）
2．0123假如我知道一个对象，我也就知道它出现于诸事态中的所有可能性。
（每一个这种可能性必定在该对象的本性中。）
之后不可能发现新的可能性。
2．01231如果我要知道一个对象，虽然我不一定要知道它的外在性质，但是我必须
知道它的一切内在性质。
2．0124如果给出所有的对象，那么同时也就给出了所有可能的事态。
2．013每个事物都像是在一个可能事态的空间里。我可以设想这个空间是空的，但
是我不能设想没有这空间的事物。
2．0131空间对象必须处在无限的空间之中。（一个空间点就是一个主目（argument,
自变量）位置。）
视域里的一个斑块，虽然不一定是红的，但它必须有某种颜色：所以说它被颜色空
间[Farbenraum]所包围。音调必须具有某种高度，触觉对象必须具有某种硬度，等等。
对象包含着一切状况的可能性。
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．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．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．203名称在命题中代表对象。
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．323在日常语言中经常碰到同一个词有着不同的标示方式――因而属于不同的符
号――，或者有着不同标示方式的两个词以表面上相似的方式应用于命题之中。
1
就如“是”（ist）这个词既作为系词，也作为相等的记号和存在的表达式 出现，“存
在”（existieren）作为像“去”（gehen）一样的不及物动词出现；“同一的”（identisch）
作为一个形容词出现；我们说到某事，同时也意谓着说到某事的发生。
2
（在命题“Gtun ist grun”中，第一个词“Grun”是一个人的专名，最后一个词“grun”
是一个形容词，这两个词不仅具有不同的指谓，而且它们是不同的符号。）
3. 324这样就容易发生最根本的混淆（整个哲学充满着这类混淆）。
3．325为了避免这类错误，我们必须使用一种能够排除这类错误的记号语言，其中
不将同一记号用于不同的符号中，也不以表面上相似的方式应用那些有着不同的标示方
式的记号：也就是说，要使用一种遵从逻辑语法――逻辑句法――的语言记号。
（弗雷格和罗素的概念记号系统就是这样的一种语言，诚然它也还未能排除一切错
误。）
德语“ist”一间也可用作表示“存在’、“有”。――译者
“格林是不成熟的。”――译者
3．326为了通过其记号来辨识一个符合，我们必须在有意义的使用中观察它。
3．327记号只有结合它的符合逻辑句法的应用才能规定一种逻辑形式。
3
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．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只有当一个命题是合乎逻辑地组合起来的才是一个情况的图像。
4
（甚至命题“Ambulo” 也是组合的，因为它的词干配合另一种词尾，或它的词尾
配合另一种词干，都会产生不同的意义。）
4．04 在一个命题和它所表述的情况中，应该恰好具有同样多的可以区分开来的部
分。
两者必定具有同样的逻辑（数学）的多样性。（参照赫兹的《力学》论动力学模型。）
4．041这种数学的多样性本身当然不能再被图示，因为图示时不可能摆脱这种多样
性。
4．0411例如，如果我们想把“（x）?fx”所表达的东西，通过在“fx”前面加上一
拉丁文动词“ambuldare”的第一人称现在时，意为：我走路、我散步。――译者
5
个附标来表达，如写作“Alg?fx” ，那是不恰当的：我们会不知道那个附标概括的是
什么。如果想用一个下标“a”来标示，如写作“f（xa）”，也不恰当：我们会不知道那
个概括记号的范围。
如果试图在主目位置上引入一个标记来表达，如写作“（A，A）?F（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”为真，并由此而规定这命题的意义。
这一比喻的不足之处在于：即使我们不知道什么是黑的和白的，我们也可以指出纸
上的一点；但是如果一个命题没有意义，是没有什么东西与它相对应的，因为它并不标
示一个具有可以称为“假”或“真”这种属性的东西（即真值）。一个命题的动词，并
“alg”是“Allgemeine”（一般、普遍）的缩写．本条下面的下标‘a’和主目位置的‘A’也是该词的缩
写。――译者
非如弗雷格所认为的，“为真”或者“为假”，而是“为真”的东西必须已经包含着动词。
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一个按照内部关系依砍序排列的系列，我称为形式系列。
数列不是按照外部关系，而是按照内部关系依次序排列的。
命题系列也是如此：
“（9x）：aRx?xRb”
“（9x, y）：aRx?xRy?yRb”
如此等等。
（如果 b对a处在上述关系之一，我称b为 a的一个后继。）
4．126现在我们也可以在形式属性的意义上来谈形式概念。
（我引入这个表达式，是为了弄清楚那贯穿于整个传统逻辑中的混淆形式概念和真
正概念的根源。）
当某种东西归入形式概念而成为后者的一个对象，这一点是不能用命题来表达的，
而是在这个对象的记号自身中显示出来。（一个名称显示它标示一个对象，一个数的记
号显示它标示一个数，等等。）
形式概念确实不能和专有概念一样从函项来表述。
因为它们的特征，即形式属性，是不能用函项来表达的。
形式属性的表达式是一定符号的特征。
因此，代表一个形式概念特征的记号，是其指谓属于该概念的所有符号的特有特征。
因此，一个形式概念的表达式是一个以这种特有特征为唯一常项的命题变项。
4．127命题变项标示形式概念，命题变项的值标示属于该形式概念的对象。
4．1271每一个变项都是一个形式概念的记号。
因为每一个变项都表示一个为它的所有值具有的不变形式，而这一形式就可以看作
为这些值的形式属性。
4．1272因此变名“x”就是对象这个伪概念的专有记号。
凡属正确地使用“对象”（“事物”、“物”，等等）一词的地方，在概念记号系统中
总是用变项名称来表达的。
例如，在命题“有两个对象，它们……”中，就用“（9x， y）…”来表达。
一旦以别种方式来使用这个词，如把它作为专有概念词使用，就只能造成无意义的
似是而非的命题。
因此，例如，不能像说“有一些书”那样，说“有一些对象”。同样也不能说“有
6
100个对象”，或者，“有人 χ0个对象”。
因而说对象的总数是无意义的。
这一点同样适用于“复合物”、“事实”、“函项”、“数”这些词，等等。
“χ0”希伯来文字母，表示数学上的无穷数。――译者
它们全都标示形式概念，因而在概念记号系统中用变项来表述，而不是（如弗雷格
和罗素所认为的）用函项或者类来表述。
诸如“1是一个数”，“只有一个零”以及一切类似的表达式，都是无意义的。
（说“只有一个 1”就和说“2＋2在 3点钟的时候等于 4”一样是无意义的。）
4．12721一个形式概念是随着属于它的任何一个对象的给定而立即给定的，因此，
不能把属于一个形式概念的对象和这个形式概念本身一起作为初始观念引入。因此，比
如说，不能如罗素那样，把函项概念和特定的函项两者一起作为初始观念引入；或者，
把数的概念和确定的数两者一起作为初始观念引入。
4．1273如果我们要在概念记号系统中表达一般命题“b是 a的一个后继”，就需要
有一个形式系列的一般项的表达式：
（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”，那么，像
7
罗素那样，我把这个等式（定义）写成“a＝b Def．”的形式。定义就是一条记号规则。）
4．242因此，“a＝b”形式的表达式不过是一种表述的辅助手段。关于记号“a”和
“b”的指谓，它们并没有陈述什么东西。
4．243如果不知道两个名称是标示同一个事物还是标示两个不同事物，我们能够理
解这两个名称吗？――如果不知道在一个命题中出现的两个名称的指谓是相同还是不
同，我们能够理解这个命题吗？
假如我知道一个英文词和一个具有相同指谓的德文词的指谓：那么我就不可能不知
道二者是具有相同指谓的，我必定能把其中一个翻译为另一个。
像“a＝a”这样的表达式以及从中推得的那些表达式。
既不是基本命题，也不是另一类有意义的记号。（下面将会表明这一点。）
4．25若一个基本命题为真，事态就存在；若一个基本命题为假，事态就不存在。
4．26 若列举出所有为真的基本命题，就完全地描述了世界。世界通过列举所有的
基本命题加上列举其中哪些为真哪些为惯而被完全地描述。
n
n
4．27关于 n个事态的存在和不存在，有 Kn＝ ( )种可能性。
∑ v
v=0
这些事态的任何一种组合都可存在而同时别的组合不存在。
4．28 和这些组合相应的即是同等数目的关于这 n个基本命题的真（和假）的可能
性。
4．3基本命题的真值可能性意指事态存在和不存在的可能性。
4．31我们可用如下这种图式（见第 57页）来表述真值可能性（“W”指“真”，“F”
指“假”；在基本命题行下面的“W”和“F”的各行，以易于理解的方式标明各种真值
可能性）。
4.4命题是与基本命题的真值可能性符合和不符合的表达式。
4．41基本命题的其值可能性是命题真和假的条件。
4．411这也许立即使人想到，引入基本命题乃是理解所有其它命题的基础。的确，
对一般命题的理解显然是依赖于对基本命题的理解的。
Kn
Kn
4．42关于一个命题与n个基本命题的真值可能性符合和不符合，有 ( )=Ln 种
∑ K
K=0
可能情况。
“Def.”为“Definition”（定义）一词的编写。――译者
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．4661 当然，在重言式和矛盾式中，记号也是直相结合着的，即它们彼此之间有
一定的关系；但是这些关系是无指谓的，对符号而言它们不是本质的东西。
4.5 看来现在可以给出最一般的命题形式：即给出一个关于任何一种记号语言的命
题的描述，使得每一种可能的意义都能够用适合这种描述的符号来表达，而且，在适当
地选择名称指谓的前提下，每一个适合这种描述的符号都能表达一种意义。
显然，在这种描述中只能包含对于最一般的命题形式为本质的东西，否则，它就不
会是最一般的形式。
一般的命题形式的存在，为以下事实所证明：即没有任何一个命题，其形式是不能
须知（即构造）的。命题的一般形式是：事情是如此这般的。
4.51假如向我给出了所有的基本命题：那么问题就只在于我能用它们构造出一些什
么命题。这样我就有了全部命题，而且这就确定了这全部命题的界限。
4.52命题包括从所有基本命题的总体（自然，也从其确实是所有基本命题的总体）
中所能得出的一切。（因此，在一定的意义上可以说，一切命题都是基本命题的概括。）
4．53一般的命题形式是变项。
5命题是基本命题的真值函项。
（基本命题是自身的真值函项。）
5．01基本命题是命题的真值主目。
5．02 函项的主目很容易和名称的附标相混淆。因为从主目和附标我都能看出包含
它们的那些记号的指谓。
例如，当罗素写“＋c”时，其中“c”就是一个附标，它指明整个记号是用于基数
的加号。但是这种标记法是一种任意约定的结果，因而完全可能选择一个简单的记号来
代替“＋c”；可是，在“～p”中，“p”不是附标而是主目：除非已经先理解了“p”的
意义，“～p”的意义就不可能理解。（在名称尤利乌斯?恺撒中，“尤利乌斯”是一个附
标。附标总是对对象的描述的一部分，我们把它附加到对象的名称上面：例如尤利乌斯
家族中的这位恺撒。）
如果我没有弄错，弗雷格关于命题和函项的指谓理论，就是建立在混淆主目和附标
的基础之上的。弗雷格认为逻辑命题是名称，而它们的主目则是这些名称的附标。
5．1真值函项可以排成系列。
这是概率论的基础。
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）
（WW FW）（p，q）用话来说：如果 p则 q。（p?q）
（WWW F）（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）
（WF FW）（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）
（wF F F）（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．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．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．5422 对命题形式“A 判断 p”的正确解释必须表明：使判断成为一种无意义是
不可能的。（罗素的理论不满足这个条件。）
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没有思考着或想像着的主体这种东西。
如果我写一本书叫做《我所发现的世界》，我也应该在其中报道我的身体，并且说
明哪些部分服从我的意志，哪些部分不服从我的意志，等等。这是一种孤立主体的方法，
或者不如说，是在一种重要意义上表明并没有主体的方法；因为在这本书里唯独不能谈
到