i've got issues

Scrappleface thinks that birth control is evil. his reasoning is that it lets young girls have sex without horrid consequences. and we can't have that!

I replied: cause actually sex is evil, unless you get a wizard to perform a "marriage ritual" spell, which makes it ok.


thus far all I got back was someone replying that I have issues. good argument! ho hum.


Elliot Temple | Permalink | Messages (3)

I Hate Jew Hatred

Frank J (a Catholic) got anti-semitic hatemail. Emperor Misha commented:

We're ALL Jews now.

I agree. (Misha also says more here.)

I very much like the sentiments that if people are going to target Jews, we should stand up with the Jews. Neutrality is useful if you see two gangs of barbarians fighting; there is no point in getting yourself killed over that. Who cares who wins? But when two groups clash, and one is good, and one is bad, neutrality just won't cut it. What truly good person could abandon the side of good?

But there's more to it than just that we should stand with the Jews. Why do they confuse us with Jews? Well, we agree with Jews a lot. We think Israel should exist (more than that: that it is one of the most moral countries on the planet). We oppose Arab terrorism. No excuses. It's wrong, horrid, and evil. And we use Jew logic. Which says things like you don't win discussions by authority; rather we should look for good arguments. And that we should hold our ideas true and mutable (tentatively true, if you prefer). And, heh, that 2+2 is 4. The Jews in America are not outsiders. Or more like, it's easy to confuse Americans with Jews. It's not just that we stand with Jews (far less than we should), it's that through the eyes of The Enemy, we look and act as if we are Jews.

And if you think talking about good and evil is too simplistic and therefore false, I pray you spend a lot of time around fire and brimstone. And, yes, I am an avowed atheist. But that won't save you from hell >:-D

PS In general when I write 'we' I am including Jews, but not in this piece.


Elliot Temple | Permalink | Messages (10)

Structural Epistemology Introduction Part 2

Part 1

Last time I alluded to the most important aspect of knowledge structure: some structures are more or less resistant to being changed to have some other function (denotation). Additionally, whether a structure is easy to change to some new problem is not simply a matter of luck. Rather, some structures are better than others, because they contain more knowledge. Now I will give some illustrations.

First, let's reexamine the multiply function. What if the situation changed and we suddenly had to rewrite our multiply function with a special constraint? Such as, what if the built-in multiplication function in our programming language was no longer available? Or what if user-defined function calls suddenly became very slow and expensive? Or what if there was a problem with assignment, and we couldn't use that (basically, no equal sign allowed).

It turns out each of these problems would break one of the multiply functions so badly we would be better off starting over from scratch than trying to salvage it, and the other two wouldn't need even a single change. (If you're wondering, no built-in multiplication ruins the third multiply; no assignment ruins the iterative version; and user-defined function calls being expensive ruins the recursive version.) This demonstrates that structure makes a difference. But so far none are obviously better than others.

Next, lets imagine we were writing a program that played some game, and a few dozen times in the program we needed to refer to the number of actions each player gets per turn. And lets suppose it's 8 now, but possible this may change in future versions of the game. One thing we could do is everywhere we need to refer to the number of actions per turn, put an 8. The program will run just fine. But if we have to change the number of actions per turn later (or perhaps we'd just like to try out a different number to see how it works, to see if changing it might be a good idea at all), then we will have to go through our whole program and alter a few dozen lines of code! That's a pain, and there's a better way.

What we should do is define a constant variable, int ACTIONS_PER_TURN = 8, and then write ACTIONS_PER_TURN instead of 8 throughout our program. Then, we could very easily change the number of actions per turn by altering a single line of code. This new program using a constant variable has exactly the same denotation as the original one with 8 everywhere -- someone playing the game will never know the difference. But not only is the structure different using a constant variable, it's better because it allows significant advantages in ways it can be changed, with no disadvantage at all(1). One way to put the difference is it contains the knowledge that each of the dozens of 8's in the program is really the same thing, thus allowing them to be changed as a group.

Another example of trying to change a program, is if we had our multiply programs and wanted to do exponentiation (assume there is no built-in function for that). In that case, the program that relied on built-in multiplication is absolutely useless. Just as it would be useless to change to anything at all that wasn't built in. This reveals its structure has very little knowledge in it. On the other hand, the recursive and iterative multiply programs could both be changed to do exponentiation fairly easily. They could also be altered to do a host of other things, because each has a knowledge-laden structure. In effect, they are both set up to do work (in a certain way), and only need to be told what type. (It's not clear which one has more structural knowledge. I believe the recursive one does, but they are useful in different ways.)

So, to sum up, if we wish to change a program to do something else, depending on its structure, we may have an easy time of it, or may be totally out of luck. And furthermore, some structures are better than others, because they contain more knowledge.


(1) It will run negligibly slower, or compile negligibly slower in a compiled language. And I mean negligibly.

PS I understand that if you knew that, for what you were doing, certain structural knowledge was entirely unnecessary, and never would be useful, you might intentionally leave it out, and say this was a better design. However this is very rare on anything but the most trivial project, and does not ruin the idea of better structures. It's just like, if I was trying to learn physics, I might not need an economics lecture. But we can still say economics has useful, true knowledge, and that there is better and worse economic knowledge.

