The calculus of propositions and self-contradiction. (Q2593901)

Der sogenannte Aussagenkalkül ist, genau genommen, ein Gedankenkalkül. Sei z. B. \(\sim p\) ein sinnvoller Ausdruck, \(2\cdot 2 = 4\) ein \(p\) zugeordneter Gedanke; \(\sim p\) wird dann üblicherweise die Negation dieses Gedankens, nämlich es - ist - nicht - wahr - daß - \(2\cdot 2 = 4\), zugeordnet. -- Verf. schlägt vor, den Aussagenkalkül wirk\-lich als Aussagenkalkül zu interpretieren. In seinem Sinne wird dann z. B. in un\-serem Beispiel \(\sim p\) zugeordnet: ``Die Aussage, die besagt, daß ``\(2\cdot 2 = 4\)'', ist falsch.'' Die Bemerkungen des Verf. darüber, daß diese Interpretation zu bevorzugen ist, sind recht interessant.