Abstract
It is known that a semantically closed theory with description may well be trivial if the principles concerning denotation and descriptions are formulated in certain ways, even if the underlying logic is paraconsistent. This paper establishes the non-triviality of a semantically closed theory with a natural, but non-extensional, description operator.
Similar content being viewed by others
REFERENCES
Priest, G. (1979): Indefinite descriptions, Logique et Anal. 85(6): 5–21.
Priest, G. (1987): In Contradiction, MartinusNijhoff, the Hague.
Priest, G. (1997): On a Paradox of Hilbert and Bernays,J. Philos. Logic 26: 45–56.
Priest, G. (1998): The trivial object, andthe non-triviality of a semantically closed theory with descriptions, J. Appl. Non-Classical Logics 8: 171–83.
Priest, G. (199+): Paraconsistent logic. In:D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd. edn, Kluwer Acad. Publ., Dordrecht, forthcoming.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Priest, G. Semantic Closure, Descriptions and Non-Triviality. Journal of Philosophical Logic 28, 549–558 (1999). https://doi.org/10.1023/A:1004608013532
Issue Date:
DOI: https://doi.org/10.1023/A:1004608013532