Die Logik ist eine Wissenschaft, die formal ist, das heißt, dass jede der formalen Wissenschaften ihr eigenes Untersuchungsobjekt schafft und die Argumentation und Schaffung von Ideen durch den Geist ihre Methodik der Arbeit und des Wissens sind, aber darüber hinaus die Logik, es ist einer der Zweige der wichtigsten und beliebtesten innerhalb der Philosophie, wobei sein Untersuchungsgegenstand die Prinzipien der Demonstration und der gültigen Schlussfolgerung sind, die die Argumentation richtig von falsch.
Der Ursprung der Logik geht auf die goldene Zeit des klassischen Griechenlands zurück, und der griechische Philosoph Aristoteles wird als Schöpfer und Vater davon angesehen, da er der erste war, der den Begriff verwendete und ihm die Einheit gab, die bis heute erhalten bleibt, des Studiums von Argumenten als Demonstratoren der Wahrheit in der Wissenschaft.
Diese Logik, auf die wir oben verwiesen haben und deren Begründer Aristoteles ist, wird auch als formale Logik bezeichnet, in beiden gibt es auch eine informelle Logik, die Ihre Aufmerksamkeit auf das methodische Studium dieser Argumente lenken wird wahrscheinlich aus Philosophie, Rhetorik und Redekunst, unter anderen Wissenschaften, die sich mit diesen befassen.
Grundsätzlich widmet die informelle Logik alle ihre Bemühungen der Identifizierung von Irrtümern und Paradoxien und der korrekten Strukturierung von Diskursen.
Aber in der formellen und informellen Logik ist die Frage nicht erschöpft, da wir auch andere Arten von Logiken finden, die absolut unterschiedliche Methoden vorschlagen, wie die natürliche Logik, die vom natürlichen Denken vorgeschlagen wird, ohne auf die formale Wissenschaft als Stütze zurückzugreifen.
Dann erscheint die Fuzzy- oder auch Fuzzy-Logik genannt, die bestimmte Lizenzen in Bezug auf die anderen nimmt und eine gewisse Mehrdeutigkeit zwischen der Wahrheit oder Falschheit ihrer Sätze in enger Übereinstimmung und Beziehung mit der menschlichen Vernunft zulässt.
In einer anderen Reihenfolge können wir die mathematische Logik finden, die unter Verwendung einer künstlichen und symbolischen Sprache und einer Abstraktion des Inhalts gehandhabt wird. Und schließlich binäre Logik, die mit Variablen arbeitet, die nur zwei diskrete Werte unterstützen.