4 najvažnije vrste logike (i karakteristike)

Logika je proučavanje rasuđivanja i zaključivanja. Skup je pitanja i analiza koji su omogućili da se razumije kako se valjani argumenti razlikuju od zabluda i kako do njih dolazimo.

Za to je bitan razvoj različitih sustava i oblika učenja, što je rezultiralo s četiri glavne vrste logike. U nastavku ćemo vidjeti o čemu se radi u svakom od njih.

• Preporučeni članak: "10 vrsta logičkih i argumentiranih zabluda"

Što je logika?

Riječ "logika" potječe od grčkog "logos" koji se može prevesti na različite načine: riječ, misao, argument, princip ili razlog neke su od glavnih. U tom smislu, logika je proučavanje principa i rasuđivanja.

Svrha ove studije je razumjeti različite kriterije zaključivanja i kako dolazimo do valjanih dokaza, za razliku od nevaljanih dokaza. Dakle, osnovno pitanje logike je što je ispravno razmišljanje i kako možemo razlikovati valjani argument od zablude?

Da bi odgovorila na ovo pitanje, logika predlaže različite načine klasificiranja izjava i argumenata, bilo da se oni javljaju u formalnim sustavima ili u prirodnom jeziku. Konkretno, analizira prijedloge (izjavne rečenice) koji mogu biti istiniti ili lažni, kao i zablude, paradoksi, argumenti koji uključuju uzročnost i, općenito, teoriju argumentacija.

Općenito govoreći, da bi sustav smatrali logičnim, moraju ispunjavati tri kriterija:

• Dosljednost (ne postoji proturječnost između teorema koji čine sustav)
• Čvrstoća (testni sustavi ne uključuju lažne zaključke)
• Potpunost (sve istinite rečenice moraju biti provjerljive)

4 vrste logike

Kao što smo vidjeli, logika koristi različite alate kako bi razumjela obrazloženje kojim se opravdavamo. Tradicionalno se prepoznaju četiri glavne vrste logike, svaka s nekim podtipovima i specifičnostima. O čemu se radi, vidjet ćemo u nastavku.

1. Formalna logika

Također poznata kao tradicionalna logika ili filozofska logika, to je proučavanje zaključaka s čisto formalnim i eksplicitnim sadržajem. Riječ je o analizi formalnih izjava (logičkih ili matematičkih), čije značenje nije suštinsko, već njegovi simboli imaju smisla zbog korisne primjene koja im je dana. Filozofska tradicija iz koje potonji proizlazi upravo se naziva "formalizmom".

Zauzvrat je formalni sustav onaj koji se koristi za donošenje zaključka iz jedne ili više premisa. Potonji mogu biti aksiomi (samorazumljivi prijedlozi) ili teoremi (zaključci iz fiksnog skupa pravila zaključivanja i aksioma).

Zaključci do kojih smo došli formalnom logikom, ako se temelje na valjanim premisama i ako u logičkim operacijama nema grešaka, istinite su same po sebi. Zapravo to dovodi do otvorene rasprave o tome pripada li formalna logika u svijet znanosti. ili pripadaju drugom polju znanja, jer ne opisuju stvarnost, već svoja vlastita pravila funkcioniranje.

2. Neformalna logika

Sa svoje strane, neformalna logika je novija disciplina, koja proučava, procjenjuje i analizira argumente primijenjene u prirodnom ili svakodnevnom jeziku. Stoga prima kategoriju "neformalno". To može biti i govorni i pisani jezik, ili bilo koja vrsta mehanizma i interakcije koji se koriste za komunikaciju nečega. Za razliku od formalne logike, koja bi se, primjerice, odnosila na proučavanje i razvoj računalnih jezika; formalni jezik odnosi se na jezike i jezike.

Dakle, neformalna logika može analizirati sve, od osobnog obrazloženja i argumenata do političkih rasprava, pravni argumenti ili premise koje mediji šire poput novina, televizije, interneta, itd.

3. Simbolička logika

Kao što naziv sugerira, simbolička logika analizira odnose između simbola. Ponekad se koristi složenim matematičkim jezikom, jer je zadužen za proučavanje problema s kojima tradicionalna formalna logika čini komplicirane ili ih je teško riješiti. Obično se dijeli na dvije podvrste:

• Logika predikativa ili prvog reda: to je formalni sustav sastavljen od formula i kvantificiranih varijabli
• Prijedlog: to je formalni sustav sastavljen od prijedloga, koji su sposobni stvoriti druge prijedloge putem konektora koji se nazivaju "logičke veze". U tome gotovo da nema mjerljivih varijabli.

4. Matematička logika

Ovisno o autoru koji je opisuje, matematička logika može se smatrati vrstom formalne logike. Drugi smatraju da matematička logika uključuje primjenu formalne logike na matematiku i primjenu matematičkog zaključivanja na formalnu logiku.

Široko govoreći, riječ je o primjeni matematičkog jezika u konstrukciji logičkih sustava koji omogućuje reprodukciju ljudskog uma. Na primjer, to je bilo vrlo prisutno u razvoju umjetne inteligencije i u računalnim paradigmama proučavanja spoznaje.

Obično se dijeli na dvije podvrste:

• Logičnost: radi se o primjeni logike u matematici. Primjeri ove vrste su teorija dokaza, teorija modela, teorija skupova i teorija rekurzije.
• Intuicionizam: drži da su i logika i matematika metode čija je primjena dosljedna za izvođenje složenih mentalnih konstrukcija. Ali, kaže da logika i matematika same po sebi ne mogu objasniti duboka svojstva elemenata koje analiziraju.

Induktivno, deduktivno i modalno obrazloženje

S druge strane, postoje tri vrste zaključivanja koja se također mogu smatrati logičkim sustavima. To su mehanizmi koji nam omogućuju da zaključke donosimo iz premisa. Deduktivno obrazloženje čini ovo izdvajanje iz opće premise u određenu premisu. Klasičan primjer je onaj koji je predložio Aristotel: Svi su ljudi smrtni (to je općenita premisa); Sokrat je čovjek (to je glavna premisa), i konačno, Sokrat je smrtnik (to je zaključak).

Sa svoje strane, induktivno je rasuđivanje postupak kojim se izvodi zaključak u suprotnom smjeru: od određenog do općeg. Primjer toga bio bi "Sve vrane koje vidim su crne" (određena premisa); pa su sve vrane crne (zaključak).

Napokon, obrazloženje ili modalna logika temelje se na vjerojatnosnim argumentima, odnosno izražavaju mogućnost (modalitet). To je formalni logički sustav koji uključuje pojmove kao što su "mogao", "smije", "mora", "na kraju".

Bibliografske reference:

• Groarke, L. (2017). Neformalna logika. Stanfordska enciklopedija filozofije. Pristupljeno 02. 10. 2018. Dostupno u https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Osnove filozofije. Pristupljeno 02. 10. 2018. Dostupno u https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Otmica, razum i znanost: procesi otkrića i objašnjenja. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Logička svojstva: identitet, postojanje, predviđanje, nužnost, istina. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Filozofija logike. Cambridge, MA.: Harvard University Press.
• Shapiro, S. i Kouri, S. (2018). Klasična logika. Pristupljeno 02. 10. 2018. Dostupno u programu Logic (2018). Osnove filozofije. Pristupljeno 02. 10. 2018. Dostupno u https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modalna logika. Stanfordska enciklopedija filozofije. Pristupljeno 02. 10. 2018. Dostupno u https://plato.stanford.edu/entries/logic-modal/