It's 11 p.m. on a Friday night and I'm heading home from work, shivering in the cold wind. My mind's divided on what to do after getting home: practice my guitar stuff and go to sleep, or head to a nightclub and get the fatigue out of my system? Given two nearly identical emotional assessments and honestly not knowing in advance which to pick, I suddenly recall LessWrong and decide to use logic. Trying to apply logic in real life is an unfamiliar sensation but I prime my mind for recognizing accurate arguments and drift away for a moment, a proven technique from my mathematician days...

By the time I reach my front door, the solution for discriminating between two outcomes of equal utility has arrived and it's a logical slam dunk. Tonight is Friday night. There will be ample opportunity to practice music tomorrow and the day after that. So get dressed and go dance now.

It worked.


You might be tempted to dismiss my little exercise as rationalization and I can't really convince you otherwise. But the specific tool used for rationalization does matter. What if I'd made that decision based on some general ethical principle or a pithy quotation I'd heard somewhere? Success or failure would have prompted an equally ill-specified update of my held beliefs, the same way they have meandered aimlessly all my life. A single human lifetime sees a precious few belief-changing events — definitely not enough bits to select an adequate emotional framework, unless you started out with a good one. Not so with logic. Any vague verbal principle, however much you admire it, is always allowed to give way under you if you base your decisions on it... but logic is the ground floor.

The above episode has hit me hard for reasons I can't quite verbalize. For the past few days I've been obsessively going over Eliezer's old posts. No longer viewing them in the mindset of "articulate dissent": this time I went searching for useful stuff. Turns out that most of his concrete recommendations are either way beyond my current abilities, or solving problems I haven't reached yet. Forget expected utility calculations, I don't even have the basics down!

Logic is the ground floor. Disregard the defense of biases. If you find yourself falling, use logic.

I remember a quote from functional programming researcher Frank Atanassow about his formal semantics enlightenment, similar in spirit:

When I graduated, I was as pure a corporate hacker as you can imagine: I wanted to be a corporate salaryman; I wanted to "architecture" object-oriented programs in the Gang-of-Four style; and above all, I was convinced that CS is a completely new field unto itself and had no relation at all to all that mathematical crap they were trying to stuff down our throats in school...

What happened next, I remember very clearly. I bought a book, "Lambda Calculus" by Chris Hankin. It's a thin (<200 pages) yellow book, mostly about untyped lambda-calculus. It has a fair amount of equational stuff in it, but I took it on my trip to Korea (to get my Japanese visa---I was working in Tokyo, and you have to leave the country once for some reason to get a working visa) and was amazed that I could understand it...

After that, I was able to read most of the programming language theory literature, and I read TONS, and tons of it. I seriously couldn't get enough, and what I marvelled at was that you could actually make indisputable statements about programs this way, provided your language had a formal semantics. It was no longer a fuzzy thing, you see; it relieved me of a great burden, in a way, because I no longer had to subscribe to a "methodology" which relied on some unsubstantiated relation between real world-"objects" and programs. I came to understand that certain things have to be true, provably, incontrovertibly and forever, if your programs can be translated easily into mathematical terms. This was a huge step for me.


There's much work ahead, but at least now I know what to do.


12 comments, sorted by Click to highlight new comments since: Today at 4:05 PM
New Comment

The take-away from this, and it's an important and easily overlooked point, is that stopping to acknowledge a decision, enumerate the options and switch into logic mode is often a bigger and harder step than actually applying logic.

Did you do your guitar practice the next day?

Yes, of course. Your and derekz's comments seem to come from the assumption that practice is something to resent. I practice every day anyway because the guitar pulls me - it would be harder not to.

Just wondering, not presuming.

Would it be right to say that you were dodging every bullet, rarely accepting (and contemplating) deliberative conclusions over intuitive ones (in everyday life), and that logic worked as a representative example for how this attitude is wrong?

What message to past self would accelerate the transition?

Yes, your summary is adequate.

No idea what verbal message (rather than real-world action and result, as it happened) could have precipitated the transition, but reading about more examples like the one outlined in the post would definitely have helped.

I agree that what you did is better than following a quote, general ethical principle, or gut feeling. But I don't see how it was very mathematical. A better way to describe it, I think, is that you attempted to make a good decision and didn't take any mental shortcuts.

Thanks for sharing this story with us. It's always nice to read about someone having that rationality epiphany.

Logic works well if you are careful with your premisses. If you're sloppy it can easily be "a way of going wrong with confidence". Logic serves rationalization as well as it does rationality.

Not to be discouraging, but is that really the "logical" reasoning used at the time? They use the word "rationalization" for a reason. "I can always work toward my goals tomorrow instead" will always be true.

Hopefully you had fun dancing, nothing wrong with it at all, but it does seem odd to be so self-congratulatory about deciding to go out and party.

How is the quote "similar in spirit"? Because it describes a different kind of awakening/realization?

Because it describes another person's awakening/realization that some formal stuff is directly applicable to some everyday activities and often superior to the previous informal approach.