Abstract

Stanisław Leśniewski postuloval systém logiky a základu matematiky, jenž se do značné míry liší od systému, který navrhli Russell a Whitehead ve své knize Principia Mathematica. Velmi odlišný je zejména Leśniewského kalkul jmen a pojetí jmen, jež jsou jeho součástí. Russellova teorie deskripcí hrála v historii filozofie nesrovnatelně důležitější roli než Leśniewského teorie, proto se snažili někteří Leśniewského pokračovatelé přiblížit Leśniewského pojetí jmen Russellově teorii. Existuje hned několik takových návrhů, tento článek se ale zaměřuje pouze na interpretaci, kterou navrhl Arthur N. Prior. Prior interpretoval Leśniewského pojetí jmen jako třídová jména (class names). Tato interpretace je odmítána tak významnými badateli, jako je Peter Simons nebo Rafal Urbaniak. Podle Simonse neodpovídají třídová jména Leśniewského pojetí ontologie. Urbaniak o třídových jménech napsal, že Prior představil svou interpretaci nejasně. Cílem tohoto článku je ukázat, že pokud je na celý problém nahlíženo z formálního hlediska, může mít Priorovo pojetí opodstatnění.