Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.

§ 18. Studien.

erlaubten, b diejenige der moralischen Handlungen vorstellen (welche
beiden Sphären einander bekanntlich nicht durchaus decken). Alsdann
sind die Handlungen a b unbedingt zu billigen oder wenigstens nicht
zu beanstanden (es sei denn unter Gesichtspunkten, wie der Klugheit,
Zweckmässigkeit, u. a. auf die wir hier keine Rücksicht nehmen wollen),
die Handlungen a₁ b₁ sind unbedingt zu verwerfen; dagegen können wir
die Handlungen der Klasse a b₁ + a₁ b (= c), welche nur gesetzlich oder
nur moralisch, aber nicht beides zugleich sind, für den Augenblick —
nur um etwa einen kurzen Namen für die Klasse zu haben — „strit-
tige“ oder „fragwürdige“ nennen, sofern sie von dem Interpreten des
Gesetzes eine andere Beurteilung zu erfahren haben als wie vom Stand-
punkte der Moral. Noch besser vielleicht wird man sie „Konflikts-
handlungen“ nennen, weil Derjenige, der sie begeht oder sich vor sie
gestellt sieht, sich in Konflikt befindet oder in solchen gerät zwischen
seinem eigenen sittlichen Bewusstsein und demjenigen seiner Nation
soweit es in der Gesetzgebung zum Ausdruck gelangt ist.

Nach unserm Satze müssen dann auch die gesetzlichen Handlungen
entweder moralische oder aber Konfliktshandlungen sein, und um-
gekehrt. Desgleichen müssen diejenigen Handlungen welche frag-
würdig (Konfliktsh.) oder aber gesetzlich sind, moralische sein, und
umgekehrt.

Stellt man einen Ausdruck a b₁ + a₁ b symbolisch als eine Knüpfung
a ∘ b von a mit b dar, so ist diese Knüpfung einerseits, wie erwähnt, eine
kommutative, es ist a ∘ b = b ∘ a, zugleich ist sie nach Jevons' Satze auch
eindeutig umkehrbar, und befolgt in Bezug auf ihre Umkehrungen das Gesetz,
dass sooft c = a ∘ b ist, auch a = b ∘ c und b = c ∘ a sein muss. Man
beweise, dass allgemein auch:
(a ∘ b) ∘ a = b = a ∘ (b ∘ a)
sein wird. Die Knüpfung genügt überhaupt den Gesetzen des in Anhang 5
unter „Beleg 6“ angeführten Algorithmus Q₀. —

ϱ) Wir haben gelernt, jede beliebige Subsumtion a ⋹ b auf ver-
schiedene Arten in eine Gleichung umzuwandeln, welche ganz das
nämliche sagt — cf. Th. 20) und 38).

Umgekehrt hingegen mochte eine Gleichung a = b nach Def. (1)
durch zwei als gleichzeitig geltend hingestellte Subsumtionen a ⋹ b
und b ⋹ a ersetzt werden.

Hier liegt die Frage nahe, ob es nicht auch angängig ist, jede
beliebige Gleichung umzuschreiben in eine einzige Subsumtion.

Diese Frage beantwortet in bejahendem Sinne — das