In
philosophical logic
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophic ...
,
metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of ...
, and the
philosophy of language
Philosophy of language refers to the philosophical study of the nature of language. It investigates the relationship between language, language users, and the world. Investigations may include inquiry into the nature of Meaning (philosophy), me ...
, the problem of absolute generality is the problem of referring to absolutely everything.
Historically, philosophers have assumed that some of their statements are absolutely general, referring to truly everything.
In recent years, logicians working in the logic of
quantification and
paradox
A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true or apparently true premises, leads to a seemingly self-contradictor ...
have challenged this view, arguing that it is impossible for the logical quantifiers to range over an absolutely unrestricted domain.
Philosophers who deny the possibility of absolutely unrestricted quantification (often called ''generality relativists'') argue that attempting to speak absolutely generally generates paradoxes such as
Russell's or
Grelling's, that absolute generality leads to indeterminacy due to the
Löwenheim–Skolem theorem
In mathematical logic, the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf Skolem.
The precise formulation is given below. It implies that if a countable first-order ...
, or that absolute generality fails because the notion of "object" is relative.
Philosophers who believe that we can indeed quantify over absolutely everything (known as ''generality absolutists''), such as
Timothy Williamson, may respond by noting that it is difficult to see how a skeptic of absolute generality can frame this view without invoking the concept of absolute generality.
A 2006 book, ''Absolute Generality'', published by
Oxford University Press
Oxford University Press (OUP) is the publishing house of the University of Oxford. It is the largest university press in the world. Its first book was printed in Oxford in 1478, with the Press officially granted the legal right to print books ...
, contains essays on the subject written by both the leading proponents and opponents of absolutely unrestricted quantification.
See also
*
Domain of discourse
In the formal sciences, the domain of discourse or universe of discourse (borrowing from the mathematical concept of ''universe'') is the set of entities over which certain variables of interest in some formal treatment may range.
It is also ...
*
Metametaphysics
*
Quantifier variance The term quantifier variance refers to claims that there is no uniquely best ontological language with which to describe the world. The term "quantifier variance" rests upon the philosophical term 'quantifier', more precisely existential quantifier ...
References
Paradoxes
Philosophical problems
Concepts in metaphysics
{{logic-stub