[knightoffaith]

>So this is false

In the second argument, could you tell me which of (1) and (2) are incorrect, and why?

If it's the quotes that are problematic, I'm fine to drop those.

The earth is round, regardless of whether people have this idea in their heads or not. You deny this?

>I already gave you the answer to this in the parent comment but you ignored it.

But I didn't disagree that ideas are not made of atoms. What I disagreed with is that propositions only exist insofar as they are conceived.

>(You're in good company. Plato got this wrong too, and he was no dummy. But he didn't have Alan Turing's shoulders to stand on.)

What did Turing do that proved that propositions only exist insofar as they are conceived? Or are you just talking about scientific progress in general?

[lisper]

> The earth is round, regardless of whether people have this idea in their heads or not. You deny this?

No. What I deny is that "the earth is round" and "the proposition 'the earth is round' is true" are identical propositions. The first is a proposition that makes a claim about the roundness of the earth, and the second is a proposition that makes a claim about the truth of a proposition. Those aren't the same thing.

The earth is round whether or not anyone is around to contemplate it (the earth). But "the earth is round" is not true unless someone is around to contemplate it (the proposition).

> What did Turing do that proved that propositions only exist insofar as they are conceived?

That's a long story, and I have to run to a meeting right now. If you really want to know, remind me later. I may need to write a blog post about it.

But forget about propositions for the moment. Do you think that unwritten poems exist?

[knightoffaith]

So, I think if saying "the earth is round" is true and saying the earth is round mean different things, then we haven't construed the former properly, the former should be construed as expressing the same thing as the latter. If it's just a linguistic disagreement, then I think we can set that aside, I'm not very interested in that. The original point was that we can intuit certain things as being true, e.g. that sense-data reflects something about reality, and there's no need to appeal to how useful believing this is or isn't. Like, conceivably, nuclear wars could lead to the annihilation of humanity, but I don't see why that should have any bearing on whether atomic bombs exist or not.