All of tristanhaze's Comments + Replies

Why is it OK to use deduction theorem, though? In standard modal logics like K and S5 the deduction theorem doesn't hold (otherwise you could assume P, use necessitation to get []P, and then use deduction theorem to get P -> []P as a theorem). 

4Andrew_Critch
Well, the deduction theorem is a fact about PA (and, propositional logic), so it's okay to use as long as ⊢means "PA can prove".   But you're right that it doesn't mix seamlessly with the (outer) necessitation rule.  Necessitation is a property of "⊢", but not generally a property of "X⊢".  When PA can prove something, it can prove that it can prove it.  By contrast, if PA+X can prove Y, that does mean that PA can prove that PA+X can prove Y (because PA alone can work through proofs in a Gödel encoding), but it doesn't mean that PA+X can prove that PA can prove Y.  This can be seen by example, by setting X=Y=¬□(1=0)". As for the case where you want ⊢ to refer to K or S5 instead of PA provability, those logics are still built on propositional logic, for which the deduction theorem does hold. So if you do the deduction only using propositional logic from theorems in ⊢ along with an additional assumption X, then the deduction theorem applies.  In particular, inner necessitation and box distributivity are both theorems  of ⊢ for every A and B you stick into them (rather than meta theorems about ⊢, which is what necessitation is).  So the application of the deduction theorem here is still valid. Still, the deduction theorem isn't safe to just use willy nilly along with the (outer) necessitation rule, so I've just added a caveat about that: Thanks for calling this out.

Would be good to see some more references and discussion of illusionism as a view in its own right. For my money the recent work of Wolfgang Schwarz on imaginary foundations and sensor variables gives a powerful explanation of why we might have this illusion. 

I'd be interested to hear how this compares with Wolfgang Schwarz's ideas in 'Imaginary Foundations' and 'From Sensor Variables to Phenomenal Facts'. Sounds like there's some overlap, and Schwarz has a kind of explanation for why the hard problem might arise that you might be able to draw on. 

Link to the second of the papers mentioned: https://www.umsu.de/papers/sensorfacts.pdf

2Thane Ruthenis
There's some overlap indeed. In particular, it definitely aligns with my model of why the redness of red is "flavoured" as the redness of red and not as burning your fingers (because it's routed through the associations in our world-model). But it seems to jump too quickly to "having senses + WM implies qualia"; I think the self-awareness loop I'd described is still necessary on top of that.

Very interesting. I'm stuck on the argument about truthfulness being hard because the concept of truth is somehow fraught or too complicated. I'm envisaging an objection based on the T-schema ('<p> is true iff p').

Nate writes:

Now, in real life, building a truthful AGI is much harder than building a diamond optimizer, because 'truth' is a concept that's much more fraught than 'diamond'. (To see this, observe that the definition of "truth" routes through tricky concepts like "ways the AI communicated with the operators" and "the mental state of the ope... (read more)

This is an instance of arc that clever people have been going through for ages, so I'd like to see more teasing apart of the broader phenomenon from the particular historical episode of the Sequences etc.

A lot of the mixed feelings and lack of identification as rationalists on the part of lots of people who found the Sequences interesting reading is to be explained in terms of their perceiving the vibe you describe and being aware of its pitfalls.

Interesting to read, here are a couple of comments on parts of what you say:

 

>the claim that all possibilities exist (ie. that counterfactuals are ontologically real)

'counterfactuals are ontologically real' seems like a bad way of re-expressing 'all possibilities exist'. Counterfactuals themselves are sentences or propositions, and even people who think there's e.g. no fact of the matter with many counterfactuals should agree that they themselves are real.

Secondly, most philosophers who would be comfortable with talking seriously about possibilitie... (read more)

2Chris_Leong
  I would express this as it not making sense to include some worlds without others.  

Ramsey could be on the list too but I guess his tragically short life makes it hard to do some of the cells.

 

Maybe a bit off-colour to call the fact that three of Wittgenstein's brothers committed suicide 'delicious'...

2Owain_Evans
I mentioned Ramsey in an another comment. Very brilliant polymath and likely would be included if he'd lived longer. 

Wittgenstein had so many ideas and is such a difficult thinker that I think one ought to read him before secondary sources. Also he's a wonderful writer.

I think there's a potentially confusing fact which you're neglecting in this post, namely the reality of literature as territory not map. If you're interested in literature, then when you read it you get lots of knowledge of what e.g. certain books contain, what certain authors wrote, and that can be very instructive not just within literature. I'd like to see you and others with this kind of viewpoint wrestle more with this kind of consideration.

