Re: Must higher-order logic be typed?


yuyang08@xxxxxxxxx wrote:
Hello, everyone,

May be this is another silly question. Please don't laugh. I am
really an igorant in logic. I found some documents that describe
high-order logic with type systems. Is it nesscessary for us to
desribe higher-order logic with types? How shall we describe
them without types?

Thanks a lot!

-Andrew

I was intriguing with that introduction, higher-order, but if you look
in logic way, is the growing way not a higher-order?, or school, are
not steps in a specific order?.
From school to master degree or higher is not a H-O.
I don't know what documents you hold, but logic.... is just become
sense.
May be this answer don't make sense to you, but you have call my
attention.

.