The Logic of Entailment

  • A. H. Louie
Part of the IFSR International Series on Systems Science and Engineering book series (IFSR, volume 29)


In common usage, the verb to entail means ‘to have as an inevitable accompaniment’ or ‘to involve unavoidably’. In logic, the usage is tightened to explicitly involve inference, whence ‘to entail’ means ‘to necessitate as a consequence’. That the logical usage of ‘entailment’ in the consequential sense is more stringent than its common usage in the concomitant sense is concisely expressed in the cliché “Correlation does not imply causation.”

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  • A. H. Louie
    • 1
  1. 1.OttawaCanada

Personalised recommendations