Mill?! When are you from, John David Galt?!

I just want to say that the title of this post is fantastic, and in a deep sort of mathy way, beautiful. It's probably usually not possible, but I love it when an appropriate title - especially a nice not-too-long one - manages to contain, by itself, so much intellectual interest. Even just seeing that title listed somewhere could plant an important seed in someone's mind.

I just want to say that the title of this post is fantastic, and in a deep sort of mathy way, beautiful. It's probably usually not possible, but I love it when an appropriate title - especially a nice not-too-long one - manages to contain, by itself, so much intellectual interest. Even just seeing that title listed somewhere could plant an important seed in someone's mind.

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

I don't see any reason to think he's trying to convey that scientists in general, or good ones, or anything like that, believe in fake reductionism. Some people do, and it's more charitable to Keats to presume he was just alluding to them.

I agree with Robin that that indeed seems the weak point. It is far from clear to me, and I suspect it is not the case, that Keats here is doing something along the lines of actually trying to convey that, oh, there's nothing special about rainbows, science has explained them, or whatever. Rather, he's invoking and playing with that sort of trope, for a sophisticated poetic purpose.

I think the main point or points of Eliezer's post here are sound, but even suggesting that that sort of thing could be pinned on Keats is a needless distraction. Obviously serious poetry isn't Eliezer's strong point, as I'm sure he'd be the first to agree. The introductory quote could still be used to good effect though.

1Jiro
I think that Keats is not trying to convey fake reductionism, but he is trying to convey "scientists believe in fake reductionism". The fact that he doesn't believe it himself doesn't change his misunderstanding of it.

I think you're probably right about this (not based on first-hand experience of having a child, mind - I haven't), but I can't quite see what it's doing here. Is this meant to be some sort of objection to the comment you're replying to? It isn't obviously in tension with it.

0[anonymous]
Just explaining why it is certainly true for the vast majority of people who actually have had children.

Yep, what The Ancient Geek said. Sorry I didn't reply in a timely way - I'm not a regular user. I'm glad you basically agree, and pardon me for using such a recherche word (did I just do it again?) needlessly. Philosophical training can do that to you; you get a bit blind to how certain words are, while they could be part of the general intellectual culture, actually only used in very specific circles. (I think 'precisification' is another example of this. I used it with an intelligent nerd friend recently and, while of course he understood it - it's self explanatory - he thought it was terrible, and probably thought I just made it up.)

Hope you look at Wittgenstein!

Filled in. This is a good idea. I would be interested in getting some feedback on the feedback, or seeing a writeup of some of the lessons or issues that come out of this.

