Logik: Forskelle mellem versioner
Content deleted Content added
Givet en bedre oversigt og forklaring af distinktionen mellem formel og informel logik som før var direkte forkert. |
Pkj61 (diskussion | bidrag) m rettet skrivefejl to steder (manglende "er") |
||
Linje 6:
I formel logik tester man gyldigheden, som har med argumenters struktur og form at gøre. I 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 er en kat er du grøn".
Præmis 2: "Jeg er en kat"
Linje 20:
K: Derfor B
Dette argument er gyldigt, dvs. at konklusionen følger af præmisserne. Men det er ikke holdbart. Da udsagnet: "hvis du er en kat er du grøn" ikke er plausibelt og kan afvises ved simpel observation.
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.
| |||