Sind die „Gesetze“ der deduktiven Logik empirisch überprüfbar?

"Ist Logik empirisch?" weist stark auf eine Frage hin, die ich gerne in den Griff bekommen möchte.

Dieser Satz ist ein Titel eines Artikels von Hilary Putnam, und laut Synopsen/Rezensionen befasst sich das Papier sehr eng mit der Möglichkeit, dass Gesetze der Logik angesichts neuer empirischer Erkenntnisse über die Quantenmechanik überarbeitet werden müssen. Obwohl diese Idee eine faszinierende Idee sein mag, scheint sie, abgesehen von einer tangentialen Verbindung, sehr neben dem Hauptpunkt meiner Frage zu liegen.

Also sollte ich die Frage vielleicht so stellen: Wie um alles in der Welt kam die Menschheit bei der Genese jemals auf die Idee, dass deduktive Logik nützlich ist, um neues Wissen zu erlangen? (Übrigens meine ich mit „Logik“ die deduktive Logik, sofern ich nichts anderes anmerke.) Es scheint unausweichlich, dass sich die deduktive Logik in vorgeschichtlicher Zeit parallel zu den sprachlichen Strukturen der Logik entwickelt haben muss. In diesem Sinne kann also gesagt werden, dass die Idee, dass die deduktive Logik unbestreitbar gültig ist, eine empirische Grundlage hat.

Angeblich führte irgendetwas in der menschlichen Erfahrung dazu, dass die Menschen dachten, sie seien bei der Entwicklung einer Tradition der Logik auf dem richtigen Weg. Aber es scheint mir auch, dass der Glaube an die unzweifelhafte Gültigkeit der Logik sehr stark ein Dogma ist; so scheint es mir, dass man im Sinne von Descartes' Infragestellung philosophischer Grundlagen möglichst durch empirische, wissenschaftliche Untersuchungen prüfen sollte, ob die Logik tatsächlich zu unbezweifelbaren neuen Erkenntnissen führt.

Auch wenn die Menschheitsgeschichte empirisch höchst relevant sein mag, stellt die Menschheitsgeschichte in keiner Weise einen doppelblinden, zufälligen, unvoreingenommenen statistischen Test von Hypothesen dar. (Solche statistischen Tests scheinen als der Goldstandard für empirische Tests zu gelten – zumindest für medizinische Forschungsfragen.) Es gibt einfach zu viele kulturelle Vorselektionen, als dass die Dinge anders sein könnten.

Wie gehen wir also mit der im Wesentlichen kartesischen Frage der empirischen Grundlagen der deduktiven Logik um?

Zum Kontext: Diese Fragestellung motiviert mich vor allem im Hinblick auf die scheinbar extrem aufragenden Theorien der algebraischen Topologie, scheinbar bis zum Mond aufragend, um Übertreibungen zu verwenden. Das scheint eine sehr unglaubliche Abhängigkeit von der Idee zu sein, dass die deduktive Logik zu unbestreitbarem neuem Wissen führt. Auch sehr abstrakte, mengentheoretische Entwicklungen in Theorien der Wahrscheinlichkeitstheorie und stochastischer Prozesse liefern eine ähnliche Motivation für diese Fragen.

Nun ist mir klar, dass es anscheinend eine Reihe von Mathematikern gibt, die solche Theorien einfach nur als formalistisches Spiel in der axiomatischen Tradition der euklidischen Geometrie betrachten, und dass die empirische Relevanz für die „reale Welt“ außerhalb der mathematischen Theorie einfach kein Thema ist bei der Entwicklung solcher Theorien.

Es gibt noch eine andere Perspektive, die ich hier erwähnen sollte. Man sieht manchmal physikalische Theorien, deren einzige empirische Tests relativ entfernte empirische Überprüfungen empirischer Konsequenzen sind. Aber wenn die Logik unbezweifelbar ist, gibt es natürlich eine starke Präferenz dafür, die Theorien selbst direkt zu verifizieren – das heißt, die Kette der Logik viel früher in der Kette zu erreichen. Es scheint, dass solche Überprüfungen zu viel stärkerem, mächtigerem, viel universeller nützlichem Wissen über die fraglichen Theorien führen könnten – das heißt, vorausgesetzt, die Logik erweist sich als unzweifelhaft gültig, sagen wir basierend auf überwältigender empirischer Überprüfung.

Abschließend zur Putnam-Diskussion über die Relevanz der Quantenmechanik: Jenseits grandioser Vorstellungen menschlicher Fähigkeiten scheint es keinen Grund zu der Annahme zu geben, dass Menschen jemals eine perfekte Theorie des physikalischen Universums entwickeln können; diese Idee, theoretische Perfektion zu erreichen, scheint eine empirisch unbestätigbare Idee zu sein.

So scheint es von vornherein, dass Fragen nach der Konsistenz mit der Quantenmechanik für eine Relevanz zur Frage nach empirischen Grundlagen der Logik keineswegs zwingend sind.

