impredikativ
impredikativ (av latin nekande in- och predikativ), inom logik och matematik ett slag av definition varigenom en storhet A bestäms i termer av den helhet i vilken A ingår; förfarandet är cirkulärt i den mån man menar att helheten i sin tur är bestämd av sina delar.
På grund av motsägelser, på vilka Russells paradox är ett exempel, som kan följa av sådana definitioner har försök gjorts att undvika dem vid matematikens uppbyggnad (se intuitionism och typteori). Dessa definitioner är dock väsentliga inom vanlig mängdteori, där man på annat sätt försöker undvika motsägelser.
Information om artikeln
Källangivelse