Abstract
In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim–Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatizability and compactness for the resulting consequence relation.
Similar content being viewed by others
REFERENCES
Chang, C. C. and Keisler, H. J.: 1990, Model Theory, 3rd edn, North-Holland, Amsterdam.
Dummett, M.: 1970, Wang's paradox, first delivered at SUNY Bluffalo in 1970. First published in Synthese 30 (1975), 301–324. Reprinted in M. Dummett (1978), Truth and Other Enigmas, Harvard University Press, Cambridge.
Fine, K.: 1975, Vagueness, truth, and logic, Synthese 30, 265–300.
Kremer, M.: 1986, Logic and truth, Ph.D. dissertation, University of Pittsburgh.
Kremer, M.: 1988, Kripke and the logic of truth, J. Philos. Logic 17, 225–278.
Kripke, S.: 1975, Outline of a theory of truth, J. Philos. 72, 690–716.
Lewis, D.: 1970, General semantics, Synthese 22, 18–67.
Martin, R. L. and Woodruff, P. W.: 1975, On representing ‘True-in L’ in L, Philosophia 5, 217–221.
McGee, V.: 1991, Truth, Vagueness and Paradox, Hackett Publishing Company, Indianapolis.
Mehlberg, H.: 1958, The Reach of Science, University of Toronto Press, Toronto and Oxford University Press, Oxford.
Scott, D.: 1975, Combinators and classes, in λ-calculus and Computer Science Theory, Lecture Notes in Comput. Sci. 37, Springer-Verlag, Berlin, pp. 1–26.
Thomason, S. K.: 1973, A new representation of S5, Notre Dame J. Formal Logic 14, 281–284.
van Fraassen, B.: 1966, Singular terms, truth-value gaps and free logic, J. Philos. 63, 481–495.
van Fraassen, B.: 1968, Presupposition, implication and self-reference, J. Philos. 65, 136–152.
van Fraassen, B.: 1971, Formal Semantics and Logic, Macmillan, New York.
Woodruff, P.: 1984, On supervaluations in free logic, J. Symbolic Logic 49, 943–950.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kremer, P., Kremer, M. Some Supervaluation-based Consequence Relations. Journal of Philosophical Logic 32, 225–244 (2003). https://doi.org/10.1023/A:1024240422978
Issue Date:
DOI: https://doi.org/10.1023/A:1024240422978