4 nejdůležitější typy logiky (a funkce)
Logika je studium uvažování a závěrů , Jedná se o soubor otázek a analýz, které nám umožnily pochopit, jak se platné argumenty liší od klamů a jak se k nim dostáváme.
Za tímto účelem je nezbytný rozvoj různých systémů a forem studia, které vedly ke čtyřem hlavním typům logiky. Pod každým z nich uvidíme.
- Doporučený článek: ["10 typů logických a argumentativních klamů"] (10 typů logických a argumentativních klamů)
Co je to logika?
Slovo "logika" pochází z řeckého "loga", které lze přeložit různými způsoby: slovo, myšlenka, argument, princip nebo rozum jsou některé z hlavních. V tomto smyslu je logika studium principů a uvažování.
Tato studie má za cíl porozumět různým kritériím závěrů a jak dospíme k platným demonstracím, na rozdíl od neplatných demonstrací. Takže základní otázkou logiky je, co je správné myšlení a jak můžeme rozlišovat mezi platným argumentem a klamem?
Chcete-li odpovědět na tuto otázku, logika navrhuje různé způsoby klasifikace výroků 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 byl logický, musí splňovat tři kritéria:
- Konzistence (neexistuje žádný rozpor mezi věty, které tvoří systém)
- Pevnost (testovací systémy nezahrnují falešné závěry)
- Kompletně (všechny skutečné věty musí být dokázány)
4 typy logiky
Jak jsme viděli, logika používá různé nástroje k pochopení úvah, které používáme k ospravedlnění něčeho. Tradičně jsou rozpoznány čtyři hlavní typy logiky, každý s některými podtypy a zvláštnostmi. Uvidíme, o čem je každý z nich.
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 , Jedná se o analýzu formálních výroků (logických nebo matematických), jejichž význam není vlastní, ale jeho symboly mají smysl kvůli užitečné aplikaci. Filozofická tradice, ze které vychází, se nazývá přesně "formalismem".
Na druhou stranu formální systém je ten, který se používá k získání závěru z jednoho či více prostor. Ty mohou být axiomy (samozřejmé návrhy) nebo věty (závěry pevného souboru pravidel závěrů a axiomů).
2. Neformální logika
Z jeho strany je neformální logika novější disciplínou, která studovat, vyhodnocovat a analyzovat argumenty zobrazované v přírodním nebo každodenním jazyce , Proto obdrží kategorii "neformální". Může to být buď mluvený nebo psaný jazyk, nebo jakýkoli druh mechanismu a interakce, které se používají k tomu, aby něco sdělilo. Na rozdíl od formální logiky, která by se například vztahovala na studium a vývoj počítačových jazyků; formální jazyk se týká jazyků a jazyků.
Neformální logika tak může analyzovat osobní úvahy a argumenty na politické debaty, právní argumenty nebo prostory šířené médii, jako jsou noviny, televize, internet a tak dále.
3. Symbolická logika
Jak naznačuje 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 považuje za komplikované nebo obtížné řešit. Obvykle se dělí na dva podtypy:
- Prediktivní logika nebo první objednávka : je to formální systém složený z vzorců a kvantifikovatelných proměnných
- Propositional : je to formální systém složený z návrhů, které jsou schopné vytvářet jiná propojení prostřednictvím konektorů nazvaných "logické spojnice". V této oblasti neexistují téměř žádné vyčíslitelné proměnné.
4. Matematická logika
V závislosti na autora, který to popisuje, může být matematická logika považována za typ formální logiky. Jiní se domnívají, že matematická logika zahrnuje jak aplikaci formální logiky na matematiku, tak aplikaci matematického uvažování na formální logiku.
Obecně řečeno, použití matematického jazyka při konstrukci logických systémů umožňuje reprodukovat lidskou mysl. Například to bylo velmi přítomné ve vývoji umělé inteligence a výpočetních paradigmat studie poznávání.
Obvykle se dělí na dva podtypy:
- Logicismus : jde o aplikaci logiky v matematice. Příklady tohoto typu jsou teorie důkazů, teorie modelů, teorie množin a teorie rekurze.
- Intuice : argumentuje, že logika i matematika jsou metody, jejichž aplikace je konzistentní pro provádění komplexních mentálních konstrukcí. Ale říká, že logika a matematika samy o sobě nemohou vysvětlit hluboké vlastnosti prvků, které analyzují.
Induktivní, deduktivní a modální argumentace
Na druhou stranu, Existují tři typy úvah, které lze považovat za logické systémy , Jedná se o mechanismy, které nám umožňují vyvodit závěry z prostor. Deduktivní odůvodnění činí takovou extrakci z obecného předpokladu k určitému předpokladu. Klasickým příkladem je to, co navrhuje Aristotle: všichni lidé jsou smrtelní (to je obecný předpoklad); Sokrates je člověk (to je hlavní předpoklad) a nakonec je Sokrates smrtelný (to je závěr).
Z jeho strany je induktivní úvaha proces, kterým se vyvozuje závěr v opačném směru: od konkrétního k obecnému. Příkladem toho by bylo "Všechny vrany, které vidím, jsou černé" (zvláštní předpoklad); pak jsou všechny vrány černé (závěr).
Konečně, argumentace nebo modální logika jsou založeny na pravděpodobnostních argumentech, tj. Vyjadřují možnost (modality). Jedná se o formální logický systém, který obsahuje termíny jako "mohl", "může", "měl", "nakonec".
Bibliografické odkazy:
- Groarke, L. (2017). Neformální logika. Stanfordská encyklopedie filozofie. Nahráno 2. října 2018. K dispozici na //plato.stanford.edu/entries/logic-informal/
- Logika (2018). Základy filozofie. Nahráno 2. října 2018. K dispozici na //www.philosophybasics.com/branch_logic.html
- Shapiro, S. a Kouri, S. (2018). Klasická logika. Získané 2. října 2018. K dispozici v logice (2018). Základy filozofie. Nahráno 2. října 2018. K dispozici na //www.philosophybasics.com/branch_logic.html
- Garson, J. (2018). Modální logika. Stanfordská encyklopedie filozofie. Nahráno 2. října 2018. K dispozici na adrese //plato.stanford.edu/entries/logic-modal/
