Bifalgorithm post · Brisk · Chapter 1
Why is the statement “nothing is human” false?
Why is the statement “nothing is human” false? (Brisk · Chapter 1) — "∀ x ¬ Human ( x ) . False. This says “nothing is human,” which is clearly not true. (Cons…
Ideas in this flowchart
- The universal claim ∀ x ¬ Human(x) is false.
- The formula ∀ x ¬ Human(x) states that every x is not human.
- Therefore, it says that nothing is human.
- The claim is not true.
- A human individual serves as a counterexample.
- Considering yourself provides such a counterexample.
