Alicorn comments on Light Arts - Less Wrong

13 Post author: Alicorn 06 November 2009 03:54AM

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

Comments (43)

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

Comment author: Alicorn 06 November 2009 02:45:14PM 2 points [-]

We don't have to understand the universe completely to be very confident that it contains no contradictions. If the laws as we understand them are not self-consistent, then we have reason to reject them - we just might, until we have better alternatives, have stronger reason to keep them around.

Comment author: Vladimir_Nesov 07 November 2009 11:44:09AM *  0 points [-]

If the universe "contained contradictions", what would it look like? What does this property mean, and how could it be observed?

Comment author: Alicorn 07 November 2009 01:31:30PM 3 points [-]

It wouldn't look like anything, doesn't mean anything, and couldn't be observed. You can't speak counterfactually about universes with contradictions in them without being incoherent, because no possible world contains contradictions.

Comment author: Zack_M_Davis 07 November 2009 06:23:59PM 2 points [-]

Yes, but given that we're not logically omniscient, it seems like it would be awfully useful to also have a weaker concept of coherence for discussing practical affairs. Otherwise I fear we wouldn't be allowed to talk about counterfactuals at all, for who among us is wise enough to prove that a purported possible world doesn't contain any hidden contradictions?

Comment author: Jack 07 November 2009 11:05:58PM 1 point [-]

'Descriptions' that claim to describe possible worlds can contain contradictions. But such descriptions don't describe anything, they're just words.

Comment author: Douglas_Knight 09 November 2009 04:35:09AM 1 point [-]

'Descriptions' that claim to describe possible worlds can contain contradictions. But such descriptions don't describe anything, they're just words.

Maybe they don't describe anything, but that doesn't make them "just words." To be concrete, QED is, to the best of my ability to wrest information from physicists, inconsistent; yet it remains "the most accurate physical theory."

Comment author: Jack 09 November 2009 04:53:56AM *  1 point [-]

I don't know enough to deal with the counter example. How does QED contradict itself?

Comment author: Vladimir_Nesov 07 November 2009 10:59:22PM 1 point [-]

Here, again you say "contains contradictions", as if it means anything.

Comment author: byrnema 08 November 2009 04:08:01AM *  0 points [-]

Indeed, there is something about the phrase that doesn't mean anything. Perhaps because contradiction exactly means 'not possible' (thus 'not contained'). So that if there ever was a 'contradiction' actually realized in reality, then we would just need to look to reality to see how the 'contradiction' was possible after all.

A contradiction comes about when you have a list of things that are true (A=B, B=C, ...) and somewhere in the list you find something (A~=C) that reduces to B=~B for some B.

Can a universe be possible where B and ~B are both true for some B?

Sometimes I feel like this is the universe we live in already, for exactly the kinds of things where "true" doesn't mean anything. The 'contradictions are impossible' rule doesn't apply to them. So, circularly, that's why true doesn't mean anything for them. So we might deduce something along the lines of truth and logic have meaning for a statement B IFF B and ~B are not simultaneously true/possible.

Comment author: Vladimir_Nesov 08 November 2009 11:16:26AM 1 point [-]

"Things" in reality aren't "true" or "false" outside the context of specific logical tools. In particular, consistency is a property of (some of the) logical systems, considered as a good heuristic for developing ones that are interesting (formally, consistency alone doesn't make a system "good": indeed, a consistent system may even prove false formulas!). For logical systems, it does make sense to talk about which ones are consistent and which ones are not.