4 najvažnije vrste logike (i značajke)

Logika je proučavanje rasuđivanja i zaključivanja. To je skup pitanja i analiza koji su nam omogućili da shvatimo kako se valjani argumenti razlikuju od pogrešaka i kako dolazimo do njih.

Za to je neophodno razviti različite sustave i oblike studija, koji su doveli do četiri glavne vrste logike. U nastavku ćemo vidjeti što je svaki od njih.

• Preporučeni članak: ["10 vrsta logičkih i argumentativnih zabluda"] (10 vrsta logičkih i argumentativnih pogrešaka)

Što je logika?

Riječ "logika" dolazi od grčkog "logosa" koji se može prevesti na različite načine: riječ, misao, argument, načelo ili razum su neke od glavnih. U tom smislu, logika je proučavanje načela i rasuđivanja.

Cilj ovog istraživanja je razumijevanje različitih kriterija zaključivanja i načina na koji dolazimo do valjanih demonstracija, za razliku od nevažećih demonstracija. Dakle, osnovno pitanje logike je ono što je ispravno razmišljanje i kako možemo razlikovati valjani argument i zabludu??

Da bismo odgovorili na ovo pitanje, logika predlaže različite načine klasificiranja tvrdnji i argumenata, bilo da se javljaju u formalnom sustavu ili na prirodnom jeziku. Naime, on analizira propozicije (deklarativne rečenice) koje mogu biti istinite ili lažne, kao i zablude, paradokse, argumente koji uključuju uzročnost i, općenito, teoriju argumentacije..

Općenito govoreći, ako sustav smatramo logičnim, moraju zadovoljiti tri kriterija:

• dosljednost (nema proturječja između teorema koji čine sustav)
• čvrstoća (testni sustavi ne uključuju lažne zaključke)
• potpunost (sve prave rečenice moraju biti dokazane)

4 vrste logike

Kao što smo vidjeli, logika koristi različite alate za razumijevanje rasuđivanja koje koristimo da bismo nešto opravdali. Tradicionalno se prepoznaju četiri glavne vrste logike, svaka s nekim podtipovima i specifičnostima. Vidjet ćemo ispod čega se radi.

1. Formalna logika

Također poznat kao tradicionalna logika ili filozofska logika, radi se o proučavanju zaključaka s čisto formalnim i eksplicitnim sadržajem. Riječ je o analizi formalnih izjava (logičkih ili matematičkih), čije značenje nije intrinzično, ali njegovi simboli imaju smisla korisnom aplikacijom koja se daje. Filozofska tradicija iz koje potječe potonje naziva se upravo "formalizam".

S druge strane, formalni sustav je onaj koji se koristi za izvođenje zaključka iz jednog ili više prostora. Potonje mogu biti aksiomi (samo-očigledne tvrdnje) ili teoremi (zaključci fiksnog skupa pravila zaključivanja i aksioma).

2. Neformalna logika

Sa svoje strane, neformalna logika je novija disciplina, koja proučavati, vrednovati i analizirati argumente prikazane na prirodnom ili svakodnevnom jeziku. Stoga dobiva kategoriju "neformalnih". To može biti govorni ili pisani jezik ili bilo koja vrsta mehanizma i interakcije koja se koristi za komunikaciju. Za razliku od formalne logike, koja bi se, primjerice, mogla primijeniti na proučavanje i razvoj računalnih jezika; službeni jezik odnosi se na jezike i jezike.

Dakle, neformalna logika može analizirati iz osobnog rasuđivanja i argumenata političke rasprave, pravne argumente ili premise koje distribuiraju mediji kao što su novine, televizija, internet itd..

3. Simbolička logika

Kao što mu ime kaže, simbolička logika analizira odnose između simbola. Ponekad koristi složeni matematički jezik, jer je odgovoran za proučavanje problema koje tradicionalna formalna logika smatra teškom ili teško rješivom. Obično se dijeli na dva podtipa:

• Predikativna logika ili prvi poredak: to je formalni sustav sastavljen od formula i kvantitativnih varijabli
• propozicionalni: to je formalni sustav sastavljen od propozicija, koje su sposobne stvoriti druge propozicije kroz konektore koji se nazivaju "logički vezni". U tome gotovo da i nema kvantitativnih varijabli.

4. Matematička logika

Ovisno o autoru koji ga opisuje, matematička se logika može smatrati tipom formalne logike. Drugi smatraju da matematička logika uključuje i primjenu formalne logike u matematici i primjenu matematičkog rasuđivanja u formalnoj logici..

Općenito govoreći, primjena matematičkog jezika u konstrukciji logičkih sustava omogućuje reprodukciju ljudskog uma. Primjerice, ovo je vrlo prisutno u razvoju umjetne inteligencije iu računalnim paradigmama proučavanja spoznaje..

Obično se dijeli na dva podtipa:

• logicizam: radi se o primjeni logike u matematici. Primjeri ove vrste su teorija testa, teorija modela, teorija skupova i teorija rekurzije.
• intuitionism: tvrdi da su logika i matematika metode čija je primjena konzistentna za izvođenje složenih mentalnih konstrukcija. Ali, on kaže da logika i matematika sami po sebi ne mogu objasniti duboka svojstva elemenata koje analiziraju.

Induktivno, deduktivno i modalno rezoniranje

S druge strane, Postoje tri vrste rezoniranja koje se također mogu smatrati logičnim sustavima. To su mehanizmi koji nam omogućuju donošenje zaključaka iz premisa. Deduktivno rasuđivanje čini takvo izvlačenje iz opće premise određenoj premisi. Klasičan primjer je onaj koji je predložio Aristotel: Svi ljudi su smrtni (ovo je opća premisa); Sokrat je čovjek (to je glavna premisa), i na kraju, Sokrat je smrtan (to je zaključak).

S druge strane, induktivno rezoniranje je proces kojim se zaključuje u suprotnom smjeru: od određenog prema općem. Primjer za to bi bio: "Sve vrane koje vidim su crne" (određena premisa); onda su sve vrane crne (zaključak).

Konačno, rasuđivanje ili modalna logika temelje se na vjerojatnosnim argumentima, tj. Izražavaju mogućnost (modalitet). To je formalni logički sustav koji uključuje pojmove kao što je "mogao", "može", "treba", "na kraju".

Bibliografske reference:

• Groarke, L. (2017.). Neformalna logika. Stanfordova enciklopedija filozofije. Preuzeto 2. listopada 2018. Dostupno na https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Osnove filozofije. Preuzeto 2. listopada 2018. Dostupno na https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. i Kouri, S. (2018). Klasična logika. Preuzeto 2. listopada 2018. Dostupno u logici (2018). Osnove filozofije. Preuzeto 2. listopada 2018. Dostupno na https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modalna logika. Stanfordova enciklopedija filozofije. Preuzeto 2. listopada 2018. Dostupno na https://plato.stanford.edu/entries/logic-modal/