Ich bin sicher, dass diese Frage eine einfache Klärung haben muss, aber ich bin mit den Zweigen der formalen Logik weitgehend nicht vertraut und nicht sicher, wo ich danach suchen soll.
Wir wissen, dass „Alle Junggesellen sind unverheiratete Männer“ zu den klassischen Beispielen einer analytischen Wahrheit gehört. Ich stelle fest, dass es in einer Frage auf dieser Seite sogar als "tempuslose" Aussage gegeben wird, im Gegensatz zu denen, die zeitliche Operatoren erfordern.
Gleichzeitig ist genau dieses Beispiel historisch nicht der Fall. Da „Ehe“ früher ganz streng als Sakrament zwischen Mann und Frau definiert wurde, gibt es heute jede Menge „verheirateter Junggesellen“.
Soweit ich mich erinnere, war dies nicht die Art von Problem, das beispielsweise in Quines „Zwei Dogmen des Empirismus“ aufgeworfen wurde, noch scheint es mir so, als wäre es leicht zu lösen, indem man einer ganzen Aussage zeitliche Bedingungen hinzufügt.
Das Problem in diesem Fall ist, dass „Junggeselle“ fest bleibt, während sich „Ehe“ ändert. Das Subjekt und das Prädikat können in gewissem Sinne die "Zeitformen" nicht mit der gleichen Geschwindigkeit ändern. Auch kein Subjekt und kein Prädikat. Sie auseinander zu brechen und verschiedene zeitliche Operatoren hinzuzufügen, um verschiedene Begriffe zu erhalten, würde nur scheinbar zu einem unendlichen Regress führen.
Dies scheint Hegels „historischem“ Ansatz vielleicht näher zu kommen, in dem das Gesetz des Widerspruchs über Bord geworfen werden muss, wenn wir die Realität der Bewegung akzeptieren. Oder einfach eine endgültige Kapitulation vor Induktion und Wahrscheinlichkeit. Es klingt auch so, als würde der späte Wittgenstein etwas behaupten, obwohl ich mit seiner Arbeit nur oberflächlich vertraut bin.
Ich denke, meine Frage ist: Hat die formale Logik eine einfache Lösung dafür? Gibt es etwas offensichtliches, das ich vermisse? Oder behauptet diese historische Haltung einfach eine „materielle“ (in Ermangelung eines besseren Wortes) Grenze zur „Logik“, egal wie sie ausgedrückt wird? Nochmals, tut mir leid, aber formelle Demonstrationen werden wahrscheinlich mein derzeitiges Fassungsvermögen übersteigen.
"Junggeselle sind unverheiratete Männer" ist eine analytische Aussage angesichts der zeitgenössischen Bedeutung von "Junggeselle" und "verheiratet". Wörter hatten zu verschiedenen Zeiten unterschiedliche Bedeutungen, aber daraus folgt nur, dass derselbe Satz einen anderen Satz ausdrückte, nicht, dass der Satz, den er heute ausdrückt, nicht analytisch ist. Da sich die formale Logik mit Aussagen und nicht mit Sätzen befasst, braucht sie sich mit diesem Problem nicht zu beschäftigen.
Benutzer9166
Nelson Alexander
Benutzer9166
Nelson Alexander
Benutzer9166
Benutzer9166
Alexander S. König
Cort Ammon
Nelson Alexander
Mosibur Ullah
Hugh Meyers
Nelson Alexander
Chris Sunami unterstützt Monica
Nelson Alexander