sci.logic
[Top] [All Lists]

Re: How many orders does our brains have?

Subject: Re: How many orders does our brains have?
From: wit
Date: Sun, 27 Aug 2006 11:57:32 +0200
Newsgroups: sci.logic
On 26 Aug 2006 21:49:03 -0700, yuyang08@xxxxxxxxx wrote:

>
> This may be a silly question. But this does puzzle me.
> We can easily reason first-order logic, and second-order logic.
> Can we reason logics of abitrary higher order?
>
Yes.

>
> If this is true, could you point any reference on this?
>
google for "higher order logic".


F.


<Prev in Thread] Current Thread [Next in Thread>
Privacy Policy