2philh
Yes, if a group decides to change something about their meetup because of this, and gets more returning members (or current members report that it's more fun), I'd love to hear about it. (I haven't looked closely at the results yet, I'll do that when they seem to have stopped trickling in, but it does look as though there's a fair amount of actionable feedback.)

How specifically could being "definite" be a a problem for language? Take any specific thing, apply an arbitrary label, and you are done.

This remark seems to flow from an oversimplified view of how language works. In the context of, for example, a person or a chair, this paradigm seems pretty solid... at least, it gets you a lot. You can ostend the thing ('take' it, as it were) and then appy the label. But in the case of lots of "objects" there is nothing analogous to such 'taking' as a prior, discrete step from talking. For example,... (read more)

1anandjeyahar
Am not sure I follow your comment. I think I get the basic gist of it and I agree with it, but I gotta ask. Did you really mean ostend(or was it a typo?)?. I can't really find it as a word in m-w.com or on google.

For my part, I've found the economic notions of opportunity cost and marginal utility to be like this.

-4johnlawrenceaspden
That's maths too.

'my writing is more enthusiastic than the evidence would call for, but alas I must excite my readers and get the pageviews'

For my money, that's just contemptible. And there's no 'must' about it: you can, and probably should, stop doing that, even if it means you get less pageviews.

More than six years late, but better late than never...

'Concepts are utilized in reasoning to reduce and structure search space' - anyone have any references or ideas for further developments of this line of thought? Seems very interesting and related to the philosophical idea of abduction or inference to the best explanation. (Perhaps the relation is one of justification.)

Also, since I find the OP compelling despite this point, I would be interested to see how far they can be reconciled.

My guess, loosely expressed, is that the stuff in Eliezer's OP above ... (read more)

'It's like, if you're going to stab me in the back, is it better if it's with a white knife?'

It's not like that at all! 'Deceive' isn't a dirty word - i.e. it doesn't automatically mean something that is bad to do. 'Stabbing in the back', on the other hand, seems to. 'He kindly deceived me' may sound odd, but not at all self-contradictory like 'He kindly stabbed me in the back' (metaphorical meaning intended, of course). It seems perfectly reasonable to me to think that deception is sometimes a very decent, kind, considerate practice to engage in. The idea that it's automatically bad seems childish to me.

0scav
It's automatically hazardous to give someone a false map of the world. If you do it knowingly you have the responsibility to make sure no harm comes of it. Even if you take that responsibility seriously, and are competent to do so, taking it secretly without consent is an ethical problem. My take on this: * Few people take that responsibility seriously or are competent to do so, or are even aware that it exists. * Most of the time people's intuitions about minor well-intended deceptions are sufficient to avoid trouble. * If you call someone a liar, that has a strong negative connotation and social implications for good reason. We didn't evolve the capacity for deception primarily to hold surprise birthday parties for each other. There are no dirty words, but there are inaccurate ones. Use with care.

This is interesting, particularly in connection with your grativation towards materialism - thanks for sharing.

An extended answer to your question is given in the original post - the post is all about answering that question, and it seems very clearly written to me. So I think you're being silly.

'if you can't communicate with them honestly, they shouldn't be your friends/partners in the first place'

I think that, insofar as this sounds plausible, it doesn't conflict with what Chris is saying in the OP. It seems perfectly possible for it to be the case that you can (and by and large do) communicate with someone honestly, simultaneously with it being the case that it's sometimes best to lie to them.

And FWIW, I think that realizing that lying is sometimes the way to go is part and parcel of a mature and able approach to interpersonal relationships. The other view seems to me both simplistic and morally smug. I find the complete lack of argument in your comment quite telling.

-1blacktrance
When you intentionally misrepresent yourself to a friend or partner, they don't like you, they like the person you're pretending to be. If you tolerate their lies, you don't like them, you're like the person they're pretending to be (because you can't catch their lies all the time). But neither pretended person actually exists. Instead, it's healthier and cognitively simpler to just be honest and expect* honesty from others, because then if one person doesn't like what the other is saying, they're at least getting a more accurate impression of what the other person is like. For example, if you want to have a trusting relationship, you should treat your SO's words as true, but if you find out that they aren't, call them out on it. .* By "expect" I don't mean "anticipate", I mean "consider reasonably due".

'Continue', you mean :-)

0Bugmaster
Heh. Indeed.

