logikken er en videnskab, der er formel, det vil sige, at som enhver af de formelle videnskaber skaber sit eget studieobjekt og sindets ræsonnement og skabelse af ideer er dens metode til arbejde og viden, men derudover er logikken en af grenene til det vigtigste og mest populære inden for filosofien, idet den er dens genstand for undersøgelse principperne for demonstration og gyldig slutning, som er de metoder, der i sidste ende gør det muligt at skelne mellem ræsonnementet lige fra forkert.
logikens oprindelse går tilbage til den klassiske Grækenlands gyldne tid, og den græske filosof Aristoteles betragtes som skaberen og far til den, da han var den første til at bruge forestillingen og give den den enhed, der holder den dag i dag, af undersøgelse af argumenter som demonstranter af sandhed i videnskaben.
denne logik, som vi nævnte ovenfor, og som Aristoteles står som dens grundlægger, kaldes også som formel logik, i begge er der også en uformel logik, der vil fokusere din opmærksomhed i den metodiske undersøgelse af disse argumenter sandsynligvis fra filosofi, retorik og tale, blandt andre videnskaber, der beskæftiger sig med disse.
grundlæggende bruger uformel logik alle sine bestræbelser på at identificere fejl og paradokser og til korrekt strukturering af diskurser.
men i formel og uformel logik er spørgsmålet ikke opbrugt, da vi også finder andre typer logik, der foreslår helt forskellige metoder såsom naturlig logik, som er den, der foreslås af naturlig tanke, når den fortsætter, uden at ty til formel videnskab som en base for støtte.
vises derefter den uklar eller også kaldet uklar logik, der tager visse licenser med hensyn til de andre og indrømmer en vis tvetydighed mellem sandheden eller falskheden i deres propositioner, i tæt aftale og forhold til menneskelig fornuft.
i en anden rækkefølge kan vi finde den matematiske logik, der håndteres ved hjælp af et kunstigt og symbolsk sprog og foretage en abstraktion af indholdet. Og endelig binær logik, der fungerer med variabler, der kun understøtter to diskrete værdier.