×

Four valued semantics and the Liar. (English) Zbl 0546.03007

The present paper interweaves various themes. Two main themes are four valued logic and the Liar Paradox. Each main theme divides into two interconnected subthemes: four valued logic into valuation schemes and structure theory; the Liar into iterations and access to structures on the one hand, and comparison of structures on the other hand.

MSC:

03A05 Philosophical and critical aspects of logic and foundations
03B50 Many-valued logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Belnap, N. D.: ?A useful four-valued logic?, in Dunn and Epstein (eds.), Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977. · Zbl 0424.03012
[2] Belnap, N. D.: ?Gupta’s rule of revision theory of truth?, Journal of Philosophical Logic 11 (1982), 103-116. · doi:10.1007/BF00302340
[3] Blamey, S. R.: ?Partial valued logic?, Dissertation, University of Oxford, 1980.
[4] Dowden, B. H.: ?The Liar paradox and Tarski’s undefinability theorem?, Dissertation, Stanford University, 1979.
[5] Dunn, J. M.: ?Intuitive semantics for first-degree entailments and ?coupled trees??, Philosophical Studies 29 (1976), 149-168. · Zbl 1435.03043 · doi:10.1007/BF00373152
[6] Dunn, J. M.: ?A relational representation of quasi-Boolean algebras?, Notre Dame Journal of Formal Logic 23 (1982), 353-357. · Zbl 0494.03045 · doi:10.1305/ndjfl/1093870147
[7] Feferman, S.: ?Towards useful typefree theories, I?, to appear in Martin (ed.), New Essays on Truth and the Liar Paradox.
[8] Gupta, A.: ?Truth and paradox?, Journal of Philosophical Logic 11 (1982), 1-60. · Zbl 0512.03002 · doi:10.1007/BF00302338
[9] Herzberger, H. G.: ?Notes on naive semantics?, Journal of Philosophical Logic 11 (1982), 61-102. · Zbl 0513.03003 · doi:10.1007/BF00302339
[10] Herzberger, H. G.: ?Naive semantics and the Liar paradox?, The Journal of Philosophy 79 (1982), 479-497. · doi:10.2307/2026380
[11] Kripke, S.: ?Outline of a theory of truth?, The Journal of Philosophy 72 (1975), 690-716. · Zbl 0952.03513 · doi:10.2307/2024634
[12] Manna, Z. and Shamir, A.: ?The theoretical aspects of the optimal fixedpoint?, Siam Journal of Computing 5 (1976), 414-426. · Zbl 0358.68017 · doi:10.1137/0205033
[13] Manna, Z. and Shamir, A.: ?The convergence of functions to fixed-points of recursive definitions?, Theoretical Computer Science 6 (1978), 109-141. · Zbl 0401.03016 · doi:10.1016/0304-3975(78)90033-6
[14] Martin, R. L. (ed): New Essays on Truth and the Liar Paradox, Oxford (to appear). · Zbl 0623.03001
[15] McGee, V.: ?Technical notes on three systems of naive semantics?, UC Berkeley (to appear).
[16] Moschovakis, Y. N.: Elementary Induction on Abstract Structures, North-Holland, Amsterdam, 1974. · Zbl 0307.02003
[17] Smory?ski, C.: ?The incompleteness theorems?, Handbook of Mathematical Logic, Barwise (ed.), North-Holland, 1977.
[18] Visser, A.: ?The Liar paradox?, Lecture Notes, University of Utrecht, 1980/81.
[19] Woodruff, P. W.: ?Paradox, truth and logic, Part I: Paradox and truth?, Journal of Philosophical Logic 13 (1984), 213-232 (this issue) · Zbl 0546.03006 · doi:10.1007/BF00453022
[20] Yablo, S.: ?Grounding, dependence and paradox?, Journal of Philosophical Logic 11 (1982), 117-137. · Zbl 0519.03019 · doi:10.1007/BF00302341
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.