Vielleicht sollte ich die implizite Hauptfrage, die ich im Sinn habe, deutlicher machen. Gibt es nämlich veröffentlichte, umfassende Studien, die die empirischen Grundlagen für die Idee gründlich untersuchen, dass die deduktive Logik ein zuverlässiges Werkzeug ist, um neues Wissen über die "natürliche" Welt außerhalb des formalistischen Rahmens der Logik zu erlangen?Dass ein Satz nach formalistischen Regeln aus Prämissen folgt, ist natürlich oft eine Frage der empirischen Verifikation durch Durchschleifen der Regeln. Aber meine Frage konzentriert sich darauf, ob die Logik irgendwelche neuen Erkenntnisse empirischer Natur außerhalb des Formalismus hinzufügt. Bertrand Russell sagte, dass die Regeln der Logik a priori Wissen sind. Ich denke, er hat wahrscheinlich nur die allgemeine Rhetorik der damaligen Zeit über die Idee rekapituliert. Aber das scheint nicht gut genug zu sein. Ich finde es schwer zu glauben, dass die Regeln der Logik keine feste, wissenschaftlich empirische Grundlage haben, um sie auf wissenschaftlich überzeugende Weise außerhalb von Unterhaltungszwecken als nützlich zu betrachten. Ich denke zum Beispiel, dass der Satz des Pythagoras Teil des Gewebes eines solchen neuen Wissens über die natürliche Welt sein könnte. Das Theorem scheint tatsächlich sehr relevant und empirisch überprüfbar in der natürlichen Welt zu sein, bis auf kleine Messfehler. Und so scheint es, dass das Theorem von der induktiven Logik als teilweiser Beweis dafür angesehen werden könnte, dass die deduktive Logik praktische Relevanz für die natürliche Welt hat. Aber im Geiste des Empirismus scheint es, dass viel mehr Beweise empirischer Natur benötigt werden.

Ein weiteres Beispiel könnte die Verwendung von Logik für die Newtonsche Mechanik und die Newtonsche Gravitation und die Konsequenzen (einer Art) in der Himmelsmechanik sein, obwohl diese Anwendungen möglicherweise nicht die relative "Perfektion" der Einsteinschen Relativitätstheorie haben.

