Is it possible to explain the validity of an inference?
Since valid inferences from true premises to true conclusions are compatible with logically false premises or logically true conclusions, it is obviously necessary to exclude the latter from the former inferences. Is it possible to explain inferences to be valid if they do not involve this “paradox of formal implication”? For clarifying this question the concept of logical connectives (I) is revised, (II) is revealed by truth value relations, and (III) inferences are considered to be valid in terms of reflexive truth value relations.
Nutzung und Vervielfältigung:
Alle Rechte vorbehalten