Re: Fwd: Re: TMRM: isa/sub - irreflexive relation vs. reflexive relation

On Fri, Oct 07, 2011 at 09:23:23PM +0200, Lars Marius Garshol wrote:

> I tried raising this with Robert on sc34wg3 a couple of years ago
> but was never able to start a meaningful discussion. Anyway, like
> the other Lars I believe the TMRM restriction should be relaxed.

I cannot remember that this was an issue before. But my memories of
TMs are quickly fading anyway.

While a statement

    something isa something

makes me cringe (except in some very metaphysic situations) because of
its obvious meaninglessness, there is no *direct* technical reason
against relaxing this - from a TMRM perspective.

Logicians may think otherwise, but logic is certainly overrated.

\rho