They are used in a higher-order language,
They occupy positions other than ones suggested for names,
These quantifiers occur in adjective position
Table of Contents
1. High Order Quantification
1.1 Higher-order quantification
2. Status of high-order quantification
3. Reasons for the problem
Objectives and Topics
The work investigates the complexities and philosophical challenges associated with higher-order quantification, examining how these quantifiers function within language and their relationship to first-order ontologies.
- Functional positions of higher-order quantifiers in language
- Distinctions between first-order and second-order quantifiers
- Limitations of current proposals and substitution interpretations
- Ontological implications and the reduction of relational to monadic quantification
Excerpt from the Book
REASONS FOR THE PROBLEM
Failure to reduce the relational quantification to monadic quantification in the context of a first-order ontology enriched by appropriate n-tuples of objects
Interpretation of higher-order logics as scaling for ontology of sets
Summary of Chapters
High Order Quantification: This chapter introduces the foundational concepts and the linguistic positioning of quantifiers in higher-order language.
Status of high-order quantification: This section discusses the problematic nature of current higher-order proposals and explores alternative theories, such as those proposed by Boolos regarding plurals in natural language.
Reasons for the problem: This chapter analyzes the technical and ontological difficulties, specifically the failure to reduce relational quantification and the interpretation of higher-order logic in relation to set theory.
Keywords
Higher-order quantification, First-order logic, Second-order logic, Predicate position, Monadic quantification, Relational quantification, Ontology, Substitution interpretation, Set theory, Natural language, Boolos, Logical semantics, Formal logic
Frequently Asked Questions
What is the fundamental focus of this publication?
The publication examines the theoretical and philosophical challenges inherent in higher-order quantification, focusing on how these quantifiers operate differently from first-order quantifiers.
What are the primary thematic areas?
The primary themes include linguistic structure, the formal distinction between various orders of quantification, and the ontological difficulties that arise when attempting to formalize these concepts.
What is the central research question?
The work seeks to clarify why higher-order quantification remains problematic and why existing interpretative models, such as the substitution interpretation, fail to adequately account for these logical structures.
Which scientific methodology is applied?
The text employs analytical philosophy and formal logical inquiry, reviewing existing proposals and assessing their adequacy against known logical constraints.
What topics are covered in the main body?
The main body covers the syntactic positioning of quantifiers, the critique of current logical proposals, and the failure of reducing relational quantification to monadic forms within first-order ontologies.
Which keywords define this work?
Key terms include higher-order quantification, ontological commitment, predicate position, and logical interpretation.
How does the text define the distinction between first and second-order quantifiers?
First-order quantifiers typically occupy name positions, whereas second-order quantifiers are identified by their function within predicate positions.
What is the significance of the "substitution interpretation" mentioned in the text?
The text highlights that the substitution interpretation is insufficient to meet the analytical demands placed upon higher-order logical systems, thereby leaving open significant philosophical questions.
- Quote paper
- Amos Wesonga (Author), 2018, High Order Quantification. Order of Spoken Language, Munich, GRIN Verlag, https://www.grin.com/document/429311
