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 |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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
|
|
Permalink to this page
|
Back