Schneller Zugriff als Browser!
49 Beziehungen: Albert Menne, Alfred Tarski, Aristoteles, Aussage (Logik), Aussagenlogik, Begriff (Philosophie), Begriffslogik, Begriffsschrift, Bertrand Russell, Beweistheorie, David Hilbert, Edmund Husserl, Extension und Intension, Formale Sprache, Georg Cantor, George Boole, Geschichte der Logik, Gottlob Frege, Hilbertprogramm, Immanuel Kant, Implikation, Joseph Maria Bocheński, Kritik der reinen Vernunft, Kurt Gödel, Logik, Mathematische Logik, Mengenlehre, Metasprache, Modelltheorie, Modus ponens, Nichtklassische Logik, Niels Öffenberger, Paul Hoyningen-Huene, Paul Lorenzen, Philosophische Logik, Prädikatenlogik, Prädikatenlogik erster Stufe, Principia Mathematica, Rudolf Eisler (Philosoph), Schlussfolgerung, Semantik, Sophistische Widerlegungen, Syllogismus, Syntax, Thomas Zoglauer, Topik (Aristoteles), Transzendentale Logik, Urteil (Logik), Walter Bröcker.
Albert Menne
Albert Heinrich Menne (* 12. Juli 1923 in Attendorn; † 7. März 1990) war ein deutscher Philosoph, Logiker und Wissenschaftstheoretiker.
Neu!!: Formale Logik und Albert Menne · Mehr sehen »
Alfred Tarski
Berkeley Alfred Tarski bzw.
Neu!!: Formale Logik und Alfred Tarski · Mehr sehen »
Aristoteles
Aristoteles (Betonung lateinisch und deutsch: Aristóteles; * 384 v. Chr. in Stageira; † 322 v. Chr. in Chalkis auf Euböa) war ein griechischer Universalgelehrter.
Neu!!: Formale Logik und Aristoteles · Mehr sehen »
Aussage (Logik)
Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist, zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip).
Neu!!: Formale Logik und Aussage (Logik) · 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!!: Formale Logik und Aussagenlogik · Mehr sehen »
Begriff (Philosophie)
Im weiteren Sinne bezeichnet das Wort Begriff in der Philosophie, wie ein Wort zu verstehen ist (im Sinne von „zu begreifen“).
Neu!!: Formale Logik und Begriff (Philosophie) · Mehr sehen »
Begriffslogik
Begriffslogik oder terministische bzw.
Neu!!: Formale Logik und Begriffslogik · Mehr sehen »
Begriffsschrift
Das Titelblatt der ''Begriffsschrift'' Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik.
Neu!!: Formale Logik und Begriffsschrift · Mehr sehen »
Bertrand Russell
Bertrand Russell (1957) Bertrand Arthur William Russell, 3.
Neu!!: Formale Logik und Bertrand Russell · Mehr sehen »
Beweistheorie
Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt, was deren Analyse mit mathematischen Techniken ermöglicht.
Neu!!: Formale Logik und Beweistheorie · 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!!: Formale Logik und David Hilbert · Mehr sehen »
Edmund Husserl
Edmund Husserl (1900) Edmund Gustav Albrecht Husserl (* 8. April 1859 in Proßnitz in Mähren, Kaisertum Österreich; † 27. April 1938 in Freiburg im Breisgau, Deutsches Reich) war ein österreichisch-deutscher Philosoph und Mathematiker und Begründer der philosophischen Strömung der Phänomenologie.
Neu!!: Formale Logik und Edmund Husserl · Mehr sehen »
Extension und Intension
Extension und Intension (‚Ausdehnung, Spannweite, Verbreitung‘ und ‚Mühe, Spannung, Anspannung‘) sind Begriffe aus der Semantik, mit denen verschiedene Dimensionen der Bedeutung sprachlicher Ausdrücke (Prädikate, Sätze) oder logischer Entitäten (Mengen, Begriffe, Propositionen) bestimmt werden.
Neu!!: Formale Logik und Extension und Intension · Mehr sehen »
Formale Sprache
Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.
Neu!!: Formale Logik und Formale Sprache · 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!!: Formale Logik und Georg Cantor · Mehr sehen »
George Boole
George Boole (um 1860) George Boole (* 2. November 1815 in Lincoln, England; † 8. Dezember 1864 in Ballintemple, in der Grafschaft Cork, Irland) war ein englischer Mathematiker (Autodidakt), Logiker und Philosoph.
Neu!!: Formale Logik und George Boole · Mehr sehen »
Geschichte der Logik
Die Geschichte der Logik behandelt die Entstehung und Entwicklung der Logik und aller ihrer Teildisziplinen.
Neu!!: Formale Logik und Geschichte der Logik · 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!!: Formale Logik und Gottlob Frege · Mehr sehen »
Hilbertprogramm
Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 1920er Jahren vorschlug.
Neu!!: Formale Logik und Hilbertprogramm · Mehr sehen »
Immanuel Kant
Immanuel Kant (* 22. April 1724 in Königsberg (Preußen); † 12. Februar 1804 ebenda) war ein deutscher Philosoph der Aufklärung sowie unter anderem Professor der Logik und Metaphysik in Königsberg.
Neu!!: Formale Logik und Immanuel Kant · Mehr sehen »
Implikation
Die Bezeichnung Implikation (von; Verb: implizieren; Adjektiv: implizit) wird in der Logik nicht einheitlich für einen bestimmten logischen Zusammenhang verwendet; insbesondere werden unterschieden.
Neu!!: Formale Logik und Implikation · Mehr sehen »
Joseph Maria Bocheński
Joseph Maria Bocheński, 1991 Joseph Maria Franciszek Emanuel Bocheński OP (* 30. August 1902 in Czuszów (bei Miechów), Polen; † 8. Februar 1995 in Freiburg, Schweiz), meist kurz J. M. Bocheński, auch Innocentius Marie und Innocent M. Bochenski, war ein polnischer Philosoph und Logiker.
Neu!!: Formale Logik und Joseph Maria Bocheński · Mehr sehen »
Kritik der reinen Vernunft
Titelblatt des Erstdruckes, 1781 Die Kritik der reinen Vernunft (KrV; im Original Critik der reinen Vernunft) ist das erkenntnistheoretische Hauptwerk des Philosophen Immanuel Kant, in dem er den Grundriss für seine Transzendentalphilosophie liefert.
Neu!!: Formale Logik und Kritik der reinen Vernunft · 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!!: Formale Logik und Kurt Gödel · 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!!: Formale Logik und Logik · Mehr sehen »
Mathematische Logik
Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
Neu!!: Formale Logik und Mathematische Logik · Mehr sehen »
Mengenlehre
Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt.
Neu!!: Formale Logik und Mengenlehre · Mehr sehen »
Metasprache
Eine Metasprache ist eine „Sprache über Sprache“.
Neu!!: Formale Logik und Metasprache · Mehr sehen »
Modelltheorie
Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.
Neu!!: Formale Logik und Modelltheorie · Mehr sehen »
Modus ponens
Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen (siehe Logik, Kalkül) als Schlussregel verwendet wird.
Neu!!: Formale Logik und Modus ponens · Mehr sehen »
Nichtklassische Logik
Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden.
Neu!!: Formale Logik und Nichtklassische Logik · Mehr sehen »
Niels Öffenberger
Niels Öffenberger Niels Öffenberger (* 9. März 1930 in Kronstadt) ist ein deutscher Philosoph und Logiker.
Neu!!: Formale Logik und Niels Öffenberger · Mehr sehen »
Paul Hoyningen-Huene
Paul Hoyningen-Huene (* 31. Juli 1946 in Pfronten) ist ein deutscher Philosoph, der sich insbesondere mit Fragen der theoretischen Wissenschaftsphilosophie im Anschluss an Thomas S. Kuhn und Paul Feyerabend sowie mit Wissenschaftsethik befasst.
Neu!!: Formale Logik und Paul Hoyningen-Huene · 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!!: Formale Logik und Paul Lorenzen · Mehr sehen »
Philosophische Logik
Der Ausdruck philosophische Logik wird auf mehrfache Weise verwendet.
Neu!!: Formale Logik und Philosophische Logik · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Formale Logik und Prädikatenlogik · Mehr sehen »
Prädikatenlogik erster Stufe
Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik.
Neu!!: Formale Logik 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!!: Formale Logik und Principia Mathematica · Mehr sehen »
Rudolf Eisler (Philosoph)
Rudolf Eisler (* 7. Januar 1873 in Wien, Österreich-Ungarn; † 13. Dezember 1926 in Wien) war ein österreichischer Philosoph.
Neu!!: Formale Logik und Rudolf Eisler (Philosoph) · Mehr sehen »
Schlussfolgerung
Schlussfolgerung, Schlussfolgern, Folgerung, Inferenz (aus „hineintragen“; „folgern“, „schließen“) oder Konklusion („Schlussfolgerung“) und Implikation sind in der Logik Bezeichnungen für mehrere eng miteinander verwandte Sachverhalte.
Neu!!: Formale Logik und Schlussfolgerung · Mehr sehen »
Semantik
Semantik (von), auch Bedeutungslehre genannt, ist die wissenschaftliche Beschäftigung mit Bedeutung und mit den verschiedenen Beziehungen zwischen einem Zeichen und dem Bezeichneten.
Neu!!: Formale Logik und Semantik · Mehr sehen »
Sophistische Widerlegungen
Die Sophistischen Widerlegungen (lat.: De sophisticis elenchis, gr: Περὶ σοφιστικῶν ἐλέγχων) des Aristoteles bilden die letzte Schrift des Organon und als Anhang das neunte Buch der Schrift Topik.
Neu!!: Formale Logik und Sophistische Widerlegungen · Mehr sehen »
Syllogismus
Die Syllogismen (von syllogismós „ Zusammenrechnen“, „logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse.
Neu!!: Formale Logik und Syllogismus · Mehr sehen »
Syntax
Unter Syntax (von syn ‚zusammen‘ und taxis ‚Ordnung, Reihenfolge‘) versteht man allgemein ein Regelsystem zur Kombination elementarer Zeichen zu zusammengesetzten Zeichen in natürlichen oder künstlichen Zeichensystemen.
Neu!!: Formale Logik und Syntax · Mehr sehen »
Thomas Zoglauer
Thomas Zoglauer (* 30. Januar 1960 in Neckarrems) ist ein deutscher Philosoph.
Neu!!: Formale Logik und Thomas Zoglauer · Mehr sehen »
Topik (Aristoteles)
Die ''Topik'' in der 1319 geschriebenen Handschrift Venedig, Biblioteca Marciana, Gr. IV,5, fol. 313v Die Topik ist das fünfte und damit vorletzte Buch des Organon, einer Zusammenstellung von Schriften des antiken griechischen Philosophen Aristoteles.
Neu!!: Formale Logik und Topik (Aristoteles) · Mehr sehen »
Transzendentale Logik
Die transzendentale Logik ist ein Teilstück der Kritik der reinen Vernunft von Immanuel Kant.
Neu!!: Formale Logik und Transzendentale Logik · Mehr sehen »
Urteil (Logik)
Urteil ist in der Logik die Form einer Feststellung, die in der sprachlichen Form eines Satzes ausgedrückt wird.
Neu!!: Formale Logik und Urteil (Logik) · Mehr sehen »
Walter Bröcker
Walter Bröcker (* 19. Juli 1902 in Itzehoe; † 3. August 1992 in Kiel) war ein deutscher Philosoph und Professor in Rostock und Kiel.
Neu!!: Formale Logik und Walter Bröcker · Mehr sehen »
