Can Quantifying Statements Lead to Paradoxes in Logic?

  • Context: Graduate 
  • Thread starter Thread starter praeclarum
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the concept of quantifying statements in logic, specifically questioning why quantification is typically limited to variables and whether quantifying statements could lead to paradoxes. The scope includes theoretical considerations in logic and potential implications for paradoxes.

Discussion Character

  • Exploratory, Debate/contested, Technical explanation

Main Points Raised

  • Some participants question the necessity of restricting quantification to variables, suggesting that statements could also be quantified.
  • One participant mentions "second order logic" as a possible framework for quantifying statements, implying that it may allow for such quantification.
  • Another participant expresses uncertainty about the restrictions on quantifying statements, suggesting that certain logical systems might prevent self-referential variables.
  • A later reply discusses the nature of first-order and second-order variables, noting that unrestricted second-order quantification can lead to inconsistencies, specifically referencing Russell's Paradox.
  • There is a concern raised about the interpretation of closed expressions and their truth values, questioning what entities these expressions refer to.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the appropriateness of quantifying statements, with multiple competing views on the implications and restrictions of such quantification remaining unresolved.

Contextual Notes

Limitations include the ambiguity surrounding the definitions of statements and variables, as well as the potential for self-reference in logical systems, which remains an open question in the discussion.

praeclarum
Messages
34
Reaction score
0
Why do we have to quantify over variables only -- why can't we quantify statements as well? Just out of curiosity... Does it lead to paradoxes or anything?
 
Physics news on Phys.org
praeclarum said:
Why do we have to quantify over variables only -- why can't we quantify statements as well? Just out of curiosity... Does it lead to paradoxes or anything?

I suppose you can quantify over statements if you like. Perhaps you are thinking of "second order logic."
 
praeclarum said:
Why do we have to quantify over variables only -- why can't we quantify statements as well?

If what you say is true than something would prevent us from using a variable that represented a statement and quantifying over that variable. I don't know what system of logic you are talking about. I suppose that systems of logic need some precautions against being "self referential". Is there a specific statement in the material you are studying that restricts what a variable can represent?
 
In Logic, you may apply quantifiers over symbols that refer to other entities: first-order variables refer to individuals within a class; second-order variables (also known as predicate or class variables) refer to classes of individuals, and you may go on from here.

Now, it is indeed known that unrestricted second-order quantification leads to inconsistencies (the most well-known is Russell's Paradox; look it up), but that is not exactly your problem: if by a statement you mean a closed expression (no free variables), then it is either true or false in any given interpretation; but what does this refer to? To what entities?
 

Similar threads

Undergrad Subset definition: universal quantifier over which set?
  • · Replies 33 ·
2
Replies
33
Views
5K
Graduate Quantifying nonlinearity from data
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad Contrapositive of quantified statement
  • · Replies 9 ·
Replies
9
Views
3K
Undergrad Predicate logic and modal logic
  • · Replies 17 ·
Replies
17
Views
3K
High School Why "the conditional in which the antecedent is false" is always true?
  • · Replies 14 ·
Replies
14
Views
3K
Undergrad Logic Game: Abelard & Heloise - Naturals xu-yt > v^z
  • · Replies 17 ·
Replies
17
Views
2K
Undergrad Supremum proof & relation to Universal quantifier
  • · Replies 5 ·
Replies
5
Views
3K
High School My argument why Hilbert's Hotel is not a veridical Paradox
  • · Replies 8 ·
Replies
8
Views
3K
MHB Universal Quantifier Intro: Natural Deduction in Predicate Logic
  • · Replies 9 ·
Replies
9
Views
5K
High School The Paradox of 1 – 1 + 1 – 1 + 1 – 1 + …
  • · Replies 5 ·
Replies
5
Views
3K