Nachtrag: Die Behandlung ist nun mal nicht einheitlich. Logik behandelt ja nicht nur das Wahre, und ach nicht das Falsche, sondern Ableitungsbeziehungen, seit sie - seit rund 150 Jahren - vor allem formal betrieben wird. Ich denke mal, da es sonst keinen interessiert, lasse ich alles beim alten. Oder verstehe ich deine Position falsch, Arno? ZetKIK 15:33, 6. Apr. 2011 (CEST)