Portal:Logik/LesenswerteArtikel

Übersicht

Exzellente Artikel

Lesenswerte Artikel

Mitmachen

Lesenswerte Artikel

Bisher wurden vierzehn Artikel im Bereich Logik von Wikipedianern als lesenswert ausgezeichnet. Diese Artikel sind empfehlenswert und heben sich von den meisten Artikel ab.

bearbeiten    Begriffsschrift Das Titelblatt der Begriffsschrift Die Begriffsschrift ist ein schmales, weniger als hundert Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik. Es wurde 1879 mit dem Untertitel „Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens“ veröffentlicht und gilt allgemein als die wichtigste Veröffentlichung im Bereich der Logik seit Aristoteles' Organon. bearbeiten    Braess-Paradoxon Skizze der Ausgangssituation Das Braess-Paradoxon veranschaulicht, dass eine zusätzliche Handlungsalternative unter der Annahme rationaler Einzelentscheidungen zu einer Verschlechterung der Situation für alle führen kann. Das Paradoxon wurde 1968 von dem deutschen Mathematiker Dietrich Braess (* 1938) veröffentlicht. Braess’ originale Arbeit zeigt eine paradoxe Situation, in der der Bau einer zusätzlichen Straße (also einer Kapazitätserhöhung) dazu führt, dass sich bei gleich bleibendem Verkehrsaufkommen die Fahrtdauer für alle Autofahrer erhöht (d. h. die Kapazität des Netzes reduziert wird). bearbeiten    Charles S. Peirce Charles Sanders Peirce um 1870 Charles Sanders Peirce (* 10. September 1839 in Cambridge, Massachusetts, † 19. April 1914 in Milford, Pennsylvania) war ein US-amerikanischer Mathematiker, Philosoph und Logiker. Peirce gehört neben William James und John Dewey zu den maßgeblichen Denkern des Pragmatismus; außerdem gilt er als Begründer der modernen Semiotik. Bertrand Russell bezeichnete ihn als den „größten amerikanischen Denker“, Karl Popper betrachtete ihn sogar als „einen der größten Philosophen aller Zeiten“. bearbeiten    David Hilbert David Hilbert (1886) als Privatdozent in Königsberg David Hilbert (* 23. Januar 1862 in Königsberg; † 14. Februar 1943 in Göttingen) war einer der bedeutendsten Mathematiker der Neuzeit. Viele seiner Arbeiten in Mathematik und mathematischer Physik begründeten eigenständige Forschungsgebiete. Hilbert gilt als Begründer und exponiertester Vertreter der Richtung des Formalismus in der Mathematik. Bereits in der Liste der ungelösten Probleme wies Hilbert darauf hin, dass die Widerspruchsfreiheit der Arithmetik nicht geklärt sei. bearbeiten    Gefangenendilemma Illustration Das Gefangenendilemma ist ein Paradoxon, das zentraler Bestandteil der Spieltheorie ist. Bei dem Dilemma handelt es sich um ein klassisches symmetrisches „Zwei-Personen-Nicht-Nullsummen-Spiel”, das in den 1950er Jahren von zwei Mitarbeitern der RAND Corporation formuliert wurde. Um ihre abstrakten theoretischen Resultate zu veranschaulichen, beschrieben Merrill Flood und Melvin Dresher ein soziales Dilemma als Zweipersonenspiel, das zeigt, wie individuell rationale Entscheidungen zu kollektiv schlechteren Ergebnissen führen können. Die Bezeichnung „Gefangenendilemma“ stammt von Albert William Tucker von der Universität Princeton. bearbeiten    Gotthard Günther Gotthard Günther, (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül hinausgehenden Kalkül, die Polykontexturale Logik (abk: PKL). Die polykontexturale Logik benötigt eine Morphogrammatik genannte prä-logische Theorie der Form. Den Notationsrahmen für beide liefert die ebenfalls von Günther entwickelte Kenogrammatik. PKL, Morpho- und Kenogrammatik bilden die sogenannte Polykontexturalitätstheorie. Günthers Ausgangspunkt für die Entwicklung dieser Theorie ist eine fundamentale philosophisch-wissenschaftstheoretische Kritik der auf strikter Identitätsontologie basierenden klassischen (mono-kontexturalen) Standard- sowie Nicht-Standard-Logikkalküle. bearbeiten    Kategorien Erste Seite der Kategorien in der Ausgabe von Immanuel Bekker, 1834. Die Kategorien (altgr. περὶ τῶν κατηγορίων; lat. Categoriae) sind eine Schrift des Philosophen Aristoteles. In ihr nimmt Aristoteles eine Einteilung mittels zehn Aussageweisen, den Kategorien, vor. Diese Einteilung orientiert sich dabei an einzelnen, unverbundenen sprachlichen Ausdrücken wie „Sokrates“, „Mensch“ oder „weiß“. Da Aristoteles in dieser Schrift sprachliche Ausdrücke und die ihnen entsprechenden Gegenstände nicht immer klar voneinander trennt, scheint er zugleich die Wirklichkeit in die entsprechenden Typen von Objekten und Eigenschaften einzuteilen.

