FI1005-Logikk

Logikk

Argumentasjonsteori

Logisk argument

Logisk gyldige argumenter er gyldige pga den logiske formen til setningene i argumentet. Et argument er ikke sant eller falskt, men gyldig eller ugyldig. Det er gyldig dersom konklusjonen er underbygd av premissene, og det er logisk gyldig dersom det er umulig at premissene er sanne og at konklusjonen er falsk.

Eksempel:
Pekka bor i Finland
Finland ligger i Europa.
$\therefore$ Pekka bor i Europa.

Logisk ugyldig argument med sanne premisser og sann konklusjon

Pekka er en finne.
I Finland bor det finner.
$\therefore$ Pekka bor i Finland.

Hvis Trondheim er i Norge, er Trondheim i Europa.
Trondheim er i Europa.
$\therefore$ Trondheim er i Norge.

Abduktivt argument

I et abduktivt argument følger konklusjonen av at første premiss er sant, og følgene premiss er de mest sansynlige premissene ut av det første.

ad hominem-feilslutningen

Fra latin: argumentum ad hominem, «argument mot mennesket» er en feilslutting der en tilbakeviser et argument ved å gå til angrep mot personen som fremviser argumentet, heller enn å motbevise argumentet. Også kjent som personangrep.

Single turnstile ⊢

Single turnstile $\vdash$, relaterer til eksistensen av bevis for et logisk argument. For eksempel kan

$A_1, A_2, \cdots, A_n \vdash C$

leses som at det finnes et bevis med konklusjonen $C$, der premissene er $A_1, A_2, \cdots, A_n$.

Double turnstile ⊨

Double turnstile $\vDash$, relaterer til utfallet av logiske argumenter. For eksempel kan

$P, P \rightarrow Q \vDash Q$

leses som at setningene $P$, $P \rightarrow Q$ medfører $Q$.