Den här artikeln behöver fler eller bättre källhänvisningar för att kunna verifieras. (2024-09) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Logik, Formellt system |
---|
Logiska system |
|
Logik är i bred bemärkelse läran om vad som gör ett resonemang eller en argumentation giltig. Den vetenskapliga disciplinen logik är ett omfattande och vittförgrenat ämnesområde på gränsen mellan filosofi och matematik.[1] Den har som utgångspunkt studiet av giltiga slutledningar baserat på språkliga entiteters form, till skillnad från dessas innehåll.[2] Logik som formell vetenskap har sitt ursprung i Aristoteles första systematiseringar av så kallade syllogismer, korrekta slutledningar givet två premisser.[3]