All of metaphysicist's Comments + Replies

You've got quite a lot of negative responses to your formatting, not a single positive response (correct me if I am wrong), yet you still persist and speculate about status reasons.

I just found it curious: I've addressed typography issues in a blog posting, "Emphasis by Typography."

I have to say I'm surprised by your tone; like you're accusing me of some form of immorality for not being attentive to readers. This all strikes me as very curious. I read Hanson's blog and so have gotten attuned to status issues. I'm not plotting a revolution ove... (read more)

4prase
Sorry for the perceived tone, it wasn't my intention to accuse you of anything immoral (although I think you aren't being much attentive to readers, but that is hardly immoral). I was mainly trying to say that violating the local aesthetic code against the disagreement of everybody who cares to voice their opinion is instrumentally bad. Even if you think that your style makes communication easier, the disagreement of others is a strong piece of evidence that it doesn't, at least with the LW audience. As aesthetic preferences are usually difficult to explain or even describe, I probably cannot provide a deep reason why your style is unwelcome. Few particular things I find annoying: 1. I like stylistic unity, so when everything on the site is one style and one post is another style (yet all the surroundings are original), it is the one post which I perceive odd by default 2. too many fonts; you have a normal LW headline, then a link in some serifed font, then one paragraph in the standard LW sans-serif font, then the rest of the article in another sans-serif font (or perhaps the same but different size) 3. the section headlines are larger than the main headline (aaargh!) 4. blank line missing between sections 1 and 2, other sections are separated by blank lines 5. the grey background, which is only slightly different from the standard white background and (aargh again) surprisingly missing in the first paragraph and at some (but not all) blank lines; the most annoying thing is that it forms visual boxes which unite the body of a section with the headline of the following section 6. the red emphasis; on first reading I tend to interpret red not as emphasis, but rather as a text marked for further revision or deletion in a draft Originally I thought that these "features" accidentally arose when you had copied the text from elsewhere. Now when you are defending the typography, I am curious whether you really have a reason for them all, especially no. 5.

Thank your for the astute response.

1.You say that the points are brutely distinguishable and later you say that they are indistinguishable, which nevertheless you hold to be different properties.

The points are brutely distinguishable, but the sets aren't.

2.Why are the sets indistinguishable? Although I don't particularly understand what predicates you allow for brutely distinguishable entities, it seems possible to have X = set of all brutely distinguishable points (from some class) and Y = set of all brutely distinguishable points except one. It i

... (read more)
1prase
Why? It doesn't follow. (As a trivial case, imagine that there are only two brutely distinguishable things in the world.) (Assuming that by "infinite sets with brutely distinguishable elements" you mean "set with infinitely many b.d. elements".) Also, you say that sets are distinguishable whenever there is a predicate which applies to one and doesn't apply to another. That is, X and Y are distinguishable iff for some P, P(X) and not P(Y). Right? But then you argue as if the only allowed predicates were those about cardinality. To closely follow your example, let's denote X = "the former set containing infinitely many b.d. points" and Y = "the latter set containing all those points plus the additional one which 'popped into existence'". Then we have a predicate P(Z) = "Z is a subset of X", and P(X) holds while P(Y) doesn't. What's wrong here? Your aesthetics are incompatible with most of the readers. You've got quite a lot of negative responses to your formatting, not a single positive response (correct me if I am wrong), yet you still persist and speculate about status reasons. Even if it were true, I'd suggest taking the readers' preferences more seriously, if you want the readers take you more seriously. To me, coloured text really doesn't seem more legible than bold or italics. Moreover I like when a website has a unified colour scheme which your colours break. All violations of local arbitrary design norms are distracting; the posts aren't art, therefore aesthetics shouldn't trump practical considerations. But if you really that much insist on using colours for emphasis (but consider there may be colourblind people reading this), please at least use the same font and background colour as everybody else.

What makes you think there's some equivocation in my usage of "exists"? (Which is where taboo is useful.) If I were pushing the boundaries of the concept, that would be one thing. I'm not taking any position on whether abstract entities exist; what I mean by exist is straightforward. If the universe has existed for an infinite amount of time, the infinity is "actually realized," that is, infinite duration is more than an abstract entity or an idealization. If I say, the universe is terribly old, so old we can approximate it by regarding it as infinitely old, then I am not making a claim about the actual realization of infinity.

some quite smart people disagree on the meaning of this term

We have an apparently very deep philosophical difference here. Some "quite smart people" have offered different accounts of existence: Quine's, that we are committed to the existence of those variables we quantify over in our best theory, comes to mind. My use of "exists" is ordinary enough that most any reasonable account will serve. I think the intuition of "existence" is really extremely clear, and we argue about accounts, not concepts. Existence is very simple

