Syllogistic Relevance and Term Logic

Term Functor Logic is a term logic that recovers some important features of the traditional, Aristotelian logic; however, it turns out that it does not preserve all of the Aristotelian properties a valid inference should have insofar as the class of theorems of Term Functor Logic includes some inferences that may be considered irrelevant (e.g. ex falso , verum ad , and petitio principii ). By following an Aristotelian or syllogistic notion of relevance, in this contribution we adapt a tableaux method for Term Functor Logic in order to avoid irrelevance and we offer some sort of intuitive semantics in terms of traditional inferential situations (e.g. propter quid , quia , non causa ut causa , and non sequitur ).