Yeah, this looks more like the Law of Non-Contradiction than the Law of Excluded Middle to me (which makes Manfred's jokey response seem doubly foolish).

'They contain the same content because A->B says that A and not-B is impossible, and saying that A and not-B is impossible says that A->B. For example, "it raining but not being wet outside is impossible."'

If you're talking about standard propositional logic here, without bringing in probabilistic stuff, then this is just wrong or at best very misleadingly put. All 'A->B' says is that it is not the case that A and not-B - nothing modal.

This seems well below the standard often reached here. The writing seems very sloppy and telegraphic... for instance, of course we can say and think 'Body, I command you not to bleed'! It just won't do anything.

And: 'At the same time, there's a view that we have full control and choice over our actions in a given situation.' - This seems a bit like a strawman. What's the view exactly? Who has ever held it? And why should not being able to stop bleeding at will constitute a counterexample? No one normally classifies bleeding as an 'action'.

And regarding the... (read more)

Pardon a second comment (I hope that's not bad etiquette), but here are a couple of further qualms/criticisms attending to which could improve the post:

Regarding your use of the phrase 'foundations of probability' to refer to arguments for why a certain kind of robot should use probabilities: this seems like a rather odd use for a phrase that already has at least two well established uses. (Roughly (i) basic probability theory, i.e. that which gives a grounding or foundation in learning the subject, and (ii) the philosophical or metaphysical underpinnings ... (read more)

0Manfred
Well, if they're right after each other you can always use the "edit" button to add to your original comment. I'm going to stick with this terminology just because I like it - it won't be important later. Also, I blame Sniffoy, for calling his post "A Summary of Savage's Foundations for Probability and Utility." :P I claim that I do cover why Dutch books do provide a foundation to some extent, but I agree that Savage's theorem is a better way to base probability upon decision-making.

'But to assign some probability to the wrong answer is logically equivalent to assigning probability to 0=1.'

Huh? This doesn't make sense to me. First of all, it seems like a basic category-mistake: acts of assigning probabilities don't seem to be the sorts of things that can bear logical relations like equivalence to each other.

Perhaps that's just pedantry and there's a simple rephrasing that says what you really want to say, but I have a feeling I would take issue with the rephrased version too. Does it trade on the idea that all false mathematical propositions are logically equivalent to each other? (If so, I'd say that's a problem, because that idea is very controversial, and hardly intuitive.)

0Manfred
I'll tell you why it's a problem on Saturday.

I really liked the introduction - really well done. (shminux seems to agree!)

Some constructuve criticisms:

'There are playing fields where you should cooperate with DefectBot, even though that looks completely insane from a naïve viewpoint. Optimality is a feature of the playing field, not a feature of the strategy.' - I like your main point made with TrollBot, but this last sentence doesn't seem like a good way of summing up the lesson. What the lesson seems to be in my eyes is: strategies' being optimal or not is playing-field relative. So you could say t... (read more)

1So8res
Thanks, I've edited the post to incorporate these suggestions.

'At its core, model theory is the study of what you said, as opposed to what you meant.'

One way to improve the clarity of this gloss, and make it more ecumenical (to be frank, I imagine as it stands, many philosophers would balk and sort of go 'WTF?' and treat this as a weird, confused thing to say), might be as follows: distinguishing the meaning of an expression in some language from the speaker's intended meaning in producing that expression. These can of course diverge, but both are semantic notions. (Your use of the two different terms above may obscu... (read more)

0ESRogs
I'm not sure that's actually what he meant to say (oh the irony!). The "what you said" in the original I don't think corresponds to "the meaning of an expression in some language", but rather to something more like, "the expression itself" or "the set of all possible meanings of an expression."

Stimulating as always! I have a criticism to make of the use made of the term 'rigid designation'.

Multiple philosophers have suggested that this stance seems similar to "rigid designation", i.e., when I say 'fair' it intrinsically, rigidly refers to something-to-do-with-equal-division. I confess I don't see it that way myself [...]

What philosophers of language ordinarily mean by calling a term a rigid designator is not that, considered purely syntactically, it intrinsically refers to anything. The property of being a rigid designator is somet... (read more)

5Eliezer Yudkowsky
I'd like to say "sure" and then delete that paragraph, but then somebody else in the comments will say that my essay is just talking about a rigid-designation theory of morality. I mean, that's the comment I've gotten multiple times previously. Anyone got a good idea for resolving this?
crazy88120

Multiple philosophers have suggested that this stance seems similar to "rigid designation", i.e., when I say 'fair' it intrinsically, rigidly refers to something-to-do-with-equal-division. I confess I don't see it that way myself - if somebody thinks of Euclidean geometry when you utter the sound "num-berz" they're not doing anything false, they're associating the sound to a different logical thingy. It's not about words with intrinsically rigid referential power, it's that the words are window dressing on the underlying entities.

I j... (read more)

The beginning of this comment, up to the comma, sounds so very like the beginning of one of those Chuck Norris format jokes. I was honestly surprised when it turned out not to be.

Come to think of it, "every book is terrible" may also be correct for Steven King.

I wonder if this principle works in the case of a murder which rapidly changes the murderer. (Later that day, they may bear no responsibility.)

If only lukeprog had thought to tell Alice that at the time!

Solvent110

"Sure I'm being a jerk, but telling people about this in the future will be hysterical, so it's overall a good thing for me to do!"

Yeah, I bet that would have gone down well. :)

Wow, that is extreme. And potentially dangerous. Do you really think you would have followed through in the event of failure? I don't think I could have.

Regarding your problem: if you haven't taken steps to rule out narcolepsy, I recommend you do.

0CronoDAS
The symptoms are more likely to be the result of sleep apnea than narcolepsy. (Incidentally, the earliest description of the symptoms of sleep apnea can be found in, of all things, a Charles Dickens novel...)

I don't think this is rude at all. One of the things I like about Less Wrong, and which seems characteristic of it, is that the writing in posts - style and form as well as more basic stuff - is often constructively discussed with a view to improving the author's writing.

Is this on today (18th), or at all? I notice a comment from Oklord proposing to change the date, and Observer saying they're cool with that, so does that mean it was on the 17th? A reply ASAP would be good, cheers.

0Oklord
It is today- I should have specified.