[L01] Was ist Logik?

Also, was ist Logik? Kurz gesagt, Wir könnten Logik als das Studium der Prinzipien des korrekten Denkens definieren. Dies ist eine grobe Definition, denn wie Logik richtig definiert werden sollte, ist eigentlich eine ziemlich kontroverse Angelegenheit. Für den Zweck dieser Tour dachten wir jedoch, dass es nützlich wäre, Ihnen zumindest eine grobe Vorstellung von dem Thema zu geben, das Sie studieren werden. Das ist es also, was wir auf dieser Seite versuchen werden.

§1., Logik ist nicht die Psychologie des Denkens

Eine Sache, die Sie bei dieser Definition beachten sollten, ist, dass sich die Logik mit den Prinzipien des korrekten Denkens befasst. Das Studium der richtigen Denkprinzipien ist nicht dasselbe wie das Studium der Denkpsychologie. Logik ist die frühere Disziplin, und sie sagt uns, wie wir argumentieren sollten, wenn wir richtig argumentieren wollen. Ob Menschen diese Regeln des korrekten Denkens tatsächlich befolgen, ist eine empirische Angelegenheit, die nicht die Logik betrifft.

Die Psychologie des Denkens hingegen ist eine empirische Wissenschaft., Es erzählt uns von den tatsächlichen Denkgewohnheiten der Menschen, einschließlich ihrer Fehler. Ein Psychologe, der Argumentation studiert, könnte daran interessiert sein, wie die Fähigkeit der Menschen zur Vernunft mit dem Alter variiert. Aber solche empirischen Fakten sind für den Logiker nicht von Belang.

§2. Die Prinzipien der Logik

Also, was sind diese Prinzipien der Argumentation, die Teil der Logik sind? Es gibt viele solcher Prinzipien, aber das Wichtigste (nicht das einzige), was wir in der Logik studieren, sind Prinzipien, die die Gültigkeit von Argumenten regeln – ob bestimmte Schlussfolgerungen aus einigen gegebenen Annahmen folgen., Betrachten Sie zum Beispiel die folgenden drei Argumente:

Diese drei Argumente hier sind offensichtlich gute Argumente in dem Sinne, dass ihre Schlussfolgerungen aus den Annahmen folgen. Wenn die Annahmen des Arguments wahr sind, muss auch die Schlussfolgerung des Arguments wahr sein. Ein Logiker wird uns sagen, dass sie alle Fälle einer bestimmten Argumentationsform sind, die als „modus ponens“ bekannt ist :

Wenn P, dann Q. P. Daher Q.

Wir werden später noch einmal über Gültigkeit diskutieren. Es sollte darauf hingewiesen werden, dass sich Logik nicht nur mit der Gültigkeit von Argumenten befasst., Die Logik untersucht auch Konsistenz und logische Wahrheiten sowie Eigenschaften logischer Systeme wie Vollständigkeit und Solidität. Aber wir werden sehen, dass diese anderen Konzepte auch sehr stark mit dem Begriff der Gültigkeit zusammenhängen.

§3. Thema Neutralität

Modus ponens könnte verwendet werden, um zwei Merkmale über die Regeln des Denkens in der Logik zu veranschaulichen. Das erste Merkmal ist seinstopische Neutralität. Wie die vier Beispiele nahelegen, modus Ponenskann zum Nachdenken über verschiedene Themen verwendet werden. Dies gilt für alleprinzipien des Denkens in der Logik., Die Gesetze der Biologie könnten wahr seinnur von Lebewesen, und die Gesetze der Ökonomie sind nur anwendbarauf Sammlungen von Agenten, die in Finanztransaktionen enagage. Aberdie Prinzipien der Logik sind universelle Prinzipien, die allgemeiner sindals Biologie und Ökonomie. Dies ist zum Teil das, was in derfolgende Definitionen der Logik von zwei sehr berühmten Logikern:

… der Name einer Disziplin, die Analysiertbedeutung der Konzepte, die allen Wissenschaften gemeinsam sind, und legt die allgemeinen Gesetze fest, die die Konzepte regeln.,

§4. Notwendigkeit in der Logik

Ein zweites Merkmal der Prinzipien der Logik istdass sie nicht kontingent sind, in dem Sinne, dass sie nicht davon abhängenjede bestimmte zufällige Merkmale der Welt., Physik und anderempirische Wissenschaften untersuchen, wie die Welt tatsächlich ist.Physiker könnten uns sagen, dass kein Signal schneller reisen kann als die Geschwindigkeit des Lichts, aber wenn die Gesetze der Physik anders gewesen wären, dannperhaps das wäre nicht wahr gewesen. In ähnlicher Weise könnten Biologen untersuchen, wie Delfine miteinander kommunizieren, aber wenn der Verlauf der Evolution anders gewesen wäre, dann hätten Delfine vielleicht nicht existiert. Die Theorien in den empirischen Wissenschaften sind also kontingent inder Sinn, dass sie anders hätten sein können., Die Prinzipien der Logik hingegen werden nur mit Argumentation abgeleitet, und ihre Gültigkeit hängt nicht von irgendwelchen bedingten Merkmalen der Welt ab.

Zum Beispiel sagt uns die Logik, dass jede Aussage der Form „IfP dann P.“ notwendigerweise wahr ist. Dies ist ein Prinzip der zweiten Art, die Logiker studieren. Dieses Prinzip sagt uns, dass eine Aussage wie „Wenn es regnet, dann regnet es“ wahr sein muss. Wir können leicht sehen, dass dies tatsächlich der Fall ist, ob es tatsächlich regnet oder nicht.,Selbst wenn die Gesetze der Physik oder Wettermuster geändert werden sollten, bleibt diese Aussage wahr. So sagen wir, dass wissenschaftliche Wahrheiten (Mathematik beiseite) bedingt sind, während logische Wahrheiten notwendig sind. Auch dies zeigt, wie sich Logik von den empirischen Wissenschaften wie Physik, Chemie oder Biologie unterscheidet.

§5. Formale und informelle Logik

Manchmal wird zwischen informeller Logik und formaler Logik unterschieden.Der Begriff „informelle Logik“ wird oft verwendet, um dasselbe zu meinenkritisches Denken., Manchmal wird es verwendet, um sich auf das Studium vonreasoning und Irrtümer im Kontext des Alltags. „Formale Logik“ beschäftigt sich hauptsächlich mit formalen Logiksystemen. Dies sind speziellenkonstruierte Systeme zur Durchführung von Beweisen, bei denen die Sprachen und Denkregeln genau und sorgfältig definiert sind. Sentiallogik (auch als „Propositionslogik“ bekannt) und Prädikatenlogik sind beide Beispiele für formale Logiksysteme.

Es gibt viele Gründe, formale Logik zu studieren., Eine davon ist, dass Formallogic uns hilft, Muster guten Denkens und Muster schlechten Denkens zu identifizieren, damit wir wissen, welchen wir folgen und welche wir vermeiden müssen. Aus diesem Grund kann das Studieren grundlegender formaler Logik dazu beitragen, das kritische Denken zu verbessern. Formalsysteme der Logik werden auch von Linguisten verwendet, um natürliche Sprachen zu studieren.Informatiker beschäftigen auch formale Logiksysteme in der Forschungbezogen zu Aritificial Intelligence. Schließlich verwenden viele Philosophen auchdie formale Logik im Umgang mit komplizierten philosophischen Problemen, um ihre Argumentation expliziter und präziser zu machen.

§6., Weitere Lesungen

• Einträge zur Logikin der Stanford Encyclopedia of Philosophy. Dies sind schwierige Artikel über die Philosophie der Logik.