[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]




"Possible Worlds Semantics for Intensional Predicates"
Abstract: In standard modal the Box is a sentential operators. Consequently, necessity, and other modal, deontic, temporal etc. notions are formalized as operators o sentences. This means that quantified sentences as "All axioms of PA are necessary" cannot be formalized in a straightforward way. Thus it is desirable to formalize these intensional notions as predicates of sentences or propositions. Possible worlds semantics for sentential operators can be provided in a straightforward way. As Kamp, Gupta and others have shown, possible worlds semantics is also feasible to some extent, if necessity etc. are conceived as predicates of sentences. While models may be based of arbitrary frames on the operator view, models cannot be based on certain frames on the predicate view. Possible worlds semantics for predicates excludes certain classes of frames, e.g., reflexive frames, while others, e.g., converse wellfounded frames admit suitable models. The restrictions follow from the paradoxes of modality (e.g., Montague's paradox). We investigate the following problem: On which frames can one build possible-worlds models for predicates of sentences?

Volker Halbach

University of California, Irvine
Konstanz University

Friday, April 20, 2001

3:00 p.m.

SST 777

Volker Halbach

A Bibliography
Compiled by
Eddie Yeghiayan


  • "A System of Complete and and Consistent Truth." Notre Dame Journal of Formal Logic (1994), 35(3):311-327.

  • Tarski-Hierarchien. Munich: Centrum für Informations- und Sprachverarbeitung, 1994.
         PhD Dissertation, Ludwigs-Maxilians University.


  • "Tarski Hierarchies." Erkenntnis (November 1995), 43(3):339-367.


  • Axiomatische Wahrheitstheorien. Berlin: Akademie Verlag, 1996.


  • "Classical Symmetric Truth." In Georg Meggle, ed., Analyomen 2, Volume I: Logic, Epistemology, Philosophy of Science, pp. 87-92. Proceedings of the 2nd Conference "Perspectives in Analytical Philosophy." Perspectives in Analytical Philosophy, 16-18. Berlin & New York: de Gruyter, 1997.

  • "Tarskian and Kripkean Truth." Journal of Philosophical Logic (February 1997), 26(1):69-80.


  • "Conservative Theories of Classical Truth." Studia Logica (May 1999), 62(3):353-370.

  • "Disquotationalism and Infinite Conjunctions." Mind (January 1999), 108(429):1-22.

  • "On Lehrer's Principle of Trustworthiness." Erkenntnis (May 1999), 50(2-3):259-272.
         Comments on Lehrer's "Justification, Coherence and Knowledge," pp. 243-258.


  • "Disquotationalism Fortified." In André Chapuis and Anil Gupta, eds., Circularity, Definition and Truth. New Delhi: Indian Council of Philosophical Research; Atascadero, CA: Ridgeview, 2000.

  • "Truth and Reduction." Erkenntnis (September 2000), 53(1-2):97-126.

  • (with Leon Horsten.) "Two Proof-Theoretic Remarks on EA + CT." Mathematical Logic Quarterly (October 2000), 46(4):461-466.


  • "How Innocent is Deflationism?" Synthese (January 2001), 126(1-2):167-194.

[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]

Copyright © All rights reserved. Regents of the University of California.