- Najpomembnejše vrste logike
- Formalna logika
- Neformalna logika
- Neklasična logika
- Simbolična logika
- Modalna logika
- Računalniška logika
- Reference
Obstaja več vrst logike, ki svoj predmet preučevanja usmerijo v razumevanje sklepanja in prepoznavanje, kdaj so pravilne ali napačne. Preučevanje logike se je razvilo od časov grškega filozofa Aristotela do današnjih dni.
Etika je bila prilagojena z namenom, da bi bila bolj specifična in hkrati bolj prilagojena vsakdanjem življenju človeka, kar omogoča bolj otipljivo uporabo na različnih področjih.

Aristotel, priznan kot oče logike.
Logika išče sistematično preučevanje argumentov in propozicij, različne vrste logike pa omogočajo preučevanje tako zgolj formalne strukture teh trditev kot tudi povezave z vsebino in moči omenjene vsebine.
Čeprav logika temelji na preučevanju trditev, 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
Formalna logika
Formalna logika, znana tudi kot klasična logika ali aristotelovska logika, je proučevanje propozicij, argumentov, izjav ali stavkov s strukturnega vidika. To je metoda strukturiranja misli in določitev pravilnih ali napačnih oblik specifičnega pristopa.
Formalna logika se ne osredotoča na verodostojnost ali napačnost vsebine določenega argumenta, temveč se osredotoča na veljavnost ali ne konstrukcije njene oblike.
To pomeni, da predmet preučevanja formalne logike ni empiričen, za logika ni pomembno, da ugotovi, ali je predstavljeni argument dejanski in dokazan; Namesto tega je njegova študija očitno usmerjena v strukturo omenjenega argumenta.
V formalni logiki sta dve zelo pomembni klasifikaciji: deduktivna in induktivna logika.
Deduktivna logika se nanaša na tiste posebne trditve, ki nastanejo iz splošnih pojmov. S tovrstno logiko lahko sklepamo na koncepte ali teorije, ki že obstajajo.
Na primer, v deduktivni logiki bi lahko rekli, da če ima človek noge in je Clara človek, potem ima Clara noge.
Pri induktivni logiki se konstrukcija argumentov zgodi na nasprotni način; to pomeni, da so splošni pojmi ustvarjeni iz konkretnih argumentov.
Na primer, v induktivni logiki bi lahko rekli, da če ima ena mačka rad ribe, drugi jo ima rad tudi drugo in tudi drugo, potem imajo vse mačke rad ribe.
Neformalna logika
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, saj formalna logika proučuje strukture stavkov in predlogov; neformalna logika pa se osredotoča na vsebino posredovanega sporočila.
Njegov predmet preučevanja je način argumentiranja, da bi dosegli želeni rezultat. Neformalna logika daje veljavnost logičnim argumentom, ki so med njimi bolj skladni in imajo šibkejšo argumentacijsko strukturo.
Neklasična logika
Neklasična logika oziroma moderna logika izvira iz devetnajstega stoletja in nastane v nasprotju s trditvami klasične logike. Vzpostavlja druge oblike analize, ki lahko zajemajo več vidikov kot tistih, ki jih je mogoče zajeti s klasičnim pristopom k logiki.
Tako so vključeni matematični in simbolni elementi, nove izjave ali teoremi, ki so nadoknadili pomanjkljivosti formalnega logičnega sistema.
Znotraj neklasične logike obstajajo različni podtipi logike, kot so modalna, matematična, trivalentna.
Vse te vrste logike se do neke mere razlikujejo od formalne logike ali vključujejo nove elemente, ki se dopolnjujejo, in omogočajo natančnejši logični študij določene trditve in prilagajanje uporabnosti v vsakdanjem življenju.
Simbolična logika
Simbolična logika se imenuje tudi logika prvega reda ali matematična logika in je značilna z uporabo simbolov, ki so nov jezik, skozi katerega se argumenti "prevajajo".
Namen simbolične logike je pretvoriti abstraktne misli v bolj formalne strukture. Pravzaprav ne uporablja naravnega jezika (idioma), ampak uporablja tehnični jezik, ki stavke pretvori v elemente, dovzetne za uporabo natančnejših pravil, kot jih je mogoče uporabiti v naravnem jeziku.
Torej, simbolična logika omogoča obravnavanje predlogov po zakonih računa, da se prepreči zmeda ali netočnost.
Skuša vključiti matematične elemente v analizo struktur formalne logike. V matematičnem področju se za dokazovanje izrek uporablja logika.
Skratka, simbolična ali matematična logika poskuša človeško misel izraziti s pomočjo matematičnega jezika.
Ta matematična uporaba logike omogoča natančnejše argumente in konstrukcije.
Modalna logika
Modalna logika se osredotoča na preučevanje argumentov, dodaja pa elemente, povezane z možnostjo, da je zadevna izjava resnična ali napačna.
Modalna logika poskuša biti bolj usklajena s človeško mislijo, zato vključuje uporabo konstrukcij, kot so "lahko", "morebiti", "včasih", "morda", "verjetno", "verjetno", "morda ", med drugim.
V modalni logiki gre za preučitev scenarija, v katerem obstaja možnost, in nagiba k upoštevanju vseh možnosti, ki lahko obstajajo z logičnega vidika.
Računalniška logika
Računalniška logika je vrsta logike, ki izhaja iz simbolične ali matematične logike, le da se uporablja na področju računalništva.
Računalniški programi za svoj razvoj uporabljajo programski jezik in po logiki je mogoče delati na teh jezikovnih sistemih, dodeljevati določene naloge in izvajati preverjalna dejanja.
Reference
- "Logika" v Enciklopediji Britannica. Pridobljeno 4. avgusta 2017 iz Enciklopedije Britannica: britannica.com
- "Formalna logika" v Enciklopediji Britannica. Pridobljeno 4. avgusta 2017 iz Enciklopedije Britannica: britannica.com
- Hernández, F. "Računalniška logika" na Nacionalni avtonomni univerzi v Mehiki. Pridobljeno 4. avgusta 2017 z Nacionalne avtonomne univerze v Mehiki: unam.mx
- Muñoz, C. "Nedeklasična logika" na Madridski univerzi Complutense. Pridobljeno 4. avgusta 2017 z univerze Complutense v Madridu: ucm.es
- Julia, J. "Kaj je simbolna logika?" v eHow v španščini. Pridobljeno 4. avgusta 2017 iz eHow v španščini: ehowenespanol.com
- Oller, C. "Formalna logika in argumentacija" (2006) na National University of La Plata. Pridobljeno 4. avgusta 2017 z Nacionalne univerze v La Plati: rfytp.fahce.unlp.edu.ar
- "Odvodni in induktivni sklepi" v Junta de Extremadura. Pridobljeno 4. avgusta 2017 v Junta de Extremadura: educarex.es.
