Quantifiers into the World of Types (Revised)

摘要

The 'interaction' between the existing notions in quantification and their moregeneral linguistic and logical environment is addressed. Special semantic properties and general phenomena are discussed and generalized quantifiers in Lambda calculus are shown. First order predicate logic is addressed as a point of departure. Axiomatizing inference and the characterization of general monotinicity are addressed. The general linguistics environment of generalized quantifiers is shown to be of interest as such, and is shown to raise unresolved questions concerning logical type theory. Other general mechanisms are concluded as needing investigation, in particular various connections between quantification and the dynamics of interpretation and information flow.