In a text I am reading, the section on Propositional Logic says that a proposition is a statement that is either true or false, but not both true and false. Also, from this lecture online, the instructor says that we must be able to associate a truth value to a proposition.

The text I mentioned contains as an example of an assertion that is not a proposition the following:

(1) "this statement is false."

In the margin, the text says that the form of this statement makes it impossible to designate a truth value to it and the instructor in the lecture says simply that, "if [the statement] is true, then it is false, and if it is false, then it is true."

However, why exactly is it impossible to for (1) to have a truth value? What does it mean to say that if (1) is true, it is false, and conversely?

Response to Asaf Karagila
As has been pointed out, I have already asked this question very recently yesterday but it has not received proper attention. This question is one that I feel can be put to rest if only someone would provide an explanation that is direct and suitable for my level, which is that of a novice.

  • 1
    $\begingroup$ Honestly, this is a bad example that's not really worth considering. It won't hinder your understanding of the subject to ignore this. $\endgroup$
    – Kaynex
    Mar 16 '16 at 3:31
  • $\begingroup$ @Kaynex It bothers me tremendously to skip it though. $\endgroup$
    – user185744
    Mar 16 '16 at 3:32
  • 1
    $\begingroup$ You should at least mention that you've already asked about this. Yesterday. math.stackexchange.com/questions/1697691/… $\endgroup$
    – Asaf Karagila
    Mar 16 '16 at 5:45
  • 1
    $\begingroup$ @AsafKaragila, should we close one of them? $\endgroup$ Mar 16 '16 at 6:00
  • 3
    $\begingroup$ Ha! Not the proper attention? You received three answers that had to guess your knowledge and mathematical aptitude. You want better suited answers? Write better questions. $\endgroup$
    – Asaf Karagila
    Mar 16 '16 at 6:15

Let me toss my 2 cents for what your instructor said.

Suppose (1) "this statement is false." holds. Then the assertion inside "" is false. Thus this statement is false does not hold, or (if we abide by the binary logic) this statement is true.

Now suppose (1) "this statement is false." does not hold. Then that statement must be true (as long as we abide by the binary logic.) So the assertion this statement is false is true.

The bottom line is, the statement inside "" does not conform to the binary logic.

  • $\begingroup$ Right, if we suppose that (1) is true, then what it claims is the case. And what it claims is that it is false. The same sort of thing occurs when we suppose that (1) is false. Now what's happening here? What does it mean for something to be false if and only if its is true? $\endgroup$
    – user185744
    Mar 16 '16 at 4:24
  • $\begingroup$ It means that it does not conform to the binary logic. $\endgroup$
    – eltonjohn
    Mar 16 '16 at 4:29
  • $\begingroup$ I agree that it doesn't "conform to the binary logic," by which I interpret as meaning that it can't be said to be definitely true or definitely false. But a fear that I have is being asked about this and having to say that without really understanding why. I mean, does the statement have an "unstable" truth value? $\endgroup$
    – user185744
    Mar 16 '16 at 4:41
  • $\begingroup$ I don't know if the statement conforms to an $n$-ary logic for some suitable $n \geq 3$ (I am sceptical if there exists such an $n$, though.) I would reply to your instructor that we cannot create a truth table since we cannot decide the truth value for that statement. $\endgroup$
    – eltonjohn
    Mar 16 '16 at 10:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy