Теория релевантного следования i: аксиоматика.

Abstract

This paper foregoes a complex investigation in relevance logic. In what follows I'm summing up recent results in relevant logic in order to answer the question: what is wrong with the theory of entailment. Among numerous defects (such as undecidability) main are connected with justification of truth functional tautologies and $A\rightarrow A$ representing the archetypal form of inference . It leads to conclusions that (1) textbf{R] and textbf{E} are too strong to express entailment and (2) an appropriate theory of entailment must be a conservative extension of \textbf{FDE} . As a consequence, sub-system of textbf{T} (without Reductio) is proposed to be the basis for True Entailment.