Nested Forcing Chain
Eine Nested Forcing Chain führt eine innere Deduktion auf dem Kandidatenzustand aus, der von einer äußeren Annahme erzeugt wurde. Das innere Ergebnis kann die äußere Kette verlängern, bleibt aber bedingt durch diese äußere Annahme, bis der äußere Beweis vollständig ist.
Was ist eine Nested Forcing Chain?
Verschachtelung ändert die Tiefe des Beweises, nicht seine Wahrheitsregeln. Eine innere AIC-, Fish-, Teilmengen- oder Forcing-Deduktion verwendet den temporären Zustand, der von der äußeren Verzweigung geerbt wurde. Ihre Schlussfolgerung ist daher nicht unabhängig von dieser Verzweigung.
So erkennen Sie sie
Eine Nested Forcing Chain fügt einem bereits angenommenen temporären Zustand eine innere Kettensuche hinzu. Sie kann von Hand schwer zu verfolgen sein, aber Schwierigkeit und Produktranking sind von ihrer Gültigkeit getrennt. Eine vollständige Erklärung muss die äußere Annahme, den von der inneren Kette geerbten Zustand, die innere Schlussfolgerung zeigen und wie der äußere Beweis schließlich entladen wird.
Die Logik
Ermöglicht die äußere Annahme A einen inneren Beweis von P, ist die gültige Aussage „A impliziert P“. P wird nur dann unbedingt, wenn A später als wahr bewiesen wird oder wenn jede erschöpfende äußere Alternative ebenfalls P beweist. Das innere Ergebnis als unabhängig zu bezeichnen würde eine notwendige Prämisse verwerfen.