https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Portal%3ALogikPortal:Logik - Versionsgeschichte2026-06-22T05:08:03ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Portal:Logik&diff=1359371&oldid=previmported>Lómelinde: End-Tag fehlt nicht geschlossenes div und Syntax vereinfacht2021-10-25T09:28:12Z<p><a href="/index.php/Spezial:LintErrors/missing-end-tag" class="new" title="Spezial:LintErrors/missing-end-tag (Seite nicht vorhanden)">End-Tag fehlt</a> nicht geschlossenes div und Syntax vereinfacht</p>
<p><b>Neue Seite</b></p><div>{{Shortcut|P:L}}<br />
{{Index-Portal|Wissenschaft}}<br />
{{Portal:Logik/Tabs|Übersicht}}<br />
<div style="padding:10px; margin:0; border:solid 1px #000000; border-top: 0; background:#FFFFFF; text-align:center;"><br />
<br />
<div style="text-align:center; font-size:190%;">Portal Logik</div><br />
<br />
<div style="text-align:center; padding:5px; margin:5px;"><br />
<br />
<br />
{{Zufallsbild<br />
| ANZAHL = 3<br />
| SAAT = 1<br />
| 1 = [[Bild:Zwillingsparadoxon.png|left|x180px|border|Zwillingsparadoxon]]<br />
| 2 = [[Bild:Begriffsschrift Titel.png|left|x180px|border|Titelblatt der Begriffsschrift]]<br />
| 3 = [[Bild:Kakuro.Complete.svg|left|x180px|border|Kakuro, ein logisches Rätsel]]<br />
}}<br />
<br />
<!--Neuere Bilder--><br />
{{Zufallsbild<br />
| ANZAHL = 2<br />
| SAAT = 2<br />
| 1 = [[Bild:Aristotle Altemps Inv8575.jpg|right|x180px|border|Aristoteles, der Begründer der Logik]]<br />
| 2 = [[Bild:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg|right|x180px|border|Gregor Reisch, Margarita Philosophica, Typus Logice]]<br />
}}<!-- | 3 = [[Bild:Kurt Gödel MFO.jpeg|right|x180px|border|Kurt Gödel, der den nach ihm benannten Unvöllständigkeitssatz bewies]] 22:28, 8. Mär. 2010 Polarlys (Diskussion | Beiträge) hat „File:Kurt Gödel MFO.jpeg“ gelöscht (Per Commons:Deletion_requests/File:Kurt_Gödel_MFO.jpeg)--><br />
<br />
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]], [[Gottlob Frege|Frege]] und [[Principia Mathematica|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.<br />
<br />
[[Bild:Qsicon lesenswert.svg|15px]]&nbsp;'''[[Logik|Hauptartikel Logik]] · [[:Kategorie:Logik|Kategorie Logik]]'''</div><br />
<div style="clear:both;"></div><br />
</div><br />
<br />
{| class="toptextcells" style="width:100%;"<br />
|style="width:50%; padding:0; margin:0;"|<!--### LINKE SPALTE###--><br />
<!--### linke Spalte: Philosophische Logik###--><br />
<br />
{{Portal:Logik/BoxHeader3|[[Philosophische Logik]]|Portal:Logik/PhilosophischeLogik}}<br />
<br />
<!--### linke Spalte: Formale Logik###--><br />
{{Portal:Logik/BoxHeader3|Grundlagen der [[Formale Logik|formalen Logik]]|Portal:Logik/FormaleLogik}}<br />
<br />
<!--### linke Spalte: Aussagenlogik###--><br />
{{Portal:Logik/BoxHeader3|[[Aussagenlogik]]|Portal:Logik/Aussagenlogik}}<br />
<br />
<!--### linke Spalte: Prädikatenlogik###--><br />
{{Portal:Logik/BoxHeader3|[[Prädikatenlogik]]|Portal:Logik/Prädikatenlogik}}<br />
<br />
<!--###linke Spalte: (Weitere) Logiken (ist leider nicht disjunkt mit Aussagen- und Prädikatenlogik)###--><br />
{{Portal:Logik/BoxHeader3|Logiken|Portal:Logik/Logiken}}<br />
<br />
|style="padding:0; margin:0;"|<br />
<br />
{{Portal:Logik/BoxHeader3|[[Kalkül]]e|Portal:Logik/Kalküle}}<br />
<br />
{{Portal:Logik/BoxHeader3|Logiker|Portal:Logik/Logiker}}<br />
<br />
{{Portal:Logik/BoxHeader3|Standardwerke|Portal:Logik/Standardwerke}}<br />
<br />
|- <br />
|colspan="2"|<br />
----<br />
{{Alle Portale}}<br />
__NOEDITSECTION__<br />
|}<br />
<br />
[[Kategorie:Logik]]<br />
[[Kategorie:Portal:Wissenschaft als Thema|Logik]]</div>imported>Lómelinde