Fundamentos logico-epistemologicos da aritmetica
AUTOR(ES)
Garibaldi Monteiro Sarmento
DATA DE PUBLICAÇÃO
2000
RESUMO
Taking as starting point a logico-epistemological analysis of Frege s notion of analyticity, and a (re)definition of this notion in model-theoretic terms, I offer a neo-logicisl approach to the foundations of arithmetic. This logico-reductionist approach consists in the formal derivation of the axioms of General Set Theory (which is the semantic framework for second-order Peano arithmetic) from a higher-order logical system, whose axiomatic-definitional basis consists of axiom of extensionality and an analytic principle of abstraction which we shall call the "principle of logical equipollence". Furthermore, I establish a logico-epistemological criterion for demarcation of analytical contextual definitions based on the {redefinition of analyticity, here proposed, and the principle of logical equipollence
ASSUNTO(S)
matematica - filosofia lógica simbólica e matemática matematica - fundamentos