One way to get at what I was saying above is that GRTt asserts that all true statements are analyzable into truth-conditions that are purely physical/logical, while GRTm asserts that all meaningful statements are analyzable into truth-conditions that are purely physical/logical. If we analyze “Some properties are not reducible to physics or logic.” into physical/logical truth-conditions, we find that there is no state we can describe on which it is true; so it becomes a logical falsehood, a statement that is false given the empty set of assumptions. Equally, GRTm, if meaningful, is a tautology if we analyze its meaning in terms of its logico-physically expressible truth-conditions; there is no particular state of affairs we can describe in logico-physical terms in which GRTm is false.
But perhaps focusing on analysis into truth-conditions isn’t the right approach. Shifting to your conception of GRTm and GRTt, can you find any points where Eliezer argues for GRTm? An argument for GRTm might have the following structure:
Some sentences seem to assert non-physical, non-logical things.
But the non-physicologicality of those things makes those sentences meaningless.
So non-physicologicality in general probably makes statements meaningless.
On the other hand, if Eliezer is really trying to endorse GRTt, his arguments will instead look like this:
Some sentences seem to be true but non-physicological.
But those sentences are either false or analyzable/reducible to purely physicological truths.
So non-physicological truths in general are probably expressible purely physicologically.
Notice that the latter argumentative approach is the one he takes in this very article, where he introduces ‘The Great Reductionist Project.’ This gives us strong reason to favor GRTt as an interpretation over GRTm, even though viewed in isolation some of his language does suggest GRTm. Is there any dialectical evidence in favor of the alternative interpretation GRTm? (I.e., evidence derived from the structure of his arguments.)
In your latest sequence article, you described the great reductionist thesis as “the proposition that everything meaningful can be expressed this way [i.e. physics and/or logic] eventually.”
Another LWer and I are in a debate over your intention here. One of us thinks that you must mean “everything true (and not necessarily everything false) can be expressed this way”
The other thinks you mean “everything true and everything false (i.e. everything meaningful) can be expressed this way”.
Can you clear this up for us?
EY replied:
Everything true and most meaningful false statements can be expressed this way. Sufficiently confused verbal statements may have no translation, even as a set of logical axioms possessing no model, yet still be operable as slogans. I.e. “Like all members of my tribe, I firmly believe that clams up without no finger inside plus plus claims in the clams without no finger!”
So I replied:
So, just to be super clear (since I’m now losing this argument) you mean that there are statements that are both meaningful and false, but are not expressible in the terms you describe in Logical Pinpointing, Causal Reference, and Mixed Reference?
And he said:
Nope. That statement is meaningless is false.
So I’m actually not much less confused. His first reply seems to support GRTt. His second reply (the first word of it anyway) seems to support GRTm. Thoughts?
Thanks for taking the time to hunt down the facts!
I think “Everything true and most meaningful false statements can be expressed this way.” is almost completely clear. Unless a person is being deliberately ambiguous, saying “most P are Q” in ordinary English conversation has the implicature “some P aren’t Q.”
I’m not even clear on what the grammar of “That statement is meaningless is false.” is, much less the meaning, so I can’t comment on that statement. I’m also not clear on how broad “the terms you describe in Logical Pinpointing, Causal Reference, and Mixed Reference” are; he may think that he’s sketched meaningfulness criteria somewhere in those articles that are more inclusive than “The Great Reductionist Project” itself allows.
I’m also not clear on how broad “the terms you describe in Logical Pinpointing, Causal Reference, and Mixed Reference” are; he may think that he’s sketched meaningfulness criteria somewhere in those articles that are more inclusive than “The Great Reductionist Project” itself allows.
I think that was fairly clear. Each of those articles is explicitly about a form of reference sentences can have: logical, physical, or logicophysical, and his statement of the GRT was just that all meaningful (or in your reading, true) things can be expressed in these ways.
But it occurs to me that we can file something away, and tomorrow I’m going to read over your last three or four replies and think about the GRTt whether or not it’s EY’s view. That is, we can agree that the GRTm view is not a tenable thesis as we understand it.
One possible source of confusion: What is the meaning of the qualifier “physical”? “Physical,” “causal,” “verifiable,” and “taboo-able/analyzable” all have different senses, and it’s possible that for some of them Eliezer is more willing to allow meaningful falsehoods than for others.
Yeah. I’ll re-read his posts, too. In all likelihood I didn’t even think about the ambiguity of some of his statements, because I was interpreting everything in light of my pet theory that he subscribes to GRTt. I think he does subscribe to GRTt, but I may have missed some important positivistic views of his if I was only focusing on the project of his he likes. Some of the statements you cited where he discusses ‘meaning’ do create a tension with GRTt.
You’d just about convinced me, until I reread the OP and found it consistently and unequivocally discussing the question of meaningfulness. So before we go on, I’m just going to PM Eliezer and ask him what he meant. I’ll let you know what he says if he replies.
One way to get at what I was saying above is that GRTt asserts that all true statements are analyzable into truth-conditions that are purely physical/logical, while GRTm asserts that all meaningful statements are analyzable into truth-conditions that are purely physical/logical. If we analyze “Some properties are not reducible to physics or logic.” into physical/logical truth-conditions, we find that there is no state we can describe on which it is true; so it becomes a logical falsehood, a statement that is false given the empty set of assumptions. Equally, GRTm, if meaningful, is a tautology if we analyze its meaning in terms of its logico-physically expressible truth-conditions; there is no particular state of affairs we can describe in logico-physical terms in which GRTm is false.
But perhaps focusing on analysis into truth-conditions isn’t the right approach. Shifting to your conception of GRTm and GRTt, can you find any points where Eliezer argues for GRTm? An argument for GRTm might have the following structure:
Some sentences seem to assert non-physical, non-logical things.
But the non-physicologicality of those things makes those sentences meaningless.
So non-physicologicality in general probably makes statements meaningless.
On the other hand, if Eliezer is really trying to endorse GRTt, his arguments will instead look like this:
Some sentences seem to be true but non-physicological.
But those sentences are either false or analyzable/reducible to purely physicological truths.
So non-physicological truths in general are probably expressible purely physicologically.
Notice that the latter argumentative approach is the one he takes in this very article, where he introduces ‘The Great Reductionist Project.’ This gives us strong reason to favor GRTt as an interpretation over GRTm, even though viewed in isolation some of his language does suggest GRTm. Is there any dialectical evidence in favor of the alternative interpretation GRTm? (I.e., evidence derived from the structure of his arguments.)
Here’s my exchange with EY:
EY replied:
So I replied:
And he said:
So I’m actually not much less confused. His first reply seems to support GRTt. His second reply (the first word of it anyway) seems to support GRTm. Thoughts?
Thanks for taking the time to hunt down the facts!
I think “Everything true and most meaningful false statements can be expressed this way.” is almost completely clear. Unless a person is being deliberately ambiguous, saying “most P are Q” in ordinary English conversation has the implicature “some P aren’t Q.”
I’m not even clear on what the grammar of “That statement is meaningless is false.” is, much less the meaning, so I can’t comment on that statement. I’m also not clear on how broad “the terms you describe in Logical Pinpointing, Causal Reference, and Mixed Reference” are; he may think that he’s sketched meaningfulness criteria somewhere in those articles that are more inclusive than “The Great Reductionist Project” itself allows.
I think that was fairly clear. Each of those articles is explicitly about a form of reference sentences can have: logical, physical, or logicophysical, and his statement of the GRT was just that all meaningful (or in your reading, true) things can be expressed in these ways.
But it occurs to me that we can file something away, and tomorrow I’m going to read over your last three or four replies and think about the GRTt whether or not it’s EY’s view. That is, we can agree that the GRTm view is not a tenable thesis as we understand it.
One possible source of confusion: What is the meaning of the qualifier “physical”? “Physical,” “causal,” “verifiable,” and “taboo-able/analyzable” all have different senses, and it’s possible that for some of them Eliezer is more willing to allow meaningful falsehoods than for others.
Yeah. I’ll re-read his posts, too. In all likelihood I didn’t even think about the ambiguity of some of his statements, because I was interpreting everything in light of my pet theory that he subscribes to GRTt. I think he does subscribe to GRTt, but I may have missed some important positivistic views of his if I was only focusing on the project of his he likes. Some of the statements you cited where he discusses ‘meaning’ do create a tension with GRTt.
My reply to this conversation so far is at:
http://lesswrong.com/lw/frz/mixed_reference_the_great_reductionist_project/8067
You’d just about convinced me, until I reread the OP and found it consistently and unequivocally discussing the question of meaningfulness. So before we go on, I’m just going to PM Eliezer and ask him what he meant. I’ll let you know what he says if he replies.