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

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

Z tohto dôvodu je nevyhnutný vývoj rôznych systémov a foriem štúdia, ktorých výsledkom sú štyri hlavné typy logiky. Uvidíme nižšie, o čom je každý z nich.

• Odporúčaný článok: „10 druhov logických a argumentačných omylov“

Čo je to logika?

Slovo „logika“ pochádza z gréckeho „logos“, ktoré sa dá preložiť rôznymi spôsobmi: slovo, myšlienka, argument, princíp alebo dôvod sú niektoré z hlavných. V tomto zmysle je logikou štúdium princípov a uvažovania.

Účelom tejto štúdie je porozumieť rôznym kritériám záverov a spôsobu, akým dospievame k platným dôkazom, na rozdiel od neplatných dôkazov. Základnou otázkou logiky teda je, čo je správne myslenie a ako môžeme rozlíšiť medzi platným argumentom a omylom?

Na zodpovedanie tejto otázky ponúka logika rôzne spôsoby klasifikácie tvrdení a argumentov, či už sa vyskytujú vo formálnych systémoch alebo v prirodzenom jazyku. Konkrétne analyzuje výroky (deklaratívne vety), ktoré môžu byť pravdivé alebo nepravdivé omyly, paradoxy, argumenty týkajúce sa kauzality a všeobecne teória argumentácia.

Všeobecne platí, že ak má byť systém považovaný za logický, musí spĺňať tri kritériá:

• Dôslednosť (nie je rozpor medzi vetami, ktoré tvoria systém)
• Pevnosť (testovacie systémy nezahŕňajú falošné závery)
• Úplnosť (všetky pravdivé vety musia byť testovateľné)

4 typy logiky

Ako sme videli, logika používa rôzne nástroje na pochopenie úvah, ktoré používame na ospravedlnenie niečoho. Tradične sa uznávajú štyri hlavné typy logiky, z ktorých každý má určité podtypy a špecifiká. Ďalej uvidíme, o čom je každý z nich.

1. Formálna logika

Tiež známa ako tradičná logická alebo filozofická logika, je to š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 podstatný, ale jeho symboly dávajú zmysel vďaka užitočnej aplikácii, ktorú poskytujú. Filozofická tradícia, od ktorej sa odvíja, sa presne nazýva „formalizmus“.

Formálny systém je zase taký, ktorý sa používa na vyvodenie záveru z jedného alebo viacerých predpokladov. Poslednými menovanými môžu byť axiómy (samozrejmé výroky) alebo vety (závery z pevne stanoveného súboru pravidiel inferencií a axiómov).

Závery, ku ktorým sme dospeli prostredníctvom formálnej logiky, ak sú založené na platných priestoroch a nedochádza k zlyhaniu logických operácií, sú samy osebe pravdivé. To v skutočnosti vedie k otvorenej diskusii o tom, či formálna logika patrí do sveta vedy. alebo patria do inej oblasti poznania, pretože neopisujú realitu, ale skôr svoje vlastné pravidlá fungovanie.

2. Neformálna logika

Neformálna logika je svojou časťou najnovšou disciplínou, ktorá študuje, hodnotí a analyzuje argumenty predložené v prirodzenom alebo každodennom jazyku. Preto dostáva kategóriu „neformálne“. Môže to byť hovorený aj písaný jazyk alebo akýkoľvek druh mechanizmu a interakcie používanej na komunikáciu niečoho. Na rozdiel od formálnej logiky, ktorá by sa napríklad uplatňovala na štúdium a vývoj počítačových jazykov; formálny jazyk sa vzťahuje na jazyky a jazyky.

Neformálna logika teda môže analyzovať všetko, od osobných úvah a argumentov až po politické debaty, právne argumenty alebo priestory šírené médiami, ako sú noviny, televízia, internet, atď.

3. Symbolická logika

Ako už z názvu vyplýva, symbolická logika analyzuje vzťahy medzi symbolmi. Niekedy používa zložitý matematický jazyk, pretože má na starosti štúdium problémov, ktoré sa tradičnej formálnej logike zdajú komplikované alebo ťažko zvládnuteľné. Spravidla sa delí na dva podtypy:

• Prediktívna logika alebo logika prvého rádu: je to formálny systém zložený zo vzorcov a vyčísliteľných premenných
• Propozičné: je to formálny systém zložený z propozícií, ktoré sú schopné vytvárať ďalšie propozície prostredníctvom konektorov nazývaných „logické spojky“. V tomto prípade neexistujú takmer žiadne vyčísliteľné premenné.

4. Matematická logika

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

Všeobecne povedané, ide o aplikáciu matematického jazyka pri konštrukcii logických systémov, ktorá 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 poznania.

Spravidla sa delí na dva podtypy:

• Logika: ide o aplikáciu logiky v matematike. Príklady tohto typu sú teória dôkazov, teória modelov, teória množín a teória rekurzií.
• Intuitívnosť: tvrdí, že logika aj matematika sú metódy, ktorých aplikácia je konzistentná pri uskutočňovaní zložitých mentálnych konštrukcií. Hovorí však, že logika a matematika samy osebe nedokážu vysvetliť hlboké vlastnosti prvkov, ktoré analyzujú.

Induktívne, deduktívne a modálne usudzovanie

Na druhej strane, existujú tri typy uvažovania, ktoré možno považovať aj za logické systémy. Toto sú mechanizmy, ktoré nám umožňujú robiť závery z premís. Deduktívne uvažovanie robí túto extrakciu zo všeobecného predpokladu do konkrétneho predpokladu. Klasickým príkladom je ten, ktorý navrhol Aristoteles: Všetci ľudia sú smrteľní (toto je všeobecná premisa); Sokrates je človek (to je hlavný predpoklad) a nakoniec je Sokrates smrteľný (to je záver).

Induktívne uvažovanie je svojou časťou proces, pri ktorom sa vyvodzuje záver v opačnom smere: od konkrétneho k všeobecnému. Príkladom môže byť „Všetky vrany, ktoré vidím, sú čierne“ (osobitný predpoklad); takže všetky vrany sú čierne (záver).

Nakoniec, logika uvažovania 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 pojmy ako „mohol“, „môže“, „musí“, „prípadne“.

Bibliografické odkazy:

• Groarke, L. (2017). Neformálna logika. Stanfordská encyklopédia filozofie. Získané 2. októbra 2018. Dostupné v https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Základy filozofie. Získané 2. októbra 2018. Dostupné v https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Únos, rozum a veda: Procesy objavovania a vysvetľovania. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Logické vlastnosti: Identita, Existencia, Predikcia, Nutnosť, Pravda. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Filozofia logiky. Cambridge, MA: Harvard University Press.
• 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. Dostupné v https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modálna logika. Stanfordská encyklopédia filozofie. Získané 2. októbra 2018. Dostupné v https://plato.stanford.edu/entries/logic-modal/