A physical theory is a partially interpreted axiomatic formal system, where L is a formal language with some logical, mathematical and physical axioms, and with some derivation rules, and the semantics S is a relationship between the formulas of L and some states of affairs in the physical world. In our ordinary discourse, the formal system L is regarded as an abstract object or structure, the semantics S as something which involves the mental/conceptual realm. This view is of course incompatible (...) with physicalism. How can physical theory be accommodated in a purely physical ontology? The aim of this paper is to outline an account for meaning and truth of physical theory, within the philosophical framework spanned by three doctrines: physicalism, empiricism, and the formalist philosophy of mathematics. (shrink)

On the basis of what I call physico-formalist philosophy of mathematics, I will develop an amended account of the Kantian–Reichenbachian conception of constitutive a priori. It will be shown that the features attributed to a real object are not possessed by the object as a “thing-in-itself”; they require a physical theory by means of which these features are constituted. It will be seen that the existence of such a physical theory implies that a physical object can possess a property only (...) if other contingently existing physical objects exist; therefore, the intrinsic–extrinsic distinction is flawed. (shrink)