M... (read more)

0Shmi
If that's what you think, maybe you are on a wrong site then.
9ewang
If you're going to dodge defining existence, please at least clarify your point by telling us which of these things "exist": a) irrational numbers b) sets c) postmodernism d) the number of Langford pairings of length 100 e) negative numbers f) quaternions
Shmi130

This is the worst answer possible, given that some quite smart people disagree on the meaning of this term, and it renders your post meaningless. Consider rereading Skill: The Map is Not the Territory for one possible answer.

If you're not sure of the "brute distinguishability" concept, I've conveyed something, because it is the main novelty in my argument.

Where can i find out what "near-type" means here?

It refers to "near-mode," which is jargon in construal-level theory for "construed concretely." So in context, it means direct and involving personal experience, as opposed to reading or discussing abstractly.

Robin Hanson applies construal-level theory speculatively in numerous posts at Overcoming Bias. A concise summary of construal-level theory can be found in my posting "Construal-level theory: Matching linguistic register to the case's granularity.".

1t-E
Thank you. For now i'll work with your explanation for this context specifically.

What state of affairs is "correspondence theory is true" congruent with?

The concept of scientific truth--the concept used by scientists--is the state of affairs some correspondence theories purport to be congruent with.

That's an excellent argument if it's the case that correspondence theory is not the sort of thing allowed to have truth values under correspondence theory. Why do you say it's not?

0TheOtherDave
Well, using pragmatist's cited definition of correspondence theory, a proposition is true if and only if it bears some sort of congruence relation to a state of affairs that obtains. What state of affairs is "correspondence theory is true" congruent with? I can't think of any. If you can, I'll happily be convinced my argument doesn't hold, but basically it seems to me that correspondence theory lays out a framework for thinking about truth, just as governmental constitutions lay out a framework for thinking about law. Correspondence theory itself is no more true (or false) than constitutions are legal (or illegal).

Theories using Piercian concepts are today usually termed antirealist or instrumentalist.

0Cthulhoo
Thank you, this is turning out a lot of material that I will definitely read.

Tabooing "truth", one can see that the theories really speak about (slightly) different concepts.

Then, you would merely choose which of the concepts is the one needed for a particular theoretical purpose. Right?

Wrong! The arguments go to the concepts' coherence. This is why it's philosophy, not lexicography.

For example, a correspondence theorist generally argues that the notion of an epistemological limit to which scientific findings converge need not exist and can never be established empirically. If correspondence theory is true, you aren't... (read more)

1Cthulhoo
Ok, this starts to sound more interesting, thank you for the reply. I tried to briefly google for "Piercian limit", though and it didn't turn out anything relevant. Any quick reference?
0TheOtherDave
(blink) If I accept acorrespondence theory of truth, it seems that correspondence theory is not the sort of thing that is allowed to have a truth value. And if I reject a correspondence theory of truth, then I ought not believe that correspondence theory is true. So it seems that "correspondence theory is true" is necessarily false. No?

me: A "p-zombie" "behaves" the same way we do, but does a p-zombie believe it has qualitative awareness?

To be precise about the value of the belief/intuition concept in accounting for the illusion that qualia exist—one defect in the zombie thought experiment is that it prompts the attitude: maybe I can't prove that you're not a zombie, but I sure as hell know I'm not one!

The zombie experiment imposes a consistent outside view; it seems to deny the evidence of "personal experience" by fiat—because it simply doesn't address w... (read more)

Sophistry. It's madness to say that the blue isn't actually there. But this is tempting for people who like the science we have, because the blue isn't there in that model of reality.

If by blue you mean--as you do--the purely subjective aspect of perceiving the color blue (call that "blue"), then it's only madness to deny it exists if you insist on confusing blue with "blue." No one but a madman would say blue doesn't exist; no philosopher should be caught saying "blue" exists.

If you can show a causal role for pure experien... (read more)

0Mitchell_Porter
I was actually talking more about the deduction that experiences are causally downstream from physical stimulation of sense organs, and causally upstream from voluntary motor action. This deduction is made because the physical brain is in that position; the physical causal sequence matches up with the subjectively conceived causal sequence "influences from outside me -> my experiences -> my actions"; so one supposes that experiences are in the brain and relevant to "physical" causality. To say that these entities have abstract structure, is not to say that that is the whole of their being. I am only emphasizing how qualia, and things made out of qualia, can be part of a mathematically characterized fundamental physics. The mathematical theory would talk about a causal network of basic objects characterized with the abstruseness typical of such theories - e.g. as combinations of elements of an algebra - and some of those objects would in reality be qualia. If you were then to ask "what makes one of those objects blue? what makes it look blue?" - those are questions which could not be answered solely on the mathematical level, which doesn't even talk about blue, only about abstracted structural properties and abstracted causal roles. They could only be tackled in a fuller ontological context, where you say "this entity from the theory is an experience, this property is the property of being blue, this process is the experiencing of blue", and so on. It's like the difference between doing arithmetic and talking about apples. You can count apples, and numbers can be calculational proxies for groups of apples, but apples aren't numbers and talking about numbers isn't really the same thing as talking about apples. These abstracted propositions would only belong to the mathematical part of a theory of causally efficacious physical qualia, and that's not the whole theory, in the same way that arithmetic statements about how many apples I have, are not my whole "theory of

