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.

翻译：1952年P.F. Strawson在《1952年P.F. Strawson》中提出了先期假设的逻辑。这是对亚里士多德逻辑的解释,即对传统银河主义逻辑的解释。1981年,理查德·迪亚斯发表了一篇专著,其中他介绍了与事实相关的逻辑。这份文件表明,与真相相关的逻辑只是先期假设逻辑的推论。先期假设逻辑的语义使用与事实相关的逻辑来发展。语义学后来进一步扩展至多语种逻辑和讨论的一些后果。