Abstract

Ramsey argued that the best way to understand how the theoretical terms of a theory function is to picture them as existentially bound variables. We explore the ontological ramifications of Ramsey's idea by developing a new type of dynamic model-theoretical semantics, based on the concept of an experimental logic.