Portal:Logik

Übersicht   Exzellente Artikel   Lesenswerte Artikel   Mitmachen
Portal Logik


Zwillingsparadoxon
Gregor Reisch, Margarita Philosophica, Typus Logice

Logik ist die Lehre des Schlussfolgerns. Begründet von Aristoteles und im Anschluss für über zwei Jahrtausende in ihren Grundlagen fast unverändert, gewann die Logik erst in der Neuzeit wieder stark an Bedeutung. Insbesondere die Fundierung der Mathematik in der Logik, etwa durch George Boole, Frege und Russell und Whitehead, sowie das sprachphilosophische Interesse an der Logik durch den Wiener Kreis und Ludwig Wittgenstein erweckten die Grundlagenarbeit an der Logik neu zum Leben und führten zunächst zu einer strengen Formalisierung der Logik, zu logischen Kalkülen sowie zu einer Vielzahl verschiedener Logiken, die sich in ihren jeweils gewählten Voraussetzungen (Axiomen) und Schlussregeln unterscheiden. Dieses Portal bietet einen Einstieg in die wichtigsten Aspekte der Logik. Wir freuen uns über Fragen und Anregungen auf der Diskussionsseite.

Qsicon lesenswert.svg Hauptartikel Logik · Kategorie Logik



bearbeiten   
bearbeiten   
Grundlagen der formalen Logik
bearbeiten   
bearbeiten   
bearbeiten   
Logiken

Beschreibungslogik • Dialogische Logik • Epistemische Logik, Wissenslogik • Qsicon Exzellent.svg Existential GraphsFuzzy-LogikGüntherlogikIntuitionistische Logik • Klassenlogik • Klassische LogikLogik höherer StufeMehrwertige LogikMultiagentensystemQsicon lesenswert.svg ModallogikParakonsistente LogikenRelevanzlogik • Termlogik


bearbeiten   

AussagenkalkülBaumkalkül • Gentzenkalkül • Hilbertkalkül • Hoare-Kalkül • Lambda-KalkülPlankalkül • Prädikatenkalkül • Relationenkalkül • Residuenkalkül • Resolutionskalkül • Sequenzenkalkül • Situationskalkül • Systeme natürlichen Schließens

bearbeiten   
Logiker

Qsicon Exzellent.svg Aristoteles (384-322 v. Chr.) • Philon von Megara (4./3. Jahrhundert v. Chr.) • Chrysippos von Soli (281-208 v. Chr.) • Cicero (106-43 v. Chr.) • Boëthius (475-524) • Petrus Abaelardus (1079-1142) • Averroes (1126-1198) • William of Sherwood (1200-1266) • Qsicon Exzellent.svg Johannes Duns Scotus (1266-1308) • Wilhelm von Ockham (1285-1347) • Johannes Buridan (1300-1358) • Gottfried Wilhelm Leibniz (1646-1716) • Gottfried Ploucquet (1716-1790) • Qsicon lesenswert.svg Arthur Schopenhauer (1788-1860) • Augustus De Morgan (1806-1871) • George Boole (1815-1864) • Charles Sanders Peirce (1839-1914) • Ernst Schröder (1841-1902) • Gottlob Frege (1848-1925) • Giuseppe Peano (1858-1932) • Qsicon lesenswert.svg David Hilbert (1862-1943) • Bertrand Russell (1872-1970) • Jan Łukasiewicz (1878-1956) • Henry Maurice Sheffer (1882-1964) • Ludwig Wittgenstein (1889-1951) • Rudolf Carnap (1891-1970) • Arend Heyting (1898-1980) • Qsicon lesenswert.svg Gotthard Günther (1900-1984) • Alfred Tarski (1901-1983) • Joseph Maria Bocheński (1902-1995) • Alonzo Church (1903-1995) • Stanisław Jaśkowski (1906-1965) • Kurt Gödel (1906-1978) • Jacques Herbrand (1908-1931) • Evert Willem Beth (1908-1964) • Willard Van Orman Quine (1908-2000) • Claude Elwood Shannon (1916-2001) • Georg Henrik von Wright (1916-2003) • Raymond Smullyan (* 1919) • Karel Berka (* 1923) • Wesley C. Salmon (1925-2001) • Jaakko Hintikka (* 1929) • John Alan Robinson (* 1930) • Saul Aaron Kripke (* 1940)

bearbeiten   
Standardwerke

Analytica priora (Aristoteles) • Ueber die vierfache Wurzel des Satzes vom zureichenden Grunde (Arthur Schopenhauer) • Qsicon lesenswert.svg Begriffsschrift (Gottlob Frege) • Principia Mathematica (Russell und Whitehead) • Tractatus Logico-Philosophicus (Ludwig Wittgenstein) • Logische Syntax der Sprache (Rudolf Carnap) • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (Kurt Gödel) • Grundzüge der Logik (Willard Van Orman Quine) • Einführung in die mathematische Logik (Alfred Tarski)


Was sind Portale? | weitere Portale unter Wikipedia nach Themen
Qualitätsprädikat: informative Portale alphabetisch und nach Themen


Auf dieser Seite eingebundene Bilder

Urheber: Wolfgangbeyer at de.wikipedia, Bild-Name: Zwillingsparadoxon.png, Lizenz: CC-BY-SA-3.0
Beschreibung: Weg-Zeit-Diagramm zum Zwillingsparadoxon für eine Reise mit 60% der Lichtgeschwindigkeit.
Urheber: Gregor Reisch, Bild-Name: Gregor_Reisch,_Margarita_Philosophica,_Typus_Logice.jpg, Lizenz: Public domain
Beschreibung: Woodcut from Gregor Reisch, Margarita Philosophica, published 1503/1508?: Typus Logice (“Image/portrait of Logic”), presenting the central methods and problems of the traditional logic.
Urheber: User:Superdreadnought, User:Niabot, Bild-Name: Qsicon_lesenswert.svg, Lizenz: CC BY-SA 3.0
Beschreibung: Bewertungsicon „Lesenswert“ der deutschsprachigen Wikipedia
Urheber: User:Niabot, Bild-Name: Qsicon_Exzellent.svg, Lizenz: CC BY-SA 3.0
Beschreibung: Das Zeichen wird dazu genutzt, besonders gut geschriebene Artikel in der deutschsprachigen Wikipedia zu kennzeichnen
Urheber: , Bild-Name: Portal.svg, Lizenz: CC BY 2.5
Beschreibung: Icon for Wikimedia project´s portals.
Urheber: User:Niabot, Bild-Name: Qsicon_informativ.svg, Lizenz: CC BY-SA 3.0
Beschreibung: Icon used to mark article that is informativ in the German Wikipedia