Formal logikk, den del av logikken som undersøker argumentasjoners gyldighet med henblikk på den struktur eller form argumentasjonen oppviser i kraft av den rent formale (ikke innholdsmessig bestemte) forbindelse mellom de forskjellige ledd i en argumentasjon, f.eks. mellom premisser og konklusjon.

Som grunnlegger av den formale logikk regnes gjerne Aristoteles, særlig ved syllogismelæren. Formal logikk har gjennomgått en påfallende sterk utvikling det siste hundreåret, og kan i dag karakteriseres som en omfattende grensedisiplin mellom matematikk og filosofi, ofte kalt symbolsk (el. matematisk) logikk eller logistikk. Utenfor den formale logikk faller stort sett slike grener av logikken som induksjonslogikk, sannsynlighetsteori og semantikk. Et hovedverk i den moderne formale logikk er Bertrand Russell og A. N. Whitehead: Principia Mathematica (3 bd., 1910–13).

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.