a logika egy olyan tudomány, amely formális, vagyis hogy mint bármelyik formális tudomány létrehozza saját tanulmányi tárgyát, és az érvelés és az ötletek létrehozása az elme által a munka és a tudás módszertana, de emellett a logika, ez az egyik ága a legfontosabb és legnépszerűbb a filozófián belül, mivel a tanulmány tárgya a demonstráció és az érvényes következtetés elvei, amelyek azok a módszerek, amelyek végső soron lehetővé teszik a az érvelés jó a rossztól.
a logika eredete a klasszikus Görögország aranykorába nyúlik vissza, és Arisztotelész görög filozófust tekintik annak alkotójának és Atyjának, mivel ő volt az első, aki ezt a fogalmat használta, és megadta neki azt az entitást, amely a mai napig megőrzi az érvek tanulmányozását, mint az igazság demonstrálóit a tudományban.
ezt a logikát, amelyet fent említettünk, és amelyet Arisztotelész alapítójaként áll, formális logikának is nevezik, mindkettőben van egy informális logika is, amely a filozófiából, a retorikából és az oratóriumból származó érvek módszertani tanulmányozására összpontosítja a figyelmét, többek között ezekkel foglalkozó tudományok között.
alapvetően az informális logika minden erőfeszítését a tévedések és paradoxonok azonosítására és a diskurzusok helyes strukturálására fordítja.
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, például a természetes logikát, amelyet a természetes gondolkodás javasol, ahogy halad, anélkül, hogy a formális tudományhoz fordulna támogatási alapként.
ezután megjelenik a fuzzy vagy más néven fuzzy logika, amely bizonyos engedélyeket vesz fel a többiekkel szemben, és bizonyos kétértelműséget fogad el állításaik igazsága vagy hamissága között, szoros egyetértésben és kapcsolatban az emberi értelemmel.
egy másik sorrendben megtalálhatjuk azt a matematikai logikát, amelyet mesterséges és szimbolikus nyelv segítségével kezelünk, és absztrakciót készítünk a tartalomból. Végül bináris logika, amely csak két diszkrét értéket támogató változókkal működik.