Message from @「SocradeezNuts」✓ᴸᵉᵗ ε<0
Discord ID: 651931764142374930
Like level 5 or something, I use VC way more than text
How do I check my level
If this sentence is true [A] then Marcdoof leaving discord is justified (B).
**A = A->B** (if this sentence is true, then B )
1. A -> A (asm)
2. A -> ( A -> B ) ( 1, sub)
3. A -> B (2, contraction)
4. A (3, Sub)
5. B (4, MP)
@「SocradeezNuts」✓ᴸᵉᵗ ε<0
wtf does it mean for A = A -> B
that seems circular
It's self reference
Identity of the sentence is the material conditional
with the sentence as the antecedent
check out that truth table lmao, we get circular reasoning
It's sound check out Curry's paradox, it's an example of it.
no circularity
imagine appealing to paradoxical syllogisms for justification lmao
cmon lil goof
what's eating @ u?
paradox still valid
not in terms of soundness
Perfectly sound
do you find paradoxical arguments sound?
how is a = if a then b sound?
Antecedent is an assertion about the entire sentence (conditional)
as in that makes it invalid? @「SocradeezNuts」✓ᴸᵉᵗ ε<0
i'm talking about soundness
the idea is about the truth of premises
Entire thing is sound. Only thing in question is
A equivalent to A > B and that's accomplished with self reference.
I have my justification
how is it sound if the thing we're appealing to is self-referential?
self reference is not unsound
how is it sound when self-reference has an undefined truth value?
shhh
rekt you have no justification
now you're on discord forever
never gonna let my marcgoof go
Let me be a trivialist with Curry's
what
@muhahahahe he's just going to give nonsense
@Marcdoof I watched a video detailing substructural logic as a way of mitigating the paradox.
But it results in the complete destruction of how we use language.