Semantics for a Logic of Presuppositions
Logic in Computer Science
2023-02-17 v5
Abstract
In 1952 P. F. Strawson proposed a logic of presuppositions. It is an interpretation of Aristotelian logic, i.e. of the logic of the traditional syllogism. In 1981 Richard Diaz published a monograph in which he presented truth-relevant logic. This paper shows that truth-relevant logic is but a propositional version of the logic of presuppositions. A semantics of the logic of presuppositions is developed using truth-relevant logic. The semantics is then further extended to polyadic logic and some consequences discussed.
Keywords
Cite
@article{arxiv.1509.06837,
title = {Semantics for a Logic of Presuppositions},
author = {X. Y. Newberry},
journal= {arXiv preprint arXiv:1509.06837},
year = {2023}
}