The conclusion: True. Click to open the review results.
Reaches
The argument: Reaches. Click to open the review results.
Proposition
Counterargument (1)
Contents1 premise▾
Keep the contents in place
1Assuming the liar statement is true leads to a contradiction
Collapse premise
Assuming the liar statement is true leads to a contradiction
Show graph for this premise
The statement is true
Under the assumption, the statement correctly describes reality and therefore holds the truth value true.
True
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
True by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Sign in to vote
Sign in to vote
Sign in to vote
Citations (1)
and
NOT
The statement is true
Under the assumption, the statement correctly describes reality and therefore holds the truth value true.
True
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
True by default — not your assignment. Derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown. Click to edit.
Sign in to vote
Sign in to vote
Sign in to vote
Citations (1)
is true if
Jump to the rebuttal of ""This statement is false" is true"
"This statement is false" is true
We assume for the sake of argument that the self-referential sentence "this statement is false" has a definite truth value of true.
Needs Support
This claim has no citation and isn't the consequent of any premise.
Unknown → False
Default — derived from how this claim is used: grounded claims (citations, axioms, and claims they directly support) start true; claims the argument still has to reach start unknown.
This is unknown by default; the evaluator inferred false from surrounding decisions. Click to edit.