Informell logik är ett studieområde inom logik och argumentationsteori som utvärderar och analyserar argument som de används i naturligt språk [1] [2] .
Idén om informell logik uppstod under forskningen om kritiskt tänkande och utvecklades i form av en rörelse av "informella logiker" under andra hälften av 1900-talet bland amerikanska och europeiska filosofer, logiker, lingvister som en resultat av missnöje med den formella logikens metoder för analys av vardagliga resonemang [3] [4] . Samtidigt, i logikens historia , har filosofer studerat resonemang i dagligt tal sedan Aristoteles tid [1] . För närvarande används den informella logikens medel för att analysera vetenskaplig (humanitär) kunskap [5] .
I ryskspråkig litteratur kan argumentationsteorin kallas för informell logik annars [6] .
Det finns olika synpunkter på målen och målen för informell logik, dess skillnad från formell logik [7] .
Amerikanska filosoferna Johnsonoch Blair, en av grundarna av rörelsen "informella logiker", definierar informell logik som "en utlöpare av logik vars uppgift är att utveckla informella standarder, kriterier och procedurer för analys, tolkning, utvärdering, kritik och konstruktion av argumentation i vardaglig diskurs. ” [7] .
Den belgiske logikern Chaim Perelman karakteriserar informell logik som argumentens logik, i motsats till formell logik som bevisens logik [8] .
Ett antal logiker anser att den informella logikens huvuduppgift är att studera logiska fel [7] [1] .
| Logik | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntax • Historia | |||||||||
| Logiska grupper |
| ||||||||
| Komponenter |
| ||||||||
| Lista över booleska symboler | |||||||||