From Wikipedia, the free encyclopedia
Logikk er læren om lovene og reglene som gjør tenkningen, resonneringen og argumentasjonen gyldig («logisk»).
Den klassiske logikk går tilbake på Aristoteles’ syllogismelære. Helt siden den gang har logikken utgjort en av filosofiens hoveddisipliner.
Den moderne logikk kan spores tilbake til 1800-tallet. Det var på denne tiden at bl.a. George Boole, Augustus De Morgan og Gottlob Frege gjorde de første forsøkene på gi logikken en matematisk fremstilling (se boolsk algebra og formal logikk). Den moderne logikkens mest grunnleggende gren er setningslogikken. Andre grener er predikat-, klasse- og relasjonslogikken.
I løpet av 1900-tallet ble logikken videre utvidet til å gi rom for usikkerhet og sannsynlighet. Resultatet var utviklingen av bl.a. flerverdi-, fuzzy- og kvantelogikken.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.