Formales logisches Objekt der Studie, Merkmale und Beispiele

Der formelle Logik, Auch theoretische Logik oder mathematische Logik bezeichnet, bestimmt sie, welche gültigen und korrekten Argumentationsformen sind. Durch diese Praxis versucht es, die Richtigkeit des Falschen zu unterscheiden.

In der formalen Logik werden Symbole ohne Mehrdeutigkeit und auf die möglichst möglichst möglichst möglich. Dank dieser Praxis können sie ihre eigenen Ideen entwickeln.

Alfred North Whitehead war einer der Verteidiger der formellen Logik. Quelle: Wellcom Trust [CC BY-SA 4.0 (https: // creativecommons.Org/lizenzen/by-sa/4.0)]]

Das Wort "Logik" stammt aus dem alten Griechischen λογικήlogikUnd, was "mit intellektueller Vernunft ausgestattet bedeutet, dialektisch, argumentativ". Die Logik ist einer der Zweige der Philosophie und Mathematik und wird für diese Disziplinen als sehr nützlich angesehen.

Im Allgemeinen untersucht Logik die Form des Denkens. Die ersten Werke, die in Bezug auf die Logik durchgeführt werden.

Im Laufe der Geschichte haben mehrere Philosophen, Mathematik und Logik die formale Logik verteidigt. Unter ihnen können wir die Mathematiker und die logische Alonzo -Kirche nennen; der Philosoph, Mathematiker und logische Gottlob Frege; Und auch der Mathematiker und Philosoph Alfred North Whitehead.

Sie waren unter anderem auch große Verteidiger Alfred Tarski, Kururtgödel, Bertrand Russell und Willard Van Orman Quine.

[TOC]

Studienobjekt

Formale Logik verwendet Aspekte wie Argumentation, Konzept, Urteile und Demonstration als Studienobjekt. Aus diesen Elementen analysieren und untersuchen Sie alle Ressourcen von Sprache und Semantik, um eine Schlussfolgerung zu ziehen.

In diesem Sinne wird festgestellt, dass die formale Logik aus dem strukturierten Punkt aus ihrer Gültigkeit oder Behinderung untersucht wird.

Die formale Logik ist keine empirische Untersuchung des Argumentationsprozesses. Es sollte auch nicht mit Überzeugung verwechselt werden, da es die Struktur der Argumente nimmt, um eine Schlussfolgerung zu erhalten.

Kann Ihnen dienen: Der Ursprung der Philosophie: Wie und wann fand es statt?

Diese Logik wird auch als theoretische oder reine Logik bezeichnet und versucht, eine abstrakte Untersuchung des Inhalts oder der logischen Formen deduktiver Argumente, Aussagen, Aussagen und Sätze durchzuführen.

Durch die Durchführung einer umfassenden Untersuchung formaler Logikmuster kann jeder Einzelne genau die damit verbundenen Verfahren kennen.

Eigenschaften

Im Folgenden finden Sie die besonderen Eigenschaften, die die formale Logik von den anderen Arten von Logik unterscheiden:

-Es ist eine Wissenschaft, die im Gegensatz zu anderen Arten von Logik die Form der Prämisse untersucht, die nur das Material untersucht.

-Es ist eine Struktur ohne Materie.

-Es wird unter einer Untergruppe formaler Systeme festgelegt.

-Wendet solche effizienten Methoden an, die durch formale Logik die Falschheit des Rechts unterschieden werden können.

-Die Schlussfolgerungen des korrekten oder der Gültigkeitsrealisierung ergeben sich, da die Struktur der wahren Räumlichkeiten analysiert wird.

-Studieren und analysieren Sie Menschen, um direkt zum Gedanken zu gelangen, und können daher neue Muster in den Gedanken jedes Einzelnen festlegen.

-Ist gekennzeichnet durch symbolisch.

-Aus Sicht einer formalen Wissenschaft spielt sie eine wichtige Rolle in Mathematik, Philosophie, Informatik und Statistik.

-Es hängt aufgrund der Studie der Semantik mit Grammatik zusammen.

-Untersuchen Sie die Strukturen, weshalb sie mit der Mathematik verglichen wird.

-Es bezieht sich auch auf die Psychologie, weil es sich auf das Studium der Gedanken jedes Einzelnen konzentriert.

Leute

Deontic Logic

Es kommt aus dem alten Griechischen Δέον [τος] Donon [Husten] Und es bedeutet "die Fälligkeit" oder "das notwendige". Die österreichische Logik Alois Höffler ist der Perkussor dieses Konzepts, das sich auf die Studie und Analyse der Normen bezieht.

Kann Ihnen dienen: René Descartes: Biographie, Philosophie und Beiträge

Biwivale Logik

Es ist die Art der Logik, die nur die Werte von True und Falsch zulässt. Er glaubt nicht an Nuancen, alles ist schwarz oder weiß; Die Grauskala ist in dieser Art von Logik unmöglich.

Seine Prinzipien basieren auf der aristotelischen Logik, die Identität, Nicht -Kontradion und die dritte ausgeschlossen sind.

Multivalente oder vielseitige Logik

Diese Art von Logik wurde als Ergebnis der Studien geboren, die von den Philosophen Jan łukasiewicz und Emil Post durchgeführt wurden, in denen sie erklären, dass andere Werte aus den "wahren" und "falschen" gemeinsamen und diese zugelassen werden können und diese Werte können fast in Unendlichkeit kommen.

In diesem Sinne unterscheidet es sich von der bivalenten Logik, die nur zwei Werte zulässt. Studien zeigen, dass multivalente oder vielseitige Logik Werte wie die Möglichkeit, Notwendigkeit, keine Notwendigkeit, Wahrheit, Falschheit und Unmöglichkeit behandelt.

Ebenso ist diese Art der formalen Logik auch für die Untersuchung der philosophischen und strukturellen Aspekte verantwortlich.

Beispiele

Durch formale Logik ist es möglich, einem bestimmten Argument einen Wert der Wahrheit oder Falschheit zu verleihen.

Wie wir oben 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, dass dies wahr oder falsch ist. In diesem Sinne listen wir dann einige Beispiele auf, die auf der formalen Logik basieren:

-Buenos Aires ist die Hauptstadt Argentiniens; Alle in Buenos Aires geborenen Argentinier sind also Argentinier.

-Joao spricht Portugiesisch. Joao wurde in Portugal geboren. Alles in Portugal sprechen Portugiesisch.

-Kühe geben Milch. Die Kühe sind Säugetiere. Alle Säugetiere geben Milch.

-Pedro ist Blanco und María Morena, also gibt es weiße und brünette Leute.

Kann Ihnen dienen: Humanistische Denker

-Maria berührt sich im Rockorchester. Musiker sind diejenigen, die im Rockorchester spielen. Maria ist Musiker.

-José hat schwarze Haare. Elena hat braune Haare. Die Tochter von ihnen könnte mit schwarzem oder braunem Haar geboren werden.

-Der Fuß hat fünf Finger. Menschen haben einen rechten Fuß und einen linken. Jede Person hat zehn Finger an den Füßen.

-Spanien ist ein Land. Spanien bleibt in Europa. Alle Spanier sind europäisch.

- Ana ist ein lebendiges Wesen. Ana ist sterblich. Alle Lebewesen sind sterblich.

- José mit Wasser nass. Das Wasser wird nass.

- Maria aß ihr heißes Essen. Maria brannte, als sie ihr heißes Essen aß. Heißes Essen brennt.

- Die Erde ist Teil des Universums. Im Universum gibt es Planeten. Die Erde ist ein Planet.

- Elektrisches Licht beleuchtet. Es gibt elektrisches Licht auf den Straßen. Elektrisches Licht beleuchtet die Straßen.

Verweise

1. "Formale Logik" über die Enzyklopädie der Neuen Welt. Abgerufen am 21. April 2019 von New World Encyclopedia: Newworldyclopedia.Org.
2. Morton l. Schagrin Ge Hughes „formale Logik“ in geborgener am 21. April 2019 aus Britannica: Britannica.com.
3. "Logik und seine Klassifizierung" in der Wissenschaft. Abgerufen am 23. April 2019 von Academia: Academy.Edu.
4. "Formale Logik" im philosophischen Wörterbuch. Abgerufen am 23. April 2019 des philosophischen Wörterbuchs: Philosophie.Org.
5. "Mehrzwecklogik" im philosophischen Wörterbuch. Abgerufen am 23. April 2019 des philosophischen Wörterbuchs: Philosophie.Org.
6. "Allgemeine Aspekte der Logik" in Club Essayos (18. August 2013). Abgerufen am 23. April 2019 von Club Essays: Clubansayos.com.
7. "Deontica Logic" in Wikipedia. Abgerufen am 23. April 2019 aus Wikipedia: Es ist.Wikipedia.Org.
8. "Mehrzwecklogik" in Wikipedia. Abgerufen am 23. April 2019 aus Wikipedia: Es ist.Wikipedia.Org.
9. "Bivalente Logik" auf Wikipedia. Abgerufen am 23. April 2019 aus Wikipedia: Es ist.Wikipedia.Org