typeteori - logikk

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.

Les mer i store norske leksikon

Kommentarer

Kommentaren din publiseres her. Fagansvarlig eller redaktør svarer når de kan.

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

eller registrer deg