Typeteori er en 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 og så videre.

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 eller kommentarer til artikkelen?

Kommentaren din vil bli publisert under artikkelen, og fagansvarlig eller redaktør vil svare når de har mulighet.

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