- Please post all quotes separately, so that they can be upvoted or downvoted separately. (If they are strongly related, reply to your own comments. If strongly ordered, then go ahead and post them together.)
- Do not quote yourself.
- Do not quote from Less Wrong itself, HPMoR, Eliezer Yudkowsky, or Robin Hanson. If you'd like to revive an old quote from one of those sources, please do so here.
- No more than 5 quotes per person per monthly thread, please.
- Provide sufficient information (URL, title, date, page number, etc.) to enable a reader to find the place where you read the quote, or its original source if available. Do not quote with only a name.
I'm curious about this "liquid water is wet" statement. Obviously I agree, but for the sake of argument, could you taboo "is" and tell me the statement again? I'm trying to understand how your algorithm feels from the inside.
If you're curious how to quantify fractions of statements, you might enjoy this puzzle I heard once. Suppose you're an ecological researcher and you need to know the number of fish in a large lake. How would you get a handle on that number?
One of the parts of "liquid water is wet" is that a droplet of it will spread out on many common surfaces - salt, paper, cotton, etc. Yes, it is a bit tricky to unpack what is meant by"wet" - perhaps some other properties, like not withstanding shear are also folded in - but I don't think that it is just a tautology, with "wet" being defined as the set of properties that liquid water has.
Re the catch/count/mark/release/recapture/count puzzle - the degree to which that is feasible depends on how well one can do (reasonably) unbiased sampling. I'm skeptical that that will work well with the set of testable statements that one is automatically certain of.