You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Carinthium comments on Skepticism about Probability - Less Wrong Discussion

-8 Post author: Carinthium 27 January 2014 09:49AM

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

Comments (129)

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

Comment author: Carinthium 27 January 2014 01:33:08PM 0 points [-]

I know it's not self-evident that we don't with certainty (and I said argument, not experiment), but I'm not trying to get to the conclusion we don't live in such a simulation- only that it is improbable.

Comment author: Gurkenglas 27 January 2014 05:15:05PM 0 points [-]

Simple: The fact that we don't see strange things happening is bayesian evidence that we don't live in a world where that is possible.

Comment author: Carinthium 28 January 2014 02:25:32AM 0 points [-]

As I already mentioned, it is probability itself which must be justified in the first place. How do you do that?

Comment author: Gurkenglas 29 January 2014 12:56:37AM *  0 points [-]

What assumptions am I granted? Can't argue anythin' from nuthin'. Even "I think" is an assumption if logic is.

Comment author: Carinthium 29 January 2014 02:16:28AM 0 points [-]

This is the problem which must be dealt with. Rather than assume an assumption must be correct, you must somehow show it will work even if you start from no assumptions.

Comment author: Gurkenglas 29 January 2014 08:24:03AM *  0 points [-]

Your universal propositional calculus might not be able to generate that proposition, but my calculus can easily prove: Yours won't generate any propositions if it has no axioms.

Comment author: Carinthium 30 January 2014 03:24:21AM 0 points [-]

This is precisely the problem. I was posting in the hopes of finding some clever solution to this problem- a self-proving axiom, as it were.