Unexpected hanging of Mr. Fitch

Judge's statement S: The prisoner will be hanged next week and its date will not be deducible the night before using this statement as an axiom.

Using an equivalent form of the paradox which reduces the length of the week to just two days, Fitch proved that the statement is self-contradictory.

I have three specific questions.

1. I don't understand the Gödelian analysis done by Fitch. Is it possible to reach to the same conclusion using only propositional logic?

2. What about the one day version, in which the statement reduces to T: X is true, and its truth is not deducible from T.

If we assume T is true, then we deduce from T that X is true, which means T is false. Since the truth of T leads to its falseness, we conclude T is self-contradictory. Is this argument sound?

1. Chow states "the judge's announcement appears to be vindicated after the fact". Suppose the prisoner is hanged on Tuesday. Then compare S with the following statement P: The prisoner was hanged on Tuesday, and he couldn't deduce the date from S.

P is an objective truth. My question is, what is the difference between "the prisoner couldn't deduce" and "it is not deducible", if we assume the prisoner is a logician, let's say Fitch himself?

• You have posted about the Hanging paradox several times ... What is your specific question now? Commented Apr 9, 2018 at 19:48
• 1) I think not: we cannot "manage" self-reference in propositional logic only. The Gödelian way to manage self-ref is trough the "arithmetization of syntax" i.e. thorigh the encoding of expressions and sequences with numbers. To do this, we need FOL. Commented Apr 10, 2018 at 13:15
• @Bram28, I've been trying a lot to derive the Fitch's conclusion using propositional logic, and it's been very confusing. I have three specific questions right now. An answer to each one of them is appreciated. Commented Apr 11, 2018 at 10:32

1. week is 2 days $\implies$ hanging day 1 or day 2.