| |
Logik, Formellt system
- Bivalent logik
- Flervärd logik
- Modallogik
- Temporal logik
- Matematisk logik
- Filosofisk logik
- Metalogik
- Boolesk algebra
|
Logiska system
- Syllogistisk logik
- Klassisk logik, Satslogik
- Predikatlogik
- Första ordningens logik
- Andra ordningens logik
- Intuitionistisk logik
- Parakonsistent logik
- Substrukturell logik
- Relevanslogik
- Linjär logik
- Suddig logik (Fuzzy logic)
- Sannolikhetslogik
- Relationell logik
- Deontisk logik
|
Denna artikel behandlar vetenskapgrenen logik. För logik i betydelsen formellt system, se Formellt system.
Logik är en av våra äldsta vetenskaper. Människan har förmodligen sedan "urminnes tider" haft förmågan att omedvetet dra korrekta slutsatser från givna påståenden, abstrahera gemensam information från flera idéer etc. Men det skulle dröja ända till antikens Grekland innan någon på allvar började studera hur dessa resonemang verkligen hänger ihop. Logikens ursprung brukar anges som Aristoteles första systematiseringar av korrekta respektive inkorrekta slutledningar. (Se syllogismer). |
|
|
