Logik: Forskelle mellem versioner
Content deleted Content added
KnudW (diskussion | bidrag) m Gendannelse til seneste version ved Patchfinder, fjerner ændringer fra 2.106.52.73 (diskussion | bidrag) |
No edit summary |
||
Linje 1:
[[File:Aristoteles Louvre.jpg|thumb|Den græske tænker og filosof [[Aristoteles]] anses som faderen til den klassiske logik.]]
'''Logik''' (fra [[Græsk (sprog)|græsk]] λόγος, ''[[logos]]'' = [[sprog]], [[ord]], [[system]], [[samling]]) er en [[filosofi]]sk disciplin, der undersøger formelle [[Argumentation|argumenters]] "gyldighed" – om de er logisk konsistente i forhold til de [[aksiom]]er eller regler, argumentet hviler på.
Logik kan inddeles i formel og informel logik. Formel logik tester man gyldigheden, som har med argumenters struktur og form at gøre. Informel logik tester holdbarheden, som har med argumentets indhold og semantik at gøre. I formel logik kan argumentet være gyldigt men ikke holdbart. Tag f.eks. følgende argument:
Præmis 1: "Hvis du en kat er du grøn"
Præmis 2: "Jeg er en kat"
Konklusion 3: "Jeg er grøn."
Argumentet er gyldigt, da konklusionen følger af præmisserne. Vi kan formalisere argumentet således:
P1: Hvis A så B
P2: A
Konklusion: Derfor B
Dette argument er gyldigt, dvs. at konklusionen følger af præmisserne. Men det er ikke holdbart. Da udsagnet !hvis du en kat er du grøn" ikke er plausibelt og kan afvises ved simpel obersavation.
Om et argument er "holdbart", dvs. hvad man eventuelt kunne udlede fra dets struktur, er i 'formel logisk' sammenhæng ikke relevant. Det er et "filosofisk logisk" interesseområde. Deraf skelnen mellem formel og filosofisk logik. (Et eksempel kunne være, om en sætning kan være andet end KUN sand og falsk, som det hævdes i klassisk logik, men også have andre sandhedsværdier.
| |||