- A logika legrelevánsabb típusai
- Formai logika
- Informális logika
- Nem-klasszikus logika
- Szimbolikus logika
- Modális logika
- Számítási logika
- Irodalom
A logikának többféle típusa létezik, és mindegyikük a tanulmány tárgyát az érvelés megértésére és az azonosításra összpontosítja. A logika vizsgálata a görög filozófus, Arisztotelész korától napjainkig fejlődik.
Az etika kiigazításra kerül azzal a szándékkal, hogy pontosabbá váljon, és ugyanakkor jobban alkalmazkodjon az ember mindennapi életéhez, ami lehetővé teszi a kézzelfoghatóbb alkalmazást a különféle területeken.
Arisztotelész, akit a logika apjaként ismertek el.
A logika az érvek és állítások szisztematikus tanulmányozására törekszik, és a logika különféle típusai lehetővé teszik ezen állítások pusztán formális felépítésének, valamint a tartalommal és az említett tartalom hatalmának vizsgálatát.
Noha a logika az állítások vizsgálatán alapszik, nem összpontosít egyértelműen a természetes nyelvre (a nyelvre, ahogyan tudjuk), de hasznossága különböző területeken és különböző struktúrákban érte el, mint például a matematika és a nyelv. számítástechnika.
A logika legrelevánsabb típusai
Formai logika
A formális logika, más néven klasszikus logika vagy arisztotelész logika, a javaslatok, érvek, állítások vagy mondatok tanulmányozása szerkezeti szempontból. Ez egy módszer a gondolkodás strukturálására és az adott megközelítés helyes vagy helytelen formáinak meghatározására.
A formális logika nem az adott érv tartalmának valódiságára vagy hamisságára összpontosít, hanem a formájának érvényességére vagy nem érvényesítésére koncentrál.
Vagyis a formális logika tanulmányozásának tárgya nem empirikus, a logikus számára nem releváns annak meghatározása, hogy a bemutatott érv valós és bizonyított; Ehelyett tanulmánya egyértelműen az említett érv felépítésére összpontosít.
A formális logikán belül két nagyon fontos osztályozás van: a deduktív logika és az induktív logika.
A deduktív logika azokra a konkrét állításokra vonatkozik, amelyeket az általános elképzelések generálnak. Az ilyen típusú logika révén következtetéseket vonhat le a már létező fogalmakból vagy elméletekből.
Például a deduktív logikán belül azt lehet mondani, hogy ha az embereknek lábak vannak, és Clara ember, akkor Claranak is lába van.
Az induktív logika esetében az érvek felépítése ellentétes módon történik; vagyis az általános fogalmak konkrét érvekből készülnek.
Például az induktív logikán belül azt lehet mondani, hogy ha az egyik macska szereti a halat, a másik tetszik, a másik pedig egy, akkor minden macska szereti a halat.
Informális logika
Az informális logika a nyelv és a szemantikai konstrukciókból és érvekből fakadó üzenetre összpontosító tanulmány.
Ez a logika különbözik a formális logikától, mivel a formális logika a mondatok és a javaslatok szerkezetét vizsgálja; és az informális logika a továbbított üzenet tartalmára összpontosít.
Tanulmányának célja a kívánt eredmény elérésének érvelésének módja. Az informális logika érvényt ad a logikus érveknek, amelyek koherensebbek, többek között, amelyek gyengébb érvelési felépítésűek.
Nem-klasszikus logika
A nem klasszikus logika, vagy a modern logika a tizenkilencedik századból származik, és ellentétben áll a klasszikus logika állításaival. Megalapítja az elemzés más formáit, amelyek több szempontot is lefedhetnek, mint amelyek a klasszikus logika megközelítésén keresztül beépíthetők.
Így szerepelnek matematikai és szimbolikus elemek, új kijelentések vagy tételek, amelyek pótolták a formális logikai rendszer hiányosságait.
A nem-klasszikus logikán belül vannak a logika különféle altípusai, például a modális, matematikai, trivalens.
Az ilyen típusú logika bizonyos mértékben különbözik a formális logikától, vagy olyan új elemeket tartalmaz, amelyek kiegészítik egymást, és lehetővé teszik egy adott állítás logikai vizsgálatát, hogy pontosabb legyen és alkalmazható legyen a mindennapi életben.
Szimbolikus logika
A szimbolikus logikát elsőrendű logikának vagy matematikai logikának is nevezik, és olyan szimbólumok használatával jellemezhetők, amelyek új nyelvet alkotnak, amelyen keresztül az argumentumok "lefordíthatók".
A szimbolikus logika célja az absztrakt gondolatok formálisabb struktúrákká alakítása. Valójában nem a természetes nyelvet használja (idióma), hanem olyan technikai nyelvet használ, amely a mondatokat olyan elemekké alakítja, amelyek érzékenyebbek a természetes nyelvben alkalmazhatóbb szabályok alkalmazására.
Tehát a szimbolikus logika lehetővé teszi az állítások kezelését a kalkulus törvényein keresztül, a zavar és a pontatlanságok elkerülése érdekében.
Célja, hogy a matematikai elemeket beépítse a formális logika struktúráinak elemzésébe. A matematikai birodalomban a logikát használják a tételek bizonyításához.
Röviden: a szimbolikus vagy matematikai logika arra törekszik, hogy az emberi gondolatot matematikai nyelven fejezzék ki.
A logika matematikai alkalmazása lehetővé teszi az argumentumok és a konstrukciók pontosabb meghatározását.
Modális logika
A modális logika az érvek vizsgálatára összpontosít, de hozzáfűz annak elemeit, hogy a kérdéses állítás igaz vagy hamis.
A modális logika megpróbálja jobban összhangban állni az emberi gondolkodással, ezért magában foglalja az olyan konstrukciók használatát, mint például a "lehet", "esetleg", "néha", "talán", "valószínűleg", "valószínű", "talán" ", többek közt.
A modális logika szempontjából egy olyan forgatókönyvet kell fontolóra venni, amelyben lehetőség van, és logikai szempontból hajlamos az összes létező lehetőség megfontolására.
Számítási logika
A számítási logika egy olyan típusú logika, amely szimbolikus vagy matematikai logikából származik, csak a számítástechnika területén alkalmazzák.
A számítógépes programok fejlesztésükhöz a programozási nyelvet használják, és logikán keresztül ezen a nyelvi rendszeren is dolgozhatnak, specifikus feladatokat rendelhetnek és ellenőrző műveleteket hajthatnak végre.
Irodalom
- "Logika" az Encyclopedia Britannica-ban. Begyűjtve 2017. augusztus 4-én az Encyclopedia Britannica-tól: britannica.com
- "Formai logika" az Encyclopedia Britannica-ban. Beolvasva 2017. augusztus 4-én az Encyclopedia Britannica-tól: britannica.com
- Hernández, F. "Számítási logika" a Mexikói Nemzeti Autonóm Egyetemen. Beérkezett 2017. augusztus 4-én, a Mexikói Nemzeti Autonóm Egyetemen: unam.mx
- Muñoz, C. "Nem klasszikus logika" a madridi Complutense Egyetemen. Begyűjtve 2017. augusztus 4-én a Madrid Complutense Egyetemen: ucm.es
- Julia, J. "Mi a szimbolikus logika?" eHow-ban spanyolul. Beolvasva 2017. augusztus 4-én az eHow oldalról spanyolul: ehowenespanol.com
- Oller, C. "Formai logika és érvelés" (2006) a La Plata Nemzeti Egyetemen. Beérkezett 2017. augusztus 4-én a La Plata Nemzeti Egyetemen: rfytp.fahce.unlp.edu.ar
- "Deduvatív és induktív következtetések" Junta de Extremadurában. Beérkezett 2017. augusztus 4-én, Junta de Extremadurában: educarex.es.