"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.
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.
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.
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.
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.
Konifold
virmaior
Mauro ALLEGRANZA
Mauro ALLEGRANZA
Mauro ALLEGRANZA
Jishin Noben
Richard Haney
Konifold
Richard Haney
Richard Haney
Richard Haney
Konifold
Richard Haney
Konifold
Richard Haney
Richard Haney
Richard Haney
Richard Haney
Richard Haney
Richard Haney
Konifold
Richard Haney
Konifold
Richard Haney
Richard Haney