bearbeiten    Kurt Gödel Kurt Friedrich Gödel (* 28. April 1906 in Brünn (tschechisch: Brno) , Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge: zur Prädikatenlogik – Vollständigkeit, Entscheidungsproblem in Arithmetik und axiomatischer Mengentheorie zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik – sowie zur Relativitätstheorie in der Physik. bearbeiten    Logik Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen den Hasen problema, die Logik eilt mit dem Schwert syllogismus bewaffnet hinterher. Links unten Parmenides, mit dem die logische Argumentation Einzug in die Philosophie hielt, in einer Höhle. Logik (griech. ἡ λογική (τέχνη) [he logiké téchne] „die denkende [Kunst, Vorgehensweise]“) ist die Lehre des vernünftigen (Schluss-)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der eigentlichen Aussagen. In diesem Sinne spricht man auch von „formaler“ Logik. Die Logik ist sowohl ein Teilgebiet der Philosophie als auch der Mathematik und der Informatik. bearbeiten    Ludwig Wittgenstein Ludwig Josef Johann Wittgenstein (* 26. April 1889 in Wien; † 29. April 1951 in Cambridge) war ein österreichisch-britischer Philosoph des 20. Jahrhunderts. Er lieferte bedeutende Beiträge zur Philosophie der Logik, der Sprache und des Bewusstseins. Seine beiden Hauptwerke Logisch-philosophische Abhandlung (Tractatus logico-philosophicus 1921) und Philosophische Untersuchungen (1953, postum) wurden zur Grundlage zweier philosophischer Schulen, des Logischen Positivismus und der analytischen Sprachphilosophie. bearbeiten    Modallogik Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren, sondern auch Aussagen wie „Möglicherweise regnet es“ und „Notwendigerweise sind alle Kreise rund“. Mit den Begriffen „möglich“ und „notwendig“ bietet die Sprache neben „wahr“ und „falsch“ eine zusätzliche Möglichkeit, Aussagen zu charakterisieren: Manche falsche Aussagen sind doch möglich, manche wahre Aussagen sind darüber hinaus notwendig. Wenn wir feststellen wollen, ob eine Aussage möglich ist, können wir versuchen uns eine Situation vorzustellen, in der die Aussage wahr ist. Wir können uns beispielsweise vorstellen, dass es Menschen mit grüner Haut gäbe, die Aussage „Manche Menschen haben grüne Haut“ ist daher möglich. bearbeiten    Petrus Abaelardus Abaelardus und Heloïse in einer Handschrift des Roman de la Rose, Chantilly, musée Condé (14. Jh.) Petrus Abaelardus (Geburtsname: Pierre Abaillard. Auch: Peter Abaelard, Pierre Abélard, Pierre Abaelard, Abailardus, Abaielardus sowie zahlreiche Varianten) (* 1079 in Le Pallet bei Nantes; † 21. April 1142 im Kloster St. Marcel, Saône) war ein umstrittener und streitbarer französischer Philosoph und bedeutender Vertreter der Früh-Scholastik. Er lehrte unter anderem in Paris Theologie, Logik und Dialektik. In Anspielung auf seine Herkunft trug er auch den Beinamen doctor palatinus (fürstlicher Lehrer). bearbeiten    Syllogismus Beispiel für Syllogismus: Alle Menschen sind sterblich (Obersatz). Alle Griechen sind Menschen (Untersatz). Also sind alle Griechen sterblich (Schlussfolgerung). Die Syllogismen (von altgr.: συλ-λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des Aristoteles und der traditionellen Logik bis ins 19. Jahrhundert. Als Syllogistik wird ganz allgemein die Lehre von den Syllogismen bezeichnet. Sie untersucht insbesondere, unter welchen Voraussetzungen Syllogismen gültig sind. bearbeiten    Zwillingsparadoxon Weg-Zeit-Diagramm für v=0,6c. Der Zwilling auf der Erde bewegt sich auf der Zeitachse von A1 nach A4. Der reisende Zwilling nimmt den Weg über B. Linien der Gleichzeitigkeit aus der Sicht des reisenden Zwillings sind für die Hinreise rot und für die Rückreise blau eingezeichnet. Die Punkte auf den Reisewegen markieren jeweils ein Jahr Eigenzeit. Das Zwillingsparadoxon ist ein Gedankenexperiment, das einen scheinbaren Widerspruch in der speziellen Relativitätstheorie beschreibt. Der zugrunde liegende Gedanke wurde 1911 von dem französischen Physiker Paul Langevin korrekt analysiert (Lit.: Langevin, 1911) und 1918 auch von Albert Einstein (Lit.: Einstein, 1918). Danach fliegt einer von zwei Zwillingen mit nahezu Lichtgeschwindigkeit zu einem fernen Stern und kehrt anschließend mit derselben Geschwindigkeit wieder zurück. Nach der Relativitätstheorie schließt jeder Zwilling aus seinen Beobachtungen, dass während der Flugphasen mit konstanter Geschwindigkeit der jeweils andere Zwilling als Folge der so genannten Zeitdilatation langsamer altert. Nach der Rückkehr auf der Erde stellt sich aber heraus, dass der dort zurückgebliebene Zwilling älter geworden ist als der gereiste.