5.5351

Vi sono certi casi in cui sì è tentati di usare espressioni della forma «a = a» o «p ⊃ p» e simili. In effetti ciò è evidente quando si vorrebbe parlare dell’archetipo: proposizione, cosa, ecc. Così nei Principles of Mathematics Russell ha reso in simboli, mediante p ⊃ p, il nonsenso «p è una proposizione», e lo ha premesso come ipotesi a certe proposizioni in modo che i loro posti per l’argomento potessero essere riempiti solo da proposizioni.