Semantics and supervenience

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.