6 glavnih logičnih tipov

Obstaja več vrste logike in vsi se osredotočijo na svoj predmet študija na razumevanje razmišljanja in določijo, kdaj so pravilni ali nepravilni.

Študija logike se je razvila iz časov grškega filozofa Aristotela do sedanjosti, to pa je bilo prilagojeno z namenom, da bi bilo bolj specifično in hkrati bolj prilagojeno vsakodnevnemu življenju človeka, kar mu omogoča oprijemljivejšo uporabo na različnih področjih.

Logika si prizadeva za sistematično preučevanje argumentov in predlogov, različne vrste logike pa omogočajo, da je mogoče preučiti tako čisto formalno strukturo teh izjav kot tudi, kaj ima opraviti z vsebino in močjo omenjene vsebine..

Čeprav logika temelji na preučevanju izjav, se ne osredotoča jasno na naravni jezik (jezik, kot ga poznamo), vendar je njegova uporabnost dosegla različna področja in z različnimi strukturami, kot sta matematika in računalništvo.

Najpomembnejše vrste logike

Formalno

Formalna logika, znana tudi kot klasična logika ali aristotelska logika, je proučevanje trditev, argumentov, izjav ali stavkov s strukturnega vidika..

Je metoda za strukturiranje misli in določanje pravilnih ali nepravilnih oblik specifičnega pristopa.

Formalna logika se ne osredotoča na resnico ali neresničnost vsebine določenega argumenta, temveč se osredotoča na veljavnost ali neobstoj konstrukcije njegove oblike..

To pomeni, da predmet proučevanja formalne logike ni empiričen, saj logiki ni pomembno ugotoviti, ali je predstavljeni argument resničen in dokazan; vendar je njegova študija jasno osredotočena na strukturo navedenega argumenta.

V formalni logiki sta dve zelo pomembni klasifikaciji: deduktivna logika in induktivna logika.

Deduktivna logika se nanaša na tiste posebne izjave, ki so nastale iz splošnih pojmov. S pomočjo te vrste logike lahko sklepamo iz konceptov ali teorij, ki že obstajajo.

Na primer, znotraj deduktivne logike bi lahko rekli, da če ima človek noge in Clara je človeško bitje, potem ima Clara noge.

V primeru induktivne logike se konstrukcija argumentov zgodi v nasprotni smeri; to pomeni, da so splošni koncepti ustvarjeni iz posebnih argumentov.

Na primer, v induktivni logiki bi lahko rekli, da, če mačka obožuje ribe, druga pa ji je všeč, druga pa tudi, potem vse mačke kot ribe.

Neformalno

Neformalna logika je veja študija, ki se osredotoča na jezik in sporočilo, ki izhaja iz semantičnih konstrukcij in argumentov..

Ta logika se razlikuje od formalne logike, pri čemer formalna logika preučuje strukture stavkov in predlogov; neformalna logika se osredotoča na ozadje poslanega sporočila.

Njen predmet študije je način, kako zagovarjati želeni rezultat. Neformalna logika potrjuje logične argumente, ki so bolj koherentni med drugimi, ki imajo šibkejšo argumentacijsko strukturo.

Ni klasično

Neklasična logika, ali moderna logika, izvira iz devetnajstega stoletja in se pojavlja v nasprotju z izjavami klasične logike..

Vzpostavlja druge oblike analiz, ki lahko pokrivajo več vidikov, kot jih je mogoče vključiti v klasični pristop logike.

Tako so vključeni matematični in simbolni elementi, nove izjave ali izreki, ki so nadomestili pomanjkljivosti formalnega logičnega sistema..

V okviru neklasične logike obstajajo različni podtipi logike, kot so modalni, matematični, trivalentni..

Vse te vrste logike se do neke mere razlikujejo od formalne logike ali vključujejo nove elemente, ki se dopolnjujejo, in omogočajo, da je logična študija določene izjave bolj natančna in prilagojena uporabnosti v vsakdanjem življenju..

Simbolično

Simbolna logika se imenuje tudi logika prvega reda ali matematična logika in je označena z uporabo simbolov, ki tvorijo nov jezik, preko katerega "prevajajo" argumente.

Namen simbolne logike je pretvoriti abstraktne misli v bolj formalne strukture.

Pravzaprav ne uporablja naravnega jezika (jezika), ampak uporablja tehnični jezik, ki pretvarja stavke v elemente, ki so dovzetni za uporabo natančnejših pravil, kot jih lahko uporabimo v naravnem jeziku..

Potem simbolična logika omogoča obravnavo predlogov s pomočjo zakonov izračuna, da bi se izognili zmedi ali netočnosti.

Prizadeva si vključiti matematične elemente v analizo formalnih logičnih struktur. V matematičnem polju se logika uporablja za dokazovanje izrekov.

Skratka, simbolična ali matematična logika skuša izraziti človeško misel skozi matematični jezik.

Ta matematična uporaba logike omogoča natančnejše argumente in konstrukcije.

Modal

Modalna logika se osredotoča na preučevanje argumentov, vendar dodaja elemente, povezane z možnostjo, da je zadevna izjava resnična ali neresnična..

Modalna logika se pretvarja, da je bolj skladna s človeško miselnostjo, zato vključuje uporabo konstrukcij, kot je "lahko", "morda", "včasih", "morda", "verjetno", "je verjetno", "morda" "Med drugim.

V modalni logiki gre za razmišljanje o scenariju, v katerem obstaja možnost, in skuša obravnavati vse možnosti, ki lahko obstajajo, z logičnega vidika..

Računalniška

Računalniška logika je vrsta logike, ki izhaja iz simbolne ali matematične logike, le da se uporablja na področju računalništva..

Računalniški programi uporabljajo jezik programiranja za njihov razvoj in s pomočjo logike je mogoče delati na teh jezikovnih sistemih, dodeljevati določene naloge in izvajati verifikacijske akcije..

Reference

1. "Logika" v Enciklopediji Britannica. Pridobljeno 4. avgusta 2017 iz Enciklopedije Britannica: britannica.com
2. "Formalna logika" v Enciklopediji Britannica. Pridobljeno 4. avgusta 2017 iz Enciklopedije Britannica: britannica.com
3. Hernández, F. "Računalniška logika" na Nacionalni avtonomni univerzi v Mehiki. Pridobljeno 4. avgusta 2017 na Nacionalni avtonomni univerzi v Mehiki: unam.mx
4. Muñoz, C. "Neklasična logika" na univerzi Complutense v Madridu. Pridobljeno 4. avgusta 2017 iz Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Kaj je simbolna logika?" V eHow en Español. Pridobljeno 4. avgusta 2017 iz eHow en Español: ehowenespanol.com
6. Oller, C. "Formalna logika in argumentacija" (2006) na Nacionalni univerzi v La Plati. Pridobljeno 4. avgusta 2017 na Nacionalni univerzi v La Plati: rfytp.fahce.unlp.edu.ar
7. "Deduktivni in induktivni sklepi" v Junta de Extremadura. Pridobljeno 4. avgusta 2017 v Junta de Extremadura: educarex.es.