You may be omitting or misunderstanding the role of the concept of belief in my account. The role of that concept is original in this account (and novel, to the best of my less-than-comprehensive knowledge).

A "p-zombie" "behaves" the same way we do, but does a p-zombie believe it has qualitative awareness? If it does, then there's no distinction between humans and p-zombies, but the antimaterialists who came up with the p-zombie thought experiment were of the persuasion that belief is as meaningless a concept for materialists as is qual... (read more)

0TheAncientGeek
But I am a falliblist about my qualia.....

Is your position the same as Dennett's position (summarized in the second paragraph of synopsis here)?

Let me try to answer more succinctly. Dennett and I are concerned with different problems; Dennett's is a problem within science proper, while mine is traditionally philosophical. Dennett's conclusion is that "qualia" don't provide introspective access to the functioning of the brain; my conclusion is that our common intuition concerning the existence of qualia is incoherent.

Is your position the same as Dennett's position (summarized in the second paragraph of synopsis here) ?

I agree with Dennett that qualia don't exist. I disagree that the concept of qualia is basically a remnant of an outmoded psychological doctrine; I think it's an innate idea.

Dennett can be criticized for ignoring the subjective nature of qualia. He shows, for example, that reported phenomenal awareness is empirically bogus in that it doesn't correspond to the contents of working memory. I'm concerned with accounting for the subjective nature of the qualia concept.

Dennett basically thinks qualia are empirically falsifiable; I think the concept is incoherent.

[This comment is no longer endorsed by its author]Reply

"If nothing exists, I want to know how the nothing works and why it seems to be so highly ordered."

If qualia are explained by our innate intuitions (or beliefs)—propositional attitudes—then two questions follow about "how it works":

  1. What is the propositional content of the beliefs?

  2. What evolutionary pressures caused their development?

I make some conjectures in another essay.

-1Peterdjones
Qualia might be beliefs instead of qualia. Matter might be qualia instead of matter.

If one accepts the principle of identity of indistinguishable, then it follows that quarks or points must be distinguishable (since they can be non-identical)

I accept the principle, but I think it isn't relevant to this part of the problem. I can best elaborate by first dealing with another point.

There is no separate criterion for the identity of sets which leads to the conclusion that Q is identical to Q\Bob, so we do not have a contradiction

True, but my claim is that there is a separate criterion for identity for actually realized sets. It arises ... (read more)

Here's my interpretation of what you're saying: Let the set of all quarks be Q, and assume Q has infinite elements. Now pick a particular quark, let's call it Bob, and remove it from the set Q. Call the new set thus formed Q\Bob. Now, it's true that Q\Bob has the same number of elements as Q. But your claim seems to be stronger, that Q\Bob is in fact the same set as Q. If that is the case, then Q\Bob both is and isn't the set of all quarks and we have a contradiction. But why should I believe Q\Bob is identical to Q?

Because there is no difference betwee... (read more)

1pragmatist
If Q genuinely has infinite cardinality, then its members cannot all be equal to one another. If you take, at random, any two purportedly distinct members of Q u and w, then it has to be the case that u is not equal to w. If the members were all equal to each other, then Q would have cardinality 1. So the members of Q have to be distinguishable in at least this sense -- there needs to be enough distinguishability so that the set genuinely has cardinality infinity. If you can actually build an infinite set of quarks or Platonic points, it cannot be the case that any arbitrary quark (or point) is identical to any other. If one accepts the principle of identity of indistinguishable, then it follows that quarks or points must be distinguishable (since they can be non-identical). But you need not accept this principle; you just need to agree with me that the members of the set Q cannot all be identical to one another. Now, the criterion for identity of two sets A and B is that any z is a member of A if and only if it is a member of B. In other words, take any member of A, say z. If A = B you have to be able to find some member of B that is identical to z. But this is not true of the sets Q and Q\Bob. There is at least one member of Q which is not identical to any member of Q\Bob -- the member that was removed when constructing Q\Bob (which, remember, is not identical to any other member of Q). So Q is not identical to Q\Bob. There is no separate criterion for the identity of sets which leads to the conclusion that Q is identical to Q\Bob, so we do not have a contradiction. Believe me, if there was an obvious contradiction in Zermelo-Fraenkel set theory (which includes an axiom of infinity), mathematicians would have noticed it by now.

