Ex Absurdo Quodlibet and the Formal Presentation of Relevance

Abstract

The article provides a preliminary overview of the problem of representing the relevance of informally rigorous reasoning in mathematics by formal logical means. It demonstrates that the relevantist approach to the formalization of mathematical statements traditionally assumes the rejection of the ex absurdo quodlibet inference. Also, it states that the theory of natural logicism, based on the Core Logic system, allows for the compatibility between the principle of relevance and the ex absurdo quodlibet inference.