4 najpomembnejše vrste logike (in značilnosti)

Logika je proučevanje argumentiranja in sklepanja. Gre za sklop vprašanj in analiz, ki so omogočili razumevanje, kako se veljavni argumenti razlikujejo od zmot in kako do njih pridemo.

Za to je bil bistven razvoj različnih sistemov in oblik študija, kar je povzročilo štiri glavne vrste logike. Spodaj bomo videli, za kaj gre vsak od njih.

• Priporočen članek: "10 vrst logičnih in argumentiranih zmot"

Kaj je logika?

Beseda "logika" izhaja iz grškega "logos", ki ga je mogoče prevajati na različne načine: beseda, misel, argument, načelo ali razlog so nekateri izmed glavnih. V tem smislu je logika preučevanje načel in razmišljanja.

Namen te študije je razumeti različna merila sklepanja in kako, v nasprotju z neveljavnimi dokazi, pridemo do veljavnih dokazov. Osnovno vprašanje logike je torej, kaj je pravilno razmišljanje in kako lahko ločimo med veljavnim argumentom in zmoto?

Da bi odgovorili na to vprašanje, logika predlaga različne načine razvrščanja trditev in argumentov, ne glede na to, ali se pojavljajo v formalnih sistemih ali v naravnem jeziku. Natančneje analizira predloge (izjavne stavke), ki so lahko resnični ali neresnični zmote, paradoksi, argumenti, ki vključujejo vzročnost, in na splošno teorija argumentacija.

Če na splošno sistem štejemo za logičnega, morajo izpolnjevati tri kriterije:

• Doslednost (ni protislovja med izreki, ki sestavljajo sistem)
• Trdnost (preskusni sistemi ne vključujejo napačnih sklepov)
• Popolnost (vsi pravi stavki morajo biti preizkusni)

4 vrste logike

Kot smo videli, logika uporablja različna orodja za razumevanje argumentiranja, s katerim nekaj upravičujemo. Tradicionalno so prepoznane štiri glavne vrste logike, vsaka z nekaterimi podtipi in posebnostmi. Spodaj bomo videli, za kaj gre.

1. Formalna logika

Znana tudi kot tradicionalna logika ali filozofska logika, gre za proučevanje sklepov s čisto formalno in eksplicitno vsebino. Gre za analizo formalnih izjav (logičnih ali matematičnih), katerih pomen ni sam po sebi, temveč so njegovi simboli smiselni zaradi uporabne uporabe, ki so ji dani. Filozofska tradicija, iz katere slednji izhaja, se natančno imenuje »formalizem«.

Po drugi strani je formalni sistem tisti, ki se uporablja za sklepanje iz enega ali več prostorov. Slednji so lahko aksiomi (samoumevne trditve) ali teoremi (sklepi iz fiksnega sklopa pravil sklepanja in aksiomi).

Zaključki, do katerih smo prišli s formalno logiko, če temeljijo na veljavnih predpostavkah in v logičnih operacijah ni napak, so resnične same po sebi. Pravzaprav to vodi v odprto razpravo o tem, ali formalna logika spada v svet znanosti. ali pripadajo drugemu področju znanja, tako da ne opisujejo resničnosti, temveč svoja pravila delovanje.

2. Neformalna logika

Neformalna logika pa je novejša disciplina, ki preučuje, ovrednoti in analizira argumente v naravnem ali vsakdanjem jeziku. Zato prejema kategorijo "neformalno". Lahko je govorjeni in pisni jezik ali kateri koli mehanizem in interakcija, ki se uporablja za sporočanje nečesa. Za razliko od formalne logike, ki bi na primer veljala za študij in razvoj računalniških jezikov; formalni jezik se nanaša na jezike in jezike.

Tako lahko neformalna logika analizira vse, od osebnih razlogov in argumentov do političnih razprav, pravni argumenti ali prostori, ki jih širijo mediji, kot so časopis, televizija, internet, itd.

3. Simbolična logika

Kot že ime pove, simbolična logika analizira razmerja med simboli. Včasih uporablja zapleten matematični jezik, saj je zadolžen za preučevanje problemov, ki jih tradicionalna formalna logika zapleta ali jih je težko rešiti. Običajno je razdeljen na dve podtipi:

• Predikativna logika ali logika prvega reda: gre za formalni sistem, sestavljen iz formul in merljivih spremenljivk
• Propozicijska: gre za formalni sistem, sestavljen iz predlogov, ki lahko s povezovalniki, imenovanimi "logične vezi", ustvarijo druge predloge. V tem skoraj ni merljivih spremenljivk.

4. Matematična logika

Glede na avtorja, ki jo opisuje, lahko matematično logiko štejemo za vrsto formalne logike. Drugi menijo, da matematična logika vključuje tako uporabo formalne logike v matematiki kot uporabo matematičnega sklepanja na formalno logiko.

Na splošno gre za uporabo matematičnega jezika pri gradnji logičnih sistemov, ki omogoča reprodukcijo človeškega uma. Na primer, to je bilo zelo prisotno pri razvoju umetne inteligence in v računskih paradigmah preučevanja kognicije.

Običajno je razdeljen na dve podtipi:

• Logičnost: gre za uporabo logike v matematiki. Primeri te vrste so teorija dokazov, teorija modelov, teorija množic in teorija rekurzije.
• Intuicionizem: trdi, da sta logika in matematika metode, katerih uporaba je skladna za izvajanje kompleksnih miselnih konstrukcij. Pravi pa, da logika in matematika sama po sebi ne moreta razložiti globokih lastnosti elementov, ki jih analizirajo.

Induktivno, deduktivno in modalno sklepanje

Po drugi strani, obstajajo tri vrste sklepanja, ki jih lahko štejemo tudi za logične sisteme. To so mehanizmi, ki nam omogočajo, da sklepamo iz premis. Z deduktivnim sklepanjem se to izvleče iz splošne premise v določeno premiso. Klasičen primer je primer, ki ga je predlagal Aristotel: Vsi ljudje smo smrtni (to je splošna predpostavka); Sokrat je človek (to je glavna predpostavka) in končno, Sokrat je smrten (to je zaključek).

Induktivno sklepanje je postopek, s katerim se sklepa v nasprotni smeri: od posebnega do splošnega. Primer tega bi bil "Vse vrane, ki jih vidim, so črne" (posebna predpostavka); torej so vse vrane črne (zaključek).

Končno, sklepanje ali modalna logika temelji na verjetnostnih argumentih, to pomeni, da izražajo možnost (modalnost). To je formalni logični sistem, ki vključuje izraze, kot so "lahko", "lahko", "mora", "sčasoma".

Bibliografske reference:

• Groarke, L. (2017). Neformalna logika. Stanfordska enciklopedija filozofije. Pridobljeno 2. oktobra 2018. Na voljo v https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Osnove filozofije. Pridobljeno 2. oktobra 2018. Na voljo v https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Abdukcija, razum in znanost: procesi odkrivanja in razlage. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Logične lastnosti: identiteta, obstoj, napoved, nujnost, resnica. Oxford: Clarendon Press.
• Quine, W. V. O. (1986) (1970). Filozofija logike. Cambridge, MA.: Harvard University Press.
• Shapiro, S. in Kouri, S. (2018). Klasična logika. Pridobljeno 2. oktobra 2018. Na voljo v Logic (2018). Osnove filozofije. Pridobljeno 2. oktobra 2018. Na voljo v https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modalna logika. Stanfordska enciklopedija filozofije. Pridobljeno 2. oktobra 2018. Na voljo v https://plato.stanford.edu/entries/logic-modal/