Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Search

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

1 results

  • 1 - Why Entailment?

  • Edwin Mares, Victoria University of Wellington
  • Book:
    The Logic of Entailment and its History
    Published online:
    08 February 2024
    Print publication:
    15 February 2024, pp 1-20

  • Summary

    A logic of entailment is one in which it represents its own derivability relation as a connective. This allows it to express nested claims about what is derivable from what. It can say, for example, that if B is derivable from A and if C is derivable from B, then C is derivable from A. Mathematicians and logicians think this way when making proof plans. This chapter sets out the problem of constructing proof plans and looks at the other uses to which logics of entailment have been put. One key use, especially in the context of this book, is as a theory of the closure of scientific theories.