Logik

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å.

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

• Matematik
• Matematisk logik
• Prædikatlogik
• Domslogik
• Modallogik
  • Epistemisk logik
  • Temporal logik
  • Dynamisk logik

Litteratur

• 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å

• deduktion, induktion (psykologi), konjunktion, logisk operator, modus ponens, modus tollens, fuzzy logik, udsagnslogik, prædikatlogik, mængdelære, hypotese, aksiom, bevis, matematisk bevis, matematisk sætning.

Wikimedia Commons har medier relateret til: Logik