4 najpomembnejše vrste logike (in značilnosti)
Logika je preučevanje razlogov in sklepov . To je niz vprašanj in analiz, ki nam omogočajo, da razumemo, kako se veljavni argumenti razlikujejo od napak in kako pridemo do njih.
Zato je bil razvoj različnih sistemov in oblik študija nepogrešljiv, kar je pripeljalo do štirih glavnih vrst logike. Spodaj bomo videli, kaj je vsak izmed njih.
- Priporočeni članek: ["10 vrst logičnih in argumentacijskih napak"] (10 vrst logičnih in argumentacijskih napak)
Kaj je logika?
Beseda "logika" izhaja iz grških "logotipov", ki jih je mogoče prevedeti na različne načine: beseda, misel, argument, načelo ali razlog so nekateri od glavnih. V tem smislu je logika preučevanje načel in sklepanja.
Ta študija ima za cilj razumevanje različnih meril sklepanja in kako pridemo do veljavnih demonstracij, v nasprotju z neveljavnimi demonstracijami. Torej, osnovno vprašanje logike je, kaj je pravilno razmišljanje in kako lahko razlikujemo med veljavnim argumentom in napako?
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čne ali napačne, pa tudi napake, paradoksi, argumenti, ki vključujejo vzročnost in na splošno teorijo argumentacije.
Na splošno velja, da sistem šteje za logičen, saj morajo izpolnjevati tri kriterije:
- Usklajenost (ni nobenega protislovja med izrekami, ki sestavljajo sistem)
- Solituda (testni sistemi ne vsebujejo napačnih sklepov)
- Zaključek (vse pravo stavke je treba dokazati)
4 vrste logike
Kot smo videli, logika uporablja različna orodja za razumevanje razlogov, ki jih uporabljamo, da bi nekaj upravičili. Tradicionalno so prepoznane štiri glavne vrste logike, od katerih ima vsak podtip in specifičnosti. V nadaljevanju bomo videli, kaj je vsakdo približno.
1. Formalna logika
Znan tudi kot tradicionalna logika ali filozofska logika, gre za preučevanje sklepov s povsem formalno in eksplicitno vsebino . Gre za analizo formalnih izjav (logičnih ali matematičnih), katerih pomen ni bistven, vendar imajo njegovi simboli pomen zaradi koristne uporabe, ki jo dobijo. Filozofska tradicija, iz katere slednja izhaja, se imenuje natančno »formalizem«.
V zameno je formalni sistem tisti, ki se uporablja za izvleček zaključka iz enega ali več prostorov. Slednje so lahko aksiomi (samoumevne predloge) ali izreke (sklepi fiksnega sklopa pravil sklepov in aksiomov).
2. Neformalna logika
Neformalna logika je nedavna disciplina, ki je preučevanje, vrednotenje in analiziranje argumentov, prikazanih v naravnem ali vsakdanjem jeziku . Zato prejme kategorijo "neformalno". Lahko je govorni ali pisni jezik ali katerakoli vrsta mehanizma in interakcije, ki se uporablja za komuniciranje z nečim. 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.
Neformalna logika torej lahko iz osebnih razlogov in argumentov analizira politične razprave, pravne argumente ali prostore, ki jih objavljajo mediji, kot so časopisi, televizija, internet in tako naprej.
3. Simbolna logika
Simbolna logika kot ime implicira analizira razmerja med simboli. Včasih uporablja kompleksen matematični jezik, saj je odgovoren za preučevanje problemov, za katere se zdi, da je tradicionalna formalna logika zapletena ali težavna. Običajno je razdeljen na dva podtipa:
- Predikativna logika ali prvi red : to je formalni sistem, sestavljen iz formul in količinsko opredeljivih spremenljivk
- Predlog : to je formalni sistem, sestavljen iz predlogov, ki lahko ustvarijo druge predloge preko spojnikov, imenovanih "logični vezni element". Pri tem ni skoraj nobenih kvantificiranih spremenljivk.
4. Matematična logika
Glede na avtorja, ki ga opisuje, se matematična logika lahko šteje za formalno logiko. Drugi menijo, da matematična logika vključuje tako formalno logiko do matematike in uporabo matematičnega sklepanja do formalne logike.
V širšem smislu uporaba matematičnega jezika pri konstruiranju logičnih sistemov omogoča reprodukcijo človeškega uma. Na primer, to je bilo zelo prisotno v razvoju umetne inteligence in v računalniških paradigmih študije spoznanja.
Običajno je razdeljen na dva podtipa:
- Logika : gre za uporabo logike v matematiki. Primeri te vrste so teorija dokazov, teorija modelov, teorija množic in teorija rekurzije.
- Intuicija : trdi, da sta logika in matematika metode, katerih uporaba je dosledna za izvajanje kompleksnih miselnih konstrukcij. Ampak, pravi, da same po sebi logika in matematika ne morejo razložiti globokih lastnosti elementov, ki jih analizirajo.
Induktivno, deduktivno in modalno razmišljanje
Po drugi strani, Obstajajo tri vrste razlogov, ki se lahko štejejo tudi za logične sisteme . To so mehanizmi, ki nam omogočajo sklepanje iz prostorov. Deduktivno sklepanje povzroči takšno izvlečenje iz splošne domneve na določeno predpostavko. Klasičen primer je tisti, ki ga je predlagal Aristotel: Vsi ljudje so smrtni (to je splošna predpostavka); Sokrat je človek (to je glavna premisa), in nazadnje, Sokrat je smrten (to je zaključek).
Induktivno razmišljanje je proces, s katerim se sklene sklep 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, logika logike ali modal 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", "bi", "sčasoma".
Bibliografske reference:
- Groarke, L. (2017). Neformalna logika. Stanfordska enciklopedija filozofije. Pridobljeno 2. oktobra 2018. Na voljo na //plato.stanford.edu/entries/logic-informal/
- Logika (2018). Osnove filozofije. Pridobljeno 2. oktobra 2018. Na voljo na //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 //www.philosophybasics.com/branch_logic.html
- Garson, J. (2018). Modalna logika. Stanfordska enciklopedija filozofije. Pridobljeno 2. oktobra 2018. Na voljo na //plato.stanford.edu/entries/logic-modal/
