4 najvažnija vrsta logike (i mogućnosti)

Travanj 26, 2024

Logika je proučavanje zaključaka i zaključaka , To je skup pitanja i analiza koji su nam omogućili da razumijemo kako se valjani argumenti razlikuju od pogrešaka i kako ih stignemo.

Zbog toga je razvoj različitih sustava i oblika studija neophodan, što je dovelo do četiri glavna tipa logike. Vidjet ćemo ispod toga o čemu se radi.

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

Što je logika?

Riječ "logika" dolazi od grčkih "logosa" koji se mogu prevesti na različite načine: riječ, misao, argument, načelo ili razlog su neki od glavnih. U tom smislu, logika je proučavanje načela i razmišljanja.

Ova studija ima za cilj razumijevanje različitih kriterija zaključaka i načina na koji dolazimo na valjane demonstracije, za razliku od nevažećih demonstracija. Dakle, osnovno pitanje logike je ono što je točno mišljenje i kako možemo razlikovati valjane argumente i zablude?

Da bi odgovorili na ovo pitanje, logika predlaže različite načine razvrstavanja izjava i argumenata, bilo da se pojavljuju u formalnom sustavu ili na prirodnom jeziku. Naime, analizira prijedloge (deklarativne rečenice) koje mogu biti istinite ili lažne, kao i zablude, paradoksi, argumenti koji uključuju kauzalnost i, općenito, teoriju argumentacije.

Općenito govoreći, da sustav smatra logičnim, mora ispuniti tri kriterija:

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

4 vrste logike

Kao što smo vidjeli, logika koristi različite alate za razumijevanje razmišljanja koje koristimo kako bismo opravdali nešto. Tradicionalno se prepoznaju četiri glavna tipa logike, svaki s nekim podtipovima i specifičnostima. Vidjet ćemo ispod toga o čemu se radi.

1. Formalna logika

Također poznat kao tradicionalna logika ili filozofska logika, riječ je o proučavanju zaključaka s čisto formalnim i eksplicitnim sadržajem , Riječ je o analizi formalnih izjava (logički ili matematički), čije značenje nije intrinzično, ali njegovi simboli imaju značenje zbog korisne primjene koju im daje. Filozofska tradicija iz kojega potonja potječe zove se upravo "formalizam".

S druge strane, formalni je sustav koji se koristi za izdvajanje zaključka iz jednog ili više prostorija. Potonji mogu biti aksiomi (samoznačeni prijedlozi) ili teoremi (zaključci fiksnog skupa pravila zaključaka i aksioma).

2. Neformalna logika

S druge strane, neformalna logika je novije discipline, koje proučavati, procijeniti i analizirati argumente prikazane na prirodnom ili svakodnevnom jeziku , Stoga dobiva kategoriju "neformalnog". Može biti govor ili pisani jezik ili bilo koja vrsta mehanizma i interakcija koja se koristi za komunikaciju. Za razliku od formalne logike, koja bi primjerice primjenjivala na proučavanje i razvoj računalnih jezika; formalni se jezik odnosi na jezike i jezike.

Dakle, neformalna logika može analizirati iz osobnog rasuđivanja i argumenata na političke rasprave, pravne argumente ili prostore koje mediji šalju, poput novina, televizije, interneta i tako dalje.

3. Simbolička logika

Kao što naziv implicira, simbolička logika analizira odnose između simbola. Ponekad koristi složeni matematički jezik, jer je odgovoran za proučavanje problema koji tradicionalna formalna logika pronalazi komplicirano ili teško rješavati. Obično se dijeli na dva podtipa:

Predikativna logika ili prvi poredak : to je formalni sustav sastavljen od formula i mjerljivih varijabli
propozicionalni : to je formalni sustav sastavljen od prijedloga, koji mogu stvoriti druge prijedloge putem konektora nazvanih "logičkim vezivom". U ovome gotovo da nema kvantificiranih 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 primjenu formalne logike u matematiku i primjenu matematičkog razmišljanja u formalnu logiku.

Općenito govoreći, primjena matematičkog jezika u izgradnji logičkih sustava omogućava reprodukciju ljudskog uma. Na primjer, to je bilo vrlo prisutno u razvoju umjetne inteligencije i računalnim paradigmama proučavanja spoznaje.

Obično se dijeli na dva podtipa:

logicizam : riječ je o primjeni logike u matematici. Primjeri ovog tipa su teorija dokaza, teorija modela, teorija skupova i teorija rekurzije.
intuitionism : tvrdi da su i logika i matematika metode čija primjena je dosljedna za obavljanje složenih mentalnih konstrukcija. No, on kaže da u sebi logika i matematika ne mogu objasniti dubinska svojstva elemenata koje analiziraju.

Induktivan, deduktivan i modalni zaključak

S druge strane, Postoje tri vrste razmišljanja koje se također mogu smatrati logičkim sustavima , To su mehanizmi koji nam omogućuju izvući zaključke iz prostora. Deduktivno razmišljanje čini takvu ekstrakciju iz opće pretpostavke na određenu pretpostavku. Klasičan primjer je to što je predložio Aristotel: Svi su ljudi smrtni (ovo je opća pretpostavka); Sokrat je čovjek (to je glavna pretpostavka), i konačno, Sokrat je smrtan (ovo je zaključak).

Indikativno obrazloženje, s druge strane, proces je kojim se zaključak izvodi u suprotnom smjeru: od posebnog do općeg. Primjer toga bi bio "Sve vrane koje vidim su crne" (određena pretpostavka); onda su sve vrane crne (zaključak).

Konačno, obrazloženje ili modalna logika temelje se na vjerojatnim argumentima, tj. Oni izražavaju mogućnost (modalitet). To je formalni logični sustav koji uključuje pojmove poput "mogao", "može", "treba", "eventualno".

Bibliografske reference:

Groarke, L. (2017). Neformalna logika. Stanfordova enciklopedija filozofije. Preuzeto 2. listopada 2018. Dostupno na //plato.stanford.edu/entries/logic-informal/
Logika (2018). Osnove filozofije. Preuzeto 2. listopada 2018. Dostupno na http://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 http://www.philosophybasics.com/branch_logic.html
Garson, J. (2018). Modalna logika. Stanfordova enciklopedija filozofije. Preuzeto 2. listopada 2018. Dostupno na //plato.stanford.edu/entries/logic-modal/