References
Allaire, E.: 1975, ‘Truth’, Metaphilosophy 6, 261–76.
Asher, N., and Kamp, H.: 1987, ‘The Knower's Paradox and Representational Theories of Attitudes’, in Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference, Morgan Kaufmann, Los Altos, pp. 131–47.
Bacon, J.: 1986, ‘Supervenience, Necessary Coextension, and Reducibility’, Philosophical Studies 49, 163–76.
Barwise, J. and Etchemendy, J.: 1987, The Liar, Oxford, New York.
Belnap, N.: 1982, ‘Gupta's Rule of Revision Theory of Truth’, Journal of Philosophical Logic 11, 103–16.
Bonevac, D.: 1982, Reduction in the Abstract Sciences, Hackett, Indianapolis.
Bonevac, D.: 1988, ‘Supervenience and Ontology’, American Philosophical Quarterly 25, 37–48.
Burge, T.: 1979, ‘Semantical Paradox’, Journal of Philosophy 76, 169–98.
Campbell, K.: 1981, ‘Naturalism in Moral Philosophy’, Proceedings of the Russellian Society (Sydney) 6, 12–22.
Carnap, R.: 1983, ‘Empiricism, Semantics and Ontology’, in P. Benacerraf and H. Putnam (eds.), Philosophy of Mathematics, Prentice-Hall, Englewood Cliffs, 2nd edition, pp. 241–57.
Davidson, D.: 1980, ‘Mental Events’, in D. Davidson (ed.), Essays on Actions and Events, Oxford University Press, Oxford, pp. 207–27.
Feferman, S.: 1984, ‘Toward Useful Type-free Theories I’, Journal of Symbolic Logic 49, 75–111.
Field, H.: 1972, ‘Tarski's Theory of Truth’, Journal of Philosophy 69, 347–75.
Gaifman, H.: 1988, ‘Operational Pointer Semantics: Solution to Self-referential Puzzles I’, in Moshe Vardi (ed.), Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, pp. 43–60.
Gupta, A.: 1982, ‘Truth and Paradox’, Journal of Philosophical Logic 11, 1–60.
Gupta, A.: ‘The Meaning of ‘True’’, in E. LePore (ed.), New Directions in Semantics, Academic Press, London, pp. 453–80.
Gupta, A., and Belnap, N.: 1987, ‘A Note on Extension, Intension, and Truth’, Journal of Philosophy 84, 168–74.
Haugeland, J.: 1982, ‘Weak Supervenience’, American Philosophical Quarterly 19, 93–103.
Hellman, G. and Thompson, F.: 1975, ‘Physicalism: Ontology, Determination, and Reduction’, Journal of Philosophy 72, 551–64.
Hellman, G., and Thompson, F.: 1977, ‘Physicalist Materialism’, Nous 11, 309–45.
Herzberger, H.: 1982a, ‘Naive Semantics and the Liar Paradox’, Journal of Philosophy 79, 479–97.
Herzberger, H.: 1982b, ‘Notes on Naive Semantics’, Journal of Philosophical Logic 11, 61–102.
Horgan, T.: 1982, ‘Supervenience and Microphysics’, Pacific Philosophical Quarterly 63, 29–43.
Kim, J.: 1978, ‘Supervenience and Nomological Incommensurables’, American Philosophical Quarterly 15, 149–56.
Kim, J.: 1979, ‘Causality, Identity, and Supervenience in the Mind-Body Problem’, Midwest Studies in Philosophy 4, 31–50.
Koons, R.: 1987, Analogues of the Liar Paradox in Systems of Epistemic Logic Representing Meta-mathematical Reasoning and Strategic Rationality in Non-cooperative Games, PhD dissertation, University of California, Los Angeles.
Koons, R.: 1992, Paradoxes of Reflective Reasoning, Cambridge University Press.
Kripke, S.: 1975, ‘Outline of a Theory of Truth’, Journal of Philosophy 72, 690–715.
Loux, M.: 1978, ‘Rules, Roles, and Ontological Commitment: An Examination of Sellars' Theory of Abstract Reference’, in J. C. Pitt (ed.), The Philosophy of Wilfrid Sellars: Queries and Extensions, D. Reidel, Dordrecht, pp. 229–56.
Mill, J. S.: 1963, A System of Logic, University of Toronto Press, Toronto.
Parsons, C.: 1974, ‘The Liar Paradox’, Journal of Philosophical Logic 3, 381–412.
Sellars, W.: 1963a, ‘Abstract Entities’, Review of Metaphysics 16, 627–71.
Sellars, W.: 1963b, ‘Classes as Abstract Entities and the Russell Paradox’, Review of Metaphysics 17, 67–90.
Soames, S.: 1984, ‘What is a Theory of Truth?’, Journal of Philosophy 81, 411–29.
Tarski, A.: 1944, ‘The Semantic Conception of Truth and the Foundations of Semantics’, Philosophy and Phenomenological Research 4, 341–76.
Tarski, A.: 1953, ‘A General Method in Proofs of Undecidability’, in A. Tarski, A. Mostowski, and J. Robinson, Undecidable Theories. North-Holland, Amsterdam, pp. 1–53.
Tarski, A.: 1984a, ‘The Establishment of Scientific Semantics’, in Logic, Semantics, Metamathematics, Hackett, Indianapolis, pp. 401–08.
Tarski, A.: 1984b, ‘The Concept of Truth in Formalized Languages’, in Logic, Semantics, Metamathematics, Hackett, Indianapolis, pp. 152–278.
Teller, P.: 1984, ‘A Poor Man's Guide to Supervenience and Determination’, Southern Journal of Philosophy 22, Supplement, 137–62.
Author information
Authors and Affiliations
Additional information
I have presented much of this research in talks at the University of Costa Rica and the University of Texas at Austin. I am grateful to my audiences for their comments and advice. I would like especially to thank Luis Camacho, Nicholas Asher, and Robert Koons. Many of the ideas in the paper stem from an informal seminar on type-free theories held at the University of Texas's Center for Cognitive Science from 1984 to 1987. I am grateful to the participants in that seminar — Ignacio Angelelli, Nicholas Asher, Herbert Hochberg, Hans Kamp, Frederick Kronz, Per Lindström and Mark Sainsbury — for their many insights into type-free semantics, and to the Center for Cognitive Science for providing such a hospitable environment for this work. I have also profited from the criticisms of two anonymous referees. Finally, I am indebted to the University of Texas's University Research Institute and to the National Science Foundation's Information Science and History and Philosophy of Science programs for grant support.
Rights and permissions
About this article
Cite this article
Bonevac, D. Semantics and supervenience. Synthese 87, 331–361 (1991). https://doi.org/10.1007/BF00499816
Issue Date:
DOI: https://doi.org/10.1007/BF00499816