Quelltext der Seite Arten von Logiken

==== Klassisch ====
</div>Der Begriff [https://de.wikipedia.org/wiki/Klassische_Logik klassische Logik] bezieht sich in erster Linie auf die Aussagenlogik und die Logik erster Stufe.<ref name=":3" /> Sie wird in der Regel von Philosophen als die paradigmatische Form der Logik behandelt und in verschiedensten Bereichen verwendet.<ref><span class="reference-text">Stewart Shapiro, Teresa Kouri Kissel: [https://plato.stanford.edu/entries/logic-classical/ ''Classical Logic.''] In: ''The Stanford Encyclopedia of Philosophy.'' Metaphysics Research Lab, Stanford University, 2021, <span class="Abrufdatum">abgerufen am 4.&nbsp;Dezember 2021</span>.</span></ref> Sie befasst sich mit einer kleinen Anzahl zentraler logischer Begriffe und legt fest, welche Rolle diese Begriffe beim Ziehen gültiger Schlüsse spielen.<ref name=":4"><span class="reference-text">Hintikka Jaakko, Gabriel Sandu: <cite>Philosophy of Logic</cite>. North Holland, 2006, What is Logic?, S.&nbsp;13–39 ([https://philpapers.org/rec/JAAWIL philpapers.org]).</span></ref><ref><span class="reference-text">P. D. Magnus: <cite>Forall X: An Introduction to Formal Logic</cite>. Victoria, BC, Canada: State University of New York Oer Services, 2005, 1.4 Deductive validity ([https://philpapers.org/rec/MAGFXI philpapers.org]).</span></ref> Zu diesen Kernbegriffen gehören Quantoren, die Ideen wie „alle“ und „einige“ ausdrücken, und propositionale Konnektoren, wie „und“, „oder“ und „wenn-dann“.<ref name=":4" /> Unter den nicht-logischen Begriffen besteht eine wichtige Unterscheidung zwischen singulären Termen und Prädikaten. Singuläre Terme stehen für Objekte und Prädikate für Eigenschaften oder Beziehungen zwischen diesen Objekten. In dieser Hinsicht unterscheidet sich die Logik erster Stufe von der traditionellen aristotelischen Logik, der Prädikate für Beziehungen fehlten.<ref name=":4" />Die Logik erster Stufe erlaubt die Quantifizierung nur über Individuen, im Gegensatz zur Logik höherer Stufe die Quantifizierung auch über Prädikate erlaubt.<ref name=":4" /><div class="mw-heading mw-heading4">