Paradox, truth and logic. I. Paradox and truth

The papers of \textit{R. L. Martin} and \textit{P. W. Woodruff} [Boston Stud. Philos. Sci. 43, Synth. Libr. 89, 113-117 (1976; Zbl 0386.03001)] and \textit{S. Kripke} [Outline of a theory of truth, J. Philos. 72, 690-716 (1975)] independently introduced a new approach to the theory of truth and semantic paradoxes. In the seven years since, the theory has lain fallow. Recently, however, the seed has begun to sprout; among the signs are the recent special issue of this Journal (Vol. 13, No.2) devoted to the topic, and the collection New Essays on Truth and the Liar Paradox [Oxford (1983), ed. by R. L. Martin]. The present essay is intended to contribute to this greening. The above theories are characterized by two salient features: truth-value gaps and inductive construction of models. I wish to explore the possibility of allowing gluts as well as gaps, retaining the inductive structure. In so doing, I shall generalize the strong truth-conditions of \textit{S. C. Kleene} [Introduction to metamathematics (1952; Zbl 0047.007)], as used in Kripke's paper, rather than the weak ones employed in Martin's and mine. It turns out that this generalization, though new in the present context, is well-known in the semantics of relevance logic; I exploit that fact in a number of ways.

Recommendations

Cites work

Cited in

(33)

This page was built for publication: Paradox, truth and logic. I. Paradox and truth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q798312)