WikiDiscuss

WikiDiscuss


Reduced logical form

posts: 14214

> I started doing it because of the eternal discussion about NA and
> its scope. I think using the reduced logical form we can more
> clearly see what the alternatives are.

Coolness.

> But besides that, I think it is a useful thing to show that the
> logical language truly does match up with ordinary first order
> logic to a great extent, and it is also useful to know exactly
> where it does not.

You mean second order, don't you?

> I was pleasantly surprized by how easy it turned out to be doing
> the reduction, mostly. I have completely ignored indicators and
> free modifiers.

As you should.

Good luck.

-Robin