Neformální logika je studium argumentů, jak jsou prezentovány v běžném jazyce, v kontrastu s prezentacemi argumentů v umělém, formálním nebo technickém jazyce (viz formální logika). Johnson a Blair (1987) definují neformální logiku jako „odvětví logiky, jehož úkolem je rozvíjet neformální standardy, kritéria, postupy pro analýzu, interpretaci, hodnocení, kritiku a konstrukci argumentace v každodenním diskurzu“.
Názorové kousky novin poskytují ilustrativní učebnicové příklady neformální logiky (Walton 1989), obvykle proto, že tyto kousky jsou krátké a často mylné. Nicméně neformální logika se používá také k rozumování o událostech v lidských a společenských vědách. Ve skutečnosti většina úvah od známých faktů k neznámým faktům, které používají přirozený jazyk, i když v kombinaci s matematickým nebo statistickým uvažováním, může být považována za aplikaci neformální logiky, pokud se neopírá o další empirické důkazy.
Matematika a přírodní vědy
V matematice je argumentace, která se vyskytuje v důkazech, i když neformální, často považována za blízký aproximaci k formálnímu důkazu, tedy k takovému, který je prováděn ve formálním systému logiky. Všimněte si, že v praxi je však oddělení neformálního matematického důkazu od jeho formální idealizace tak velké, že se téměř nikdo nepokouší tuto mezeru překlenout. Tato mezera vzniká proto, že většina kroků v neformálních důkazech hromadí obrovské množství jednoduchých logických závěrů, nebo jiných důkazních kroků, které jsou pro většinu čtenářů s dostatkem matematických zkušeností jednoduché. Navíc mnoho matematických badatelů považuje důkaz za něco jiného než sled vývojových kroků. Nicméně, jedním z cílů projektu Mizar je formalizace celého souboru neformálních důkazů matematiky.
V teoretické fyzice se argumenty používají k odvození nových vzorců nebo fyzikálních principů. Tyto argumenty často používají matematiku, i když v mnoha případech vztahy mezi tvrzeními v derivaci obsahují matematicky závažné mezery. Příkladem těchto matematických mezer je neschopnost prokázat konvergenci nekonečné řady nebo integrálu (nebo hůř, spolehnout se na výraz, o jehož hodnotě je známo, že je divergentní) nebo ignorování veličin, které jsou v limitujícím smyslu malé. Navzdory matematickým mezerám jsou argumenty používané ve fyzikálních derivacích obecně považovány za platné argumenty.
V sociálních vědách je mnoho argumentů založeno na použití statistiky k prokázání korelace nebo její absence mezi množinami proměnných, jako jsou úrovně příjmů a vzdělání, etnicita a bohatství a tak dále. Takové argumenty jsou založeny na teoriích testování statistických hypotéz spolu s empirickými daty nahromaděnými průzkumem veřejného mínění, sběrem historických záznamů, dlouhodobými studiemi atd. Ekonometrie je obor ekonomie, který aplikuje statistiku do ekonomie. Kromě statistiky používají ekonomové širokou škálu analytických nástrojů, například kalkul, kvalitativní uvažování o soustavách rovnic, asymptotickou analýzu (teorie růstu) a tak dále.
Extrémně složitou formou uvažování je právní uvažování, protože
zahrnuje takové úvahy, jako je právní precedens a existující právo. Povaha tvrzení používaných v právním uvažování je jedním z témat právní teorie.
no:Uformell logikk
uk:Неформальна логіка
zh:]] 逻辑