nepredikativní definice (funkce)

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

Vytvořeno: 14. 3. 2000
Aktualizováno: 16. 1. 2007
Autor: -red-

Odkazující hesla: predikativní definice (funkce).