4 najdôležitejšie typy logiky (a funkcií)

Logika je štúdium úvah a záverov. Je to súbor otázok a analýz, ktoré nám umožnili pochopiť, ako sa platné argumenty líšia od omylov a ako k nim prichádzame.

Pre tento účel bol nevyhnutný vývoj rôznych systémov a foriem štúdia, ktoré viedli k štyrom hlavným typom logiky. Uvidíme, o čom je každý.

• Odporúčaný článok: [10 druhov logických a argumentatívnych omylov] (10 typov logických a argumentačných omylov)

Čo je logika?

Slovo "logika" pochádza z gréckeho "loga", ktoré môže byť preložené rôznymi spôsobmi: slovo, myšlienka, argument, princíp alebo rozum sú niektoré z hlavných. V tomto zmysle je logikou štúdium princípov a úvah.

Táto štúdia si kladie za cieľ porozumieť rôznym kritériám záverov a spôsobu, akým sa dostávame k platným demonštráciám na rozdiel od neplatných demonštrácií. Takže základná otázka logiky je to, čo je správne myslenie a ako môžeme rozlišovať medzi platným argumentom a klamom??

Na zodpovedanie tejto otázky logika navrhuje rôzne spôsoby klasifikácie vyhlásení a argumentov, či sa vyskytujú vo formálnom systéme alebo v prirodzenom jazyku. Konkrétne analyzuje výroky (deklaratívne vety), ktoré môžu byť pravdivé alebo nepravdivé, ako aj omyly, paradoxy, argumenty, ktoré zahŕňajú kauzalitu a všeobecne teóriu argumentácie..

Vo všeobecnosti, aby sa systém považoval za logický, musia spĺňať tri kritériá:

• konzistencia (neexistuje žiadny rozpor medzi teorémami, ktoré tvoria systém)
• pevnosť (testovacie systémy nezahŕňajú falošné závery)
• úplnosť (všetky pravdivé vety musia byť preukázateľné)

4 typy logiky

Ako sme videli, logika používa rôzne nástroje na pochopenie argumentácie, ktorú používame na ospravedlnenie niečoho. Tradične sú rozpoznávané štyri hlavné typy logiky, z ktorých každá má niektoré podtypy a špecifiká. Uvidíme, o čom je každý.

1. Formálna logika

Tiež známy ako tradičná logika alebo filozofická logika, Ide o štúdium záverov s čisto formálnym a explicitným obsahom. Ide o analýzu formálnych výrokov (logických alebo matematických), ktorých význam nie je prirodzený, ale jeho symboly dávajú zmysel užitočnej aplikácii, ktorá je daná. Filozofická tradícia, z ktorej sa odvodzuje, sa nazýva presne "formalizmus".

Na druhej strane, formálny systém je taký, ktorý sa používa na vytvorenie záveru z jedného alebo viacerých priestorov. Posledne uvedené môžu byť axiómy (samozrejmé výroky) alebo vety (závery stanoveného súboru pravidiel dedukcií a axiómov).

2. Neformálna logika

Neformálna logika je novšou disciplínou, ktorá študovať, hodnotiť a analyzovať argumenty zobrazené v prirodzenom alebo každodennom jazyku. Preto dostáva kategóriu „neformálnych“. Môže to byť buď hovorený, alebo písaný jazyk, alebo akýkoľvek typ mechanizmu a interakcie, ktorý sa používa na komunikáciu. Na rozdiel od formálnej logiky, ktorá by sa napríklad vzťahovala na štúdium a vývoj počítačových jazykov; jazyk sa vzťahuje na jazyky a jazyky.

Neformálna logika tak môže analyzovať osobné úvahy a argumenty k politickým diskusiám, právnym argumentom alebo priestorom, ktoré šíria médiá, ako sú noviny, televízia, internet atď..

3. Symbolická logika

Ako už názov napovedá, symbolická logika analyzuje vzťahy medzi symbolmi. Niekedy sa používa zložitý matematický jazyk, pretože je zodpovedný za štúdium problémov, ktoré tradičné formálne logika je ťažké alebo ťažké riešiť. Zvyčajne sa delí na dva podtypy:

• Predikčná logika alebo prvý poriadokJe to formálny systém zložený zo vzorcov a merateľných premenných
• výrokovejJe to formálny systém zložený z výrokov, ktoré dokážu vytvárať ďalšie výroky prostredníctvom konektorov nazývaných "logické spojenie". V tomto prípade nie sú takmer žiadne merateľné veličiny.

4. Matematická logika

V závislosti od autora, ktorý ho opisuje, možno matematickú logiku považovať za typ formálnej logiky. Iní sa domnievajú, že matematická logika zahŕňa tak aplikáciu formálnej logiky, ako aj aplikáciu matematického uvažovania na formálnu logiku..

Všeobecne povedané, aplikácia matematického jazyka pri konštrukcii logických systémov umožňuje reprodukovať ľudskú myseľ. Toto bolo napríklad veľmi prítomné vo vývoji umelej inteligencie a vo výpočtových paradigmách štúdia poznávania..

Zvyčajne sa delí na dva podtypy:

• logicismIde o aplikáciu logiky v matematike. Príkladmi tohto typu sú teória testu, teória modelov, teória množín a teória rekurzie.
• intuicionismus: tvrdí, že logika aj matematika sú metódy, ktorých aplikácia je konzistentná na vykonávanie zložitých duševných stavieb. Ale on hovorí, že samotná logika a matematika nedokážu vysvetliť hlboké vlastnosti prvkov, ktoré analyzujú.

Indukčné, deduktívne a modálne uvažovanie

Na druhej strane, Existujú tri typy úvah, ktoré možno tiež považovať za logické systémy. Ide o mechanizmy, ktoré nám umožňujú vyvodiť závery z priestorov. Deduktívne uvažovanie robí takúto extrakciu zo všeobecnej premisy do konkrétnej premisy. Klasický príklad je ten, ktorý navrhol Aristoteles: Všetci ľudia sú smrteľní (toto je všeobecný predpoklad); Sokrates je človek (to je hlavná premisa) a nakoniec, Socrates je smrteľný (toto je záver).

Na druhej strane, induktívne uvažovanie je proces, prostredníctvom ktorého sa vyvodzuje záver v opačnom smere: od konkrétneho k všeobecnému. Príkladom by bolo "Všetky vrany, ktoré vidím, sú čierne" (konkrétny predpoklad); potom sú všetky vrany čierne (záver).

Nakoniec, úvaha alebo modálna logika je založená na pravdepodobnostných argumentoch, to znamená, že vyjadrujú možnosť (modalitu). Je to formálny logický systém, ktorý obsahuje výrazy ako "mohol", "môže", "mal", "prípadne".

Bibliografické odkazy:

• Groarke, L. (2017). Neformálna logika. Stanfordská encyklopédia filozofie. Získané 2. októbra 2018. K dispozícii na adrese https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Základy filozofie. Získané 2. októbra 2018. K dispozícii na adrese https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. a Kouri, S. (2018). Klasická logika. Získané 2. októbra 2018. Dostupné v logike (2018). Základy filozofie. Získané 2. októbra 2018. K dispozícii na adrese https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modálna logika. Stanfordská encyklopédia filozofie. Získané 2. októbra 2018. K dispozícii na adrese https://plato.stanford.edu/entries/logic-modal/