"Es scheint unausweichlich, dass sich die deduktive Logik in vorgeschichtlicher Zeit parallel zu den sprachlichen Strukturen der Logik entwickelt haben muss." Das tat es nicht, das meiste davon ist die Schöpfung des 19. Jahrhunderts. Studien über „volkstümliche Intuitionen“ zeigen, dass die „implizite“ Logik (soweit man so etwas projizieren kann) lückenhaft, manchmal inkohärent und mit starker Betonung der Relevanz, dh nicht klassisch, ist. Ihre Denkweise scheint die Geschichte zu sehr zu rationalisieren und sich dann zu fragen, wie sie so rational wurde: Logik passt zu mathematischen Anwendungen, weil sie ausdrücklich dafür entwickelt wurde, und zwar kürzlich.
Dies scheint eher eine Frage der "Ideengeschichte" zu sein, aber das bedeutet nicht, dass es nicht auch Philosophie ist. Stimmen Sie dem Kommentar von @Conifold voll und ganz zu, würde aber hinzufügen - ein Teil des Aufstiegs der deduktiven Logik bezieht sich auf ihre Anwendungen in Mathematik und Informatik. Es wird auch in der Philosophie und als Teil des kritischen Denkens gelehrt – aber die Daten darüber, ob es das kritische Denken per se tatsächlich verbessert, sind weniger herausragend, als man hoffen würde.
Wir können uns vorstellen, dass „Logik“ und „Sprache“ in unserem Gehirn irgendwie „verdrahtet“ sind. Bedeutet dies, dass es "empirisch" ist? Und was heißt „empirisch“? Vorbehaltlich der Widerlegung durch Erfahrung und Tatsachenbeweise ...
"Kartesische Frage nach empirischen Grundlagen der deduktiven Logik?" ??? Descartes war kein „Empiriker“.
Verwandte Quine .
Es gibt einen Bearbeiten-Button für Ihre Kommentare @MauroALLEGRANZA
@Conifold, ich denke besonders an den Übergang von vermuteten "Volksinstitutionen" zu der Logik, die von den alten Griechen verwendet wurde, noch bevor die euklidische Geometrie kodifiziert wurde. Ich weiß nicht, wie viel Vorgeschichte an dieser Entwicklung beteiligt war, aber ich bin sehr neugierig, wie die Griechen schließlich entschieden haben, dass die deduktive Logik ein wichtiges und nützliches Werkzeug ist, das eine gewisse Relevanz für die natürliche Welt zu haben scheint.
Die "deduktive Logik" der Griechen war rudimentär - die Syllogistik des Aristoteles hatte nicht einmal Konnektoren, und selbst die stoische Logik war nur propositional und relevant, nicht klassisch. Dies war selbst für die euklidische Geometrie nicht genug, daher die vergeblichen Versuche, sie zu "syllogisieren", die Hand in Hand gingen mit Versuchen, das parallele Postulat zu "beweisen". Das war noch zu Kant's Zeiten so, daher seine Schlussfolgerung, dass die Logik für die Mathematik nicht ausreicht. De Morgan, Peirce und Frege erweiterten sie erst auf die Logik von Beziehungen und Quantifizierern, als die Mathematik Ende des 18. Jahrhunderts dafür reif war.
@ Mauro ALLEGRANZA Mit "kartesischer Frage" beziehe ich mich auf Descartes 'Idee, bis zu den niedrigsten Ebenen philosophischer Annahmen vorzudringen und alles zu bezweifeln, was er für zweifelhaft hielt - bis zu dem Punkt, an dem er erklärte: "Ich denke, also bin ich".
Aber @Conifold, ich denke zum Beispiel an die vorformalisierten Denkstadien in den Köpfen der Erfinder. Was in den Köpfen von De Morgan, Peirce und Frege veranlasste sie zu der Annahme, dass sich ihre formalisierten Erweiterungen lohnen würden? Gab es empirische Beweise dafür, dass sich die beabsichtigten Erweiterungen tatsächlich lohnen würden? Gab es empirische Beweise, die ihre Ideen auch nach ihrer Formalisierung weiter vorangetrieben haben?
@Conifold, ich denke insbesondere an logische Elemente, die in die natürliche Sprache eingebettet sind. „Für alle“ und „es gibt“ usw. waren Teil der natürlichen Sprache, bevor irgendjemand daran dachte, diese Dinge zu formalisieren. Vielleicht war es in diesen Vorformalisierungsstadien, dass die Vorstellung von der Würdigkeit der Logik zwingend war. Vielleicht waren sich die Erfinder des unbewussten Beweises nicht bewusst, dass Logik sich lohnen könnte. Es mag in doktrinärer Form herausgekommen sein, aber vielleicht waren sie sich nur unbewusst einiger empirischer Beweise bewusst, die ihre Ideen vorangetrieben haben.
Einige dachten in Analogie zur damals stark wachsenden Algebra (de Morgan, Peirce), andere versuchten, Arithmetik/Analysis zu formalisieren, die ebenfalls reif für eine Rigorisierung waren (Frege, Dedekind, Weierstraß). Sie können diese Motivationen dann auf empirische Sachverhalte zurückführen, die die Ausarbeitung der Algebra/Analyse überhaupt erst vorangetrieben haben. Aber dieser Einflussweg ist weder direkt noch determiniert, so dass "empirische Beweise" im üblichen Sinne strittig sind. Es ist der pragmatische Gesamterfolg der „neuen Mathematik“, der die „neue Logik“ „angetrieben“ und zu ihrer Heiligsprechung geführt hat.
@Conifold Mein Gedanke ist, dass der von Ihnen erwähnte "pragmatische Gesamterfolg" sehr wahrscheinlich ein subjektiver Placebo-Effekt der Bemühungen der Erfinder sein könnte. Dies scheint ein gutes Argument für viel strengere wissenschaftliche Tests zu sein, um die Verwendung der deduktiven Logik in den Naturwissenschaften zu bewerten, insbesondere für die Verwendung der deduktiven Logik, wenn es um "angewandte" Mathematik geht, aber ich bin etwas misstrauisch gegenüber einer willkürlichen Dichotomie zwischen "rein" und "angewandt", weil ich vermute, dass eine solche Dichotomie zu Verwirrung führen kann. Ich möchte glauben, dass "rein" "angewandt" werden kann.
Das Problem ist, dass pragmatischer Erfolg zwei verschiedene Wurzeln hat, die eine passt zu einem Aspekt der Realität, die andere passt zu unseren kulturellen/biologischen Fähigkeiten, Dinge zu tun. Wo letzteres von ersterem getrennt werden kann, haben wir etwas, das sich empirischer Prüfung nähert, aber die Hoffnungen, dies global zu tun, starben zusammen mit dem Positivismus in den 1950er Jahren. Einige Stücke, darunter sogar Teile der Physik, sind zu weit davon entfernt, die Realität zu "berühren", wie Quine es ausdrückte, um überprüfbar zu sein, die beiden Einflüsse verschmelzen dort. Und Mathe ist eher ein Hilfsmittel für unseren kognitiven Apparat als ein Spiegel der Realität.
@Conifold, Ihr Hinweis auf "einen Aspekt der Realität abgleichen" scheint das zu sein, was ich im Sinn habe, wenn ich über empirische Beweise spreche, insbesondere über "empirische Beweise außerhalb des Rahmens des logischen Formalismus". Aber Ihre "Übereinstimmung mit unseren kulturellen / biologischen Fähigkeiten, Dinge zu tun" scheint mehr Klärung zu bedürfen. Könnten Sie bitte näher darauf eingehen?
Wenn ich „empirische Beweise“ erwähne, füge ich normalerweise den Ausdruck „außerhalb des Rahmens des logischen Formalismus“ hinzu, weil ich Kreisläufe vermeiden möchte, „die Frage zu stellen“ (d. h. anzunehmen, was durch empirische Beweise bewiesen werden soll) oder, wenn Logik verwendet wird, wodurch "Selbstreferenz"-Inkonsistenzen eingeführt werden, wie sie Bertrand Russel zu vermeiden versuchte, als er seine Typentheorie einführte, um eine logisch konsistente Grundlage der Mathematik zu bilden. Dies scheint hauptsächlich eine Frage des Versuchs zu sein, einen guten Weg zu finden, um eine Idee auszudrücken, die ich im Kopf habe.
Wenn ich mich auf die „natürliche Welt“ oder die „reale Welt“ beziehe, ist meine Motivation ähnlich, obwohl ich zum Beispiel „natürliche“ Rückmeldungen von experimenteller Manipulation der „natürlichen Welt“ usw. zulassen möchte, wie kürzlich entdeckte/erfand/erzeugte „Hachimoji-DNA“, die als „unnatürliche DNA“ bezeichnet wird. (vgl. Artikel „Hachimoji DNA“ auf Wikipedia.)
Vielleicht könnten menschliche Denkprozesse für "empirische Beweise" möglicherweise auch als "empirische Beweise" gelten, aber es scheint, dass in diesem Fall eine Menge potenziell problematischer Qualifikationen erforderlich sein könnten. Zumindest zunächst scheint es also, dass "menschliche Denkprozesse" als "empirische Beweise" für Überprüfungszwecke weniger bevorzugt werden sollten, obwohl sie nicht vollständig ausgeschlossen sind.
Und außerdem mache ich mir am meisten Sorgen über die Verwendung der deduktiven Logik in den Naturwissenschaften – wie vielleicht die Verwendung der algebraischen Topologie in den Naturwissenschaften. Und wenn das Ziel in den Naturwissenschaften erreicht werden kann, wäre die Idee vielleicht auch reif für die Anwendung in den Sozialwissenschaften - und vielleicht sogar für die Untersuchung "introspektiver Beweise". Aber es scheint, dass die Naturwissenschaften der Ort sind, an dem die Idee am einfachsten getestet werden sollte.
Neben dem Satz des Pythagoras wird die deduktive Logik auch auf die Theorie der Differentialgleichungen angewendet, die die Theorie der Berechnung von Himmelsbahnen und -bahnen stark motiviert. Und natürlich gibt es noch viele andere Bereiche für „logische“ Anwendungen der Newtonschen Mechanik. Und diese Bereiche haben wahrscheinlich viele empirische Beweise für die Bestätigung oder "Verifizierung" der beteiligten Logik.
Ich denke, ich sollte etwas Hintergrundwissen zur Motivation hinzufügen. Ich erinnere mich, dass, als ich in der High School Geometrie studierte, Beweise intuitiv und überzeugend erschienen. Aber als ich zu den Epsilon-Delta-Argumenten der Analysis kam, hatte ich eine schreckliche Zeit. Also griff ich darauf zurück, die Sätze auf symbolische Logik mit Quantoren zu reduzieren. Obwohl ich die Logik sehr formalistisch durchgearbeitet habe, waren die Ergebnisse nicht intuitiv überzeugend. Dennoch glaubte ich, zumindest vorläufig, weiterhin an formale „Gesetze der Logik“. Erst später wurde mir klar, dass die Gesetze der Logik ein zu beweisendes Dogma zu sein schienen.
"Gesetze der Logik" sind nicht viel anders als Alphabet und Grammatik, die ebenfalls dogmatisch sind und keinen "Beweis" zulassen. Man kann über relative Vorteile einiger Logiken gegenüber anderen für bestimmte Zwecke nachdenken, zB solche mit netten technischen Eigenschaften sind gut für Mathematik und Informatik, siehe zB Girarads Programm . Generell versuchen wir, lange Kommentarthreads zu vermeiden, die abschweifen, wenn sie zu lang werden, sollten sie in Chats fortgesetzt werden.
Mit "Gesetzen der Logik" versuche ich zu verstehen, wie Menschen tatsächlich zuverlässige Theorien entwickeln, die auf "zuverlässigen" Annahmen basieren. Abgesehen von Boolean-orientierten Informatikern und ähnlichen Sonderfällen bezweifle ich, dass Menschen, die so etwas tun, in der Praxis jemals auf explizite, formale Regeln der Logik zurückgreifen. Die verwendete "Logik" scheint eher eine Frage der Denkgewohnheit zu sein, selbst in der reinen Mathematik. Tatsächlich wird der Begriff „Logik“ hier also stellvertretend für das verwendet, was Menschen tatsächlich oder hypothetisch tun, und was Menschen tatsächlich tun, scheint größtenteils eine schwierige Angelegenheit der empirischen Datenerhebung zu sein.
Ich bin zu dem Schluss gekommen, dass mein Gebrauch des Wortes „Logik“ sehr irreführend war. Anscheinend haben die Leute gedacht, dass ich mit "Logik" einen formalistischen Kalkül im Sinn hatte. Aber eigentlich hatte ich im Sinn, wie Mathematiker tatsächlich zu „rigorosen“ mathematischen Beweisen kommen. Also habe ich einen weiteren Thread erstellt, der sich meines Erachtens näher mit der wesentlichen Frage beschäftigt: "Anwendbarkeit der reinen Mathematik auf die Naturwissenschaften" philosophie.stackexchange.com/questions/60814/…

