| Subject: | How many orders does our brains have? |
|---|---|
| From: | |
| Date: | 26 Aug 2006 21:49:03 -0700 |
| Newsgroups: | sci.logic |
Hello, everyone, 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? If this is true, could you point any reference on this? Thanks a lot! -Andrew |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | Re: How big is infinity?, Patricia Shanahan |
|---|---|
| Next by Date: | Must higher-order logic be typed?, yuyang08 |
| Previous by Thread: | FRIEDMANN EQUATION and KEMIEMANN EQUATION!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!, NILS BÖRJESSON |
| Next by Thread: | Re: How many orders does our brains have?, wit |
| Indexes: | [Date] [Thread] [Top] [All Lists] |