A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification
AbstractWe 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.
How to Cite
FREUND, Max Alberto. A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification. The Australasian Journal of Logic, [S.l.], v. 12, n. 1, jan. 2015. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/2084>. Date accessed: 23 may 2019. doi: https://doi.org/10.26686/ajl.v12i1.2084.