Det Norske Akademis Ordbok

formallogikk

formallogikk 
substantiv
Informasjon
MODERAT BOKMÅLen
genus
maskulinum
ubestemt artikkel
en
FULL BOKMÅLSNORM
ETYMOLOGI
første ledd formal
BETYDNING OG BRUK
den delen av logikken som undersøker en argumentasjons gyldighet gjennom dens struktur, f.eks. forholdet mellom premisser og konklusjon
; formal logikk
SITAT
  • det er klart at dagens formallogikk er mer sofistikert enn Aristoteles’. Ingen seriøs filosof ville i dag forsvare Augustins oppfatning om at visse harmoniske, musikalske intervaller representerer Sannheten på en måte som er utilgjengelig for den menneskelige fornuft
     (Lars Fr. H. Svendsen Hva er filosofi 76 2010)