Ich habe hier 2 Sorgen:
Die Schwierigkeit bei der Analyse dieses Arguments liegt in der Verwendung des Wortes „weil“. Dies ist keine standardmäßige logische Verknüpfung. Es gibt Möglichkeiten, es zu definieren, aber es ist nicht klar, wie es hier definiert wird.
Schritt 4 scheint die Regel „Wenn (X iff Y) und (Y weil Z), dann (X weil Z)“ aufzurufen. Ist das gültig? Wer kann das sagen, ohne Axiome für die „weil“-Verknüpfung anzugeben?
Schritt 5 (und dann 6, der nur einen Teil von 5 wiederholt) scheint die Regel „Wenn (Z iff W) und (Y weil Z), dann (Y weil W)“ anzuwenden. Ist das gültig? Wer kann das schon sagen?
Wenn ich "weil" definieren würde, würde ich sagen, dass es sich um einen gerichteten azyklischen Graphen in der Menge aller Formeln handelt, wo wir in der Lage sind, einen Knoten aufgrund seiner Eltern abzuleiten, und wo die Wurzelknoten im Graphen die Axiome sind. Aber nur weil ein Knoten aus einer Menge anderer Knoten abgeleitet werden kann, ist dies nicht der Fallbedeuten, dass diese anderen Knoten seine Eltern sind; die Eltern des Knotens sind ein "kanonischer Weg", um diesen Knoten abzuleiten. Wir könnten sagen, dass ein Knoten B "wegen" einer Menge von Knoten S ist, wenn jeder Knoten in S ein Vorfahre von B ist und wenn das Löschen der Knoten in S den Graphen in zwei Teile mit allen Axiomknoten auf einer Seite partitioniert und B auf der anderen Seite. Bei dieser Definition sind die Abzüge in Schritt 4 und 5 nicht gültig; logisch äquivalente Formeln müssen keine ähnlichen Positionen im Diagramm einnehmen. Wenn eine Formel B viel komplizierter und schwerer abzuleiten ist als eine Formel A, aber A und B äquivalent sind und der Beweis von B auf A zurückgreift, dann können wir sagen, dass B wegen A ist. Aber es ist nicht so natürlich sagen, dass A wegen B ist, und wenn wir wollen, dass der Graph azyklisch ist, können wir nicht beides sagen.
Armand
Armand
Zweiter Teil
Armand
Zweiter Teil