A négy legfontosabb logikai típus (és jellemzők)

A logika az érvelés és következtetések tanulmányozása. Ez egy olyan kérdés és elemzés, amely lehetővé tette számunkra, hogy megértsük, hogy az érvényes érvek mennyire különböznek a tévhitektől, és hogyan jutunk el ezekhez.

Ehhez elengedhetetlen volt a különböző tanulmányi rendszerek és rendszerek kifejlesztése, amelyek négy fő logikai típushoz vezettek. Az alábbiakban látni fogjuk, hogy mi mindegyikükről van szó.

• Ajánlott cikk: [A "logikai és érveléses tévedések 10 fajtája") (A logikai és érveléses tévedés 10 fajtája)

Mi a logika?

A "logika" szó a görög "logókból" származik, amelyek különböző módon fordíthatók: a szó, a gondolat, az érv, az elv vagy az ok a főbbek. Ebben az értelemben a logika az alapelvek és az érvelés tanulmányozása.

A tanulmány célja az következtetések különböző kritériumainak megértése és az érvényes tüntetések elérése, az érvénytelen tüntetésekkel ellentétben. Tehát a logika alapvető kérdése az, hogy mi a helyes gondolkodás, és hogyan lehet különbséget tenni egy érvényes érv és egy tévedés között??

A kérdés megválaszolásához a logika különböző módszereket javasol a nyilatkozatok és érvek osztályozására, akár formális rendszerben, akár természetes nyelven. Konkrétan elemzi azokat a javaslatokat (deklaratív mondatokat), amelyek igazak vagy hamisak lehetnek, valamint a tévedések, a paradoxonok, az ok-okozati összefüggéseket és általában az érveléselméletet..

Általánosságban elmondható, hogy egy rendszert logikusnak kell tekinteni, és három kritériumnak kell megfelelniük:

• következetesség (nincs ellentmondás a rendszert alkotó tételek között)
• szilárdság (a tesztrendszerek nem tartalmaznak hamis következtetéseket)
• teljesség (minden igaz mondatnak bizonyíthatónak kell lennie)

A 4 logikai típus

Ahogy láttuk, a logika különböző eszközöket használ, hogy megértsük az indoklást, amit valamit igazolunk. Hagyományosan négy fő logikai típus kerül felismerésre, amelyek mindegyike bizonyos altípusokkal és sajátosságokkal rendelkezik. Látni fogjuk, hogy mi mindegyikükről van szó.

1. Formális logika

Más néven hagyományos logika vagy filozófiai logika, a tisztán formális és explicit tartalmú következtetések tanulmányozásáról van szó. A formális állítások (logikai vagy matematikai) elemzéséről van szó, amelyek jelentése nem lényeges, hanem a szimbólumok értelme az adott hasznos alkalmazásnak. A filozófiai hagyományt, amelyből az utóbbi származik, pontosan "formalizmusnak" nevezzük..

A formális rendszer viszont egy vagy több helyiségből levonható következtetések levonására szolgál. Ez utóbbiak lehetnek axiómák (magától értetődő javaslatok) vagy tételek (egy következtetések és axiómák rögzített szabályrendszerének következtetései).

2. Informális logika

A maga részéről az informális logika egy újabb fegyelem, amely tanulmányozza, értékelje és elemzi a természetes vagy mindennapi nyelvben megjelenő érveket. Ezért megkapja az "informális" kategóriát. Lehet akár beszélt, akár írásos nyelv, vagy bármilyen típusú mechanizmus és kölcsönhatás, amit valamilyen kommunikációhoz használnak. A formális logikával ellentétben, amely például a számítógépes nyelvek tanulmányozására és fejlesztésére vonatkozik; a hivatalos nyelv nyelvekre és nyelvekre vonatkozik.

Így az informális logika személyes érvelésből és érvekből politikai vitákra, jogi érvekre vagy a média által terjesztett helyekre, például újságokra, televízióra, internetre stb..

3. Szimbolikus logika

Ahogy a neve is jelzi, a szimbolikus logika elemzi a szimbólumok közötti kapcsolatokat. Néha bonyolult matematikai nyelvet használ, mivel felelős a hagyományos formális logika által nehézkes vagy nehezen kezelhető problémák tanulmányozásáért. Általában két altípusra oszlik:

• Előrejelző logika vagy elsőrendű: egy formális rendszer, amely képletekből és számszerűsíthető változókból áll
• propozicionális: ez egy olyan formális rendszer, amely állításokból áll, amelyek a "logikai kötés" nevű csatlakozókon keresztül más javaslatokat hozhatnak létre. Ebben szinte nincsenek számszerűsíthető változók.

4. Matematikai logika

A szerzőtől függően a matematikai logika tekinthető formális logikának. Mások úgy vélik, hogy a matematikai logika magában foglalja a formális logika alkalmazását a matematikához, és a matematikai érvelés alkalmazását a formális logikára..

Általánosságban elmondható, hogy a matematikai nyelv alkalmazása a logikai rendszerek felépítésében lehetővé teszi az emberi elme reprodukálását. Ez például a mesterséges intelligencia fejlesztésében és a kognitív tanulmány számítási paradigmáiban volt jelen..

Általában két altípusra oszlik:

• logicism: a logika alkalmazása a matematikában. Ilyen például a teszt elmélete, a modellelmélet, a készletek elmélete és a rekurzió elmélete.
• intuitionism: azt állítja, hogy mind a logika, mind a matematika olyan módszerek, amelyek alkalmazása komplex mentális konstrukciók végrehajtására következetes. De azt mondja, hogy önmagukban a logika és a matematika nem tudja megmagyarázni az általuk elemzett elemek mély tulajdonságait.

Induktív, deduktív és modális érvelés

Másrészt, Háromféle érvelés létezik, amelyek szintén logikai rendszernek tekinthetők. Ezek olyan mechanizmusok, amelyek lehetővé teszik számunkra, hogy következtetéseket vonjunk le a helyiségekből. A deduktív érvelés egy általános feltevést egy adott helyszínre tesz. Klasszikus példa erre Arisztotelész: Minden ember halandó (ez az általános előfeltétel); Szókratész egy ember (ez a fő előfeltétel), és végül a Socrates halandó (ez a következtetés).

Másrészt az induktív érvelés az a folyamat, amelynek segítségével az ellenkező irányba következtetést vonunk le: a konkréttól az általánosig. Erre példa lenne: „Az összes varjú, amit látok, feketeek” (különösképpen előfeltétel); akkor minden varjú fekete (következtetés).

Végül az érvelés vagy a modális logika valószínűségi érveken alapul, azaz lehetőségeket (modalitást) fejeznek ki. Ez egy olyan formális logikai rendszer, amely olyan kifejezéseket tartalmaz, mint a "lehet", "lehet", "kell", "végül".

Irodalmi hivatkozások:

• Groarke, L. (2017). Informális logika. Stanford Encyclopedia of Philosophy. Letöltött 2018. október 2. Elérhető a https://plato.stanford.edu/entries/logic-informal/ címen.
• Logika (2018). A filozófia alapjai. Letöltött 2018. október 2. Elérhető a https://www.philosophybasics.com/branch_logic.html címen.
• Shapiro, S. és Kouri, S. (2018). Klasszikus logika. 2018. október 2-án szerezhető be. Elérhető logikában (2018). A filozófia alapjai. Letöltött 2018. október 2. Elérhető a https://www.philosophybasics.com/branch_logic.html címen.
• Garson, J. (2018). Modal Logic. Stanford Encyclopedia of Philosophy. 2018. október 2-án szerezhető be. Elérhető a https://plato.stanford.edu/entries/logic-modal/ címen.