Uformel logik er en studieretning inden for logik og argumentationsteori, der vurderer og analyserer argumenter , som de bruges i naturligt sprog [1] [2] .
Ideen om uformel logik opstod i løbet af forskningen i kritisk tænkning og blev udviklet i form af en bevægelse af "uformelle logikere" i anden halvdel af det 20. århundrede blandt amerikanske og europæiske filosoffer, logikere, lingvister som en resultat af utilfredshed med den formelle logiks metoder til analyse af dagligdags ræsonnement [3] [4] . Samtidig har filosoffer i logikkens historie studeret ræsonnement i daglig tale siden Aristoteles ' tid [1] . I øjeblikket bruges midlerne til uformel logik også til at analysere videnskabelig (humanitær) viden [5] .
I russisksproget litteratur kan argumentationsteorien ellers kaldes uformel logik [6] .
Der er forskellige synspunkter på målene og formålene med uformel logik, dens forskel fra formel logik [7] .
amerikanske filosoffer Johnsonog Blair, en af grundlæggerne af "informal logicians"-bevægelsen, definerer uformel logik som "en udløber af logik, hvis opgave er at udvikle uformelle standarder, kriterier og procedurer for analyse, fortolkning, evaluering, kritik og konstruktion af argumentation i hverdagsdiskursen " [7] .
Den belgiske logiker Chaim Perelman karakteriserer uformel logik som argumenternes logik, i modsætning til den formelle logik som bevisernes logik [8] .
En række logikere anser den uformelle logiks hovedopgave for at være studiet af logiske fejl [7] [1] .
| Logikker | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntaks • Historie | |||||||||
| Logiske grupper |
| ||||||||
| Komponenter |
| ||||||||
| Liste over booleske symboler | |||||||||