@memimemi
Thanks for the link!
@"This statement cannot be proven true"
If it could be proven true it would be proven false. If this statement could be proven false then it would be true. If it must be true xor false (suspicious premise for such statements), then it cannot be proven true. If we know that it must be true xor false then it could be proven true. If it must be true xor false then we must not be able to know it must be true xor false. If we know it is not true xor false then we get into hairy possibilities (both and neither) about which I do not know the logic to shape into proofs. I do not know the truth value of this statement thus I do not know if it can be proved true.
In principle, however, you can know that it's true: take the set [all theorems proven true from these axioms], and see whether the statement 'This statement cannot be proven true' lies within it. If it does, then it has been proven true, and so is true - except that it has falsified itself. If it does not, then it cannot be proven true, and so is true. In both cases, you do know the truth value,
because you cannot provide a proof. No matter what, it's a true statement to our understanding (mind, self, what have you), and yet cannot be proven.
@"This statement could be false"
If true it is either true but not false or true and false. If false it is both false and true. If neither true nor false then it is neither true nor false.
[different meanings of could might shift these a bit]
PS: I assume there is some math out their that can work with 4 truth states.
Mathematics have a great deal of trouble with discussing themselves. I think you'll enjoy the Principia.
I might be able to know Tolkien wrote Legolas was an elf. I do not think I would be able to know Legolas was an elf. The first is true the second is not true.
Knowledge is a type of belief. I assume there are true statements that can be made about the time before rational beings. Wouldn't these statements be true before they were conceived? Aka is truth a belief or a characteristic?
If you do not ascribe to justified true belief (for good reason it looks), what is the definition for knowledge you use?
i) To say that knowing Tolkien wrote LoTR, with Legolas as an Elf, precludes knowing that Legolas is an Elf, is akin to saying that knowing that Tolkein was a product of his DNA reacting with its environment precludes knowing that Tolkien was a writer. The truth of whether elves exist is irrelevant; we know that Legolas is one. Legolas is fictional, elves are fictional, we know they're fictional, but we also know what they are. We also know what they aren't - Ents come to mind, OldTrees.
ii) Knowledge is
not a type of belief. They are cousins, perhaps, but not siblings. I can know, based on census figures, that the population of Detroit, MI, was just over 700,000 people in 2011, even though I really find it hard to believe that that many people have bothered to stay. If I trust the census, though, my belief will change to fit the facts. I can believe, wholeheartedly, that the Earth will turn entirely to Nerf next Tuesday, even though I know that there is no mechanism by which that could conceivably happen.
iii) Truth is neither a belief nor a characteristic. It is the most agreed upon representation of the Human experience of events, most of which are far beyond our comprehension. Knowledge is the repeated experience of events, and perception thereof, that best agrees with the common experience of one's peers.
I hold forth that we cannot claim any absolute knowledge, as we have but a finite capacity, in the face of an infinite universe. Remember that we're built to survive on one small speck of rock and iron, in a suburban area of a backwater galaxy - we're not so good at imagining truly universal concepts, since they don't really add any survival value to our genes.