WikiDer > Logik

sehen Logik (Seite zur Begriffsklärung) für andere Bedeutungen von Logik.

Philosophie
Geschichte der Philosophie
Fachgebiete	Kulturphilosophie Ästhetik Ethik Philosophie des Geistes Philosophie der Geschichte Theorie des Wissens Logik Metaphysik Politische Philosophie Rechtsphilosophie Sozialphilosophie Sprachphilosophie Philosophie der Wissenschaft
westliche Philosophie	Vorsokratische Philosophie Antike Philosophie Mittelalterliche Philosophie Renaissance-Philosophie Moderne Philosophie Postmoderne Philosophie Zeitgenössische Philosophie
Östliche Philosophie	arabische philosophie Chinesische Philosophie Taoismus Konfuzianismus Indische Philosophie Hinduismus Buddhismus Japanische Philosophie Zoroastrismus
Religiöse Philosophie	Christliche Philosophie Jüdische Philosophie Islamische Philosophie
Portal   Philosophie

Bücher über Logik

Logik oder Kunst des Denkens ist der Wissenschaft die sich mit den formalen Regeln der Grund. Traditionell wird die Logik definiert durch die Philosophie studiert, gehört aber auch zu den Mathematik gezählt.

Das Logiker (Plural: Logik) ist auf diesen Wissenschaftszweig spezialisiert, aber die Logik wird auch von Wissenschaftlern in vielen anderen Zweigen und Teildisziplinen der Wissenschaft häufig verwendet.

Allgemeines

Logik kommt von der griechisch Wort λόγος oder Logos, was bedeuten kann: Bedeutung, Wort, Idee, Streit, Grund oder Prinzip. Logik oder formale Logik ist die Lehre vom rigorosen Argumentieren, und da en Aristoteles als Hauptzutaten:^[1]

• die Lehren der Behauptung
• die Lehren der Definition
• die Lehren der Inferenz
• die Lehre der wissenschaftlicher Beweis

Diese Einteilung findet sich in den logischen Schriften von Aristoteles, dem Organon, und ist bis heute in Einführungen in die Logik präsent^[2] Es gibt einen signifikanten Unterschied zwischen dem traditionellen oder klassische Logik, das auf Aristoteles steht syllogistisch Logik basiert und die symbolische bzw. seit dem 19. Jahrhundert entwickelt wurde mathematische Logik und Prädikatslogik.

Wie ein formale Wissenschaft Logik untersucht und klassifiziert die Struktur von Aussagen und Argumenten, sowohl durch das Studium von formale Systeme von Inferenz wie durch das Studium der Argumente in der Natürliche Sprache. Das Studium der Logik erstreckt sich von Kernthemen wie dem Studium der Irrtümer und Paradoxe, bis hin zur spezialisierten Analyse von Argumenten mit Wahrscheinlichkeit und Argumente bezüglich Kausalität. Logik wird jetzt auch in . verwendet Argumentation.^[3]

Geschichte

sehen Geschichte der Logik für den Hauptartikel zu diesem Thema.

Manuskript aus dem 15. Jahrhundert der Sieben freien Künste, Logik und Aristoteles

Mehrere alte Zivilisationen haben kohärente Denksysteme verwendet und Logik in Frage gestellt oder logische Paradoxien ausgesprochen.In Indien ist die Nasadiya Sukta der Rig-Veda (RV 10.129) ontologisch Spekulationen über verschiedene logische Einteilungen. Diese wurden später formell umformuliert als die vier Kreise von catuskoti: „A“, „nicht A“, „A und nicht A“ und „nicht A und nicht A“.^[4]Der chinesische Philosoph Gongsun Lang (ca. 325–250 v.) formulierte das Paradoxon „eins und eins können nicht zwei werden, da keines zwei wird“.^[5] In China wurde das traditionelle akademische Studium der Logik während der Qin-Dynastie auf Fürsprache des Rechtsphilosophen Han Feizic.

Das erste bedeutende Werk über Logik, das überliefert ist, stammt von Aristoteles.^[6] Die akademische Formlogik, wie wir sie heute kennen, entstammt der griechischen Tradition.

Seit dem Mittelalter wird die Logik als Teil der Philosophie als Teil der klassischen Philosophie studiert trivial, bestehend aus Grammatik, Rhetorik und Logik.

Seit Mitte des 19. Jahrhunderts ist die formale Logik studiert im Rahmen der Grundlagen der Mathematik, wo es oft ist symbolische Logik wird genannt.

Eine der wichtigsten Notationsmethoden für die Logik wurde formuliert von Gottlob Frege, eine tolle Inspirationsquelle für Bertrand Russell, die 1903 zusammen mit Alfred North Whitehead förmlich nach Logik gesucht, um der Grundstein der Mathematik mit der Veröffentlichung der Principia Mathematica.^[7]Mit Ausnahme des elementaren Teils werden diese Prinzipien nicht mehr verwendet und wurden weitgehend durch die Mengenlehre.

In der Weiterentwicklung des Studiums der formalen Logik ging es bei der Forschung nicht mehr nur um grundlegende Themen. Das Studium verschiedener Anwendungen im Bereich der Mathematik führte zur Entstehung von a mathematische Logik. Die Entwicklung der formalen Logik und ihrer Implikationen für Computer ist eine der Grundlagen der Informatik.

Arten von Logik

Es wurden verschiedene Arten von Logik entwickelt, darunter:

• Syllogismus oder Syllogistik — Die erste formale Logik (entwickelt von Aristoteles).
• Aussagelogik — Vorschläge sind einfache Aussagen, die wahr sein können oder auch nicht.
• Prädikatslogik — Die Prädikatenlogik ist eine Erweiterung der Aussagenlogik.
• Typing Logic — Macht Aussagen über Prädikate beliebiger Ordnung.
• Modale Logik — Formalisiert Modalitäten.
• Nicht monotone Logik - Das Hinzufügen von Wissen kann zur Ablehnung zuvor gültiger Schlussfolgerungen führen
• Zeitlogik — Formalisiert zeitliche Informationen.
• Mehrwertige Logik unter denen Fuzzy-Logik — In (unter anderem) der Boolesche Logik jede Aussage hat nur zwei mögliche Antworten: wahr, die wir mit 1 bezeichnen, und falsch, die wir mit 0 bezeichnen. Es gibt verschiedene andere Logikarten, bei denen dieses Prinzip nicht gilt und eine Aussage somit beispielsweise drei oder sogar unendlich viele Antwortmöglichkeiten hat.
• Präferenzlogik oder a-Logik — Wird in der . verwendet Managementtheorie.
• Parakonsistente Logik - Lehnt ab Widersprüche nicht, aber notieren Sie es.
• Mathematische Logik
• Dreiwertige Logik

Siehe auch

• Liste der Logik
• Klassische Logik
• Organon (Aristoteles)

Verweise

Externe Links

• Verein für Logik