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

  • Max Alberto Freund University of Costa Rica

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.

Downloads

Download data is not yet available.

Author Biography

Max Alberto Freund, University of Costa Rica

Full professor of Logic and Philosophy

Graduate Program in Cognitive Science

and Doctoral Program in Philosophy

Published
2015-01-04
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: 02 june 2020. doi: https://doi.org/10.26686/ajl.v12i1.2084.