Das formale Logik, Sie wird auch als theoretische Logik oder mathematische Logik bezeichnet und bestimmt die gültigen und korrekten Argumentationsformen. Durch diese Praxis versuchen wir zu unterscheiden, was richtig und was falsch ist.
In der formalen Logik werden Symbole eindeutig und so klar wie möglich verwendet, damit sie nicht manipuliert werden können. Dank dieser Praxis ist es möglich, eigene Ideen zu entwickeln.
Das Wort "Logik" stammt aus dem Altgriechischen λογικήlogikund, was bedeutet "ausgestattet mit intellektueller, dialektischer, argumentativer Vernunft". Logik ist einer der Zweige der Philosophie und Mathematik und wird für diese Disziplinen als sehr nützlich angesehen.
Im Allgemeinen untersucht die Logik die Form des Denkens. Die ersten Arbeiten zur Logik werden dem griechischen Philosophen Aristoteles zugeschrieben, weshalb er als Gründungsvater dieses Denkfeldes bekannt ist.
Im Laufe der Geschichte haben verschiedene Philosophen, Mathematiker und Logiker die formale Logik verteidigt. Unter ihnen können wir den Mathematiker und Logiker Alonzo Church nennen; der Philosoph, Mathematiker und Logiker Gottlob Frege; und der auch Mathematiker und Philosoph Alfred North Whitehead.
Alfred Tarski, Kurt Gödel, Bertrand Russell und Willard Van Orman Quine waren unter anderem ebenfalls großartige Verteidiger..
Artikelverzeichnis
Die formale Logik verwendet Aspekte wie Argumentation, Konzept, Urteile und Demonstration als Gegenstand des Studiums. Aus diesen Elementen analysiert und untersucht es alle Ressourcen der Sprache und Semantik, um zu einer Schlussfolgerung zu gelangen.
In diesem Sinne wird festgestellt, dass in der formalen Logik das Denken unter strukturierten Gesichtspunkten, unter seiner Gültigkeit oder Ungültigkeit untersucht wird.
Formale Logik ist keine empirische Untersuchung des Denkprozesses. Es sollte auch nicht mit Überzeugungsarbeit verwechselt werden, da es der Struktur der Argumente bedarf, um zu einer Schlussfolgerung zu gelangen.
Diese Logik wird auch als theoretische oder reine Logik bezeichnet und versucht, eine abstrakte Untersuchung des Inhalts oder der logischen Formen der deduktiven Argumente, Aussagen, Sätze und durchsetzungsfähig verwendeten Sätze durchzuführen..
Durch eine umfassende Untersuchung der formalen Logikmuster kann jeder Einzelne die mit seinem Denken verbundenen Verfahren genau kennen..
Nachfolgend sind die besonderen Merkmale aufgeführt, die die formale Logik von anderen Arten von Logik unterscheiden:
-Es ist eine Wissenschaft, die die Form der Prämisse untersucht, im Gegensatz zu anderen Arten von Logik, die nur das Material untersuchen.
-Es ist eine Struktur ohne Materie.
-Es wird unter einer Teilmenge formaler Systeme eingerichtet.
-Wendet Methoden an, die so effizient sind, dass Sie durch formale Logik unterscheiden können, was falsch und was richtig ist.
-Die Schlussfolgerungen der richtigen oder gültigen Argumentation ergeben sich aus der Analyse der Struktur der wahren Prämissen.
-Studieren und analysieren Sie Menschen, um direkt zum Denken zu gelangen und so neue Muster im Geist jedes Einzelnen zu etablieren.
-Es zeichnet sich dadurch aus, dass es symbolisch ist.
-Aus Sicht einer formalen Wissenschaft spielt sie eine wichtige Rolle in Mathematik, Philosophie, Informatik und Statistik..
-Es ist aufgrund des Studiums der Semantik mit der Grammatik verwandt.
-Studienstrukturen, weshalb es mit Mathematik verglichen wird.
-Es hängt auch mit der Psychologie zusammen, weil es sich auf das Studium des Denkens jedes Einzelnen konzentriert.
Kommt aus dem Altgriechischen δέον [τος] déon [Husten] und es bedeutet "was fällig ist" oder "was notwendig ist". Der österreichische Logiker Alois Höffler ist der Pionier dieses Konzepts, das sich auf das Studium und die Analyse von Normen bezieht.
Diese Art von Logik unterstützt nur wahre und falsche Werte. Er glaubt nicht an Schattierungen, alles ist schwarz oder weiß; Graustufen sind in dieser Art von Logik unmöglich.
Seine Prinzipien basieren auf der aristotelischen Logik, die Identität, Widerspruchsfreiheit und das ausgeschlossene Dritte sind..
Diese Art von Logik entstand als Ergebnis der Studien der Philosophen Jan Łukasiewicz und Emil Post, in denen sie feststellten, dass andere Werte als das bereits übliche "wahr" und "falsch" zugelassen werden können und dass diese zugelassen werden können Werte können praktisch bis ins Unendliche reichen.
In diesem Sinne unterscheidet es sich von der zweiwertigen Logik, die nur zwei Werte zulässt. Studien zeigen, dass multivalente oder Mehrzwecklogik mit Werten wie Möglichkeit, Notwendigkeit, Nicht-Notwendigkeit, Wahrheit, Falschheit und Unmöglichkeit umgeht.
Ebenso ist diese Art der formalen Logik auch für die Untersuchung der philosophischen und strukturellen Aspekte der Argumente zuständig..
Durch formale Logik ist es möglich, einer bestimmten Argumentation einen Wert von Wahrheit oder Falschheit hinzuzufügen.
Wie wir zuvor erklärt haben, konzentriert sich die formale Logik nicht auf alle Möglichkeiten, die aus einem Argument extrahiert werden können. es konzentriert sich nur darauf, ob dies wahr oder falsch ist. In diesem Sinne listen wir nachfolgend einige Beispiele auf, die auf formaler Logik basieren:
-Buenos Aires ist die Hauptstadt von Argentinien; Alle in Buenos Aires Geborenen sind Argentinier.
-Joao spricht Portugiesisch. Joao wurde in Portugal geboren. Jeder in Portugal spricht Portugiesisch.
-Kühe geben Milch. Kühe sind Säugetiere. Alle Säugetiere geben Milch.
-Pedro ist weiß und María ist brünett, also gibt es weiße und braune Leute.
-Maria spielt im Rockorchester. Die Musiker sind diejenigen, die im Rockorchester spielen. Maria ist Musikerin.
-José hat schwarze Haare. Elena hat braune Haare. Ihre Tochter könnte mit schwarzen oder braunen Haaren geboren werden.
-Der Fuß hat fünf Zehen. Menschen haben einen rechten und einen linken Fuß. Jede Person hat zehn Zehen..
-Spanien ist ein Land. Spanien bleibt in Europa. Alle Spanier sind Europäer.
- Ana ist ein Lebewesen. Ana ist sterblich. Alle Lebewesen sind sterblich.
- José wurde mit Wasser nass. Das Wasser wird nass.
- Maria aß ihr warmes Essen. Maria wurde verbrannt, als sie ihr warmes Essen aß. Warme Speisen brennen.
- Die Erde ist Teil des Universums. Es gibt Planeten im Universum. Die Erde ist ein Planet.
- Das elektrische Licht leuchtet auf. Es gibt elektrisches Licht auf den Straßen. Elektrisches Licht beleuchtet die Straßen.
Bisher hat noch niemand einen Kommentar zu diesem Artikel abgegeben.