Only if your conscience exacts no penalties for lying.

I take issue with your translation at only a single point:

Having made this solemn vow, I now ask you to bring me an infinite set of quarks (note that I do not specify which quarks, for that would violate my vow!). You oblige, and provide me with a set called S.

My version contains a further constraint: When you ask me to bring you an infinite set of quarks, you instruct me to be as blind as you to the features that distinguish between quarks.

The response to this argument is that because I've blinded myself to the differences between quarks, I've lost

... (read more)
1The_Duck
I'm making progress then. :) No. If what you gathered is a proper subset of what you could have gathered, then you didn't gather all the quarks, and you're not justified in claiming that you did. How did you decide to leave out that one other quark? You must have made a distinction between it and the others that you did gather. Of course there is. The superset contains a quark that the subset doesn't. If you refuse to notice the differences that single that quark out from the others, that's your loss. I think that maybe you're trying not to distinguish between quarks, but are implicitly distinguishing between "quarks that you know about" and "quarks that you don't know about." So you might assemble all the quarks you know about--an infinite number--and not have any evidence that this isn't all the quarks there are. But later, you worry, you might find some other quarks that you didn't know about before, so that your original set didn't actually contain all quarks. This is not contradictory. If there was a chance that there existed quarks you didn't know about, then you weren't justified in saying that you had gathered all the quarks. It does. If you're not at the top of the hierarchy, you haven't gathered all the quarks. And you can't justify claiming that you're at the top of the hierarchy by blinding yourself to evidence that would prove otherwise.

Suppose I restate your argument for integers instead of quarks...

We don't need to assume there are infinitely many integers, only that integers are unlimited. Some Platonists may think that an infinite set of integers is realized, and I think the arguments does pertain to that claim.

As I mentioned above, we can form infinite sets of integers that do not include all integers, for example the set of even numbers, so the argument cannot be valid when it's made about integers. What about the argument makes it valid for quarks but not for integers? I imagi

... (read more)
2The_Duck
OK, suppose I grant this. I now feel like I might be able to formulate your argument in my own words. Here's an attempt; let me know if and when it diverges from what you're actually arguing. -- "Suppose I have sworn to give up the hateful practice of discriminating between quarks based on their differences. Henceforth I shall treat all quarks as utterly indistinguishable from one another. Having made this solemn vow, I now ask you to bring me an infinite set of quarks (note that I do not specify which quarks, for that would violate my vow!). You oblige, and provide me with a set called S. "I inspect the set S and try to see whether it's different from the set of all quarks, which we call Q. First I look at the cardinalities of S and Q. If their cardinalities were different, then obviously S and Q would be different sets. But their cardinalities are the same. Next I look for a quark that is contained in Q, but not contained in S. If there were such an element, then obviously S and Q would be different sets. But in order to successfully find such an element, I would have to make use of the distinctions between quarks. After all, how would I know that a given quark was in Q, but not in S? I would have to show that the quark in Q was distinct from each quark in S, but I have agreed to regard all quarks as indistinguishable. Therefore my search for an element of Q that is not in S will fail. I conclude that the set S is the same as the set Q. That is the set you gave me must be the set of all quarks. "But this conclusion is obviously wrong. All I asked you for was an infinite set of quarks. There are many infinite sets of quarks, not all of which are the same as Q, the set of all quarks. You might have left some quarks out of S, and still provided me with an infinite set of quarks, which was all I asked for. "Therefore we have a contradiction: I have proved something that is not necessarily true. Therefore the set of quarks cannot be infinite." -- The response to

By default, sets are different. You can't argue "two sets are the same because they have the same cardinality and we don't know anything else about them"

Sets with different elements are different. But, unfortunately for actually realized infinities, you can argue that two sets with different elements are the same when those infinite sets are actually realized--but only because actually realized infinities are incoherent. That you can argue both sides, contradicted only by the other side, is what makes actual infinity incoherent.

You can't defea... (read more)

