Gesamtübersicht

Die Anwendbarkeitsdiagnostik auf einen Blick

Diese Grafik ist die öffentliche Lesefassung: zuerst verständlich, darunter wissenschaftlich vertiefbar. S1–S7 sind ausdrücklich als separate Musterbibliothek gekennzeichnet und nicht Teil der P1–P3-Verdiktkette. Verlust der Anwendbarkeit (Loss of Applicability) hat zwei aktuelle Auslöser: LoA-T und LoA-K.

P9 · Functional Incompleteness Argument (FIA). Das FIA bestimmt drei Informationsarten, die für eine vollständige, nachprüfbare Anwendbarkeitsdiagnose rückgewinnbar und nicht durcheinander ersetzbar sein müssen: Anforderungen, Übergangsbegründungen und Token-Erfüllung. P1 → P2 → P3 ist eine konkrete Realisierung dieser Applicability-Diagnostic Function. P9 bleibt der separate Necessity- und Musteranker, keine vierte Verdiktstufe.