Wenn wir davon ausgehen, dass es eine nicht-materielle Ideenwelt gibt, die die Mathematik beschreibt, gibt es einige Fragen, die sich ein Platoniker stellen muss.
1) Wie hängt die ideale Welt mit der realen zusammen, in der auch die Mathematik eine Rolle spielt?
2) Wie erhalten wir Zugang zur idealen Welt und stellen Wahrheiten darüber mit "absoluter Sicherheit" in der Mathematik fest?
Platons Antwort auf die erste Frage war, dass die realen Dinge ideale Originale unvollkommen „imitieren“, wie Schatten an einer Wand. Seine Antwort auf die zweite war sogar noch kreativer. Vor der Geburt betrachtet unsere Seele direkt die ideale Welt, vergisst aber die Erfahrung bei der Geburt. Die Interaktion mit Nachahmungen von Ideen stärkt unsere Erinnerung an sie und führt zu den idealen Wahrheiten, den Prozess, den er Anamnese (Unvergessen) nannte. Während moderne PlatonikerDie Nachahmungstheorie mag ich bezweifeln, dass viele von ihnen eine Anamnese abonnieren würden. Von fantastischen Elementen befreit, stattet es uns im Wesentlichen mit einer Version von „Mindsight“ aus, einem sechsten Sinn, der die ideale Welt im Gegensatz zu den anderen fünf direkt offenbart. Es gibt keinen Beweis in der Arbeit von Mathematikern, dass wir so etwas besitzen, was wahrscheinlich der Grund dafür ist, dass Plato seine Denkweise auf vorgeburtlich verlagerte. Und wenn diese Denkweise Intuition ist, dann ist sie eine ziemlich unzuverlässige Quelle.
Wenn wir andererseits keinen direkten Zugang zum Ideal haben und es nur aus der unvollkommenen Realität rekonstruieren, dann gibt es ein Problem. Wir können uns nicht nur nicht absolut sicher sein, dass unsere Rekonstruktionen die Wahrheit darüber feststellen, wir können nicht einmal sicher sein, dass sie es überhaupt widerspiegeln. Leibniz erweiterte die Nachahmungstheorie zu einer „prästabilierten Harmonie“ zwischen dem Ideal, dem Material und unserem Geist, die existiert, weil „Gott die beste und harmonischste Welt erschafft“. Aber das ist nicht besser als Verstand. Und es wird noch schlimmer. Alles, was wir dann tatsächlich tun müssen, sind unsere Interaktionen mit der Realität und der Prozess der Rekonstruktion. Wenn wir daraus auf Ideen kommen können, sind die platonische Welt und die prästabilierte Harmonie nicht nur Spekulationen, sie sind unnötige Komplikationen, überflüssig wie der Äther in der Relativitätstheorie.
Ich bin mit dem neueren mathematischen Platonismus nicht sehr vertraut, insbesondere im 20. Jahrhundert, der Stanford-Artikel handelt mehr von Einwänden gegen den Platonismus als von Argumenten zu seinen Gunsten. Aber es scheint bei Mathematikern beliebt zu bleiben, vielleicht auch bei einigen Philosophen, also bin ich neugierig.
Wie erklärt der moderne Platonismus unsere Fähigkeit, Wissen über die ideale Welt zu erwerben? Was ist das Argument dafür, die platonische Welt nicht mit Occams Rasiermesser zu schneiden?
EDIT: Vow, das ist nicht das, was ich erwartet hatte. Ich hatte ursprünglich gehofft, dass ein Platoniker oder jemand, der mit dem modernen Platonismus vertraut ist, die beste Argumentation für die ideale Welt vorbringen und gleichzeitig neuere Erkenntnisse wie die Fehlbarkeit der Intuition und Kants Kritik an der Metaphysik berücksichtigen würde. Aber es scheint, dass alle Antworten im Wesentlichen die Nichtexistenz der idealen Welt einräumen und entweder "nur in der Praxis" auf Emotionen / Motivation basierende Argumente für den Platonismus vorbringen oder Ideen konzeptionell neu interpretieren. Ich habe alle Antworten positiv bewertet, da sie zum Verständnis moderner Perspektiven auf den Platonismus beitragen, und diejenige akzeptiert, die der Reproduktion von so etwas wie dem idealen Reich am nächsten kommt, wenn auch radikal neu gemacht.
Das platonische Reich existiert im platonischen Sinne, weil es selbst klar als platonisches Objekt konzipiert wurde. „Das Reich der Ideen“ ist eben die Idee der Sammlung aller Ideen, die man automatisch hat, wenn man Ideen hat und dann Vorstellungen über das Wesen der Ideen äußert. Die Frage ist, ob die Art und Weise, wie diese Idee existiert, als Existenz qualifiziert wird.
Die Frage ähnelt der Frage, ob das Wort „Definition“ eine Definition hat. Natürlich tut es das. Aber wenn Sie noch nicht wussten, was eine Definition ist, wie könnte diese etwas definieren?
In ähnlicher Weise „existiert“ alles, wenn unsere Definition des Existierens so naiv ist, wie der Begriff des Definierens für jemanden sein muss, der eine Definition von „Definition“ als ersten Eintrag in ein Lexikon schreiben würde. Aber Kritik auf dieser Ebene der Naivität ist nur Mobbing, kein Denken.
Wir müssen uns von außen in diese Definition hineinarbeiten, und wir haben keine andere Wahl, als von einer naiven Vorstellung von Definition oder Idee auszugehen. Spätere problematische Ergebnisse auf die ursprüngliche Überlegung zurückzudrängen, ist nur ein Zirkelschluss. Wir haben Ideen, ob wir wollen oder nicht. „Wie bekommen wir Zugang zu Ideen?“ ist also keine wirkliche Frage, es sei denn, es geht um den Prozess der Verwirklichung und nicht um den Zugang.
Für mich ist das Argument dafür, dieses Konzept nicht aus unserem Denken zu entfernen, dass diese Denkweise unausweichlich ist. Es ist diejenige, in die wir mit den Gewohnheiten der Kindheit geraten, und so gehen die meisten von uns die meisten Probleme an, denen wir frisch begegnen. Wir brauchen ausgefeiltere Methoden, um kindliche Impulse zu beherrschen, aber wir sollten sie nicht verlieren, da sie die Grundlage unseres Denkens sind und immer sein werden.
Ich kann nicht für andere moderne Platoniker sprechen, aber ich kann Ihnen meine Perspektive geben:
Wenn ich Platon interpretiere, finde ich es falsch, ihn zu wörtlich zu nehmen. Seiner Weltanschauung nach war das große T Wahrheit nicht etwas, das sich jemals vollständig in die Umgangssprache fassen ließe. Sein gesamtes Schreiben sollte als primär metaphorisch angesehen werden, das darauf abzielt, Menschen dabei zu helfen, das Reale für sich selbst zu entdecken , und nicht als tatsächlicher Versuch, das Reale einzufangen oder zu definieren.
Ich könnte mir vorstellen, dass Philosophen und Mathematiker, die den Platonismus weiterhin überzeugend finden, dies aus dem gleichen Grund tun, den sie immer hatten. Einige Aspekte ihrer Arbeit beginnen sie davon zu überzeugen, dass es eine tiefere Ebene der Realität geben muss als die, die unseren gewöhnlichen Sinnen zur Verfügung steht, und es scheint sich in einem tiefen Sinn mit der von Platon beschriebenen tieferen Ebene der Realität zu decken, auch wenn dies nicht der Fall ist 't eine perfekte Übereinstimmung in den Details.
Daher würde ich mich zumindest mit dem Platonismus sympathisieren, obwohl ich nicht an ein ideales Reich der Formen glaube, wie es in Platons Dialogen beschrieben wird.
Wie erklärt der moderne Platonismus unsere Fähigkeit, Wissen über die ideale Welt zu erwerben? Was ist das Argument dafür, die platonische Welt nicht mit Occams Rasiermesser zu schneiden?
Schauen wir uns zuerst den zweiten Teil Ihrer Frage an.
Occams Rasiermesser ist ein Leitprinzip, das wir in der Überzeugung formuliert haben, dass es ein notwendiges Merkmal der Landschaft von Platons idealer Welt genau widerspiegelt. Wir erwarten nicht, dass diese Welt überflüssige oder unnötige Formen enthält, genauso wie wir nicht erwarten würden, dass diese Welt schlecht geformte Ideale enthält. Wir erwarten, dass diese Welt genau das ist, was für ihre ideale Formulierung notwendig ist, und nichts anderes.
Wichtig ist hier, dass wir erwarten, dass die ideale Formulierung von Occams Rasiermesser in Platons idealer Welt zu finden ist. Es scheint daher in gewisser Weise ironisch (um nicht zu sagen unaufrichtig) zu sein, mit einer seiner eigenen Formen auf Plato einzuhacken.
Platons ideale Welt muss mit sich selbst stehen oder fallen. Insofern muss man sagen, dass es zu fallen scheint. Ich bin sicher, dass die Stanford-Argumente, auf die in Ihren Kommentaren Bezug genommen wird, eine perfekte Arbeit leisten, um Platons ideale Welt abzulehnen.
Die Mathematik enthält jedoch viele Beispiele dafür, wie einfache Ideen und elementare Argumente zu tiefgreifenden, schönen und sogar schockierenden Ergebnissen führen können. Hier glauben Mathematiker oft, eine Idealform erblickt zu haben. Es fühlt sich sehr echt an. Obwohl Platons Vision einer einzigartigen, wohldefinierten Welt von Idealen widersprüchlich zu sein scheint, scheint die Vorstellung einer idealen Form in einem bestimmten Kontext nicht problematisch zu sein.
Diese selektivere Annahme von Platons Vision steht im Einklang mit den in Ihrer Frage zum Ausdruck gebrachten Ansichten und unterstreicht, wie tief Platons Ideen in unserer eigenen modernen Sicht der Mathematik verankert sind. Man akzeptiert gerne das Ideal, das zum Beispiel von Occams Rasiermesser ausgedrückt wird, während man sich vielleicht unwohl fühlt angesichts der ganzen Implikationen einer idealisierten mathematischen Welt.
In Bezug auf den ersten Teil Ihrer Frage bezüglich unserer Fähigkeit, Kenntnisse über die ideale Welt zu erwerben, können wir, wie wir in meiner Antwort auf Ihre vorherige Frage vereinbart haben, nie wirklich sicher sein, ob unsere Formalisierung einer bestimmten Theorie oder einem (nicht trivialen) Ideal entspricht entweder richtig oder grundlegend . Wir können uns von Prinzipien wie Occams Rasiermesser leiten lassen oder wir können uns auf Ästhetik und Erfahrung berufen, aber keine dieser Techniken kann Gewissheit geben. Letztlich können wir das nie wissen. Auf der positiven Seite sagt uns die bemerkenswerte Nützlichkeit unserer mathematischen Theorien, dass selbst wenn wir emergent erschaffenTheorien statt grundlegender Idealwelttheorien, was wir tun, hat echten Wert, einschließlich intellektuellen und künstlerischen Werts (wenn das nicht zu oberflächlich ist), und wir lassen uns in dieser Hinsicht von Platons Vision leiten.
Vielleicht ist das Beste, worauf wir hoffen können, dass unser mathematisches Universum in irgendeiner Art und Weise mit einer eingeschränkten Form von Platons Vision verstrickt ist.
EDIT 23.09
Ich war versucht, dies zu fragen, aber mein Mangel an Reife hat mich zurückhaltend gemacht, da es sich um einen eher zweitrangigen Punkt handeln könnte.
Unsere Formalisierung der (klassischen) Logik mag nicht ideal sein, aber unsere Theoreme sind sicherlich gültig.
Man könnte argumentieren, dass wir große Probleme mit Plato haben, da die Arithmetik nicht vollständig und konsistent sein kann. Selbst mit einer vollständigen und konsistenten Form wie der Euklidischen Geometrie haben wir Probleme. Ich erspare Ihnen die Einzelheiten und wähle eine sparsamer ausgedrückte Frage.
Platons Welt muss selbst eine ideale Form sein. Das heißt, es muss konzeptionell ein Mitglied von sich selbst sein. (Junge, ich werde jetzt wirklich sophomorisch.) Dies führt zu all den offensichtlichen Paradoxien, die mit der Selbstreferenz verbunden sind, wodurch Platons Welt entweder inkonsistent oder unvollständig wird.
2) Wie erhalten wir Zugang zur idealen Welt und stellen Wahrheiten darüber mit "absoluter Sicherheit" in der Mathematik fest?
Da die Worte „absolute Gewissheit“ im vorherigen Satz in Anführungszeichen stehen, werde ich diesen Aspekt in meiner Antwort nicht ansprechen. Der Zugang zur idealen Welt basiert auf den neuronalen Netzen in unserem Gehirn, die bereits automatisch mit einem guten (aber nicht perfekten) Verständnis der Logik funktionieren - Boolesche Algebra - 1., 2. und höhere Prädikatenlogik - Intuition, die von der Argumentation durch Analogien abhängig ist , Fuzzy Logic usw. Während das Gehirn eine ihm bisher unbekannte platonische Wahrheit verarbeitet, verwendet es auch die Rudimente dessen, was wir heute die grundlegenden Kontrollstrukturen in Computersprachen nennen: if-else-Anweisungen, nicht deterministische Schleifenstruktur, as es (das Gehirn) sequenziert ihre Anwendung im Laufe der Zeit. (Das muss nicht alles zerebral sein, kann aber
Kurz gesagt, der Zugang zum platonischen mathematischen Bereich ist gemäß der Church/Turing-These deterministisch. Wo Nichtdeterminismus im platonischen Bereich residiert, betrachten wir sie als Paradoxien, Hypothesen usw. - einschließlich dieser Aussage hier auch.
Nr
Konifold
Nr
Chris Sunami unterstützt Monica
Konifold
Konifold
Nr
Chris Sunami unterstützt Monica