|
Edinburgh Research Archive >
Philosophy, Psychology and Language Sciences, School of >
Philosophy >
Philosophy research publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/1345
|
| Title: | Second-Order Logic |
| Authors: | Ketland, Jeffrey |
| Editors: | Borchert, Donald |
| Issue Date: | 2005 |
| Citation: | In D. Borchert (ed.), Macmillan Encyclopedia of Philosophy. 2005. Macmillan Reference USA |
| Publisher: | Macmillan Reference USA |
| Abstract: | Second-order logic is the extension of first-order logic obtaining by introducing
quantification of predicate and function variables. |
| Keywords: | philosophy
philosophy of mathematics |
| URI: | http://hdl.handle.net/1842/1345 |
| ISBN: | 0-02-865780-2 |
| Appears in Collections: | Philosophy research publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
