Logika je formální věda, to znamená, že jako každá z formálních věd si vytváří svůj vlastní předmět studia a uvažování a vytváření myšlenek myslí jsou její metodologií práce a vědění, ale také logika je jednou z nejdůležitější a nejoblíbenější odvětví ve filozofii, jejím předmětem studia jsou principy demonstrace a platného vyvozování, což jsou metody, které nám nakonec umožní rozlišit správné a nesprávné uvažování..
Původ logiky se datuje do zlatého věku klasického Řecka a za jejího tvůrce a otce je považován řecký filozof Aristoteles., protože byl první, kdo použil tento pojem a dal mu entitu, která se drží dodnes, studovat argumenty jako projevy pravdy ve vědě.
Tato logika, kterou jsme popsali výše a jejíž zakladatelem je Aristoteles, je také známá jako formální logikamezitím existuje také a neformální logika která zaměří svou pozornost na metodické studium těch pravděpodobných argumentů z filozofie, rétoriky a řečnictví, mimo jiné věd, které se jimi zabývají.
Neformální logika v zásadě vynakládá veškeré své úsilí na identifikaci klamů a paradoxů a na správné strukturování diskurzů.
Ale ve formální a neformální logice není otázka vyčerpána, protože najdeme i jiné typy logiky, které navrhují naprosto odlišné metodiky, jako např. přirozená logika což je ten, který navrhuje přirozené myšlení, jak to běží, aniž by se uchýlilo k formální vědě jako podpůrné základně.
Potom fuzzy logika nebo také nazývaná fuzzy že bere určité licence s ohledem na ostatní a připouští jistou nejednoznačnost mezi pravdivostí nebo nepravdou svých tvrzení, v těsné shodě a vztahu s lidským rozumem.
V jiném pořadí můžeme najít Matematická logika který je zpracován pomocí umělého a symbolického jazyka a vytváří abstrakci obsahu. A nakonec ten binární logika který pracuje s proměnnými, které připouštějí pouze dvě diskrétní hodnoty.
