| dc.creator | Sarmento, Garibaldi Monteiro | |
| dc.date | 2000 | |
| dc.date | 2017-03-22T07:10:01Z | |
| dc.date | 2017-07-14T19:56:00Z | |
| dc.date | 2017-03-22T07:10:01Z | |
| dc.date | 2017-07-14T19:56:00Z | |
| dc.date.accessioned | 2018-03-29T04:02:46Z | |
| dc.date.available | 2018-03-29T04:02:46Z | |
| dc.identifier | SARMENTO, Garibaldi Monteiro. Fundamentos logico-epistemologicos da aritmetica. 2000. 90p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://libdigi.unicamp.br/document/?code=000186752>. Acesso em: 22 mar. 2017. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/280746 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1340063 | |
| dc.description | Orientador: Michael Beaumont Wrigley | |
| dc.description | Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas | |
| dc.description | Resumo: Tomando-se por base uma análise lógico-epistemológica da noção Fregeana de analiticidade, e uma (re)definiçâo dessa noção em termos de teoria de modelos, proponho uma abordagem 'neo-logicista' para fundamentação da aritmética elementar. Este enfoque lógíco-reducionista consiste na derivação formal dos axiomas da Teoria Geral de Conjuntos (arcabouço semântico para a aritmética de Peano em segunda ordem) de um sistema lógico de ordem superior, cuja base axiomático-definicional é caracterizada pelo acréscimo do axioma da extensionalidade, a um fragmento da lógica de segunda ordem (total), e pela introdução de um princípio de abstração analítico que denominamos de 'princípio de equipolência lógica'. Além disso, estabeleço um critério Iógico-epistemológico para a demarcação de definições contextuais analíticas baseado na (re)definição de analiticidade e no princípio de equipolência lógica | |
| dc.description | Abstract: 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 | |
| dc.description | Doutorado | |
| dc.description | Doutor em Filosofia | |
| dc.format | 90p. | |
| dc.format | application/pdf | |
| dc.language | Português | |
| dc.publisher | [s.n.] | |
| dc.subject | Matematica - Fundamentos | |
| dc.subject | Matemática - Filosofia | |
| dc.subject | Lógica simbólica e matemática | |
| dc.title | Fundamentos logico-epistemologicos da aritmetica | |
| dc.type | Tesis | |
