Logical Confusion: A is True or False?

  • Context: Graduate 
  • Thread starter Thread starter varadgautam
  • Start date Start date
  • Tags Tags
    Confusion
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
varadgautam
Messages
10
Reaction score
0
Consider a statement
A: Negation of A (~A) is true

Then,
~A: Negation of A is false


If A is true, that means that ~A is true too, but these can't be simultaneously true.
If A is false, ~~A is true, i.e. A is true. What is the problem?
 
Physics news on Phys.org
The problem is that logic only applies to "propositions" which are defined as statements that are either true of false. What you have done is show that "the negation of this statement is false" is not a proposition.

It is, in fact, exactly the same as the common example of a statement that is not a proposition: "this statement is false".