A Modal-Semantic Approach to Theories and Surplus Structure
The Syntactic View, the Semantic View, and the Pragmatic View, three historically prevailing approaches to the structure of scientific theory, each had crucial successes and failures. This paper outlines each of those views, addresses those successes and failures, and suggests a way to synthesize the useful formal rigor of semantic approaches with the practical concerns of pragmatic approaches. This is done through a recharacterization of the notion of surplus structure in the Semantic View. The end result is a scheme for formalizing important pragmatic structures of theory.