amcknight comments on The Useful Idea of Truth - Less Wrong

77 Post author: Eliezer_Yudkowsky 02 October 2012 06:16PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (513)

You are viewing a single comment's thread. Show more comments above.

Comment author: amcknight 02 October 2012 10:49:01PM 3 points [-]

I think this includes too much. It would includes meaningless beliefs. "Zork is Pork." True or false? Consistency seems to me to be, at best, a necessary condition, but not a sufficient one.

Comment author: Jonathan_Elmer 04 October 2012 02:04:52AM 1 point [-]

Could you give me an example of a belief that is consistent with reality but false?

Comment author: shokwave 04 October 2012 06:23:53PM 1 point [-]

I take "consistent" to mean roughly "does not contain a contradiction", so "a belief that is consistent with reality" would mean something like "if you take all of reality as a collection of facts, and then add this belief, as a fact, to that collection, the collection won't contain a contradiction." It seems to me, if this is a fair representation of the concept, that some beliefs about the future are consistent with reality, but false. For example:

Humanity will be mining asteroids in 2024.

This is consistent with reality: there is at least one company talking about it, there are no obvious impossibilities (there are barriers, but we recognise they can be overcome with engineering)... but it's very probably false.

Comment author: amcknight 04 October 2012 04:59:51AM 1 point [-]

I'm definitely having more trouble than I expected. Unicorns have 5 legs... does that count? You're making me doubt myself.

Comment author: Jonathan_Elmer 04 October 2012 06:10:17AM 0 points [-]

Cool. : )

Is "Unicorns have 5 legs" consistent with reality? I would be quite surprised to find out that it was.

Comment author: amcknight 04 October 2012 05:44:41PM 0 points [-]

Well it doesn't seem to be inconsistent with reality.

Comment author: DaFranker 04 October 2012 06:02:15PM 0 points [-]

It doesn't even have any referents to reality. It's not even a statement about whatever "reality" we live in, to the best of my knowledge. If it does mean five-leggedness of unicorn creatures with the implication of the existence of possible-existence of such creatures in reality, then it is false, but it's inconsistent with what we know of reality, since there's no way such a creature would exist.

...I think, anyway. Not quite sure about that second part.

Comment author: Jonathan_Elmer 05 October 2012 02:14:22AM -1 points [-]

The non-existence of unicorns makes the claim that they have legs, in whatever number, inconsistent with reality.

Comment author: Matt_Simpson 04 October 2012 06:47:52PM *  0 points [-]

Counterfactuals? If there's a unicorn on Mars, then I'm the president. Though it depends on what gets included in the term "reality."

Comment author: wedrifid 04 October 2012 07:26:03PM *  1 point [-]

Could you give me an example of a belief that is consistent with reality but false?

Counterfactuals? If there's a unicorn on Mars, then I'm the president. Though it depends on what gets included in the term "reality."

Neither of those things are examples of beliefs that are consistent with reality but false. The belief "If there's a unicorn on Mars, then I'm the president" is true, consistent with reality but also utterly worthless.

Counterfactuals are also not false. (Well, except for false counterfactual claims.) A (well formed) counterfactual claim is of the type "Apply this specified modifier to reality. If that is done then this conclusion will follow.". Such claims can be true, albeit somewhat difficult to formally specify.

Comment author: Matt_Simpson 04 October 2012 10:04:54PM 2 points [-]

Counterfactuals are also not false. (Well, except for false counterfactual claims.) A (well formed) counterfactual claim is of the type "Apply this specified modifier to reality. If that is done then this conclusion will follow.". Such claims can be true, albeit somewhat difficult to formally specify.

I didn't mean that all counterfactuals are false, I meant a specific example of a counterfactual claim that is false - e.g. If you put a unicorn on Mars, then I'll become president (which expresses the example I meant to give in the grandparent, not a logical if-then).

(Apologies for not clearly saying that)

Comment author: wedrifid 05 October 2012 12:04:47AM *  0 points [-]

Thankyou, I understand what you are saying now.

For what it is worth I would describe that counterfactual claim as inconsistent with reality and false. That is, when instantiating the counterfactual using the counterfactual operation as reasonably as possible it would seem that reality as I know it is not such that the modified version would result in the consequences predicted.

(Note that with my understanding of the terms in question I think it is impossible to have something consistent with reality and false so it is unsurprising that given examples would not appear to me to meet those criteria simultaneously.)

Comment author: Matt_Simpson 05 October 2012 04:42:40AM 1 point [-]

Yeah, I think I agree after thinking about it a bit - I mean, why wouldn't we define the terms that way?

Comment author: Larks 03 October 2012 09:49:50AM 1 point [-]

Better example, maybe: the continuum hypothesis

Comment author: Peterdjones 03 October 2012 10:03:56AM *  0 points [-]

Mutualy inconsistent statements can be consistent with known facts, eg Lady MacBeth had 2 chidren, Ldy MacBeth had 3 children...but that just exposes the problem with correspondence. if it isn't consistency...what is it?

Comment author: Jonathan_Elmer 03 October 2012 02:09:37AM 0 points [-]

Tell me what Zork is and i'll let you know. : )

Comment author: Pavitra 05 October 2012 03:26:32AM 1 point [-]

Zork is a classic computer game (or game series, or game franchise; usage varies with context) from c.1980.