1The_Duck
Suppose I restate your argument for integers instead of quarks: "If there are infinitely many integers, then I can form an infinite set of integers. That set includes all the integers, since there can be no set of the same cardinality that's greater and because, from the bare description, "integers," I have no basis for establishing a subset/superset relationship (HT JoshuaZ) within the set of integers. [I don't follow this sentence, so I've just copied it.]. But that set does not include all the integers because the existence of other integers outside the set is consistent with the set's defining requirement that it contain infinitely many elements." As I mentioned above, we can form infinite sets of integers that do not include all integers, for example the set of even numbers, so the argument cannot be valid when it's made about integers. What about the argument makes it valid for quarks but not for integers? I imagine it must have to do with your distinction between an abstract infinity and an "actually realized" infinity. Perhaps you can clarify where you are using this distinction in your argument? To help us better understand what you're claiming, suppose the universe is infinite and I form an infinite set of quarks, any infinite set of quarks. Is it your contention that we can prove that this set of quarks equals the set of all quarks? Also, regarding this key sentence: I don't follow this sentence, I didn't follow the clarification you made three posts up. Perhaps you could expand this sentence into a paragraph or two that a five year old could understand?

The key is the qualification "from the bare description, 'quarks.'"

To elaborate--JoshuaZ's comment brought this home--you can distinguish infinite sets by their cardinality or by their subset/superset relationship, and these are independent. The reasoning about quarks brackets all knowledge about the distinctions between quarks that could be used to establish a set/superset relationship.

0Kindly
By default, sets are different. You can't argue "two sets are the same because they have the same cardinality and we don't know anything else about them" which I think is what you're doing. If there are infinitely many quarks, then we can form infinite sets of quarks. One of these sets is the set of all quarks. This set is infinite, includes all quarks, and there are no quarks it doesn't include, and saying anything else is patent nonsense whether you're talking about quarks, integers, or kittens.

Could you clarify this inference, please? How does the second sentence follow from the first?

Let me restate it, as my language contained miscues, such as "adding" elements to the set. Restated:

If there are infinitely many quarks in the universe, then I can form an infinite set of quarks. That set includes all the quarks in the universe, since there can be no set of the same cardinality that's greater and because, from the bare description, "quarks," I have no basis for establishing a subset/superset relationship (HT JoshuaZ) within ... (read more)

1The_Duck
I'm still confused by this argument. Are you arguing in the second sentence that "any infinite set of quarks must be the set of all quarks"? But for example I could form the set of all up quarks, which is an infinite set of quarks, yet does not include any down quarks, and so is not the set of all quarks. Are you implicitly using the following idea? "Suppose A and B are two sets of the same cardinality. Then A cannot be a proper subset of B." This is true for finite sets but false for infinite sets: the set of even integers has the same cardinality as the set of all integers, but the even integers are a proper subset of the set of all integers.
0TheOtherDave
Well, "site:lesswrong.com 'infinite set atheist'" is a clue, but http://lesswrong.com/lw/mp/0_and_1_are_not_probabilities/hkd is also a place to start.

I think you responded before my correction, where I came to the same conclusion that my use of "more" was imprecise.

Added

I remember reading an essay maybe five years ago by Eliezer Yudkowsky where he maintained that the early Greek thinkers had been right to reject actual infinities for logical reasons. I can't find the essay. Has it been recanted? Is it a mere figment of my imagination? Does anyone recall this essay?

No, then there are the same number of quarks in both cases in the sense of cardinality.

Yes, I understand that; in fact, it was my express premise: "You can always add a finite number to an infinite set and not change the number of elements." That is, not change the number of quarks from one case to another.

Please read it again more carefully. My argument may be wrong, but it's really not that naive.

Added.

I see what you might be responding to: "So, there are more quarks than are contained in the set of all quarks." The second sentenc... (read more)

1JoshuaZ
Replying separately to this now added comment. it still seems like this is an issue of ambiguous language. It isn't that there are other quarks that aren't contained in the set of all quarks." Is is that there's a set of quarks and a superset that have the same cardinality.
3Mitchell_Porter
You've collapsed the distinction between two possible worlds. You started out by saying, consider a universe containing infinitely many quarks. Then you say, consider a universe which has all the quarks from the first universe, plus a finite number of extra quarks. The set of all quarks in the second scenario indeed contains quarks that aren't in the set of all quarks in the first scenario, but that's not a contradiction. It's like saying: Consider the possible world where Dick Cheney ended up as president for the last two years of Bush's second term. Then that would mean that there was a president who wasn't an element of the set of all presidents.
0JoshuaZ
The problem seems to be that you are using the word "more" in a vague way that reflects more intuition than mathematical precision.

No, it's not. Maybe it blows your mind to imagine space stretching away without limit, but if space is there independent of you, and if it has no edge, and if it doesn't close back on itself, then it's an actually realized infinity.

The second independent clause is true, but if (as I contend) actually realized infinities are incoherent, the proper conclusion is that the three assumptions cannot all hold.

Of course, having one's mind blown doesn't prove the concept entertained in incoherent; I must demonstrate that the concept really contains a logical co... (read more)

