Repository | Journal | Volume | Articles
(2003) Synthese 136 (3).
Model-theoretic 1-types overa given first-order theory T may be construed as natural metalogical miniatures of G. W. Leibniz' ``complete individual notions'', ``substances'' or ``substantial forms''. This analogy prompts this essay's modal semantics for an essentiallyundecidable first-order theory T, in which one quantifies over such ``substances'' in a boolean universe V(C), where C is the completion of the Lindenbaum-algebra of T.
Publication details
Full citation:
Boos, W. (2003). Virtual modality. Synthese 136 (3), pp. 435-492.
This document is unfortunately not available for download at the moment.