To be clearer, the objection I fear goes, "Constants are nice, if you're going to change them, but if you aren't, using them is a waste of time, therefore which structure is better depends entirely on the problem at hand, and thus better is only a relative term for knowledge structures." This is wrong. It is equivalent to saying, "The laws of supply and demand are nice, if you're learning about economics, but if you aren't, learning them is a waste of time, therefore whether hearing the laws of supply and demand or nothing is better depends entirely on the problem at hand, and thus better is only a relative term for economic theories." In both cases the 'and thus' clause simply does not follow. Just because we might not want a bit of knowledge this instant does not make it equivalent to no knowledge, or make its value relative.

PPS Mad props to David Deutsch, 'cause he's cool.


Elliot Temple | Permalink | Messages (2)

Popper Is Fallible

(If the quotes don't have a blue background, hit refresh. If they still don't, go here, refresh that, and then come back and try again.)

I just read a little of The Myth of the Framework by Karl Popper. I noticed two oversights I thought were worth pointing out. Both quotes are from page 175, and the first immediately precedes the second.

If we eliminate from language ambiguous terms like 'yesterday', a term which today means something different from what it will mean tomorrow, and if we take some further similar precautions, then it follows from Tarski's theory that every statement in this purified language will be either true or false, with no third possibility.

The issue Popper is worried about is evaluating whether the statement "Yesterday was Sunday." is true. He thinks this will be ambiguous, because it depends on what day we evaluate it. And his solution is to purify our language by removing all terms with variable meaning (presumably all pronouns too).

But this is very silly. All we have to do to decide if "Yesterday was Sunday." is true is to substitute in referenced concepts before saving the sentence for later evaluation when the references might not work any longer. What I mean is here 'yesterday' means 'the day before November 17, 2003'. The day before November 17, 2003 will always be Sunday whenever we evaluate the sentence. (And even if our calendar system should change, the meaning and truth of the sentence will not.) So, no purified language is necessary, if we will only bother to pay attention to the actual content of the sentence (alternatively, we could keep the form of the sentence exactly the same, but save with it all relevant data, such as in this case the date it was written).

Moreover, we can have an operation of negation in our language such that if a proposition is not true, then its negation is true.
This shows that of all propositions one half will be true and the other half false. So we can be sure that there will be lots of true propositions, even though we may have great trouble in finding out which they are.

I think this is actually quite funny. Yeah, there are lots of true propositions when you include the negation of false propositions... But most of them are things like, "I did not go to England yesterday," and "My house is not painted red," and "My name is not Fred." In reality, it makes sense to say there are a lot more ways to be wrong than to be right.


Elliot Temple | Permalink | Messages (0)

on skool

Teacher: A person who talks in other people's sleep.

What's long and hard and fucks little girls? Elementary school.


Elliot Temple | Permalink | Messages (5)

Elliot Temple | Permalink | Messages (0)

example for previous entry

just read this about Soros, a billionaire who's giving away money trying make Bush lose the 2004 election.

if a democrat was consistent with his ideals, he'd be poor-ish. cause his ideals include misunderstanding economics, opposing business, and wasting money. but Soros is rich. how'd that happen? well, he's inconsistent.

if all democrats were consistent they'd be a crappy political force. but they manage to find people who somehow, inconsistently, are democrats who are good at this or that thing that the rest of the democrats can't manage. and this way they can end up with some rich supporters despite their ideology, and thus be more dangerous.


Elliot Temple | Permalink | Messages (5)

I wonder if the category should be epistemology or morality

Tom Robinson is now officialy my coolest reader. He commented as follows WRT inverse theory:

I'm slightly fuzzy about this inverse world view. Is it wrong about everything, or just some things, or just incoming morally-weighted facts? I mean, The Emperor knows that 0+1=1, so if he starts with no Death Star and then builds one new Death Star, then he'll end up with ... a Death Star. He knows this to be true despite being the epitome of evil.
To start, I deny The Emperor actually is the epitome of evil, or even all that close. But anyway, I would say if we have propositions A, B, and C, and A and B are consistent with each other. And C contradicts A. This implies that C and B somehow contradict. There aren't multiple ways to hold B and be consistent, so if A really is consistent with B and inconsistent with C, then B must be inconsistent with C. This follows directly from the idea that there is one truth.

To put in real propositions, B states 0+1=1. A states that we shouldn't murder Jews. I propose A and B are consistent. C states that we should murder Jews. I propose A and C are inconsistent. I conclude that B and C are inconsistent -- that wanting to murder Jews and doing math right contradict. This works with any form of being evil and math.

It is hard to see what the inverse worldview looks like. It is foreign to us, and most of its twisted logic beyond our worst nightmares. We get glimpses in the bad people of our world, but they are nowhere near the limits of evil.

Good people are succesful and flourish. Bad people, therefore, are unsucessful and do not flourish objectively, even if they think they do (or perhaps they think flourishing is bad, and think they do not flourish). I believe, in the limit, evil people would be unable to eat meals, or otherwise manage to even stay alive.

My explanation of why the bad people of our world manage to eat, and even manage to use creativity to plan nasty attacks, is that they are inconsistent. Much of their worldviews are true. They use the true bits to function. But they also have a significant, inverse portion, from which they take many of their goals and motives.

Notably, it is this inconsistent combination that allows them to be truly dangerious. An evil person who uses some true ideas to get what he wants is more threatening than an evil person who's own evil has rendered him impotent.


Elliot Temple | Permalink | Message (1)