2pragmatist
Could you clarify this inference, please? How does the second sentence follow from the first? Here's my interpretation of what you're saying: Let the set of all quarks be Q, and assume Q has infinite elements. Now pick a particular quark, let's call it Bob, and remove it from the set Q. Call the new set thus formed Q\Bob. Now, it's true that Q\Bob has the same number of elements as Q. But your claim seems to be stronger, that Q\Bob is in fact the same set as Q. If that is the case, then Q\Bob both is and isn't the set of all quarks and we have a contradiction. But why should I believe Q\Bob is identical to Q? I agree that belief in the existence of actually infinite sets leads to all sorts of very counterintuitive scenarios, and perhaps that is adequate reason to be an infinite set atheist like Eliezer (although I'm unconvinced). But it does not lead to explicit contradiction, as you seem to be claiming.
0JoshuaZ
No, then there are the same number of quarks in both cases in the sense of cardinality. Your intuition just isn't very good for handling how infinite sets behave- adding more to the an infinite set in some sense doesn't necessarily make it larger. Failure at having a good intuition for such things shouldn't be surprising; we didn't evolve to handle infinite sets.

moderators could be given the power

By whom?

0common_law
Why vote down this simple question? Is it a point of sensitivity--sufficient to drive Nesov to the passive voice? Don't other readers want to know who decides forum policies?

I don't know why you retracted this. . .

I retracted it because when I wrote it I hadn't known Tegmarkism was part of Yudkowskian eclecticism. In that light, it deserves a less flippant response. While it strikes me as being as absurd as the ontological argument, for some of the same reasons, I can dispositively refute the ontological argument; so if they're really the same, I ought to be able to offer a simple, dispositive refutation of Tegmark. I think that's possible to, but it's instructive that the refutation isn't one that applies to the ontologica... (read more)

4The_Duck
A "world" is not an ontologically fundamental concept in MWI. The fundamental thing is the wave function of the universe. We colloquially speak of "worlds" to refer to clumps of probability amplitude within the wave function.
6Mitchell_Porter
It's simpler to postulate that all possible worlds exist, rather than just one of them. Also, postulating an ensemble can be predictive, if you add the further postulate that you are a "typical observer in a typical world". Panactualists need to hear the protests of more practical-minded people, to occasionally remind them that they really don't know whether the other worlds exist. The doctrine is either unprovable, undisprovable, or can be decided by a sort of insight we don't presently possess, such as one that can tell us why there is something rather than nothing. No, it's not. Maybe it blows your mind to imagine space stretching away without limit, but if space is there independent of you, and if it has no edge, and if it doesn't close back on itself, then it's an actually realized infinity.

That the human "program" contains a coherent utility function seems to be an unargued assumption. Of course, if it doesn't contain one, the potential adequacy of a simple artificial implementation is probably even more doubtful.

Leaving aside the differences in moral justification, virtue ethics differs from rule utilitarianism in the practical sense that virtues tend to be more abstract than rules. For example, rather than avoiding unnecessary killing, becoming a kind person.

0A1987dM
Well, “become a kind person” isn't terribly useful instruction unless you already know what kind means to begin with.

The association fallacy is indeed what Yvain invokes: "An association fallacy is an inductive informal fallacy of the type hasty generalization or red herring which asserts that qualities of one thing are inherently qualities of another, merely by an irrelevant association."

Key to demonstrating the association fallacy is identifying the intended association because only then can you go on to argue that it's irrelevant. Ignore this step and you are likely to fall into another fallacy: the straw-man argument.

The issue is tossing out the step where the reasons the archetypal example gives the category a negative connotation are checked against the example under consideration.

And my claim is that, in typical uses of the example arguments, the reasons that make the category negative—for the arguer—are precisely the reasons the arguer intends to advance. So, Yvain hasn't made a case that submergence in a verbal archetype is an important fallacy. And thinking that it is the key fallacy involved in these arguments promotes superficiality when considering arguments like the exemplars.

Almost 400 comments but not a word of discussion of the parsing Yvain provides for his seven examples! But if Yvain's parsing is wrong—as I think it is—then his analysis will serve to further bias our understanding of positions we disagree with and to forsake any charity in understanding these positions.

