logika
Mi az a logika:
A logika a logiké, a logók, az ok, a szó vagy a beszéd vonatkozásában a görög kifejezésből származó női főnév, ami az érvelés tudományát jelenti.
Figuratív értelemben a szó logikája helyesen kapcsolódik az érvelés konkrét módjához. Például: Ez soha nem fog működni! A tervednek nincs logikája!
Problémák vagy logikai játékok olyan tevékenységek, ahol az egyénnek logikus érvelést kell használnia a probléma megoldására.
Arisztotelészi logika
Arisztotelész szerint a logika tárgya a gondolat, valamint az azt szabályozó törvények és szabályok vizsgálata, hogy ez a gondolat helyes legyen. A görög filozófus számára a logika alkotóeleme a koncepció, az ítélet és az érvelés . A logikai törvények megfelelnek ezeknek az elemeknek az összefüggéseinek és kapcsolatainak.
Arisztotelész néhány jogutódja volt a középkori logika alapjainak, amelyek a tizenharmadik századig tartottak. A középkori gondolkodók, mint Galenus, Porfyry és Aphrodysia Alexander, a helyes megítélés tudományának minősítették a logikát, ami lehetővé teszi a helyes és formálisan érvényes érvelések megérkezését.
Programozási logika
A programozási logika a számítógépes program létrehozásához használt nyelv. A programozás és a számítógépes rendszerek kifejlesztéséhez elengedhetetlen a programozás logikája, mivel meghatározza a logikai kapcsolatot e fejlődéshez. Ennek a fejlesztésnek a lépéseit algoritmusnak nevezzük, amely a végrehajtandó függvény logikai sorrendjéből áll.
Argumentum logika
Az érvelés logikája lehetővé teszi számunkra, hogy ellenőrizzük az érvényességet, vagy hogy egy nyilatkozat igaz-e vagy sem. Ez nem a relatív vagy szubjektív fogalmakkal történik, hanem kézzelfogható javaslatok, amelyek érvényességét ellenőrizni lehet. Ebben az esetben a logika célja a javaslatok formájának értékelése, és nem a tartalom. Az érvelés logikájának egy példája a két helyiségből álló és a végeredményből álló syllogizmus. Például:
A Fubá kutya.
Minden kutya emlős.
Ezért a Fubá emlős.
Matematikai logika
A matematikai logika (vagy formális logika) a logikát a szerkezetének vagy formájának megfelelően vizsgálja. A matematikai logika állítások deduktív rendszeréből áll, amelynek célja, hogy törvényeket és szabályokat hozzon létre az érvelés érvényességének meghatározásához. Így az érvelés akkor tekinthető érvényesnek, ha az igazi helyiségekből valódi következtetésre juthat.
A matematikai logikát arra is használják, hogy más érvelésen alapuló érvényes érvelést hozzon létre. Az érvelés deduktív lehet (a következtetés szükségszerűen a helyiség igazságából származik) és induktív (valószínűségi).
A formális logika két csoportra osztható: a predikciós logika és a predikciós logika.
Leibnizet sokan látják, mint a formális vagy matematikai logika fogalmát kezdeményező elme, amely a matematika központi kérdéseivel foglalkozik. Csak 1890 után, Peano-val kezdődött az axiómák következetességének kérdése. A formai logika néhány fontos elve megtalálható a George Boole logikai matematikai elemzésében (Logic vagy Boolean algebra szerzője).
Javasolt logika
A javaslati logika olyan logikai terület, amely az ítéletet a mondatok (javaslatok), a minimális diskurzusegységek közötti összefüggések alapján vizsgálja, ami igaz vagy hamis lehet.
