The Limits of Formalism: Semantic Under-determination and Ontological Inference in Meta-Logical Inquiry

 

The Limits of Formalism: Semantic Under-determination and Ontological Inference in Meta-Logical Inquiry

Formal logic serves as a powerful mechanism for regimenting inference, clarifying modal commitments, and analyzing the structure of reasoning. Yet, its success in organizing valid inference has generated a persistent philosophical temptation: the inference from formal adequacy to ontological truth. This temptation is especially pronounced in domains where logical frameworks are used to illuminate metaphysical structure. The central claim of this essay is that such inferences systematically exceed what formal systems license. In particular, the semantics of modal logic exhibits a principled under-determination with respect to ontology, where multiple metaphysical interpretations can equally satisfy the same formal constraints.

This thesis does not undermine the utility of formal systems; rather, it clarifies their epistemic role. Formal semantics constrains the space of admissible interpretations, but it does not uniquely determine their metaphysical content. Recognizing this distinction is essential for avoiding a recurrent form of philosophical overreach in which structural models are reified into ontological inventories.

1. Formal Structure and Interpretive Excess in Modal Semantics

The standard Kripkean framework for modal logic introduces a model $\mathcal{M}=⟨W,R,V⟩$, where $W$ is a set of indices, $R$ is an accessibility relation, and $V$ is a valuation function. The formal elegance of this construction allows for the generation of distinct modal logics by imposing structural constraints on $R$. However, the interpretive question—what the elements of $W$ represent—is not settled by the formalism itself.

The relationship between formal structure and metaphysical interpretation is one of constraint satisfaction rather than derivation. No purely logical fact determines which interpretation is correct. Consequently, the realist interpretation of possible worlds semantics is not entailed by the semantics itself, but is a substantive metaphysical hypothesis introduced to secure an explanatory account of modal truth. By contrast, the existence of alternative ontologies, such as actualist interpretations, demonstrates that modal semantics does not function as an ontological discriminator.

2. Logical Consequence and the Misreading of Formal Systems

A parallel issue arises in epistemology, where formal consequence relations are sometimes mistakenly identified with processes of belief revision or cognitive dynamics. Classical logic defines a monotonic consequence relation, which reflects a constraint on deductive closure rather than a theory of epistemic change.

The conflation of consequence with cognition misidentifies the domain of classical logic. Non-monotonic frameworks—such as those developed in Default Logic and theories of defeasible reasoning—do not replace classical consequence but extend the formal repertoire to capture additional inferential phenomena, particularly those involving revisability under new information. The distinction, then, is not between a “correct” and “incorrect” logic, but between different formalizations of distinct inferential roles.

3. The Status of Interpretation

The status of interpretation within meta-logical inquiry requires careful parsing of how meaning is assigned to logical and normative claims. Historical shifts in philosophical methodology—ranging from the logical positivism championed by Ayer and the conceptual explorations of Frege and Geach, to the quasi-realist frameworks proposed by Blackburn—demonstrate the necessity of distinguishing between the logical validity of a system and the metaphysical or epistemic interpretation assigned to it.

These interpretations are not logical outputs of the formalism, but additional theoretical commitments guided by criteria such as explanatory power and coherence. The choice between competing metaphysical frameworks is not resolved by logic alone but by broader philosophical adjudication.

Conclusion: Formal Systems as Structurally Constraining Devices

The proper role of formal logic in philosophical inquiry is not to dictate metaphysical or epistemological commitments, but to delimit the space of structurally coherent possibilities. The conclusion that formal systems constrain but do not determine their interpretations is logically supported by the premises that formal models are under-determined and that multiple interpretations can satisfy the same formal constraints.

Recognizing semantic under-determination restores an appropriate division of labor between formal systems and philosophical interpretation. Logic specifies what must hold given certain structural assumptions; it does not determine what exists in order for those assumptions to be realized. In this sense, formal logic is best understood not as a metaphysical blueprint, but as a constraint framework within which metaphysical and epistemological theories must operate. Respecting this distinction is essential for maintaining rigor in meta-logical inquiry.

References:

• Ayer, A. J. (1952). Language, Truth, and Logic. Dover Publications.

• Blackburn, S. (1998). Ruling Passions: A Theory of Practical Reasoning. Oxford University Press.

• Frege, G. (1980). Philosophical and Mathematical Correspondence. University of Chicago Press.

• Geach, P. T. (1965). "Logical Procedures and the Identity of Indiscernibles." Ratio, 7(1), 3-12.

• Kripke, S. A. (1963). "Semantical Considerations on Modal Logic." Acta Philosophica Fennica, 16, 83-94.

• Lewis, D. (1986). On the Plurality of Worlds. Basil Blackwell.

• Pollock, J. L. (1987). "Defeasible Reasoning." Cognitive Science, 11(4), 481-518.

• Reiter, R. (1980). "A Logic for Default Reasoning." Artificial Intelligence, 13(1-2), 81-132.