Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Logical confusion

  1. Aug 19, 2011 #1
    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?
     
  2. jcsd
  3. Aug 19, 2011 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    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".
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook