logoalt Hacker News

handfuloflight01/22/20252 repliesview on HN

The distinction between "statements about X" and "statements about statements about X" doesn't resolve the contradiction here, because the original claim makes a universal assertion about all possible true statements about God. By its own terms, it must encompass both:

1. First-order statements about God

2. Second-order statements about statements about God

3. All higher-order statements as well

Put differently: The claim "Nothing true can be said about God from a posture of defense" is asserting that there exists no level at which defensive truth claims about God are valid. But this assertion itself constitutes a defensive truth claim about God—whether at first, second, or any other order.

The attempt to escape via orders of statements fails because the original statement's scope explicitly covers all truth claims regarding God, regardless of their logical level. If it didn't cover all levels, then it would no longer be claiming that "nothing true can be said"—it would instead be claiming "some things true can be said, just not first-order things," which is a fundamentally different claim than the original.

So by attempting to exempt itself based on being "meta-level," the statement has already conceded that some true things can be said about God from a posture of defense (namely, meta-level things)—which directly contradicts its own absolute claim that nothing true can be said.

This is why universal claims about the impossibility of certain types of statements are often self-defeating—they cannot consistently exempt themselves from their own scope without undermining their universality.


Replies

tines01/22/2025

> But this assertion itself constitutes a defensive truth claim about God

You seem to be asserting this without any proof, or at least none that I can follow. The assertion itself is a "defensive truth" about "truths about God," not about "God." I'm not sure how you are justifying considering "truth about [truth about [truth about [... X]]]" as the same thing as "statement about X".

Is it possible that you're considering the properties of the truths about X to be properties of X as well? I don't think this is justified. Properties of truths about X come from properties of X. For example, statements about the color of X are not statements about X itself, despite coming from properties of X. E.g. color(X) = color(Y) -/> X = Y.

Recursion doesn't complicate the case here. The original statement made assertions about "statements about God", not about God. For example, the statement "All statements about God are false" is not paradoxical, it is simply false (if we accept the law of the excluded middle). A statement like "Everything I've said about God is false" could very well be true, it's not paradoxical, despite also being part of the set "Everything I've said;" it's just not "about God."

show 2 replies
tines01/22/2025

In addition to my sibling comment (which I can't edit any more), I noticed earlier that you said

> A universal claim about truth can't exempt itself without contradiction.

But the claim in question is not a universal claim about truth; it’s a claim about truths about God.