Ich habe eine Reihe wahrer Aussagen. Jede dieser Aussagen ist ein Fall, in dem ich Schwierigkeiten habe zu sehen, wie (unter der Annahme des Physikalismus) die Aussage einem Sachverhalt entsprechen könnte. Meine Frage ist: Wie erklären Korrespondenztheorien solche Aussagen?
Es gibt unendlich viele Primzahlen.
Ein Einheitskreis hat den Umfang 2π.
Es gibt keine Turing-Maschine, die das Halteproblem löst.
Wenn 2+2=3, dann gibt es eine Zahl, die größer ist als jede Primzahl.
Wenn in zehn Minuten ein lila Einhorn in meinem Zimmer erscheinen würde, wäre ich überrascht.
Im Allgemeinen hat die Korrespondenztheorie ein Problem im Umgang mit mathematischen und tautologischen Sätzen, und die Strategie, mit diesen umzugehen, war im Allgemeinen entweder: 1) sich darum zu bemühen, Ergänzungen zur Korrespondenztheorie zu finden, die die intuitiven Wahrheitseinschätzungen verschiedener mathematischer Behauptungen liefern – und Ich habe das Gefühl, dass die allgemeine Meinung unter analytischen Philosophen ist, dass dieses Projekt sein Ziel noch nicht erreicht hat – oder alternativ 2) zu behaupten, dass die Korrespondenztheorie nur auf Sätze angewendet werden soll, deren Wahrheitswerte vollständig durch die Existenz bestimmt werden und Eigenschaften physikalischer Objekte. Es ist nicht ganz ungewöhnlich, dass Korrespondenztheoretiker von Korrespondenzen mit abstrakten Objekten wie mathematischen Objekten sprechen, was einen Ausweg nahelegt,
Was den letzten Satz betrifft, den Sie verwendet haben, erfordert dies zunächst eine Analyse der Bedingungssätze, die ein eigener Sack voller Würmer ist. Ich verweise Sie hier auf Bennetts Philosophical Guide to Conditionals.
Mathematische Aussagen können als Vorhersagen über den Zustand der Welt verstanden werden. Sie erwarten nie, eine Zeit zu erleben, in der eine programmaufzählende Turing-Maschine ein Programm ausgibt, das das Halteproblem im Allgemeinen löst, Sie werden erwarten, dass kreisförmige Objekte Umfänge haben, die sich um einen Faktor von 2π auf ihre Radien beziehen und so weiter.
Denken Sie daran, dass die moderne Wissenschaft uns sagt, dass alle Mathematik Neuronen entspricht, die auf bestimmte Weise in bestimmten Teilen Ihres Gehirns feuern. Da ist auf jeden Fall Ihre Korrespondenz.
Anmerkungen
Niel de Beaudrap
Anmerkungen
Anmerkungen
Niel de Beaudrap
Anmerkungen
DBK
Niel de Beaudrap
Dennis
Nik Thomas