Conclusion
While Kripke's original paper on the theory of truth used a three-valued logic, we believe a four-valued version is more natural. Its use allows for possible inconsistencies in information about the world, yet contains Kripke's development within it. Moreover, using a four-valued logic makes it possible to work with complete lattices rather than complete semi-lattices, and thus the mathematics is somewhat simplified. But more strikingly, the four-valued version has a wide, natural generalization to the family of interlaced bilattices. Thus, with little more work, the theory is extended to a broad class of settings. Indeed, a result like Theorem 6.2 would not even be possible to state without the interlaced bilattice machinery. We hope the notion of interlaced bilattice will make apparent further such connections.
References
J.Barwise, Admissible Sets and Structures, Springer-Verlag, Berlin (1975).
N. D. Belnap, Jr. A useful four-valued logic, in Modern Uses of Multiple-Valued Logic, J. Michael Dunn and G. Epstein, eds, pp. 8–37, D. Reidel (1977).
J. M.Dunn, Intuitive semantics for first-degree entailments and ‘coupled trees’, Philosophical Studies, vol. 29, pp. 149–168 (1976).
M. C. Fitting, A Kripke/Kleene semantics for logic programs, Journal of Logic Programming, pp. 295–312 (1985).
M. C.Fitting, Notes on the mathematical aspects of Kripke's Theory of Truth, Notre Dame Journal of Formal Logic, vol. 27, pp. 75–88 (1986).
M. C.Fitting, Logic programming on a topological bilattice. Fundamenta Informatica, vol. 11, pp. 209–218 (1988).
M. C. Fitting, Bilattices and the semantics of logic programming, Journal of Logic Programming (to appear).
M. L. Ginsberg, Multi-valued logics, Proc. AAAI-86, Fifth National Conference on Artificial Intelligence, pp. 243–247, Morgan Kaufmann Publishers (1986).
M. L. Ginsberg, Multivalued logics: A uniform approach to inference in artificial intelligence, Computational Intelligence, Vol. 4, no. 3.
S. C. Kleene, Introduction to Metamathematics, Van Nostrand (1950).
S.Kripke, Semantical analysis of modal logic I, normal propositional calculi, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 9, pp. 67–96 (1963).
S. Kripke, Semantical considerations on modal logics, Acta Philosophica Fennica, Modal and Many-Valued Logics, pp. 83–94 (1963).
S. Kripke, Outline of a theory of truth, The Journal of Philosophy, vol. 72, pp. 690–716 (1975); reprinted in New Essays on Truth and The Liar Paradox, R. L. Martin, ed., Oxford (1983).
R. L.Martin and P. W.Woodruff, On representing “true-in-L” in L, Philosophia (Israel), vol. 5, pp. 213–217 (1975).
B. K.Matilal, Logic, Language and Reality, Motilal Banardsidass, Delhi, 1985.
A.Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol. 5, pp. 285–309 (1955).
A.Visser, Four valued semantics and the liar, Journal of Philosophical Logic, vol. 13, pp. 181–212 (1984).
P. W.Woodruff, Paradox, truth and logic, part I: Paradox and truth, Journal of Philosophical Logic, vol. 13, pp. 213–232 (1984).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fitting, M. Bilattices and the theory of truth. J Philos Logic 18, 225–256 (1989). https://doi.org/10.1007/BF00274066
Issue Date:
DOI: https://doi.org/10.1007/BF00274066