Lexikon der Argumente

 

I (c) 87
Reinterpretation/Putnam: Reinterpretation ((s) von logischen Verknüpfungen) ist keine Darstellung, sondern Erzeugung.
>Logische Verknüpfungen.
Bsp Klassische Junktoren werden mit Hilfe der intuitionistischen Junktoren nicht dargestellt, sondern die klassischen Theoreme werden erzeugt.
>Intuitionismus.
Putnam: Die Bedeutung der Junktoren ist nach wie vor nicht-klassisch, weil diese Bedeutungen mit Hilfe von Beweisbarkeit und nicht von Wahrheit erklärt werden.
Bedeutungsänderung: Bsp Angenommen, wir wollten Newtons Gesetze in intuitionistischer Mathematik formulieren, dann müssten wir die reellen Zahlen begrenzen (z.B. auf die 30. Stelle).
I (c) 88
Dann würden die Junktoren in der klassischen Theorie auf "Beweisbarkeit in B1" und in der anderen auf "Beweisbarkeit in B2" referieren. Dann würden die Junktoren ihre Bedeutung ändern, wenn sich das Wissen ändert.
I (c) 95
Realismus/Putnam: Die realistische Auffassung von Junktoren sichert, dass eine Aussage nicht allein deshalb wahr ist, weil sie aus (irgend) einer Theorie folgt.
I (c) 96
Ideale Behauptbarkeit/PutnamVsPeirce: Es kann kein "ideales Limit" sinnvoll angegeben werden und damit keine Bedingungen für die Wissenschaft spezifiziert werden.
>Peirce.
PutnamVsKuhn: Wenn man nicht an Konvergenz sondern an Revolutionen glaubt, sollte man die Junktoren intuitionistisch interpretieren und Wahrheit intratheoretisch auffassen.
>Kuhn.
I (c) 97
Wahrheit/Logik/Putnam: Die Bedeutung von "wahr" und der Junktoren ist nicht durch deren formale Logik festgelegt.
>Holismus/Quine: Die Unterscheidung zwischen der ganzen Theorie und einzelnen Aussagenbedeutungen ist nutzlos.