Antworten (5)

Michael Dummett sagt etwas Ähnliches wie Hilary Putnam vom OP über die Quantenmechanik beschrieben wird. Dummett befasst sich mit der Beschreibung der Unterschiede zwischen Realisten und Anti-Realisten als Glaube oder nicht an das logische Prinzip der Bivalenz in Bezug auf verschiedene Klassen von Aussagen.

Für die Klasse der Aussagen über Wissenschaft hat er folgendes zu sagen: (Seite 5-6)

Die Realisten glauben, dass die Wissenschaft nach und nach aufdeckt, wie die Welt an sich ist, und dabei erklärt, warum sie uns so erscheint, wie sie es tut. Sie werden von Instrumentalisten bekämpft, die theoretische Entitäten als nützliche Fiktionen betrachten, die es uns ermöglichen, beobachtbare Ereignisse vorherzusagen; für sie erschöpft sich der Gehalt einer theoretischen Aussage in ihrer Vorhersagekraft. Dies ist ein Fall, in dem die dem Realismus entgegengesetzte Ansicht durch empirische Ergebnisse plausibler gemacht wird; denn eine realistische Interpretation der Quantenmechanik scheint zu unerträglichen Antinomien zu führen.

Angesichts der Falsifizierbarkeit gegenüber dem Verifikationismus mag es sinnvoller sein, sich die Quantenmechanik als Falsifizierung bestimmter realistischer Ansichten vorzustellen, anstatt antirealistische Ansichten zu verifizieren. Dies würde sogar dafür funktionieren, welche Logik für eine Klasse von Anweisungen am besten funktioniert.


