A logika 4 legfontosabb típusa (és jellemzői)

A logika az érvelés és következtetések tanulmányozása. Kérdések és elemzések összessége tette lehetővé annak megértését, hogy az érvényes érvek miben különböznek a tévedésektől, és hogyan jutunk el hozzájuk.

Ehhez elengedhetetlen volt a különféle rendszerek és tanulmányi formák kidolgozása, amelyek négy fő logikai típust eredményeztek. Az alábbiakban meglátjuk, miről szól mindegyik.

• Ajánlott cikk: "A logikai és érvelési tévedések 10 típusa"

Mi a logika?

A "logika" szó a görög "logoszból" származik, amelyeket különféle módon lehet lefordítani: a szó, a gondolat, az érvelés, az elv vagy az ok a legfontosabbak közül. Ebben az értelemben a logika az elvek és az érvelés tanulmányozása.

Ennek a tanulmánynak az a célja, hogy megértse a következtetések különböző kritériumait, és hogy miként jutunk el érvényes bizonyítékokra, ellentétben az érvénytelen bizonyítékokkal. Tehát a logika alapkérdése az, hogy mi a helyes gondolkodás, és hogyan tudunk különbséget tenni egy érvényes érv és egy tévedés között?

Ennek a kérdésnek a megválaszolásához a logika az állítások és érvek osztályozásának különféle módjait javasolja, függetlenül attól, hogy formális rendszerben vagy természetes nyelven fordulnak-e elő. Pontosabban elemzi azokat a tételeket (kijelentő mondatokat), amelyek igazak vagy hamisak lehetnek, valamint tévedések, paradoxonok, ok-okozati összefüggések és általában a érvelés.

Általánosságban elmondható, hogy egy rendszert logikusnak tekintenek, három feltételnek kell megfelelniük:

• Következetesség (nincs ellentmondás a rendszert alkotó tételek között)
• Szilárdság (a vizsgálati rendszerek nem tartalmaznak hamis következtetéseket)
• Teljesség (minden igaz mondatnak tesztelhetőnek kell lennie)

A négyféle logika

Mint láttuk, a logika különböző eszközöket használ annak megértéséhez, amelyet valaminek a megalapozására használunk. Hagyományosan a logika négy fő típusát ismerik el, mindegyiknek van néhány altípusa és sajátossága. Az alábbiakban meglátjuk, miről szól mindegyik.

1. Formális logika

Más néven hagyományos logika vagy filozófiai logika, pusztán formális és kifejezett tartalmú következtetések tanulmányozása. Olyan formális állítások elemzéséről van szó (logikai vagy matematikai), amelyek jelentése nem belső, hanem szimbólumaiknak van értelme az általuk adott hasznos alkalmazás miatt. Az utóbbi filozófiai hagyományt pontosan "formalizmusnak" nevezik.

Viszont a formális rendszer az, amelyet arra használnak, hogy következtetéseket vonjon le egy vagy több helyiségből. Ez utóbbiak lehetnek axiómák (magától értetődő állítások) vagy tételek (következtetések a következtetések és axiómák rögzített szabályrendszeréből).

A következtetéseket, amelyeket formális logika segítségével vontunk le, ha érvényes premisszákon alapulnak, és a logikai műveletekben nincsenek hibák, akkor önmagukban is igazak. Valójában ez nyílt vitához vezet arról, hogy a formális logika a tudomány világához tartozik-e. vagy egy másik tudásterülethez tartoznak, mivel nem a valóságot, hanem inkább saját szabályait írják le működő.

2. Informális logika

Az informális logika a maga részéről egy újabb tudományág, amely tanulmányozza, értékeli és elemzi a természetes vagy mindennapi nyelven alkalmazott érveket. Ezért megkapja az "informális" kategóriát. Ez lehet mind beszélt, mind írott nyelv, vagy bármilyen típusú mechanizmus és interakció, amelyet valamilyen kommunikációra 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 vonatkozna; a hivatalos nyelv a nyelvekre és nyelvekre utal.

Az informális logika tehát mindent elemezhet a személyes érveléstől és az érvektől a politikai vitákig, jogi érvek vagy a média, például az újság, a televízió, az internet, a stb.

3. Szimbolikus logika

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

• Predikatív vagy elsőrendű logika: ez egy képletekből és számszerűsíthető változókból álló formális rendszer
• Propozíciós: ez egy olyan formális rendszer, amely propozíciókból áll, amelyek képesek más propozíciókat létrehozni a "logikai összekötők" nevű összekötőkön keresztül. Ebben szinte nincsenek számszerűsíthető változók.

4. Matematikai logika

A leíró szerzőtől függően a matematikai logika a formális logika egyik típusának tekinthető. Mások szerint a matematikai logika magában foglalja mind a formális logika alkalmazását a matematikában, mind a matematikai érvelés alkalmazását a formális logikában.

Általánosságban elmondható, hogy a matematikai nyelvnek a logikai rendszerek felépítésében történő alkalmazásáról van szó, amely lehetővé teszi az emberi elme reprodukcióját. Például ez nagyon jelen volt a mesterséges intelligencia fejlesztésében és a megismerés tanulmányozásának számítási paradigmáiban.

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

• Logika: a logika alkalmazásáról szól a matematikában. Ilyen típus például a bizonyításelmélet, a modellelmélet, a halmazelmélet és a rekurzióelmélet.
• Intuíció: fenntartja, hogy a logika és a matematika egyaránt olyan módszer, amelynek alkalmazása következetes a komplex mentális konstrukciók végrehajtására. De azt mondja, hogy a logika és a matematika önmagában nem tudja megmagyarázni az elemzett elemek mély tulajdonságait.

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

Másrészről, háromféle érvelés létezik, amelyek logikai rendszereknek is tekinthetők. Ezek olyan mechanizmusok, amelyek lehetővé teszik számunkra, hogy következtetéseket vonjunk le a telephelyről. A deduktív érvelés teszi ezt a kivonást egy általános előfeltevésből egy adott premisszába. Klasszikus példa Arisztotelész által javasolt: Minden ember halandó (ez az általános előfeltevés); Szókratész emberi (ez a fő előfeltevés), végül Szókratész halandó (ez a következtetés).

Az induktív érvelés a maga részéről az a folyamat, amelynek során következtetést vonnak le az ellenkező irányba: a sajátostól az általánosig. Erre példa lehet "Az összes varjú fekete, amit látok" (sajátos előfeltevés); tehát minden varjú fekete (következtetés).

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

Bibliográfiai hivatkozások:

• Groarke, L. (2017). Informális logika. Stanfordi filozófia-enciklopédia. Letöltve: 2018. október 2. Elérhető https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). A filozófia alapjai. Letöltve: 2018. október 2. Elérhető https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Elrablás, ok és tudomány: a felfedezés és a magyarázat folyamata. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Logikai tulajdonságok: azonosság, létezés, predikció, szükségszerűség, igazság. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). A logika filozófiája. Cambridge, MA: Harvard University Press.
• Shapiro, S. és Kouri, S. (2018). Klasszikus logika. Letöltve: 2018. október 2. Elérhető a Logic (2018). A filozófia alapjai. Letöltve: 2018. október 2. Elérhető https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modális logika. Stanfordi filozófia-enciklopédia. Letöltve: 2018. október 2. Elérhető https://plato.stanford.edu/entries/logic-modal/