I was pleasantly surprised -- I was expecting something far more esoteric and less approachable than this ended up being. Honestly I'm fascinated by the simplicity of this.
But I'm left wondering whether there is much of a practical application for distinguishing the four methods? For example, are there circumstances where you might reasonably be expected to use the consensus method, but you'd be better off using the pragmatic method?
Another thing it leaves on the table is the actual consensus used -- is it possible to judge the functionality or utility of a given consensus vs. another?
There's a lot to think through here and I wanted more. But it's a great start -- a much better start than I expected.
" But I'm left wondering whether there is much of a practical application for distinguishing the four methods? For example, are there circumstances where you might reasonably be expected to use the consensus method, but you'd be better off using the pragmatic method? "
One case would be, where you disagree with the experts because you can think there aren't good experts at all. There have been many disagree if psycho analysis is a good approach of therapy.
Would "pragmatic-universal" and "pragmatic-consensus" count as a fifth and sixth? I.e., "what's useful for the group?" and "what the group thinks is useful for them?"
An example of the first category might be a parent deciding it's better for their kids to believe in Santa Claus. An example of the second is to create a society on some maxim that's rendered true by group-consensus, "everyone should have an equal say."
What a consensus has to say about truth is that people that endorse the consensus will act, at least to some degree, as if they take the consensual claims as truths.
But this is as real as an actor performing the role of a judge. You can make videos of both, and for spectators this will look like there is no fundamental distinction that can be pointed to. And yet, we all understand that they're fundamental differences with significant differences in outcomes.
There is no coherent, constant theory of truth for any language which has the word "truth." This was proven by Tarki ages ago.
The reason is the Liar's paradox. It blows up any such theory of truth. For example, the correspondence theory of truth is blown up with this version of the liar sentence:
"This sentence does not correspond to reality".
Ok, does that sentence correspond with reality, or not? :-)
This is a genuine problem, which nobody has ever found a solution for. See the Stanford encyclopedia article on the liar paradox.
The good news is that we don't need to define truth at all. Just like we don't have to define "point" or "line" in geometry, or "set" in mathematics. These are, as it were, "axiomatic" concepts, which we use to define everything else with. They cannot be defined in terms of anything more basic or simpler, because they are the most basic, simple concepts we have.
Are there examples of self-contradictory statements which aren't strictly self-referential? That is, a statement which expresses a statement about something other than itself, or a small set of closed relations.
Forms I've encountered of the liar's paradox or similar constructions are not deterministically true or false, yes, but they're also not particularly useful. This is problematic if you're trying to come up with a closed, consistent, axiomatic logical system (as Gödel and Russell were each attempting, independently AFAIU), but not so much if you're simply looking to assess statements about the real world, or even a simulation.
chuckle love the handle, and its an interesting point. Let's think about this.
When you say "the entire block after your colon", you are reifying a new object, and then observing that that object is self-referential. For sake of argument, let's say that's a valid move.
But what are the rules to this game? I mean, can I just say "I'm lying" and then, by fiat, construct a new object consisting of me and you, and claim that this new object is self-referential and therefore you are participating in a paradox too?
What about the object which consists of the totality of what the human race has written thus far? Since one of the things we've written is the liar sentence, does that condemn the human race, for all eternity, into hopeless paradox?
That would be the "small set of closed relations" case I'd mentioned above. The system of two statements is self-referential, in that it references nothing outside itself, that is, it only concerns what Allen (presuming "Alen" is a typo) and Bob say, but no other larger-world context.
A somewhat trivial and contrived counterexample might be:
Allen: What Bob is about to say is true and water is wet.
Bob: What Allen just said is false and water is not wet.
Here, we'd have to consider the truth values of both assertions, whether or not what the other party said is true, and whether or not water is wet. Both assertions would have to be true for the full statement to be true, either assertion being false would falsify the combined statement. And it is possible that both statements are false.
> Are there examples of self-contradictory statements which aren't strictly self-referential?
Depends on how you define "strictly" ;-)
"This statement is false" is strictly self-referentially false.
"All absolute statements are false" is kind of indirectly self-referentially false, because it refutes its category, not itself as a statement.
"We can only trust the results pure logic, direct sense impressions, and repeatable experiments" is a statement that is not any of those categories, and so it tells you, not that it's false, but at least that you can't trust that it's true. So that's kind of indirect, first because it's using the category, and second because it's not directly saying it's false.
But, depending on your definitions, none of those may get outside your bounds of "strictly"...
The difference between your two examples is that "This statement is false" is undecidable, as it's false if true and true if false.
"All absolute statements are false" includes itself, but also other statements. It's more akin to the notion of "the set of all sets that do not include themselves". That is to some extent solipsistic and tautological, in that the truth of the statement is defined by the statement itself, rather than on some exogenous state of the world. Much as "non-lactating mammal" or "spineless vertebrate" would also be dependent on definitions (mammals are lactating animals, vertebrates are animals having a spinal column).
This paradox in all it forms relies on the convention that a part can stand for the whole, which concept is itself trivially false (or merely conventional.)
The only case where the "paradox" is not symbolic mummery is in the case of "yourself", when a human makes a statement regarding that human's essential identity. (E.g. "I am" or just "I", is the simplest form.)
In that case the Buddhists and others have determined experientially that there is no essential self, it is an illusion, if "you" go searching for it there is nothing there.
This leaves us with the "mystery" of subjective awareness. Fortunately there is nothing meaningful to say about subjective awareness (including "this" statement) whatsoever, so it offers no challenge to the logician or semanticist.
The "Truth" is a perturbation of Existential Reality.
The "truth" is a figment of mind, of which "integrity" is a measure of consistency between the two.
From this one may say that any "truth" (you say so) that is somehow not consistent with Truth (as reducible by our perceptions, then sense of logic, then best motive, etc.) exists only in the void of lie. Anyone may tell themselves anything, until it is in conflict with feedback from existential reality.
A mistaken interpretation of the first model of truth given, is the distinction that Truth is True whether or not a human perceives it.
Philosophy then wonders if our human minds have the ability to conceive it (true truth).
For those interested in further exploration, Wikipedia has a good section on theories of truth (there are more than the four mentioned at imfeld.dev here):
23 comments
[ 2.9 ms ] story [ 66.5 ms ] threadBut I'm left wondering whether there is much of a practical application for distinguishing the four methods? For example, are there circumstances where you might reasonably be expected to use the consensus method, but you'd be better off using the pragmatic method?
Another thing it leaves on the table is the actual consensus used -- is it possible to judge the functionality or utility of a given consensus vs. another?
There's a lot to think through here and I wanted more. But it's a great start -- a much better start than I expected.
One case would be, where you disagree with the experts because you can think there aren't good experts at all. There have been many disagree if psycho analysis is a good approach of therapy.
And the consensus and pragmatic theories are not about truth, they are about consensus and usefulness, which are different things.
An example of the first category might be a parent deciding it's better for their kids to believe in Santa Claus. An example of the second is to create a society on some maxim that's rendered true by group-consensus, "everyone should have an equal say."
But this is as real as an actor performing the role of a judge. You can make videos of both, and for spectators this will look like there is no fundamental distinction that can be pointed to. And yet, we all understand that they're fundamental differences with significant differences in outcomes.
There is no coherent, constant theory of truth for any language which has the word "truth." This was proven by Tarki ages ago.
The reason is the Liar's paradox. It blows up any such theory of truth. For example, the correspondence theory of truth is blown up with this version of the liar sentence:
"This sentence does not correspond to reality".
Ok, does that sentence correspond with reality, or not? :-)
This is a genuine problem, which nobody has ever found a solution for. See the Stanford encyclopedia article on the liar paradox.
The good news is that we don't need to define truth at all. Just like we don't have to define "point" or "line" in geometry, or "set" in mathematics. These are, as it were, "axiomatic" concepts, which we use to define everything else with. They cannot be defined in terms of anything more basic or simpler, because they are the most basic, simple concepts we have.
Forms I've encountered of the liar's paradox or similar constructions are not deterministically true or false, yes, but they're also not particularly useful. This is problematic if you're trying to come up with a closed, consistent, axiomatic logical system (as Gödel and Russell were each attempting, independently AFAIU), but not so much if you're simply looking to assess statements about the real world, or even a simulation.
Alen: What Bob is about to say is true.
Bob: What Allen just said is false.
When you say "the entire block after your colon", you are reifying a new object, and then observing that that object is self-referential. For sake of argument, let's say that's a valid move.
But what are the rules to this game? I mean, can I just say "I'm lying" and then, by fiat, construct a new object consisting of me and you, and claim that this new object is self-referential and therefore you are participating in a paradox too?
What about the object which consists of the totality of what the human race has written thus far? Since one of the things we've written is the liar sentence, does that condemn the human race, for all eternity, into hopeless paradox?
A somewhat trivial and contrived counterexample might be:
Allen: What Bob is about to say is true and water is wet.
Bob: What Allen just said is false and water is not wet.
Here, we'd have to consider the truth values of both assertions, whether or not what the other party said is true, and whether or not water is wet. Both assertions would have to be true for the full statement to be true, either assertion being false would falsify the combined statement. And it is possible that both statements are false.
Depends on how you define "strictly" ;-)
"This statement is false" is strictly self-referentially false.
"All absolute statements are false" is kind of indirectly self-referentially false, because it refutes its category, not itself as a statement.
"We can only trust the results pure logic, direct sense impressions, and repeatable experiments" is a statement that is not any of those categories, and so it tells you, not that it's false, but at least that you can't trust that it's true. So that's kind of indirect, first because it's using the category, and second because it's not directly saying it's false.
But, depending on your definitions, none of those may get outside your bounds of "strictly"...
"All absolute statements are false" includes itself, but also other statements. It's more akin to the notion of "the set of all sets that do not include themselves". That is to some extent solipsistic and tautological, in that the truth of the statement is defined by the statement itself, rather than on some exogenous state of the world. Much as "non-lactating mammal" or "spineless vertebrate" would also be dependent on definitions (mammals are lactating animals, vertebrates are animals having a spinal column).
The only case where the "paradox" is not symbolic mummery is in the case of "yourself", when a human makes a statement regarding that human's essential identity. (E.g. "I am" or just "I", is the simplest form.)
In that case the Buddhists and others have determined experientially that there is no essential self, it is an illusion, if "you" go searching for it there is nothing there.
This leaves us with the "mystery" of subjective awareness. Fortunately there is nothing meaningful to say about subjective awareness (including "this" statement) whatsoever, so it offers no challenge to the logician or semanticist.
Who is is being fooled by this illusion?
Operationally, dwelling on that question is the short, wide path to Enlightenment.
https://en.wikipedia.org/wiki/Self-enquiry
The "truth" is a figment of mind, of which "integrity" is a measure of consistency between the two.
From this one may say that any "truth" (you say so) that is somehow not consistent with Truth (as reducible by our perceptions, then sense of logic, then best motive, etc.) exists only in the void of lie. Anyone may tell themselves anything, until it is in conflict with feedback from existential reality.
A mistaken interpretation of the first model of truth given, is the distinction that Truth is True whether or not a human perceives it.
Philosophy then wonders if our human minds have the ability to conceive it (true truth).
<https://en.wikipedia.org/wiki/Truth#Major_theories>
And of course the Stanford Online Encyclopedia of Philosophy, which has an extensive article on Truth:
<https://plato.stanford.edu/entries/truth/>
(As noted at the link, Truth was substantially revised on Thursday, 16 August, 2018, which absolutely tickles me.)