[53] 为了把实证主义的反形而上学热情诊断为一种弑父形式，并不一定要相信精神分析(我认为它还处于形而上学阶段)具有“科学”性。
[54] 为了简单而使用“Pos(a,b)”；其实我们应使用位置和动量或者用。的“状态”。必要的修正是微不足道的。我可以说我并不预先假定变项“a”、“b”等都属于同一类型或同一语义学范畴。
[55] 或如卡尔纳普所说：“a能够使完全句‘Pos(b，c)’为真”，见卡尔纳普对他的初始的“可实现的”(一个元语言术语，但与我的“Put”相矛盾)的解释，载《可检验性》，第11节，第455页，解释2
[56] 这些定义是：(5)Opes(a)≡(a)pos(a,b)。-(6)Oput(a)≡(b)(c)Put(a,b，c)。——其次我们有了“双边还原句”：(7)Ask(a,b)
(th(a，b)≡Utt(a,b))。——其他定义是：(8)：Thp(a)≡(Eb)Th(a,b)。-(9)Sp(a)≡(Thp(a)&((b)～Pos(a,b))VOpos(a))。——另外一种(或附加定义)是：“S[(a)≡(Thp(a)&(b)～Utt(a，b))”。-(10)Knpos(a,b,c)≡(Pos(b,c)&Th(a，“Pos(b，c)”))。-(11)Knput(a，b，c，d)≡(Put(b，c，d)&Th(a，“Put(b，c，d)”))。-(12)Knth(d，b，c)≡(Th(b，c)&Th(a,“Th(b，c)”))。-(13)Unkn(a)≡((Eb)(c)(Th(a,b)&(a≠c)～Knth(c,a,b)))。-(14)Kn(a,b)≡((c)(d)(e)((b=“Pos(c，d)”&Knposs(a,c,d))v(b=“Put(c，d，e))”&Knput(a，c，d，e))v(b=“Th(c，d)”&Knth(a，c，d)))]。-(15)Verax(a)≡(b)(Th(a,b)≡(Kn(a,b))。-(16)Okn(a)≡(b)(c)(d)(e)(f)(g)(h)(((a≠b)
(Knput(a，b，c，d)≡Put(b，c，d)))&((a≠e)
(Knpos(a，e，f)≡Pos(e，f)))&((a≠g)
(Knth(a，g，h)≡Th(g，h))))&Verax(o))。——我们很容易证明“Unkn(a)&Okn(a)”意味着a的独特性；另外我们还可以沿着可求助于斯宾诺莎的路线而由“opos(a)”证明独特性，如果我们采取笛卡儿公理的话：a≠c
(Ec)((Pos(a，c)&～Pos
(b，c))v(～Pos(a,c)&Pos(b，c)))。
(校样上补充的)我们的定义可用塔尔斯基的语义学谓项“T(a)”即“a是真陈述”加以简化。那么(14)可代之以Kn(a,b)≡Th(a，b)&T(b)；(15)则可代之以Verax(a)≡(b)Th(a,b)
T(b)；(16)代之以Okn(a)≡(b)T(b)
Kn(a,b)。
