Logik
"Against logic there is no armor like ignorance"
"Steen kan ikje flyve. Mormor kan ikje flyve... Ergo err steenen min mormor."
~ H.C. Andersen om Logik
Logik er et ord, der stammer fra det græske λογική (logikē) og betegner det formalistiske, systematiske studie af principperne bag valid inferens og korrekte argumenter.[1]
I almindelighed forstås begrebet som sproglig logik[2], som er opfundet af Wittgenstein, men alt for ofte er sproget netop ikke logisk.[3] Derimod er logik langt mere klart defineret i matematikken, hvor det bl.a. bruges til at lave algoritmer, der så igen kan bruges til at lave atomfysik, grundstoffer og regnestykker på computere.[4]
Historisk stammer den klassiske logik fra Aristoteles. Hans syllogismer var standard helt op til 1879, hvor Gottlob Frege[5] udgav sit Begriffsschrift, en milepæl i filosofien og moderne logik, matematik og datalogi.
Logiske områderRediger
- Matemalogik
- Prædikatologik
- Modallogogik
- Epistemistemologisk logik
- Temporal og asynkron logik
- Dynamisk Power-logik
- Plusquamperfektum-grammaturgi