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

Logika je študija razmišljanja in sklepanja. Gre za sklop vprašanj in analiz, ki so nam omogočile razumevanje, kako se veljavni argumenti razlikujejo od zmot in kako smo prišli do njih.

Za to je nujno potreben razvoj različnih sistemov in oblik študija, ki so pripeljale do štirih glavnih vrst logike. Spodaj bomo videli, kaj je vsak od njih.

• Priporočeni članek: ["10 vrst logičnih in argumentativnih zmot"] (10 vrst logičnih in argumentativnih zmot)

Kaj je logika?

Beseda "logika" izhaja iz grškega "logosa", ki se lahko prevede na različne načine: beseda, misel, argument, načelo ali razlog so nekateri glavni. V tem smislu je logika preučevanje načel in razmišljanja.

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

Za odgovor na to vprašanje logika predlaga različne načine razvrščanja izjav in argumentov, ne glede na to, ali se pojavljajo v formalnem sistemu ali v naravnem jeziku. Natančneje, analizira predloge (deklarativne stavke), ki so lahko resnični ali napačni, pa tudi zmote, paradokse, argumente, ki vključujejo vzročnost in na splošno teorijo argumentacije..

Na splošno velja, da je sistem logičen in mora izpolnjevati tri kriterije:

• Doslednost (med teoremoma, ki sestavljajo sistem, ni protislovja)
• Trdnost (preskusni sistemi ne vključujejo lažnih sklepov)
• Completud (vse resnične stavke je treba dokazati)

4 vrste logike

Kot smo videli, logika uporablja različna orodja za razumevanje razmišljanja, ki ga uporabljamo za utemeljitev nečesa. Tradicionalno so prepoznane štiri glavne vrste logike, vsaka z nekaj podtipi in posebnostmi. Spodaj bomo videli, kaj je vsak.

1. Formalna logika

Znana je tudi kot tradicionalna logika ali filozofska logika, gre za preučevanje sklepov s čisto formalno in eksplicitno vsebino. Gre za analizo formalnih izjav (logičnih ali matematičnih), katerih pomen ni intrinzičen, vendar so njegovi simboli smiselni z uporabno aplikacijo, ki je dana. Filozofska tradicija, iz katere izhaja, se imenuje ravno "formalizem"..

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

2. Neformalna logika

Neformalna logika pa je nedavna disciplina, ki proučiti, ovrednotiti in analizirati argumente, ki so prikazani v naravnem ali vsakdanjem jeziku. Zato prejme kategorijo "neformalnih". To je lahko govorjeni ali pisni jezik ali katera koli vrsta mehanizma in interakcije, ki se uporablja za sporočanje. Za razliko od formalne logike, ki bi na primer veljala za študij in razvoj računalniških jezikov; uradni jezik se nanaša na jezike in jezike.

Neformalna logika lahko tako iz osebnih razlogov in argumentov analizira politične razprave, pravne argumente ali objekte, ki jih posredujejo mediji, kot so časopisi, televizija, internet itd..

3. Simbolna logika

Kot že ime pove, simbolna logika analizira razmerja med simboli. Včasih uporablja kompleksen matematični jezik, saj je odgovoren za proučevanje problemov, ki jih tradicionalna formalna logika težko ali težko obravnava. Običajno je razdeljen na dva podtipa:

• Predikativna logika ali prvi red: je formalni sistem, sestavljen iz formul in merljivih spremenljivk
• Predlog: to je formalni sistem, sestavljen iz predlogov, ki so sposobni ustvariti druge predloge preko konektorjev, imenovanih "logični vezni". Pri tem skoraj ni merljivih spremenljivk.

4. Matematična logika

Glede na avtorja, ki ga opisuje, se lahko matematična logika obravnava kot tip formalne logike. Drugi menijo, da matematična logika vključuje uporabo formalne logike za matematiko in uporabo matematičnega razmišljanja v formalni logiki..

Na splošno uporaba matematičnega jezika pri konstrukciji logičnih sistemov omogoča reproduciranje človeškega uma. Na primer, to je bilo zelo prisotno v razvoju umetne inteligence in v računalniških paradigmah študije spoznavanja..

Običajno je razdeljen na dva podtipa:

• Logicizem: gre za uporabo logike v matematiki. Primeri te vrste so teorija testa, teorija modelov, teorija sklopov in teorija rekurzije.
• Intuicionizem: trdi, da sta logika in matematika metode, katerih uporaba je skladna za izvajanje kompleksnih mentalnih konstrukcij. Vendar pa pravi, da logika in matematika sami po sebi ne moreta pojasniti globokih lastnosti elementov, ki jih analizirajo.

Induktivno, deduktivno in modalno razmišljanje

Po drugi strani, Obstajajo tri vrste argumentov, ki jih je mogoče obravnavati tudi kot logične sisteme. To so mehanizmi, ki nam omogočajo sklepanje sklepov iz prostorov. Deduktivno sklepanje naredi tako izločitev iz splošne predpostavke določeni premisi. Klasičen primer je tisti, ki ga je predlagal Aristotel: Vsi ljudje so smrtni (to je splošna premisa); Sokrat je človek (to je glavna premisa), in končno, Sokrat je smrten (to je zaključek).

Po drugi strani pa je induktivno sklepanje proces, s katerim se sklepa v nasprotni smeri: od posebnega do splošnega. Primer tega bi bil "Vse vrane, ki jih vidim, so črne" (posebna premisa); potem so vse vrane črne (zaključek).

Končno, razmišljanje ali modalna logika temelji na verjetnostnih argumentih, to je, da izražajo možnost (modalnost). To je formalni logični sistem, ki vključuje izraze, kot je "lahko", "lahko", "naj", "na koncu".

Bibliografske reference:

• Groarke, L. (2017). Neformalna logika. Stanfordska enciklopedija filozofije. Pridobljeno 2. oktobra 2018. Na voljo na naslovu https://plato.stanford.edu/entries/logic-informal/
• Logic (2018). Osnove filozofije. Pridobljeno 2. oktobra 2018. Na voljo na naslovu https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. in Kouri, S. (2018). Klasična logika. Pridobljeno 2. oktobra 2018. Na voljo v logiki (2018). Osnove filozofije. Pridobljeno 2. oktobra 2018. Na voljo na naslovu https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modalna logika. Stanfordska enciklopedija filozofije. Pridobljeno 2. oktobra 2018. Na voljo na naslovu https://plato.stanford.edu/entries/logic-modal/