Dummett, M. Die logische Grundlage der Metaphysik. (1991) Harvard University Press.

Hey Frank, geh Illini. Sie haben weitere Empfehlungen zur Metaphysik?

Die Frage, ob die „Denkgesetze“ empirisch sind, mag ganz davon abhängen, was wir meinen. Aristoteles hat die Art und Weise, wie wir denken, untersucht und in seinen Gesetzen für die Dialektik formalisiert, und ich glaube, das könnte man einen empirischen Ansatz nennen. Das Problem kann sein, dass „Empirismus“ oft als auf die Beweise unserer physischen Sinne beschränkt definiert wird, und in diesem Fall ist es kein empirischer Beweis für das Denken oder für die Verwendung von Schlussfolgerungslogik.

Zumindest gibt es keinen Beweis dafür, dass der Empirismus der Logik davonläuft. Putnam mag sich über die Quantenmechanik wundern, aber wenn wir die Gesetze richtig anwenden, gibt uns die Physik keinen Grund anzunehmen, dass sie nicht immer gelten. Heisenberg stimmte Putnam zu, aber beide scheinen die Anweisungen des Aristoteles für die dialektische Logik zu ignorieren.

Sie sagen dies: "Abgesehen von grandiosen Vorstellungen von menschlichen Fähigkeiten scheint es keinen Grund zu geben, anzunehmen, dass Menschen jemals eine perfekte Theorie des physikalischen Universums entwickeln können; diese Idee, theoretische Perfektion zu erreichen, scheint eine empirisch unbestätigbare Idee zu sein."

Das ist falsch. Es gibt solide empirische Beweise dafür, dass wir theoretische Perfektion erreichen können. Es würde davon abhängen, was wir unter „Perfektion“ verstehen, aber ich würde die neutrale metaphysische Theorie, auf der die Perennial-Philosophie beruht, als so perfekt bezeichnen, wie wir es von einer Theorie erwarten können, und dass diese Theorie vielen Menschen bekannt ist empirisch überprüfbar. Der Pessimismus der akademischen Philosophie ist selbstverschuldet und unnötig und sollte nicht auf alle Philosophen verallgemeinert werden.

Ihre Frage wird viel interessanter, wenn wir die Welt als ein Produkt des Geistes sehen, denn dann müssen wir es unglaubwürdig finden, dass sie jemals die Regeln der gewöhnlichen Logik missachtet, und alle Beispiele wären Gegenbeweise.

