total descendants::0 total children::0 |
Je lakave argumenty funkcii zamenit s indexmi mien. Tak na argumente, ako na indexe totiz poznavam vyznam znaku, ktory ich obsahuje. V Russellovom "+c" je napr. "c" indexom, ktory poukazuje na to, ze cely tento znak je znakom scitania pre kardinalne cisla. No toto oznacenie spociva na lubovolnej dohode a namiesto "+c" by sme mohli zvolit aj nejaky jednoduchy zna; v "~p" vsak "p" nie je indexom, ale argumentom: zmyslu "~p" nemozeme porozumiet bez toho, ze by sme predtym porozumeli zmyslu "p" (V mene Iulius Caesar je "Iulius" indexom. Index je vzdy castou opisu toho predmetu, ku ktoreho menu ho pripajame. Napr. ten Caesar z rodu Iuliovcov)/ Zamena argumentu a indexu je, ak sa nemylim, zakladom Fregeho teorie o vyzname viet a funkcii. Pre Fregeho boli vety logiky menami a argumenty indexy tychto mien. |
| |||||||||||||||||||||||