Abstract
One well known problem regarding quantifiers, in particular the 1st-order quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Wybraniec-Skardowska, U. (2022). Chapter 11 Categories of First-Order Quantifiers. In: Logic - Language - Ontology. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-031-22330-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-031-22330-3_13
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-031-22329-7
Online ISBN: 978-3-031-22330-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)