display all the ideas for this combination of texts
2 ideas
13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
12196 | A valid hypothetical syllogism is 'that which does not begin with a truth and end with a falsehood' [Sext.Empiricus] |