Über die Theorie der Verträglichkeit von Aussagen. (Q1437020)

In der symbolischen Theorie der Verträglichkeit von Aussagen muß\ der Begriff des logischen Produktes im Sinne einer Hypothese über die Verträglichkeit von Aussagen gedeutet werden und nicht im Sinne des Eintreffens ihrer Bestätigung. ``Implikation'' muß\ im Sinne der inneren Verknüpfung von Aussagen gedeutet werden. Die Deutungen der anderen Begriffe ändern sich demgemäß. Das ``Prinzip der Vereinfachung'' und alle anderen ähnlichen Aussagen müssen als falsch betrachtet werden. Das führt zur Entdeckung der bemerkenswerten Tatsache, daß\ die fundamentalen Deduktionssätze, die man bisher mittels obigen Prinzips abgeleitet hat, davon keineswegs abhängen. Die Theorie von der Verträglichkeit von Aussagen läßt die Ableitung der intuitionistischen Prinzipien zu ohne Negation des Satzes vom ausgeschlossenen Dritten.