= 27d567bc2d48d9f40e9ccc20ea370b15)
JoshuaZ comments on Intuitions Aren't Shared That Way - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (237)
If that sort of thing is acceptable, can't I also generate new empirical truths by for example just concatenating existing truths together? Say "The moon orbits the Earth, and George Washington was the first President"? That seems to be very close to what you are doing. Worse, I can use counterfactuals in a similar fashion, so "If homeopathy works then the moon is made out of green cheese" becomes an empirical truth?
There's an argument here that these statements I'm using are mixes of empirical and logical truth, and if one buys into that then it seems like you are correct.
That still will only get you as many truths as there are combinations of empirical facts. A better method is to use disjunction: Since 'The moon orbits the Earth' is true 'The moon orbits the Earth or is a hamster' is true; hence 'Either the moon orbits the earth or is a hamster, or the moon is a hamster' is also true. And so on. Here we do get infinite strings, if we want them. But at this point it's not clear to me that these new truths are 'empirical facts.' If so, then the class of empirical truths is indeed comparable in size to the class of logical truths.
And just how 'empirical' are counterfactuals? I don't know. I try to avoid them when possible. There be dragons.
You could also concatenate truths with themselves. 'The moon orbits the Earth, and the moon orbits the Earth, and the moon orbits the Earth....'
Not in English, I'd say. But you do get an infinite set of finite strings of arbitrary length.
'Rule 338(b) of the English Language: Sentences stop being grammatical when the number of morphemes equals ω₁. Seriously. Don't do that shit. It's obnoxious.'
I'm convinced. Thanks.
Check this out.