Consideraciones lógico-epistémicas relativas a una forma de conceptualismo ramificado
An intuitive interpretation of constructive knowability is first developed. Then, an epistemic second order logical system (which formalizes logical aspects of the interpretation) is constructed. A proof of the relative consistency of such a system is offered. Next, a formal system of intensional a...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Nacional Autónoma de México (UNAM)
2018-12-01
|
| Series: | Crítica |
| Online Access: | https://critica.filosoficas.unam.mx/index.php/critica/article/view/810 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | An intuitive interpretation of constructive knowability is first developed. Then, an epistemic second order logical system (which formalizes logical aspects of the interpretation) is constructed. A proof of the relative consistency of such a system is offered. Next, a formal system of intensional arithmetic (whose logical basis is the aforementioned second order system) is stated. It is proved that such a formal system of intensional arithmetic entails a theorem, whose content would show possible limitations to constructive knowability.
|
|---|---|
| ISSN: | 0011-1503 1870-4905 |