A 6 fő logikai típus

Több is van logikai típusok és a tanulmány tárgyát az érvelés megértésére összpontosítják, és meghatározzák, hogy azok helyesek vagy helytelenek.

A logika tanulmányozása a görög filozófus, Arisztotelész idejéből a jelenbe fejlődött, és ezt a szándékkal pontosították, és ugyanakkor jobban alkalmazkodtak az emberi élet mindennapi életéhez, ami lehetővé teszi, hogy kézzelfoghatóbb alkalmazás különböző területeken.

A logika az érvek és javaslatok szisztematikus tanulmányozását kéri, és a különböző logikai típusok lehetővé teszik, hogy mind a tisztán formális struktúrát tanulmányozzuk, mindent, ami a tartalom tartalmával és a tartalommal rendelkezik..

Bár a logika a nyilatkozatok tanulmányozásán alapul, nem egyértelműen a természetes nyelvre összpontosít (nyelvünk, amint tudjuk), de hasznossága különböző területekre és különböző struktúrákkal, például matematikával és számítástechnika.

A legmegfelelőbb logikai típusok

formális

A formális logika, más néven klasszikus logika vagy arisztotelészi logika, a javaslatok, érvek, kijelentések vagy mondatok szerkezeti szempontból történő tanulmányozása..

Ez a módszer a gondolat strukturálására és a konkrét megközelítés helyes vagy helytelen formáinak meghatározására.

A formális logika nem a konkrét érvelés tartalmának igazságára vagy hamisságára összpontosít, hanem az űrlap építésének érvényességére vagy más jellegére összpontosít..

Ez azt jelenti, hogy a formális logika vizsgálatának tárgya nem empirikus, mivel a logikus számára nem releváns annak meghatározása, hogy a bemutatott érv valós és bizonyított; de hogy tanulmánya egyértelműen az említett érv szerkezetére összpontosít.

A formális logikán belül két nagyon fontos osztályozás létezik: a deduktív logika és az induktív logika.

A deduktív logika azokra a konkrét állításokra utal, amelyek általános fogalmakból származnak. Az ilyen típusú logikai következtetések a már létező fogalmakból vagy elméletekből származnak.

Például a deduktív logikán belül elmondható, hogy ha az embereknek lába van, és Clara emberi lény, akkor Clara lába.

Induktív logika esetén az érvek építése ellentétes módon történik; azaz az általános fogalmak konkrét érvekből származnak.

Például az induktív logikán belül elmondható, hogy ha egy macska szereti a halat, és egy másik is szereti, és egy másik is, akkor az összes macska, mint a hal.

informális

Az informális logika az a tanulmányi ág, amely a nyelvre és a szemantikai konstrukciókból és érvekből származó üzenetre összpontosít.

Ez a logika eltér a formális logikától, abban a formális logikában, amely a mondatok és javaslatok szerkezetét vizsgálja; és az informális logika a továbbított üzenet hátterére összpontosít.

A tanulmány célja a kívánt eredmény elérésének módja. Az informális logika hitelesíti azokat a logikai érveket, amelyek koherensebbek, többek között gyengébb érvelő szerkezettel.

Nem klasszikus

A nem klasszikus logika vagy a modern logika a tizenkilencedik századból származik, és a klasszikus logika kijelentéseivel ellentétben merül fel..

Más elemzési formákat hoz létre, amelyek több szempontot lefedhetnek, mint amennyire lehetséges a logika klasszikus megközelítése.

Így szerepelnek a matematikai és szimbolikus elemek, új állítások vagy tételek, amelyek a hivatalos logikai rendszer hiányosságainak pótlására jöttek létre.

A nem klasszikus logikán belül léteznek különböző logikai altípusok, mint pl. Modális, matematikai, háromértékű..

Mindezen logikai típusok bizonyos mértékig eltérnek a formális logikától, vagy új elemeket tartalmaznak, amelyek egymást kiegészítik, és lehetővé teszik, hogy egy adott állítás logikai vizsgálata pontosabb legyen és alkalmazkodjon a mindennapi élet hasznosságához..

szimbolikus

A szimbolikus logikát az elsőrendű logikának, vagy a matematikai logikának is nevezik, és azzal jellemezhető, hogy olyan szimbólumokat használunk, amelyek egy új nyelvet alkotnak, amelyen keresztül az "érvek" lefordíthatók..

A szimbolikus logika célja az, hogy az absztrakt gondolatokat formálisabb struktúrává alakítsa.

Valójában nem használ természetes nyelvet (nyelvet), hanem olyan technikai nyelvet használ, amely a mondatokat a pontosabb szabályok alkalmazására érzékeny elemekké alakítja át, mint a természetes nyelven alkalmazható..

Ezután a szimbolikus logika lehetővé teszi a javaslatok kezelését a számítási törvényeken keresztül, hogy elkerüljék a zavart vagy a pontatlanságokat.

A matematikai elemeket a formális logikai struktúrák elemzésébe kívánja beépíteni. A matematikai területen a logika a tételek bizonyítására szolgál.

Röviden, a szimbolikus vagy matematikai logika arra törekszik, hogy az emberi gondolkodást matematikai nyelven fejezze ki.

A logika ez a matematikai alkalmazása lehetővé teszi az érvek és konstrukciók pontosabbá tételét.

módbeli

A modális logika az érvek tanulmányozására összpontosít, de hozzáteszi, hogy a kérdéses állítás igaz vagy hamis..

A modális logika úgy tűnik, hogy jobban összeegyeztethető az emberi gondolattal, ezért magában foglalja az olyan konstrukciók használatát, mint a "lehet", "esetleg", "néha", "talán", "valószínűleg", "valószínűleg", "talán". "Többek között.

A modális logikában egy olyan forgatókönyvet kell figyelembe venni, amelyben lehetőség van, és az egyik a logikai szempontból minden lehetséges lehetőséget figyelembe vesz..

számítási

A számítási logika a szimbolikus vagy matematikai logikából származtatott logika típusa, csak a számítástechnika területén alkalmazzák..

A számítógépes programok a programozás nyelvét használják fejlesztésükhöz, és a logikán keresztül lehetséges ezeken a nyelvi rendszereken dolgozni, konkrét feladatokat rendelni és ellenőrző műveleteket végrehajtani..

referenciák

1. "Logika" az Encyclopedia Britannicában. A lap eredeti címe 2017. augusztus 4.-án érkezett: Encyclopedia Britannica: britannica.com
2. "Formai logika" az Encyclopedia Britannicában. A lap eredeti címe 2017. augusztus 4.-án érkezett: Encyclopedia Britannica: britannica.com
3. Hernández, F. "Számítási logika" a Mexikói Nemzeti Autonóm Egyetemen. A 2017. augusztus 4-én érkezett: Mexikói Nemzeti Autonóm Egyetem: unam.mx
4. Muñoz, C. "Nem klasszikus logika" a madridi Complutense Egyetemen. A (z) 2017. augusztus 4.-én érkezett: Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Mi a szimbolikus logika?" Az eHow en Español-ban. A lap eredeti címe: 2017. augusztus 4. eHow hu Español: ehowenespanol.com
6. Oller, C. "Formális logika és érvelés" (2006) a La Plata Nemzeti Egyetemen. A (z) 2017. augusztus 4.-én érkezett: La Plata Nemzeti Egyetem: rfytp.fahce.unlp.edu.ar
7. "Deduktív és induktív következtetések" a Junta de Extremadura-ban. A lap eredeti címe: 2017. augusztus 4., Junta de Extremadura: educarex.es.