logikken er en vitenskap som er formell, det vil si at som noen av de formelle vitenskapene skaper sitt eget studieobjekt og resonnementet og skapelsen av ideer av sinnet er dens metodikk for arbeid og kunnskap, men i tillegg er logikken en av grenene til de viktigste og mest populære Innenfor Filosofien, som er dens gjenstand for å studere prinsippene for demonstrasjon og gyldig inngang, som er metodene som til slutt tillater å skille mellom begrunnelsen rett fra galt.
logikkens opprinnelse går tilbake til det klassiske Hellas gyldne tid, og den greske filosofen Aristoteles regnes som skaperen og faren til den, siden han var den første til å bruke begrepet og gi det den enheten som holder til i dag, av studier av argumenter som demonstranter av sannhet i vitenskapen.
denne logikken Som Vi refererte til ovenfor, Og Som Aristoteles står som grunnlegger, kalles også som formell logikk, i begge er det også en uformell logikk som vil fokusere oppmerksomheten din i den metodiske studien av de argumentene som sannsynligvis kommer fra filosofi, retorikk og oratory, blant annet vitenskap som omhandler disse.
i Utgangspunktet bruker uformell logikk all sin innsats til identifisering av feil og paradokser og til riktig strukturering av diskurser.
men i formell og uformell logikk er spørsmålet ikke oppbrukt siden vi også finner andre typer logikk som foreslår helt forskjellige metoder som naturlig logikk, som er den som foreslås av naturlig tanke, som den fortsetter, uten å ty til formell vitenskap som en base for støtte.
deretter vises fuzzy eller også kalt fuzzy logikk som tar visse lisenser i forhold til de andre og innrømmer en viss tvetydighet mellom sannheten eller falskhet av sine påstander, i nær enighet og forhold til menneskelig fornuft.
i en annen rekkefølge kan vi finne den matematiske logikken som håndteres ved hjelp av et kunstig og symbolsk språk og gjør en abstraksjon av innholdet. Og til slutt binær logikk som fungerer med variabler som støtter bare to diskrete verdier.