Abstract
ABSTRACT In this paper, I ask whether quantifiers are intensional operators, with variable assignments playing the role of indices. Certain formulations of extensional type theory suggest an affirmative answer, but the most satisfactory among them suffer from a contamination of their semantic ontology with syntactic material. I lay out ‘Fregean’ versions of extensional type theory that are free from syntactic contamination and suggest a negative answer to our question.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have