Typeteori, teori som klassifiserer tingene og våre betegnelser og begreper for dem, i lavere og høyere typer. Enkeltting er av type 1, klasser av enkeltting av type 2, klasser av klasser av enkeltting av type 3 osv. Typeteorier oppstod i forbindelse med forsøkene på å unngå de logiske motsigelser (paradokser) som oppstår om logikken ikke gjør bruk av en regel om at alle elementer i en klasse skal være av samme type.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål om artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

Du må være logget inn for å kommentere.