Categoricity and consistency in second-order logic
| Authors | |
|---|---|
| Publication date | 2015 |
| Journal | Inquiry : an Interdisciplinary Journal of Philosophy |
| Volume | Issue number | 58 | 1 |
| Pages (from-to) | 20-27 |
| Organisations |
|
| Abstract | We analyse the concept of a second-order characterisable structure and divide this concept into two parts—consistency and categoricity—with different strength and nature. We argue that categorical characterisation of mathematical structures in second-order logic is meaningful and possible without assuming that the semantics of second-order logic is defined in set theory. This extends also to the so-called Henkin structures. |
| Document type | Article |
| Language | English |
| Published at |
https://doi.org/10.1080/0020174X.2015.978531
(Final published version)
|
| Permalink to this page | |