Inyash Brodsky

So I do think that that is what he is saying specifically.

And I think I would wager that he's probably wrong.

I don't know.

At least in some cases, he's got to be right.

Or, you know, maybe the A and B. Yeah, A and B is, I think, a nice place to start where he says in classical logic, the operational definition of identity is that whenever A equals B is a theorem, you can substitute A for B in any theorem where B appears, which is true.

Whenever you see 2 plus 2, you can replace that with 4.

And wherever you see 4, you can replace that with 2 plus 2.

They're identical.

I'm with you so far.

Okay.

That doesn't generalize to beliefs, which is kind of what the mind projection fallacy is about.

That if the morning star and the evening star are both Venus.

So if you know that, you know they're the same thing.

But if the person who doesn't know that wouldn't necessarily know that they're the same thing.

And so the morning star and the evening star are two separate things for them.

And you couldn't necessarily, if you're talking to them, replace one with the other and expect for there to be...

I mean, I almost think that one of the easier ways to display this is that some people just think that certain types of sex are gross.

And they, like, obviously, back in the 50s, gay sex was gross, right?

That was just a gross kind of sex.

And it didn't occur to people that some people think it's actually really fucking hot because they're gay.