Ich könnte Erfahrungsschluß & logischen Schluß unterscheiden. Der Schluß von “x ist rot” auf “x ist nicht blau” ist ein logischer Schluß, obwohl x ∊ r ⊃ ~(x ∊ b) natürlich keine Tautologie ist.