nepredikativní definice (funkce)

nepredikativní definice (funkce), [-dy-tý- -ny-], log. definice nějakého objektu, která předpokládá celek souboru, do něhož daný objekt patří. Takové definice a obdobně i n. f. jsou spjaty s bludným kruhem podmíněným přijetím nesprávně utvořených celků. B. Russell eliminoval n. d. (f.) pomocí teorie typů. V.t. predikativní definice (funkce).


zpět