| 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> |
|---|---|---|
| ||
| Previous by Date: | Re: bXc = b -> b=0 (with regularity but not infinity), William Elliot |
|---|---|
| Next by Date: | Re: How big is infinity?, Aatu Koskensilta |
| Previous by Thread: | How many orders does our brains have?, yuyang08 |
| Next by Thread: | Re: How many orders does our brains have?, Frederick Williams |
| Indexes: | [Date] [Thread] [Top] [All Lists] |