Open AccessConsideraciones lógico-epistémicas relativas a una forma de conceptualismo ramificado
Author(s) -
Max A. Freund
Publication year - 1991
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.101
H-Index - 6
ISSN - 1870-4905
DOI - 10.22201/iifs.18704905e.1991.810
Subject(s) - constructive , interpretation (philosophy) , consistency (knowledge bases) , formal system , constructive proof , logical consequence , computer science , mathematics , epistemology , philosophy , discrete mathematics , programming language , process (computing)
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.