Uuno Saarnio (1897 – 1977)

Der finnische Mathematiker, Logiker und Philosoph hat sich intensiv mit dem Zusammenhang von Philosophie, Logik und Mathematik beschäftigt und den Nominalismus kritisiert.

Als Gegenstück entwickelte Saarnio ein auf der Typentheorie von Russell basierendes Konstitutionsprogramm der Begriffe und eine bezeichnungshierarchische Worttheorie.

Eine logische Paradoxie entsteht nach Saarnio, wenn in einer transitiven Klasse reflexive Fälle vorkommen. Das Paradoxe tritt in seiner Worttheorie nicht auf.

Seine Worttheorie verbindet auf konsequente Weise die Signifikationsrelation und die ∈-Relation. Auf diese Weise überwindet Saarnio die Kennzeichnungstheorie von Russell und den logischen Formalismus von Carnap.