Koncepció az ABC definícióban

A logika formális tudomány, vagyis mint bármelyik formális tudomány, létrehozza saját tanulmányi tárgyát és a érvelés és az elme által létrehozott ötletek a tiéd módszertan a munka és a tudás, de a logika is az egyik legfontosabb és legnépszerűbb ág a Filozófia, tanulmányi tárgya a demonstráció elvei és következtetés érvényesek, melyek azok a módszerek, amelyek végső soron lehetővé teszik a helyes érvelés és a helytelen érvelés megkülönböztetését.

A logika eredete a klasszikus Görögország aranykorába nyúlik vissza, és Arisztotelész görög filozófust tekintik ennek megalkotójának és atyjának, mivel ő volt az első, aki használta a fogalmat, és megadta neki azt az entitást, amelyet a mai napig megtart, az érveket az igazság megnyilvánulásaként tanulmányozza a tudományban.

Ezt a logikát, amelyet fentebb leírtunk és amelynek Arisztotelész az alapítója, más néven ismert formális logikaközben van még egy informális logika amely figyelmét a filozófia, retorika és ékesszólás, többek között az ezekkel foglalkozó tudományok között.

Alapvetően az informális logika minden erőfeszítést a tévedések és paradoxonok azonosítására és a diskurzusok helyes felépítésére fordít.

De a formális és informális logikában a kérdés nem merül ki, mivel más típusú logikákat is találunk, amelyek teljesen más módszertanokat javasolnak, mint pl. természetes logika melyik az gondolat természetes, amint előfordul, anélkül, hogy a formális tudományhoz folyamodna, mint támogatási alap.

Aztán a fuzzy logika vagy más néven fuzzy hogy bizonyos engedélyeket vesz fel a többiek vonatkozásában és bizonyosakat elismer kétértelműség javaslataik igazsága vagy hamissága között, szoros egyetértésben és az emberi értelemmel való kapcsolatban.

Más sorrendben megtalálhatjuk a Matematikai logika amelyet a segítségével kezelnek nyelv mesterséges és szimbolikus és absztrakció készítése a tartalomból. És végül a bináris logika amely csak két diszkrét értéket befogadó változókkal működik.