An analysis of some general propositions. (Q1444448)

Der Verf. gibt eine Analysis der allgemeinen Aussagen, die sich von dem gewöhnlichen Verfahren unterscheidet, nach dem man die allgemeinen Aussagen erhält, indem man jeder Variablen einer Matrix ein ``alle'' oder ``es gibt'' in irgendeiner Reihenfolge zuordnet. Neben den Aussagenvariablen werden Variable für Matrizen, Matrizen von Matrizen usw. eingeführt, die er mit \(t_0\), \(t_1\), \(t_2\) usw. bezeichnet. So bedeutet z. B. \((t_0) \cdot t_0^\nu\sim t_0\): ``jede elementare Aussage ist wahr oder falsch''; \((t_1) (t_0) \cdot t_0^\nu (\exists t_1) (\exists t_0) \cdot\sim t_0)\): ``jeder Wert jeder Matrix ist wahr oder es gibt eine Matrix und einen zugehörigen Wert, der falsch ist''. Ahnliche Betrachtungen werden angestellt, falls der Aufbau nicht nur mit Hilfe von elementaren Aussagen, sondern auch mit solchen geschieht, die sich aus Prädikaten und Relationen zusammensetzen. Ein Vorteil gegenüber der gewöhnlichen Behandlungsweise ist nicht recht ersichtlich.