But there's a second consideration, which is that humans make claims about the way things are These claims may be considered as sequences of characters, or noises, or perhaps patterns of mental activity And we call some of these claims true, and other claims. Truth is what the singer gives to the listener when she’s brave enough to open up and sing from her heart But still curious about the difference between both of them In our daily life, in general conversation, we generally use these both terms interchangeably
Then what is the difference Are they synonym or have specific difference? There is no absolute truth because we as humans are restrained from ever knowing it is fallacious, what humans can know imposes no restriction on what is And this will only be a way out of the paradox after it specifies which axioms of classical logic are supposed to be dropped, and shows that what is left is enough and otherwise reasonable There are several options described in standard. 5 whether truth can exist without language and that truth is an objective reality that exists independently of us are not opposed claims, although they don't imply one another
In classical logic, all contradictions are false, so if we to put a truth table of p and p ∧ ¬p, it would go like this As you can see, the truth value of the contradiction is always false Truth is a property of propositions, mostly propositions claiming facts Hence truth lives in a completely different domain It rains today is a proposition which claims a fact The proposition can be true or false
On the other hand, facts are not true or false Instead, they are or they are not See also what is the difference between fact. Finding truths is definitely possible, finding important truths harder For kierkegaard, the point of the claim truth is subjectivity is that anything that is true is true for a subject In other words and in particular, if the christian story is true, then it changes everything for the subject in a way that cannot be overlooked or erased.
Is there such a thing as truth completely independent of conditio. Truth, in the sense you are using it here, is a semantic notion It is not equivalent to proof as you suggest On the other hand, (mathematical) proof is a syntactic notion Gödel's result is essentially saying that semantics cannot be reduced to syntax.
OPEN