Must higher-order logic be typed?

sci.logic

Must higher-order logic be typed?

from [yuyang08]

Subject:	Must higher-order logic be typed?
From:
Date:	26 Aug 2006 21:54:11 -0700
Newsgroups:	sci.logic

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

[More with this subject...]

<Prev in Thread]	Current Thread	[Next in Thread>
Must higher-order logic be typed?, yuyang08 <= Re: Must higher-order logic be typed?, klxto Re: Must higher-order logic be typed?, xilog Re: Must higher-order logic be typed?, Newberry Re: Must higher-order logic be typed?, xilog Re: Must higher-order logic be typed?, Owen Re: Must higher-order logic be typed?, MoeBlee Re: Must higher-order logic be typed?, Newberry Re: Must higher-order logic be typed?, Owen

Previous by Date:	How many orders does our brains have?, yuyang08
Next by Date:	Re: How big is infinity?, Ross A. Finlayson
Previous by Thread:	How many orders does our brains have?, yuyang08
Next by Thread:	Re: Must higher-order logic be typed?, klxto
Indexes:	[Date] [Thread] [Top] [All Lists]