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

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

K tomu je zásadní vývoj různých systémů a forem studia, které vyústily ve čtyři hlavní typy logiky. Uvidíme níže, o čem každý z nich je.

• Doporučený článek: „Deset typů logických a sporných omylů“

Co je to logika?

Slovo „logika“ pochází z řečtiny „logos“, které lze přeložit různými způsoby: slovo, myšlenka, argument, princip nebo důvod jsou některé z hlavních. V tomto smyslu je logikou studium principů a uvažování.

Účelem této studie je porozumět různým kritériím závěrů a způsobu, jakým dospíváme k platným důkazům, na rozdíl od neplatných důkazů. Základní otázkou logiky tedy je, co je správné myšlení a jak můžeme rozlišit mezi platným argumentem a klamem?

Abychom odpověděli na tuto otázku, logika navrhuje různé způsoby klasifikace tvrzení a argumentů, ať už se vyskytují ve formálních systémech nebo v přirozeném jazyce. Konkrétně analyzuje výroky (deklarativní věty), které mohou být pravdivé nebo nepravdivé a také omyly, paradoxy, argumenty týkající se kauzality a obecně teorie argumentace.

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

• Konzistence (mezi teorémami, které tvoří systém, není rozpor)
• Pevnost (testovací systémy neobsahují falešné závěry)
• Úplnost (všechny pravdivé věty musí být testovatelné)

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ě jsou rozpoznávány čtyři hlavní typy logiky, každá s některými podtypy a specifikami. Níže uvidíme, o čem každý z nich je.

1. Formální logika

Také známá jako tradiční logická nebo filozofická logika, jedná se 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í přirozený, ale jeho symboly dávají smysl díky užitečné aplikaci, kterou poskytují. Filosofická tradice, z níž se tato odvozuje, se přesně nazývá „formalismus“.

Formální systém je zase systém, který se používá k vyvození závěru z jednoho nebo více prostor. Může jít o axiomy (samozřejmé výroky) nebo věty (závěry z pevné sady pravidel závěrů a axiomů).

Závěry, ke kterým jsme dospěli prostřednictvím formální logiky, pokud jsou založeny na platných prostorách a v logických operacích nedochází k žádným poruchám, jsou samy o sobě pravdivé. Ve skutečnosti to vede k otevřené debatě o tom, zda formální logika patří do světa vědy. nebo patří do jiné oblasti znalostí, protože nepopisují realitu, ale spíše svá vlastní pravidla fungující.

2. Neformální logika

Neformální logika je zase novější disciplínou, která studuje, hodnotí a analyzuje argumenty uplatněné v přirozeném nebo každodenním jazyce. Proto dostává kategorii „neformální“. Může to být jak mluvený, tak psaný jazyk, nebo jakýkoli typ mechanismu a interakce používané k něčemu komunikovat. Na rozdíl od formální logiky, která by například platila pro studium a vývoj počítačových jazyků; formální jazyk označuje jazyky a jazyky.

Neformální logika tedy může analyzovat vše od osobních úvah a argumentů až po politické debaty, právní argumenty nebo premisy šířené médii, jako jsou noviny, televize, internet, atd.

3. Symbolická logika

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

• Predikativní logika nebo logika prvního řádu: je to formální systém složený ze vzorců a kvantifikovatelných proměnných
• Výrokové: je to formální systém složený z propozic, které jsou schopné vytvářet další propozice prostřednictvím konektorů nazývaných „logické spojky“. V tomto nejsou téměř žádné kvantifikovatelné proměnné.

4. Matematická logika

V závislosti na autorovi, který ji popisuje, lze matematickou logiku považovat 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 jde o aplikaci matematického jazyka při konstrukci logických systémů, které umožňují reprodukovat lidskou mysl. Například to bylo velmi přítomné ve vývoji umělé inteligence a ve výpočetních paradigmatech studia poznání.

Obvykle se dělí na dva podtypy:

• Logika: jde o aplikaci logiky v matematice. Příklady tohoto typu jsou teorie důkazu, teorie modelů, teorie množin a teorie rekurze.
• Intuicionismus: tvrdí, že logika i matematika jsou metody, jejichž aplikace je konzistentní při provádění složitých mentálních konstrukcí. Říká však, že logika a matematika samy o sobě nemohou vysvětlit hluboké vlastnosti prvků, které analyzují.

Induktivní, deduktivní a modální uvažování

Na druhou stranu, 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 premís. Deduktivní uvažování činí tuto extrakci z obecné premisy do konkrétní premisy. Klasickým příkladem je ten, který navrhl Aristoteles: Všichni lidé jsou smrtelní (toto je obecná premisa); Sokrates je člověk (to je hlavní předpoklad) a nakonec je Sokrates smrtelný (to je závěr).

Induktivní uvažování je proces, při kterém se vyvozuje závěr v opačném směru: od konkrétního k obecnému. Příkladem může být „Všechny vrány, které vidím, jsou černé“ (zvláštní předpoklad); takže všechny vrány jsou černé (závěr).

Nakonec logika uvažování nebo modální logika je založena na pravděpodobnostních argumentech, tj. Vyjadřují možnost (modalitu). Jedná se o formální logický systém, který zahrnuje výrazy jako „mohl“, „smí“, „musí“, „nakonec“.

Bibliografické odkazy:

• Groarke, L. (2017). Neformální logika. Stanfordská encyklopedie filozofie. Citováno 2. října 2018. K dispozici v https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Základy filozofie. Citováno 2. října 2018. K dispozici v https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Únos, důvod a věda: Procesy objevování a vysvětlení. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Logické vlastnosti: identita, existence, predikce, nutnost, pravda. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Filozofie logiky. Cambridge, MA.: Harvard University Press.
• Shapiro, S. a Kouri, S. (2018). Klasická logika. Citováno 2. října 2018. K dispozici v logice (2018). Základy filozofie. Citováno 2. října 2018. K dispozici v https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modální logika. Stanfordská encyklopedie filozofie. Citováno 2. října 2018. K dispozici v https://plato.stanford.edu/entries/logic-modal/