entailment i have no idea why philogo preferred to merge everything into entailment when the prevailing view in the literature is that inference entailment and implication are all forms of logical consequence this is evident in the titles of journal articles chapters of books etcetera let fix this consistent with the category structure talk