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

Június 14, 2024

A logika az érvelés és következtetések tanulmányozása . Ez egy sor kérdés és elemzés, amely lehetővé tette számunkra, hogy megértsük, hogy az érvényes érvek eltérnek-e a tévhitektől és hogyan érkeznek hozzájuk.

Ehhez elengedhetetlen volt a különböző rendszerek és tanulási formák kifejlesztése, amelyek a logika négy fő típusához vezettek. Láthatja az alábbiakban, hogy mi mindegyikről szól.

Ajánlott cikk: ["A logikai és argumentatív hibák 10 fajtája"] (A logikai és argumentatív hibák 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 lefordíthatók: a szó, a gondolat, az érvelés, az elv vagy az ok néhány legfontosabb. Ebben az értelemben a logika az elvek és az érvelés vizsgálata.

Ennek a tanulmánynak a célja a következtetések különböző kritériumainak megértése és a valódi tüntetések megérkezése, ellentétben az érvénytelen tüntetésekkel. Tehát a logika alapvető kérdése, hogy mi a helyes gondolkodás és hogyan lehet megkülönböztetni egy érvényes érvelést és tévedést?

A kérdés megválaszolásához a logika különféle módokat javasol az állítások és érvek osztályozására, akár formális rendszerben, akár természetes nyelven. Pontosabban elemzi azokat az állításokat (deklaratív mondatokat), amelyek lehetnek igazak vagy hamisak, valamint tévedések, paradoxok, érvek, amelyek az okságot és általában az érvelés elméletét foglalják magukban.

Általánosságban elmondható, hogy a rendszert logikusnak kell tekinteni, három kritériumnak kell megfelelnie:

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 mondatot be kell bizonyítani)

A logika 4 fajtája

Mint láttuk, a logika különböző eszközöket használ ahhoz, hogy megértsük az érvelést, amit valami igazolásra használunk. Hagyományosan négy legfontosabb logikai típust ismerünk fel, melyek mindegyikének vannak altípusai és sajátosságai. Láthatja az alábbiakban, hogy mi is van.

1. Formális logika

Szintén hagyományos logika vagy filozófiai logika néven ismert, a tisztán formális és explicit tartalmú következtetések tanulmányozásáról szól . Arról van szó, hogy elemezzük a formális kijelentéseket (logikai vagy matematikai), amelyek értelmezése nem lényeges, de a hasznos szimbólumoknak köszönhetően szimbólumai jelentenek. A filozófiai hagyomány, amelyből az utóbbi származik, pontosan "formalizmusnak" nevezzük.

Másfelől egy olyan formális rendszer, amely egy vagy több helyiségből levonható következtetést von maga után. Ez utóbbiak lehetnek axiómák (önmagukban kifejezett javaslatok) vagy tételek (a következtetések és az axiómák szabályos szabályainak következtetései).

2. Informális logika

Az informális logika viszont egy újabb fegyelem, amely tanulmányozza, értékeli és elemzi a természetes vagy a mindennapokban megjelenő érveket . Ezért megkapja az "informális" kategóriát. Beszélhet vagy írásbeli nyelvet, vagy bármilyen típusú mechanizmust és interakciót használhat valamilyen kommunikációhoz. A formális logikától eltérően, amely például a számítógépes nyelvek tanulmányozására és fejlesztésére vonatkozik; a hivatalos nyelv a nyelvekre és a nyelvekre utal.

Így az informális logika elemezheti a személyes érvelést és érveket a politikai vitákhoz, a jogi érvekhez vagy a média által terjesztett helyiségekhez, például az újságokhoz, a televízióhoz, az internethez és így tovább.

3. Szimbolikus logika

Ahogy a neve is jelzi, a szimbolikus logika elemzi a szimbólumok közötti kapcsolatokat. Néha komplex matematikai nyelvet használ, mivel feladata azoknak a problémáknak a tanulmányozása, amelyeket a hagyományos formális logika bonyolult vagy nehezen kezel. Általában két altípusra oszlik:

Előrejelző logika vagy elsőrendű : Formális rendszer, amely képletekből és számszerűsíthető változókból áll
propozicionális : egy olyan formális rendszer, amely állítólagos javaslatokból áll, amelyek képesek más javaslatokat létrehozni a "logikai kötődés" elnevezésű csatlakozókon keresztül. Ebben szinte nincs számszerűsíthető változó.

4. Matematikai logika

Attól függően, hogy a szerző, aki leírja, a matematikai logika formai logika formájának tekinthető. Mások úgy vélik, hogy a matematikai logika magában foglalja mind a formális logika matematikai alkalmazását, mind a matematikai érvelést a formális logikához.

Általánosságban elmondható, hogy a matematikai nyelv alkalmazása a logikai rendszerek kialakításában lehetővé teszi az emberi elme reprodukálását. Például ez nagyon jelen van a mesterséges intelligencia fejlesztésében és a kogníció tanulmányozásának számítási paradigmáiban.

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

logicism : a matematika logikájának alkalmazása. Ilyen típusú példák a bizonyítás elmélete, a modellelmélet, a készletelmélet és a rekurzió elmélete.
intuitionism : azt állítja, hogy mind a logika, mind a matematika olyan módszerek, amelyek alkalmazása konzisztens ahhoz, hogy komplex mentális konstrukciókat hajtson végre. De azt mondja, hogy önmagukban a logika és a matematika nem képes 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 logikai rendszereknek is tekinthetők . Ez olyan mechanizmus, amely lehetővé teszi számunkra, hogy következtetéseket vonjunk le a helyiségekből. A deduktív érvelés ezt a kivonást egy általános előfeltételezéstől teszi függővé. Egy klasszikus példa Arisztotelész által javasolt: Minden ember halandó (ez az általános előfeltétel); Szókratész ember (ez a legfőbb előfeltétel), és végül, Socrates halandó (ez a következtetés).

Az induktív gondolkodás az a folyamat, amelyen az ellentétes irányba következtetést vonnak le: az adottektől az általánosig. Példa erre: "Minden vért, amit láthatok, fekete" (különös feltevés); akkor minden varjú fekete (következtetés).

Végül, az érvelés vagy a modális logika probablista érveken alapul, vagyis kifejezési lehetőséget (modalitást). Ez egy formális logikai rendszer, amely olyan kifejezéseket tartalmaz, mint a "lehet", "lehet", "kell", "végül".

Bibliográfiai hivatkozások:

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