definition af logik
Logik er en formel videnskab, det vil sige, som enhver formel videnskab, den skaber sit eget genstand for undersøgelse og ræsonnement, og skabelsen af ideer af sindet er dens metode til arbejde og viden, men også, logik, det er en af de de vigtigste og mest populære grene inden for filosofien, hvis genstand for undersøgelse er principperne for bevis og gyldig slutning, som er de metoder, der i sidste ende giver os mulighed for at skelne mellem korrekt og forkert ræsonnement.
Logikens oprindelse går tilbage til det klassiske Grækenlands gyldne tidsalder, og den græske filosof Aristoteles betragtes som skaberen og faren til den, da han var den første til at bruge forestillingen og give den den enhed, som den holder den dag i dag, om at studere argumenter som manifestationer af sandhed i videnskaben.
Denne logik, som vi beskrev ovenfor, og som Aristoteles står som dens grundlægger, er også kendt som formel logiki mellemtiden er der også en uformel logik som vil fokusere sin opmærksomhed på den metodiske undersøgelse af disse sandsynlige argumenter fra filosofi, retorik og talebog blandt andre videnskaber, der beskæftiger sig med disse.
Grundlæggende bruger den uformelle logik alle sine bestræbelser på at identificere fejl og paradokser og i den korrekte strukturering af diskurser.
Men i formel og uformel logik er spørgsmålet ikke udtømt, da vi også finder andre typer logik, der foreslår helt forskellige metoder såsom naturlig logik som er den, der foreslås af den naturlige tanke, når den kører, uden at ty til formel videnskab som en støttebase.
Derefter fuzzy logik eller også kaldet fuzzy at det tager visse licenser med hensyn til de andre og indrømmer en vis tvetydighed mellem sandheden eller falskheden i dets propositioner i tæt aftale og forhold til menneskelig fornuft.
I en anden rækkefølge kan vi finde Matematisk logik der håndteres ved hjælp af et kunstigt og symbolsk sprog og gør en abstraktion af indholdet. Og endelig binær logik der fungerer med variabler, der kun tillader to diskrete værdier.
