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.
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.