Zitat: "Aber wenn wir die Gesetze richtig anwenden, gibt uns die Physik keinen Grund anzunehmen, dass sie nicht immer gelten." Ich bin aus drei Gründen anderer Meinung. Zunächst einmal, selbst wenn das Zitat wahr wäre, heißt das nicht, dass sich die Gesetze niemals als ungenau und daher nicht „perfekt“ in dem Sinne herausstellen würden, wie ich den Begriff meine. Zum Beispiel deuten Beweise stark darauf hin, dass die Einsteinsche Relativitätstheorie wesentlich genauer ist als die Newtonsche Mechanik und die Newtonsche Gravitation und die Koordinatensysteme, die in der klassischen Mechanik verwendet werden.
Aber zweitens verstehe ich, dass die allgemeine Relativitätstheorie und die Quantenmechanik nicht beide vollständig korrekt sein können. Sie sollen zumindest unter bestimmten Umständen logisch inkonsistent sein. Und drittens werden physikalische Gesetze nur in einem ziemlich begrenzten Bereich von Umständen verifiziert. Es gibt keinen Grund zu der Annahme, dass die Gesetze der Physik in einigen noch unerforschten Regionen des Universums notwendigerweise dieselben sein müssen. Wir können vermuten, dass sie es sind, aber das ist kein Beweis.
Die beharrliche Beharrlichkeit des Nobelpreisträgers/Physikers Richard Feynman, dass „die Natur regiert“ (dh empirische Beweise regieren), unabhängig davon, was Menschen darüber zu sagen haben, scheint hier angebracht. (Ich habe ihn zweifellos paraphrasiert) Mein Fokus liegt auf der Frage der wissenschaftlich empirischen Evidenz. Es scheint in den Naturwissenschaften praktisch selbstverständlich zu sein, dass wir niemals absolut sagen können, dass wir über perfektes, universell anwendbares Wissen verfügen. Und beachten Sie auch, dass ich meiner ursprünglichen Frage mehr hinzugefügt habe, indem ich die Kommentare hinzugefügt habe, die mit „Vielleicht sollte ich expliziter sein“ beginnen.
@RichardHaney - Das ist nicht schwierig, aber ich kann keine Verbindung zwischen Ihren Kommentaren und meiner Antwort herstellen. Wollen Sie damit sagen, dass es empirische Fakten gibt, die die Regeln von Aristoteles brechen? Meine Ansicht wäre, dass alle Beispiele, die normalerweise zitiert werden, nur falsche Anwendungen sind. Ich habe noch nie ein überzeugendes Beispiel gesehen.
Es ist schon eine ganze Weile her, seit ich mir (eine Übersetzung/Paraphrase von) Aristoteles' Schriften angesehen habe. Es schien mir, dass er sich hauptsächlich mit einfachen Teilmengentypen beschäftigte, wenn es um Beziehungen zwischen Mengen ging. (zB Gruppe von Menschen, Gruppen von Sterblichen usw.) Und das schien damals nur eine Frage der Semantik zu sein, zumindest in den einfachen Syllogismen, die ich zur Kenntnis nahm. Und die Schlussfolgerungen der Syllogismen schienen keine neuen Erkenntnisse über die natürliche Welt auszudrücken. Es schien alles um Semantik zu gehen. Ich war damals nicht beeindruckt. Ich denke ich schaue noch mal nach.
@RichardHaney - Ich denke, es sind seine Regeln für die Dialektik, die hier relevant sind. Diese sind eine Formalisierung dessen, was er (empirisch?) als die Art und Weise beobachtet hat, wie Menschen denken. Ich habe darauf hingewiesen, dass es keine bekannten Beispiele für ein Phänomen gibt, das gegen diese Regeln verstößt, und dass Beispiele, die häufig aus dem QM zitiert werden, Missverständnisse der Regeln sind. Etwas Off-Topic, nehme ich an. . .

Logik ist meistens nicht nützlich, um neues Wissen zu generieren, sie ist nützlich, um zwischen alternativen Positionen zu entscheiden. Wie Wittgenstein bemerkt hat, sind alle Ergebnisse der Logik per Definition Tautologien. Es kann keine neuen Ideen produzieren, nur immer komplexere Kombinationen bestehender Ideen, die keine neuen Informationen im engeren Sinne sind, sondern nur eine stärker anwendbare Hebelwirkung auf vorhandenes Wissen. Wir entdecken oder entscheiden nichts, sondern ordnen die Dinge nur, damit wir klarer sehen können, was bereits entschieden wurde. Das ist das Gefühl, das Platon dazu bringt, die Theorie der Anamnese vorzuschlagen.

Das bedeutet, dass Sie nur dann einen Abzug benötigen, wenn Sie bereits zu viele Informationen haben, und es schwierig ist, es zu verwenden, weil es bereinigt werden muss. Daher ist es unwahrscheinlich, dass die Deduktion als Möglichkeit entstanden ist, neues Wissen zu gewinnen oder auch nur einen Vorrat an vorhandenem Wissen zu erhalten. Es ist wahrscheinlicher, dass es für einen anderen Zweck entsteht und später zu diesen Zwecken kommt. Ich würde vorschlagen, dass, wie Dennett und andere für den Bewusstseinsstrom, die Bezeichnung von Qualia und andere Aspekte unseres Denkprozesses angedeutet haben, die Schlussfolgerung daraus entsteht, dass wir uns selbst so behandeln, wie wir ursprünglich andere behandelt haben.