The question that is fairly asked of Yvain is what distinguishes his "worst argument" ("X is in a category whose archetypal member has certain features. Therefore, we should judge X as if it also had those features, even though it doesn't.&qu... (read more)

6Shmi
It is perfectly reasonable to first identify the category and its archetypal example, no one seems to argue against it. The issue is tossing out the step where the reasons the archetypal example gives the category a negative connotation are checked against the example under consideration. Thus analogical reasoning survives as a first step, but its validity is subsequently questioned, not simply negated.

I do hope you cited the aphorism rather than taking credit for it as original. But seeing it repeated once again forced me for once to pay attention to its meaning: to find it vacuous. The point should be stated Don't confuse functional and mechanistic explanations. Organisms don't "execute" their adaptations, this being just another confusion of kinds of explanation, at least if taken literally. And organisms can be said to be fitness maximizers, once it is realized that functional generalizations are always riddled with exceptions.

0gwern
I presented it as a quote, and it's very easily googleable, so I didn't provide a full cite or anything, no. One of the exceptions is exactly the point of the quote.

You seem to be conflating the original schizophrenic state with the residual after the patients get antipsychotic medication: the latter may be readily amenable to reason; the former, the therapist would breach rapport with the patient, by challenging full delusions.

Medication is part of the standard treatment for schizophrenia--usually, the major part. Drawing conclusions about delusions from the residuals following treatment seems to shield you from what would be obvious had you observed unmedicated patients. Delusions aren't failures of Bayesian rationality: they involve, typically, accepting a few self-evident priors, and these are driven by intense affect.

then why read Hanson also? if they are colleagues and co-bloggers there must be something about EY that Robin thinks is first rate, no?

Not necessarily. Hanson might be a good thinker who is also a personal opportunist who'll do anything to enhance his status, where co-publishing with Yudkowsky helped put Hanson's blog on the map. Hanson could have "admired" Yudkowsky for his fan-club building capacities rather than for the high quality of his thinking.

LW is called a "community blog," but there's no information on how the "community" acts. Who adopts the new page? Is the vote binding? If so, on whom? Who pays for the fancy Reddit machinery on this blog? (Who refuses to pay for better machinery?)

Most people only invest themselves in conceiving changes in practices when they have some actual power to bring those changes to fruition. If the mere existence of a British monarch dampens popular enthusiasm for government, what's the effect of having an essentially autocratic "owner"... (read more)

It is possible, I suppose, that the thing that makes us conscious is different from the thing that makes us talk about consciousness -- but there's certainly no evidence for it, and it's a damned silly idea in any case.

True, but it seems to me almost trivially true that explaining why we talk about consciousness makes a theory positing that we "are conscious" otiose. What other evidence is there? What other evidence could there be? The profession of belief in mysterious "raw experience" merely expresses a cognitive bias, the acceptan... (read more)

You're reffering to the experiment itself; they're talking about the experiment within the experiment.

I was compelled to post that clarification after being primed for "helping behavior."

2Pentashagon
I'm just being overly literal because people believed that an experimental subject would be hurt and coincidentally it was the actual experimental subjects who were hurt. This would have been more apparent if Milgram had just hooked subjects up to real electrodes and told them he was testing reinforcement learning and then instructed them to actually shock themselves (which presumably many people would have done up to some pain threshold). It would have been even more apparent if he could have lied about the voltage/current levels so that subjects received exactly as much physical pain (in terms of negative utility) to themselves from the actual shock as the emotional pain they would experience if they administered a shock of the imagined strength to another person.

Conceiving of laws as rules activates all sorts of unconscious inferences stemming from the part of our brain that processes social rules, such as the intuitions that motivate nomic fundamentalism. So whether or not there is a genuine distinction between determination and description, there is certainly a cognitive difference in how we respond to those concepts.

That's question begging, in that the question is just what are those differences when applied to physics rather than sociology. The connotation of 'rule' that survives transfer to physics might b... (read more)

1pragmatist
First of all, I don't think this is anthropologically accurate. I have seen a number of cases of (what appears to me to be) confusion in physics (and probably even more in philosophy) engendered by thinking of laws as rules in a sense more robust than what you describe here. I gave one example in this comment, and I could give others if you desire. The reason I brought up the effect of social cognition is that concepts have power. Someone may insist that by "rule" they really just intend the attenuated definition you've given, just as someone may insist that by "human" they literally just mean "featherless biped", but when one tries to redefine established concepts in this way, the original conceptions have an insidious way of sneaking into one's inferences. Someone tells you Natalie Portman has feathers, and you insist that this is conceptually impossible because she is human and humans are featherless bipeds. Second, I don't see how thinking of laws as rules is necessary to establish that the laws are finite. On my modification of Lewis's view, the laws are the axioms (Lewis himself says "axioms and theorems", but I think that's clearly the wrong way to go) of the best deductive system, where "best" depends on some balance of simplicity and strength (and presumably some other virtues as well). These systems will at the least be recursively axiomatizable, and in most actual cases finitely axiomatizable. If not, your system will take a HUGE hit on the simplicity metric. So Lewis's descriptive view itself gives warrant for constraining the set of laws. We don't need help from prescriptive intuitions, as far as I can see. As for the claims about the completeness of physical law, these might correctly characterize the expectations of physicists, but the expectations of physicists are not dispositive in this case. If you look at what's actually going on in physics, it's not at all clear that those expectations are being borne out. Our best current theories (such as th

What do you think of Max Tegmark's answer, that it's because universes with every possible (i.e., non-contradictory) set of laws of physics exist

If I can be frank, this is insane. This is the ontological argument for god revisited. Possibility does not imply necessity, and to think it does means you can rationally posit entities by defining them: defining them into existence.

[This comment is no longer endorsed by its author]Reply
1ArisKatsaris
I don't know why you retracted this, but I mostly agree with your comment. Tegmark IV and the ontological argument for god are, if not identical, at least closely enough related that anyone accepting the one and not the other should at least pause and consider carefully what exactly the differences are, and why exactly these differences are crucial for them...

That doesn't commit us to infinities, just to a non-vicious circularity, of the Neurath's Boat variety.

Not my point. I'm saying whether actual infinities exist physically does not appear to be empirical (or else is resolved by empirical evidence we already have), and there are good rational grounds--endorsed by Yudkowsky, if I'm not mistaken--for rejecting actual infinities, grounds that already existed for the classical Greeks, who rejected the concept . The comparison was between the contention that qualia don't exist and the contention that absolute... (read more)

-1torekp
If I understand the analogy to Greek arguments against actual infinities, you are claiming that the concept of "qualia" contains a contradiction. The claim in red: could generate a contradiction, I suppose, if we add the plausible premise that qualia are known to us. Then we have unthinkable facts we claim to know. But that puts a lot of pressure on the claim in red, as a supposed interpretation of philosopher-talk about qualia. Especially when I've just outlined a case, the apple-table experiment, in which qualia are not characterizable only by terms used to decribe the apple. Rather, they are ostended also by terms used to decribe the relation between the person and the apple. David Chalmers describes one of the easy problems of consciousness as: But this is not equivalent to my account. Rather, my account goes on to state that the internal states need not correlate perfectly to the external objects. Thus, in Shoemaker's inverted spectrum, my internal state when perceiving a Fuji apple might be type-identical to your internal state when perceiving a Granny Smith apple, and not identical to your state when perceiving a Fuji. This is a mere conceptual possibility, but there are imaginable ways that neurology might turn out that would confirm or deny that possibility. For a made-up example, it might be that the visual cortex uses high- to low-frequency wave patterns to encode the visual spectrum, but some people have red on the high-frequency neural-wave end and others on the low-frequency end. In that case, a person might undergo surgery to remap the retina-to-cortex pathways, and experience spectrum inversion for themselves. As for the supposed advantages of the illusion account, private language absence has other candidate explanations. And there are plenty of alternatives to epistemological sensationalism; we don't need rescue from it. As for scientific ontology, identifying qualia with types of brain activity is well within those bounds. Note that on this v

If I were an economist, I wouldn't be interested (at least not qua economist) in deductive systems that talked about quarks and leptons. I would be interested in deductive systems that talked about prices and demand. The best system for this coarser-grained vocabulary will give us the laws of economics, distinct from the laws of physics.

There's this difference between economics and physics. The axioms of economics don't come close to completely explaining prices and demand, and we don't expect them to, even in principle. It would be a miracle if they di... (read more)

What function describes your threshold as the negative values go below -1?

0Vaniver
Generally, the only types of comments that are below -3 that I upvote are ones which I think add a perspective to the conversation which should be there but should have a different proponent. It's rare that I find a comment at less than -3 which I would fully endorse (but I have my settings set to display all comments).

you can then think about exactly how your brain turns a sentence about consciousness into meaning and it will exactly mirror the actual process your brain used to turn the sentence into the meaning you experience.

We don't experience meanings. An organism without qualia could--without contradiction--grasp the meaning of a sentence.

0Pentashagon
Ah, I did misunderstand you when I read the post. My point is that descriptions of neurons and neural interactions is the correct language to talk about conscious experience and qualia. Consider the following sentence instead: "When I see the color red, this is the neural result it has on my brain. When you see the color red, this is the neural result it has on your brain." Depending on how similar our brains are we may be able to come to a consensus on which neural processes implement the qualia "red" and decide whether my "red" is also your "red", while also allowing us to both understand how "red" is implemented in our own brains. I think we will probably need to understand our own conscious experience before being able to compare specific qualia.

Not at all the same. Yudkowsky points out that science can explain events and things in ways that a layman may not even conceive. Here, the question is whether it even makes sense to call qualia an event.

[This comment is no longer endorsed by its author]Reply
Load More