4 nejdůležitější typy logiky (a funkcí)

Logika je studium uvažování a závěrů. Je to soubor otázek a analýz, které nám umožnily pochopit, jak se platné argumenty liší od chyb a jak k nim dospějeme.

Pro tento účel byl nepostradatelný rozvoj různých systémů a forem studia, které vedly ke čtyřem hlavním typům logiky. Uvidíme, o čem je každý z nich.

• Doporučený článek: [10 typů logických a argumentativních chyb] (10 typů logických a argumentačních chyb)

Co je logika?

Slovo "logika" pochází z řeckých "log", která mohou být přeložena různými způsoby: slovo, myšlenka, argument, princip nebo rozum jsou některé z hlavních. V tomto smyslu logika je studium principů a uvažování.

Tato studie si klade za cíl porozumět různým kritériím závěrů a tomu, jak se dostáváme k platným demonstracím, na rozdíl od neplatných demonstrací. Takže základní otázkou logiky je to, co je správné myšlení a jak můžeme rozlišovat mezi platným argumentem a klamem??

Pro zodpovězení této otázky logika navrhuje různé způsoby třídění prohlášení a argumentů, ať se vyskytují ve formálním systému nebo v přirozeném jazyce. Konkrétně analyzuje výroky (deklarativní věty), které mohou být pravdivé nebo nepravdivé, stejně jako omyly, paradoxy, argumenty, které zahrnují kauzalitu a obecně teorii argumentace..

Obecně řečeno, aby systém považoval systém za logický, musí splňovat tři kritéria:

• Konzistence (není zde žádný rozpor mezi větami, které tvoří systém)
• Síla (testovací systémy nezahrnují falešné závěry)
• Úplné (všechny pravdivé věty musí být možné prokázat)

4 typy logiky

Jak jsme viděli, logika používá různé nástroje k pochopení uvažování, které používáme k ospravedlnění něčeho. Tradičně, čtyři hlavní typy logiky jsou rozpoznány, každý s některými podtypy a specificities. Uvidíme, o čem je každý.

1. Formální logika

Také známý jako tradiční logika nebo filozofická logika, jde o studium závěrů s čistě formálním a explicitním obsahem. Jde o analýzu formálních tvrzení (logických nebo matematických), jejichž význam není vnitřní, ale jeho symboly dávají smysl užitečné aplikaci, která je dána. Filozofická tradice od kterého latter pochází je volán přesně “formalismus” \ t.

Formální systém je zase takový, který se používá k závěru z jednoho nebo více prostorů. Ty mohou být axiomy (samozřejmé výroky) nebo věty (závěry pevné soustavy pravidel závěrů a axiomů).

2. Neformální logika

Neformální logika je ze své poslední disciplíny, která studovat, hodnotit a analyzovat argumenty zobrazované v přirozeném nebo každodenním jazyce. Proto přijímá kategorii „neformální“. Může to být buď mluvený nebo psaný jazyk, nebo jakýkoliv typ mechanismu a interakce, který je používán pro komunikaci. Na rozdíl od formální logiky, která by se například vztahovala na studium a vývoj počítačových jazyků; jazyk označuje jazyky a jazyky.

Neformální logika tak může analyzovat osobní úvahy a argumenty k politickým debatám, právním argumentům nebo prostorům šířeným sdělovacími prostředky, jako jsou noviny, televize, internet atd..

3. Symbolická logika

Jak naznačuje její název, symbolická logika analyzuje vztahy mezi symboly. Někdy používá složitý matematický jazyk, protože je zodpovědný za studium problémů, které tradiční formální logika ztěžuje nebo je obtížné řešit. Obvykle se dělí na dva podtypy:

• Předikativní logika nebo první řádJe to formální systém složený ze vzorců a měřitelných proměnných
• Návrh: jedná se o formální systém složený z propozic, které jsou schopny vytvářet další tvrzení prostřednictvím konektorů nazývaných "logické spojení". V tomto nejsou téměř žádné měřitelné veličiny.

4. Matematická logika

V závislosti na autorovi, který ji popisuje, lze matematickou logiku považovat za typ formální logiky. Jiní zvažují, že matematická logika zahrnuje jak použití formální logiky k matematice, tak použití matematického uvažování k formální logice..

Obecně řečeno, aplikace matematického jazyka v konstrukci logických systémů umožňuje reprodukovat lidskou mysl. Například, toto bylo velmi přítomné ve vývoji umělé inteligence a ve výpočetních paradigmatech studia poznávání..

Obvykle se dělí na dva podtypy:

• LogikaJedná se o aplikaci logiky v matematice. Příklady tohoto typu jsou teorie testu, teorie modelů, teorie množin a teorie rekurze.
• Intuitionismus: argumentuje, že jak logika, tak matematika jsou metody, jejichž aplikace je konzistentní při provádění složitých duševních konstrukcí. Ale říká, že logika a matematika nemohou samy o sobě vysvětlit hluboké vlastnosti prvků, které analyzují.

Indukční, deduktivní a modální uvažování

Na druhé straně, Existují tři typy uvažování, které lze také považovat za logické systémy. Jedná se o mechanismy, které nám umožňují vyvodit závěry z prostor. Deduktivní uvažování činí takové vytěžování z obecné premisy do určitého předpokladu. Klasický příklad je to navrhlo Aristotle: Všichni lidé jsou smrtelní (toto je obecná premisa); Sokrates je člověk (je to hlavní předpoklad) a nakonec je Socrates smrtelný (to je závěr).

Na druhé straně, indukční uvažování je proces, jehož prostřednictvím je závěr vyvozován v opačném směru: od konkrétního k obecnému. Příklad tohoto by byl “všechny vrány já vidím být černý” (zvláštní předpoklad); pak jsou všechny vrány černé (závěr).

Konečně, úvaha nebo modální logika je založená na pravděpodobnostních argumentech, to je, oni vyjadřují možnost (modalita). Jedná se o formální logický systém, který obsahuje výrazy jako "mohl", "může", "měl", "nakonec".

Bibliografické odkazy:

• Groarke, L. (2017). Neformální logika. Stanfordská encyklopedie filozofie. Získáno 2. října 2018. K dispozici na adrese https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Základy filosofie. Získáno 2. října 2018. K dispozici na adrese https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. a Kouri, S. (2018). Klasická logika. Získáno 2. října 2018. K dispozici v logice (2018). Základy filosofie. Získáno 2. října 2018. K dispozici na adrese https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modální logika. Stanfordská encyklopedie filozofie. Získáno 2. října 2018. K dispozici na adrese https://plato.stanford.edu/entries/logic-modal/