There are two meanings / usages of the words "true" or "truth."
@TheMadFool gave one definition from Wikipedia a few posts back, I'll repeat it:
"Truth is the property of being in accord with fact or reality.[1] In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences."
This is how the word "truth" is used in the legal system in USA (and I assume most countries). When a witness says that they will speak the truth, the whole truth, and nothing but the truth, the witness is swearing that their
statements will correspond to reality to the best of their abilities.
But there is another definition/usage of the words "true" or "truth" - and that is within mathematics / logic. Statements / propositions are true if they can be derived according to the basic axioms of the particular mathematical/logical framework under which they are generated (the basic axioms are defined as true). A particular proposition may be true in one framework and false in another.
I know that there are some very smart people who believe that mathematics is "real" in some sense of the word, but I'm ignoring that for purposes of this particular discussion.
So. When I look at the output of the Python program, these lexical strings can be converted into numbers. So when the program prints the output that string "A" is lexically prior to "B", this is simply another way of saying:
For all integers x & n (where n > 0), x - n is always less than n
and likewise, when the program prints that "C' is lexically successive to "B", this is
x + n is always greater than n.
It seems like all this program is doing is generating random numbers and ordering them according to the the rules of standard arithmetic; i.e., this is within the context of a math framework and is not about the real world.
But maybe I'm not getting the point (happens on a regular basis)
= = = = = = = = =
Meanwhile, how does all this relate to the OP (Fitch's Paradox)? I'm not sure. I'm an amateur at this stuff - but I tried plowing through the
Stanford discussion. It's very dense - and truth be told my eyes glazed over fairly quickly. The thing that jumped out at me is that it Fitch seems to mix both definitions of the word "truth": it introduces an "epistemic operator" K which means that ‘it is known by someone at some time". I can't help but be suspicious of this "epistemic operator" since it entails knowledge of the real world. The article points out various objections to this usage but does not draw any conclusions one way or the other.
But beyond that, I would disagree with the statement that all "truths" are knowable - i.e. all sentences that correspond with reality are knowable. Given the inflation that happened during the beginnings of the big bang, portions of the physical universe are outside our event horizon and are not knowable. Of course future scientific discoveries could that statement.