Presupposition and presuppositional logic
Presupposition is a systematic discourse‐anchoring device in the semantics of natural language. Presuppositions are generated by the preconditions of predicates. Operational criteria are provided. Data show that two kinds of falsity must be distinguished, one that preserves and one that cancels presuppositions. This leads to a trivalent presuppositional logic. For predicate logic, this takes two forms: the basic‐natural logic of Chapter 3 and the Square of Opposition extended with a presuppositional component.
Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
If you think you should have access to this title, please contact your librarian.