Schneller Zugriff als Browser!
49 Beziehungen: Ableitung (Logik), Antinomie, Arithmetik, Aussage, Aussagenlogik, Auswahlaxiom, Axiomensystem, Bertrand Russell, Cantorsche Antinomie, Currys Paradoxon, David Hilbert, Emil Leon Post, Ernst Zermelo, Falsifikation, Fundierungsaxiom, Georg Cantor, Gerhard Gentzen, Gottlob Frege, Hilbertprogramm, Hilberts Axiomensystem der euklidischen Geometrie, Historisches Präsens, Intuitionismus, John von Neumann, Kalkül, Klassische Logik, Kontinuumshypothese, Kontradiktion, Korrektheit (Logik), Kurt Gödel, Lügner-Paradox, Logik, Naive Mengenlehre, Neumann-Bernays-Gödel-Mengenlehre, Paradoxon, Parakonsistente Logik, Paul Bernays, Paul Lorenzen, Prädikatenlogik erster Stufe, Principia Mathematica, Russellsche Antinomie, Satz vom Widerspruch, Syllogismus, Theorie, Typentheorie, Unendlichkeitsaxiom, Wilhelm Ackermann (Mathematiker), Wissenschaft, Zermelo-Fraenkel-Mengenlehre, Zermelo-Mengenlehre.
Ableitung (Logik)
Eine Ableitung, Herleitung, oder Deduktion ist in der Logik die Gewinnung von Aussagen aus anderen Aussagen.
Neu!!: Widerspruchsfreiheit und Ableitung (Logik) · Mehr sehen »
Antinomie
Eine Antinomie („gegen“ und nomos „Gesetz“; sinngemäß „Unvereinbarkeit von Gesetzen“) ist eine spezielle Art des logischen Widerspruchs, bei der die zueinander in Widerspruch stehenden Aussagen gleichermaßen gut begründet oder (im Fall formaler Systeme) bewiesen sind.
Neu!!: Widerspruchsfreiheit und Antinomie · Mehr sehen »
Arithmetik
Die Arithmetik (von, „Zahl“, davon abgeleitet das Adjektiv arithmētikós, „zum Zählen oder Rechnen gehörig“) ist ein Teilgebiet der Mathematik.
Neu!!: Widerspruchsfreiheit und Arithmetik · Mehr sehen »
Aussage
Der Ausdruck Aussage ist mehrdeutig.
Neu!!: Widerspruchsfreiheit und Aussage · Mehr sehen »
Aussagenlogik
Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.
Neu!!: Widerspruchsfreiheit und Aussagenlogik · Mehr sehen »
Auswahlaxiom
Das Auswahlaxiom ist ein Axiom der Zermelo-Fraenkel-Mengenlehre.
Neu!!: Widerspruchsfreiheit und Auswahlaxiom · Mehr sehen »
Axiomensystem
Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) einer Theorie logisch abgeleitet werden.
Neu!!: Widerspruchsfreiheit und Axiomensystem · Mehr sehen »
Bertrand Russell
Bertrand Russell (1957) Bertrand Arthur William Russell, 3.
Neu!!: Widerspruchsfreiheit und Bertrand Russell · Mehr sehen »
Cantorsche Antinomie
Georg Cantor beschrieb in den Jahren 1897 bis 1899 mehrere Antinomien, durch die er bewies, dass bestimmte Klassen keine Mengen sind.
Neu!!: Widerspruchsfreiheit und Cantorsche Antinomie · Mehr sehen »
Currys Paradoxon
Currys Paradoxon ist ein Paradoxon, das Haskell Curry 1942 beschrieb; es erlaubt die Ableitung einer beliebigen Aussage aus einem selbstbezüglichen Ausdruck, der seine eigene Gültigkeit voraussetzt, mittels einfacher, allgemeiner logischer Regeln.
Neu!!: Widerspruchsfreiheit und Currys Paradoxon · Mehr sehen »
David Hilbert
David Hilbert (1912) David Hilbert (* 23. Januar 1862 in Königsberg; † 14. Februar 1943 in Göttingen) war ein deutscher Mathematiker und Hochschullehrer.
Neu!!: Widerspruchsfreiheit und David Hilbert · Mehr sehen »
Emil Leon Post
Emil Leon Post Emil Leon Post (* 11. Februar 1897 in Augustów, Kongresspolen; † 21. April 1954 in New York, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker.
Neu!!: Widerspruchsfreiheit und Emil Leon Post · Mehr sehen »
Ernst Zermelo
Freiburg 1953 Ernst Friedrich Ferdinand Zermelo (* 27. Juli 1871 in Berlin; † 21. Mai 1953 in Freiburg im Breisgau) war ein deutscher Mathematiker.
Neu!!: Widerspruchsfreiheit und Ernst Zermelo · Mehr sehen »
Falsifikation
Falsifikation, auch Falsifizierung (von lat. falsificare „als falsch erkennen“) oder Widerlegung, ist der Nachweis der Ungültigkeit einer Aussage, Methode, These, Hypothese oder Theorie.
Neu!!: Widerspruchsfreiheit und Falsifikation · Mehr sehen »
Fundierungsaxiom
Das Fundierungsaxiom (auch: Regularitätsaxiom) ist ein Axiom der Mengenlehre von John von Neumann von 1925,John von Neumann: Eine Axiomatisierung der Mengenlehre. In: Journal für die reine und angewandte Mathematik. Bd.
Neu!!: Widerspruchsfreiheit und Fundierungsaxiom · Mehr sehen »
Georg Cantor
Georg Cantor (etwa 1910) Georg Ferdinand Ludwig Philipp Cantor (* in Sankt Petersburg; † 6. Januar 1918 in Halle an der Saale) war ein deutscher Mathematiker.
Neu!!: Widerspruchsfreiheit und Georg Cantor · Mehr sehen »
Gerhard Gentzen
Gerhard Gentzen Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker.
Neu!!: Widerspruchsfreiheit und Gerhard Gentzen · Mehr sehen »
Gottlob Frege
Gottlob Frege (1878) Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Logiker, Mathematiker und Philosoph.
Neu!!: Widerspruchsfreiheit und Gottlob Frege · Mehr sehen »
Hilbertprogramm
Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 1920er Jahren vorschlug.
Neu!!: Widerspruchsfreiheit und Hilbertprogramm · Mehr sehen »
Hilberts Axiomensystem der euklidischen Geometrie
David Hilbert verwendet für seine Axiomatische Grundlegung der euklidischen Geometrie (im dreidimensionalen Raum) „drei verschiedene Systeme von Dingen“, nämlich Punkte, Geraden und Ebenen, und „drei grundlegende Beziehungen“, nämlich liegen, zwischen und kongruent.
Neu!!: Widerspruchsfreiheit und Hilberts Axiomensystem der euklidischen Geometrie · Mehr sehen »
Historisches Präsens
Als historisches Präsens (lat. praesens historicum, auch narratives Präsens) wird die Verwendung des Präsens in Erzählungen von Vergangenem bezeichnet.
Neu!!: Widerspruchsfreiheit und Historisches Präsens · Mehr sehen »
Intuitionismus
Intuitionismus bezeichnet unterschiedliche philosophische, mathematische und teilweise auch psychologische Positionen, die der Intuition eine Priorität einräumen.
Neu!!: Widerspruchsfreiheit und Intuitionismus · Mehr sehen »
John von Neumann
John von Neumann (um 1940) John von Neumann (* 28. Dezember 1903 in Budapest, Österreich-Ungarn als Neumann János Lajos; † 8. Februar 1957 in Washington, D.C., Vereinigte Staaten) war ein ungarisch-US-amerikanischer Mathematiker.
Neu!!: Widerspruchsfreiheit und John von Neumann · Mehr sehen »
Kalkül
Als der oder das Kalkül („Rechnung“; von „Rechenstein“, „Spielstein“) versteht man in den formalen Wissenschaften wie Logik und Mathematik ein formales System von Regeln, mit denen sich aus gegebenen Aussagen (Axiomen) weitere Aussagen ableiten lassen.
Neu!!: Widerspruchsfreiheit und Kalkül · Mehr sehen »
Klassische Logik
Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält.
Neu!!: Widerspruchsfreiheit und Klassische Logik · Mehr sehen »
Kontinuumshypothese
Die Mächtigkeit des Kontinuums bleibt in ZFC unbestimmt Die Kontinuumshypothese wurde 1878 vom Mathematiker Georg Cantor aufgestellt und beinhaltet eine Vermutung über die Mächtigkeit des Kontinuums, das heißt der Menge der reellen Zahlen.
Neu!!: Widerspruchsfreiheit und Kontinuumshypothese · Mehr sehen »
Kontradiktion
Eine Kontradiktion (aus, „gegen“ und, „das Sagen, Reden“; „Gegenrede, Widerspruch“) liegt in der Logik vor, wenn zwei Begriffe, Urteile oder Aussagen im Widerspruch zueinander stehen und eine gegenseitige Negation darstellen.
Neu!!: Widerspruchsfreiheit und Kontradiktion · Mehr sehen »
Korrektheit (Logik)
Korrektheit ist eine wichtige Eigenschaft formaler Systeme oder Kalküle und betrifft den Zusammenhang zwischen Syntax und Semantik, der umgangssprachlich lautet: Was formal ableitbar ist, ist auch wahr, soweit die Prämissen der Ableitung wahr sind.
Neu!!: Widerspruchsfreiheit und Korrektheit (Logik) · Mehr sehen »
Kurt Gödel
rahmenlos Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichischer und später US-amerikanischer Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts.
Neu!!: Widerspruchsfreiheit und Kurt Gödel · Mehr sehen »
Lügner-Paradox
Pinocchios Nase wächst bekanntlich genau dann, wenn er lügt. Was passiert aber, wenn er sagt „Meine Nase wächst gerade“? Ein Lügner-Paradox ist in der Philosophie bzw.
Neu!!: Widerspruchsfreiheit und Lügner-Paradox · Mehr sehen »
Logik
Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.
Neu!!: Widerspruchsfreiheit und Logik · Mehr sehen »
Naive Mengenlehre
Der Begriff der naiven Mengenlehre entstand am Anfang des 20.
Neu!!: Widerspruchsfreiheit und Naive Mengenlehre · Mehr sehen »
Neumann-Bernays-Gödel-Mengenlehre
Die Neumann-Bernays-Gödel-Mengenlehre (NBG) ist eine Axiomatisierung der Mengenlehre.
Neu!!: Widerspruchsfreiheit und Neumann-Bernays-Gödel-Mengenlehre · Mehr sehen »
Paradoxon
Das Penrose-Dreieck erweckt den Anschein, es handele sich um eine geschlossene dreidimensionale Struktur aus drei rechten Winkeln, was in der euklidischen Geometrie jedoch unmöglich ist. Ein Paradoxon (sächlich; Plural Paradoxa; auch das Paradox oder die Paradoxie, Plural Paradoxe bzw. Paradoxien; vom altgriechischen Adjektiv parádoxos „wider Erwarten, wider die gewöhnliche Meinung, unerwartet, unglaublich“) ist ein Befund, eine Aussage oder Erscheinung, die dem allgemein Erwarteten, der herrschenden Meinung oder Ähnlichem auf unerwartete Weise zuwiderläuft oder beim üblichen Verständnis der betroffenen Gegenstände bzw.
Neu!!: Widerspruchsfreiheit und Paradoxon · Mehr sehen »
Parakonsistente Logik
Unter Parakonsistenten Logiken und Parainkonsistenten Logiken versteht man Kalküle, in denen der logische Grundsatz ex contradictione sequitur quodlibet (lat. für „aus einem Widerspruch folgt Beliebiges“) nicht gilt, in denen es also nicht möglich ist, aus zwei widersprüchlichen Aussagen A, \neg A oder aus einem Widerspruch A \wedge \neg A jede beliebige Aussage herzuleiten.
Neu!!: Widerspruchsfreiheit und Parakonsistente Logik · Mehr sehen »
Paul Bernays
Paul Bernays (links) im Gespräch Paul Isaak Bernays (meist genannt als Paul Bernays; * 17. Oktober 1888 in London; † 18. September 1977 in Zürich) war ein Mathematiker und Logiker.
Neu!!: Widerspruchsfreiheit und Paul Bernays · Mehr sehen »
Paul Lorenzen
Paul Lorenzen (1967) Paul Peter Wilhelm Lorenzen (* 24. März 1915 in Kiel; † 1. Oktober 1994 in Göttingen) war ein deutscher Philosoph, Wissenschaftstheoretiker, Mathematiker und Logiker.
Neu!!: Widerspruchsfreiheit und Paul Lorenzen · Mehr sehen »
Prädikatenlogik erster Stufe
Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik.
Neu!!: Widerspruchsfreiheit und Prädikatenlogik erster Stufe · Mehr sehen »
Principia Mathematica
Titelseite der ''Principia Mathematica'' (Kurzausgabe bis *56) Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913.
Neu!!: Widerspruchsfreiheit und Principia Mathematica · Mehr sehen »
Russellsche Antinomie
Bild des Namensgebers Bertrand Russell. Die Russellsche Antinomie ist ein von Bertrand Russell und Ernst Zermelo entdecktes Paradoxon der naiven Mengenlehre, das Russell 1903 publizierte und das daher seinen Namen trägt.
Neu!!: Widerspruchsfreiheit und Russellsche Antinomie · Mehr sehen »
Satz vom Widerspruch
Der Satz vom Widerspruch oder Satz vom ausgeschlossenen Widerspruch besagt, dass zwei einander in derselben Hinsicht widersprechende Aussagen nicht zugleich zutreffen können.
Neu!!: Widerspruchsfreiheit und Satz vom Widerspruch · Mehr sehen »
Syllogismus
Die Syllogismen (von syllogismós „ Zusammenrechnen“, „logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse.
Neu!!: Widerspruchsfreiheit und Syllogismus · Mehr sehen »
Theorie
Eine Theorie ist im allgemeinen Sprachgebrauch eine durch weitgehend spekulatives Denken gewonnene Erkenntnis oder ein System von Lehrsätzen, aus denen sich eine Erkenntnis ableiten lässt.
Neu!!: Widerspruchsfreiheit und Theorie · Mehr sehen »
Typentheorie
In mathematischer Logik und theoretischer Informatik sind Typentheorien formale Systeme, in denen jeder Term einen Typ hat und Operationen auf bestimmte Typen beschränkt sind.
Neu!!: Widerspruchsfreiheit und Typentheorie · Mehr sehen »
Unendlichkeitsaxiom
Das Unendlichkeitsaxiom ist ein Axiom der Mengenlehre, das die Existenz einer induktiven Menge postuliert.
Neu!!: Widerspruchsfreiheit und Unendlichkeitsaxiom · Mehr sehen »
Wilhelm Ackermann (Mathematiker)
Wilhelm Ackermann (ca. 1935) Wilhelm Friedrich Ackermann (* 29. März 1896 in Schönebecke (Herscheid); † 24. Dezember 1962 in Lüdenscheid) war ein deutscher Mathematiker.
Neu!!: Widerspruchsfreiheit und Wilhelm Ackermann (Mathematiker) · Mehr sehen »
Wissenschaft
Das Wort Wissenschaft (.
Neu!!: Widerspruchsfreiheit und Wissenschaft · Mehr sehen »
Zermelo-Fraenkel-Mengenlehre
Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist.
Neu!!: Widerspruchsfreiheit und Zermelo-Fraenkel-Mengenlehre · Mehr sehen »
Zermelo-Mengenlehre
Die Zermelo-Mengenlehre ist die erste publizierte axiomatische Mengenlehre; sie stammt von Ernst Zermelo und ist datiert auf den 30.
Neu!!: Widerspruchsfreiheit und Zermelo-Mengenlehre · Mehr sehen »
Leitet hier um:
Relative Konsistenz, Relative Widerspruchsfreiheit, Widerspruchsfrei.
