Deduktivt system, i formallogisk betydning benyttes til en systematisk angivelse av et sett utsagn og deres innbyrdes avledbarhetsforhold. Man krever av et deduktivt system at det skal foreligge regler til spesifisering av utsagnenes struktur, en nøyaktig angivelse av det sett av forutsetninger (aksiomer, aksiomskjema) man antar for vedkommende system og en uttømmende oppregning av de tillatte slutningsregler. Man står prinsipielt fritt ved valg av forutsetninger og slutningsregler, og er bare bundet av kravet om selvmotsigelsesfrihet (og av metodologiske betraktninger over fruktbarhet). Det klassiske eksempel på deduktive systemer er den evklidske geometri.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

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

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