Logik

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg
Den græske tænker og filosof Aristoteles anses som faderen til den klassiske logik.

Logik (fra græsk λόγος, logos = sprog, ord, system, samling) er en filosofisk disciplin, der undersøger formelle argumenters "gyldighed" – om de er logisk konsistente i forhold til de aksiomer eller regler, argumentet hviler på.

Logik kan inddeles i formel (Gyldighed) og informel (Holdbarhed) logik.

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"

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

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.

Historisk stammer den klassiske logik fra Aristoteles. Hans syllogismer var standard helt op til 1879, hvor Gottlob Frege udgav sin Begriffsschrift, en milepæl i filosofien og moderne logik, matematik og datalogi.

Områder[redigér | redigér wikikode]

Litteratur[redigér | redigér wikikode]

  • Hendricks, Vincent F., Thought 2 Talk: A Crash Course in Reflection and Expression, 2006, New York: Automatic Press / VIP ISBN 87-991013-7-8.
  • Hendricks, Vincent F. og Andur Pedersen, Stig., Moderne elementær logik, 2003, København: Forlaget Høst & Søn. 2. reviderede udgave, 2011
  • Hendricks, Vincent F. og Stjernfelt, Frederik., Tal en tanke: om klarhed og nonsens i tænkning og kommunikation, 2007, København: Samfundslitteratur.
  • Graham Priest, Logic: a very short introduction to logic, Oxford University Press, 2000. Her finder du også en glimrende bibliografi, hvis du vil vide endnu mere.
  • Torben Braüner: Logikkens Muligheder og Grænser. Aktuel Naturvidenskab, 6, 2006.

Se også[redigér | redigér wikikode]

Commons-logo.svg
Wikimedia Commons har medier relateret til: