That if people believe that statement and use it to inform their actions, they will be more likely to make useful decisions related to what the statement refers to.What does it mean to say that a statement is true? — A Seagull
Is it, as some assert, that a statement has the property of truth or is it that a statement is merely labelled as true? — A Seagull
("Socrates is mortal",true)
The trouble with asserting that truth is a property of a statement is in finding a logical process by which the property of truth can be identified. — A Seagull
if(T.eval("Socrates is mortal")) then doThis() else doThat() end
Tarski's artificial meta-system fails to answer this question. — A Seagull
Then statements like' this statement is true' make no more sense than 'this statement is blue'. and statements like ' this statement is false' would no longer be problematic. — A Seagull
What does it mean to say that a statement is true? — A SeagullThat if people believe that statement and use it to inform their actions, they will be more likely to make useful decisions related to what the statement refers to. — Coben
When you feed a logic sentence to a theory, you need to provide the two-tuple (┌s┐ ⌜s⌝\ulcorner s\urcorner,s) to the formal system. Example:
("Socrates is mortal",true) — alcontali
Who is 'feeding a logic sentence to a theory'? — A Seagull
What is a 'logic sentence'? - as opposed to a 'non-logic sentence'? — A Seagull
And why does it 'need' a two-tuple? — A Seagull
All too often formal systems and semantic systems are conflated, this is unjustifiable. — A Seagull
Who is 'feeding a logic sentence to a theory'? — A Seagull
The user of the theory.
What is a 'logic sentence'? - as opposed to a 'non-logic sentence'? — A Seagull
A logic sentence evaluates to true or false. A non-logic sentence may evaluate to something else or to nothing at all. Example:
5+3 --> non-logic sentence, because it evaluates to a number.
It is raining now --> logic sentence, because it evaluates to a boolean value. — alcontali
Since we have agreed that the truth of a statement is a label and not a property, how can a statement be 'evaluated' to a truth or falsity? — A Seagull
Predicates are also commonly used to talk about the properties of objects, by defining the set of all objects that have some property in common. So, for example, when P is a predicate on X, one might sometimes say P is a property of X. — Wikipedia on predicates
Even though it would mean exactly the same as the sentence above, the following is not allowed:
truth(┌s1┐ ⌜s1⌝\ulcorner s1 \urcorner) ↔ ↔\leftrightarrow truth(┌s2┐ ⌜s2⌝\ulcorner s2 \urcorner) — alcontali
What does it mean to say that a statement is true? — A Seagull
The truth of a sentence can generally not be determined by the theory. The general case is that it must be externally supplied. — alcontali
Thanks for your very clear exposition of the logic. — unenlightened
What does it mean to say that a statement is true? — A SeagullThat if people believe that statement and use it to inform their actions, they will be more likely to make useful decisions related to what the statement refers to.
— Coben
Yes, this is exactly right. Without this link words, statements and even philosophy are meaningless. — A Seagull
The trouble with asserting that truth is a property of a statement is in finding a logical process by which the property of truth can be identified.(Tarski's artificial meta-system fails to answer this question.) — A Seagull
Generally speaking, I could say that a statement can be considered to be if it can be proved to be in accordance to specific rules, conditions, facts, etc. within a certain frame of reference. More strictly, it must not leave any doubt about its truthfulness --in the same frame of reference-- and it can be proved to be so.What does it mean to say that a statement is true? — A Seagull
The verification of the facts offered as evidence! And this may seem to go ad infinitum. So there must be some agreement --between all parts involved-- at some point, where we must conclude definitely about the truthfulness of the statement! This is how court decisions are made about the innocence or guiltiness of the accused when a jury is involved. — Alkis Piskas
Right. The larger the degree or volume of acceptance or agreement, the more "solid" the truth of a statement --or a matter in general-- is.What the jury says is the truth of the matter is then accepted as the truth by the wider society. — RussellA
Three Classic Objections and Responses — Banno
Obviously Av~A is true and A&~A is false. — A Realist
All 3 cases described in the page of the mentioned link refer to beliefs — Alkis Piskas
Where is there a realist and metaphysical Theory of Truth that is capable of defining the truth of a statement ? — RussellA
"I believe in God" is different than "I assert that God exists". — Alkis Piskas
Truth has to be proven. — Alkis Piskas
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.