A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification

Max Alberto Freund

Abstract


We propose a new intensional semantics for modal-tense second-order languages with sortal predicates. The semantics provides a variable-domain interpretation of the second-order quantifiers. A formal logical system is characterized and proved to be sound and complete with respect to the semantics. A contemporary variant of conceptualism as a theory of universals is the philosophical background of the semantics. Justification for the variable-domain interpretation of the second-order quantifiers presupposes such a conceptualist framework.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.