Leśniewského pojetí jmen jako třídových jmen

Abstract

Stanislaw Leśniewski postuloval system logiky a zakladu matematiky, jenž se do znacne miry lisi od systemu, který navrhli Russell a Whitehead ve sve knize Principia Mathematica . Velmi odlisný je zejmena Leśniewskeho kalkul jmen a pojeti jmen, jež jsou jeho soucasti. Russellova teorie deskripci hrala v historii filozofie nesrovnatelně důležitějsi roli než Leśniewskeho teorie, proto se snažili někteři Leśniewskeho pokracovatele přibližit Leśniewskeho pojeti jmen Russellově teorii. Existuje hned několik takových navrhů, tento clanek se ale zaměřuje pouze na interpretaci, kterou navrhl Arthur N. Prior. Prior interpretoval Leśniewskeho pojeti jmen jako třidova jmena ( class names ). Tato interpretace je odmitana tak významnými badateli, jako je Peter Simons nebo Rafal Urbaniak. Podle Simonse neodpovidaji třidova jmena Leśniewskeho pojeti ontologie. Urbaniak o třidových jmenech napsal, že Prior představil svou interpretaci nejasně. Cilem tohoto clanku je ukazat, že pokud je na celý problem nahliženo z formalniho hlediska, může mit Priorovo pojeti opodstatněni.