The algebra of propositions. (Q2610736)

Es wird eine modale Aussagenlogik entwickelt, in der die Aussagen ``\(p\) ist wahr'', ``\(p\) ist falsch'' nicht mehr eine vollständige Disjunktion bilden, da auch der Fall, daß \(p\) nur möglich ist, in Betracht zu ziehen ist. Diese Möglichkeit wird folgendermaßen ausgedrückt: Es ist nicht wahr, daß \(p\) eine falsche Aussage impliziert. Im übrigen sind die Aussagenverknüpfungen die üblichen; natürlich gelten aber zum Teil andere Regeln und Formeln als in der zweiwertigen Logik. Das Problem, die immer richtigen Aussagenverbindungen zu finden, wird gelöst. Die entwickelte Logik ist übrigens nicht mit einer der \(n\)-wertigen Logiken von \textit{Lukasiewicz} identisch.