"Innføring i logikk"

Abstract

Når vi til daglig snakker om logikk, er det gjerne fordi vi vil si noe om hva som er rimelige antakelser, sannsynlige sammenhenger eller normal praksis. Det er logisk at glasset står på høyre side av kuverten når de fleste av oss er høyrehendt og det er logisk at glatt føre var årsaken til at bilen kjørte utfor veien. I formal logikk dreier det seg ikke om å vurdere sannsynlighet eller rimelighet. Logikk som formal vitenskap dreier seg om former, relasjoner og strukturer heller enn innhold. Vi skal se at formal logikk likevel tjener til å avdekke språk- og tankerelasjoner mellom begreper og utsagn som har meningsinnhold.