Wie haben wir entschieden, dass Logik wichtig ist? Höchstwahrscheinlich beginnend mit dem Begriff des Widerspruchs. Dieses Haus kann nicht sowohl ganz mir als auch ganz dir gehören. Muss es jemandem gehören? Nun, entweder es tut es oder es tut es nicht ... Lasst uns entweder zustimmen oder kämpfen. Wenn wir uns einigen können, ist die Wahrscheinlichkeit geringer, dass der eine oder andere tot endet. Es gibt also einen Überlebensvorteil, wenn das Gefühl der Zustimmung angenehm ist, aber nur in einem Maße, dass die Zustimmung nicht zu sehr gegen mich gerichtet ist und alle anderen nicht aus der Fassung bringt und sie dazu bringt, sich gegen uns zu verbünden und uns dazu zu bringen, sie zu ändern. Logik ist eingebettet in unseren prosozialen Sinn für Fairness und soziale Stabilität.

Das Problem, empirische Belege für die Gesetze der Vernunft zu finden, besteht darin, dass sie empirisch immer bis zu einem gewissen Grad falsch sind. Wie Quine bei der Erörterung der Naturarten bemerkt hat, sind alle nützlichen Definitionen notwendigerweise vage, und wenn Sie sie weit genug nutzen, führt diese Vagheit zu Widersprüchen, wenn Sie die Logik streng anwenden. Aber wir nicht. Je weiter Sie in der Geschichte zurückgehen, desto schneller stoßen Ihre Konzepte an die Grenze der Unschärfe. Daher ist es höchst unwahrscheinlich, dass die Logik aus irgendeiner Erfahrung mit der korrekten Verwendung strikter Definitionen entstanden ist. Und ohne genügend strenge Definitionen bringt es nichts.

Mit dem Aufkommen der Wissenschaft haben wir einige Ergebnisse geschaffen, die in hohem Maße mit strenger Logik kombiniert werden können, aber selbst diese können dies letztendlich nicht unbegrenzt tun. Wir erhalten Ergebnisse, die wir bis zu einem gewissen Grad verwerfen müssen. Unsere Logik gilt nur für die Physik, die nur bis zu einem bestimmten Maßstab funktioniert, die Taxonomie muss immer Zwischenformen zulassen, chemische Reaktionen beinhalten ein gewisses Maß an Zufälligkeit, wie die Moleküle zusammenkommen, und erlauben keine strengen Vorhersagen. Logik hört irgendwo auf zu helfen.

Daher ist es vernünftiger, dies aus einer intuitionistischen Perspektive zu betrachten und anzunehmen, dass Logik eine eingebaute emotionale Reaktion wie Angst oder Leidenschaft ist, die sich vielleicht entwickelt hat, um uns zu helfen, Gemeinsamkeiten zu finden und eine friedliche Lösung von Streitigkeiten zu fördern. Es ist auf einer Ebene in unsere Grammatik eingebaut, die bedeutet, dass wir ihm nicht entkommen können. Aber es ist nicht wahr – es wird der Welt durch unseren Gebrauch trotz seines Versagens auferlegt.

Nach dieser Theorie sind diese Konventionen so genau, wie sie nur sein können, denn je besser sie funktionierten, desto größer war der Vorteil, den sie boten. Wenn wir uns darüber einig sind, was andere Menschen tun werden oder wie sich Steine ​​verhalten, können wir uns mit größerer Wahrscheinlichkeit gegenseitig beim Überleben helfen. Einige Aspekte von Vereinbarungen zwischen Menschen sind so allgemein, dass wir sie alle bis zu einem gewissen Grad auf einer fast unausweichlichen Ebene teilen. Zu sehen, wie sie entwertet werden, macht uns kurios amüsiert, zutiefst gefesselt, verunsichert oder sogar wütend, je nachdem, wie wichtig das Thema ist.

„Alles, was wir ableiten, wussten wir bereits, aber wir waren uns nicht bewusst, dass wir es wussten.“ Dies bedarf der Klärung. Ich schließe mich der Idee des unbewussten Wissens an. Tatsächlich denke ich, dass „das meiste“ von dem, was wir wissen, unbewusst ist, sehr sogar. Aber das Zitat scheint mit der Idee, den Satz des Pythagoras zu beweisen, nicht vereinbar. Es scheint eine sehr seltsame Verwendung des Verbs „wissen“, zu behaupten, dass wir den Inhalt des Theorems bereits kannten, als wir nur die Axiome und Postulate betrachteten.
Der Satz zielt darauf ab, die Sätze davor zusammenzufassen. Da es eine Ablenkung ist, habe ich es einfach gelöscht. Aber ich habe etwas Kontext und eine Referenz hinzugefügt, um die Motivation klarer zu machen.

Ich bin verwirrt von der Frage.

Die Lösung des Turm-von-Hanoi-Rätsels kann durch mathematische Induktion bewiesen werden, die selbst ein Beispiel für deduktive Logik ist . Ist es nicht hilfreich, Dinge beweisen zu können, zu wissen, dass wir die richtige Antwort haben? Der Turm von Hanoi ist ein sehr abstraktes Beispiel, aber die Lösung (wie man ihn mit möglichst wenig Zügen löst) ist nicht trivial, ebenso wenig wie der Beweis, dass wir die richtige Lösung haben.

Die Wissenschaft scheint auch deduktives Denken zu verwenden, viel mehr als Induktion, sowohl im Klassenzimmer als auch außerhalb :

Die wirklich großen Fortschritte in unserem Verständnis der Natur entstanden in einer Weise, die der Induktion fast diametral entgegengesetzt ist. Die intuitive Erfassung des Wesentlichen oder eines großen Sachverhalts führt den Wissenschaftler zur Aufstellung eines hypothetischen Grundgesetzes oder mehrerer solcher Grundgesetze. Aus dem Grundgesetz (Axiomensystem) leitet er seine Schlussfolgerung möglichst vollständig rein logisch deduktiv ab . Diese aus dem Grundgesetz (und oft erst nach zeitraubenden Entwicklungen und Berechnungen) abgeleiteten Schlussfolgerungen können dann mit Erfahrungen verglichen werden und liefern auf diese Weise Kriterien für die Begründung des angenommenen Grundgesetzes.

Ich war nicht mit allem vertraut, was in der Frage gesagt wurde, insbesondere nicht mit Mathematik. also vielleicht verstehe ich das falsch.

Gibt es veröffentlichte, umfassende Studien, die die empirischen Grundlagen für die Idee gründlich untersuchen, dass die deduktive Logik ein zuverlässiges Werkzeug ist, um neues Wissen über die „natürliche“ Welt außerhalb des formalistischen Rahmens der Logik zu erlangen?

Aus meiner Sicht ist die deduktive Logik im Grunde nichts anderes als eine Fähigkeit des Gehirns. Daher gibt es keinen Grund, warum die Logik nicht wissenschaftlich untersucht werden könnte, wie es zumindest im Prinzip jedes natürliche Phänomen oder jede natürliche Eigenschaft sein könnte.

Es versuchte zu sehen, wo die aktuelle Forschung war. Soweit ich weiß, hat sie immer noch einen sehr begrenzten Umfang und ist immer noch in dem Vorurteil verstrickt, das die Leute heute haben, dass Logik im Wesentlichen mathematische Logik ist.

Als natürliche Fähigkeit liefert die deduktive Logik kein neues Wissen in dem Sinne, dass Wahrnehmung möglicherweise neues Wissen liefert. Vielmehr ist es der grundlegende Mechanismus, der es unserem Gehirn ermöglicht, die bereits vorhandenen Daten zu verwenden, und dies im Wesentlichen zum Zwecke der Interpretation aller neu eingehenden Daten.

Als solches ist Logik eine der wenigen grundlegenden Fähigkeiten unseres Gehirns als kognitives System, die uns helfen zu überleben und unser Leben so zu leben, wie wir es tun. Es gibt nicht viel, was wir tun können, was nicht irgendwie Logik beinhaltet. So ist insbesondere jede Aneignung neuer Erkenntnisse mit deduktiver Logik verbunden.

Es scheint jedoch, dass die so verstandene Logik von niemandem studiert wird.

Ein Grund dafür, dass dies nicht der Fall ist, mag sein, dass es bereits viel zu tun gibt, was die wissenschaftliche Erforschung des menschlichen Gehirns betrifft. Ein weiterer Grund scheint zu sein, dass fast jeder mit einem gewissen professionellen Interesse an Logik auf die mathematische Logik zurückgreift, um zu spezifizieren, was Logik ist, was bedeutet, den Karren vor das Pferd zu spannen.

Zum Beispiel scheinen Kognitionswissenschaftler nach empirischen Beweisen dafür zu suchen, dass Menschen eher eine angeborene Fähigkeit zur formalen Logik als zur Vereinfachung der Logik haben oder nicht . Das werden sie bestimmt nicht finden.

Wie um alles in der Welt ist die Menschheit bei der Genese jemals auf die Idee gekommen, dass deduktive Logik nützlich ist, um neues Wissen zu erlangen?

Logik, wie ich sie oben definiert habe, ist etwas, was unser Gehirn tut. Als solches hilft es uns, unsere Umgebung zu verstehen und unseren Weg durch das Leben und im Universum zu finden.

Ohne Logik würden wir uns nicht in dem Maße verstehen, wie wir es tun. Wir hätten nicht die artikulierte Sprache, die wir haben. Es gäbe keine Kunst, keine Technologie, keine Wissenschaft und keine Demokratie. Unsere technologische Zivilisation würde nicht existieren. Somit ist fast das gesamte Wissen, das wir heute haben, tatsächlich neues Wissen, das wir bekommen haben, weil Logik eine Fähigkeit unseres Gehirns ist.

Daher wird die wissenschaftliche Erforschung der Logik, wie ich sie definiert habe, entscheidend für die Zukunft der Menschheit sein. Es scheint jedoch, dass wir noch nicht so weit sind.