Made available in DSpace on 2015-09-17T15:24:35Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-11-25. Added 1 bitstream(s) on 2015-09-17T15:47:36Z : No. of bitstreams: 1 000847337.pdf: 1291940 bytes, checksum: e8ff06439aa8fa7f8228c7d0e48fa739 (MD5) / Nesta pesquisa o objetivo é expor a compreensão do que é a abdução para Peirce, a partir de uma análise hermenêutica tal qual ela é tratada por pesquisadores da UNESP/RC vinculados ao Programa de Pós-Graduação em Educação Matemática e das ideias de Hans Georg Gadamer (1999). Para tanto, a pergunta que norteou a pesquisa é: o que é abdução? O estudo hermenêutico dos textos de Peirce, especialmente no The Collected Papers of Charles Sanders Peirce composto de oito volumes, é apresentado em dois quadros que trazem Ideias Nucleares (I.N.) que, mediante análise, levam-nos as categorias: característica, procedimento e definição. A interpretação dessas categorias nos permite dizer que a abdução, em Peirce, é um raciocínio lógico, um ato inferencial que tem origem na ação de questionar sendo um tipo de raciocínio que difere da lógica clássica pelo modo como abre possibilidades de uma nova inteligibilidade do que se vê, do que se pode expressar quando é elaborada uma explicação do visto. Entendendo as características da abdução pode-se ver que ela abre possibilidades para a produção do conhecimento matemático dando forma ao conceito, que é expresso por meio de uma linguagem que expõem o sentido do produzido / In this research the goal is to expose the understanding of what is the abduction for Peirce, from a hermeneutic analysis such as it is treated by researchers from UNESP/RC bound to Mathematic Education Post-Graduation Program and to ideas of Hans Georg Gadamer (1999). For that, the question that guided the research is: What is abduction?. The hermeneutic study of Peirce's texts, especially at The Collected Papers of Charles Sanders Peirce compound of eight volumes, is presented in two boards which bring Nuclear Ideas (I.N.) that, by analysis, take us to the categories: feature, procedure and definition. The interpretation of these features allow us to say the abduction, in Peirce, is a logic reasoning, an inferential act which origin at action of question being a type of reasoning that differs from classic logic by the way how it opens possibilities of a new intelligibility of what it's seen, from what it can express when is developed a new explanation of seen. Perceiving the features of abduction it can see how it opens possibilities for a production of the mathematic knowledge giving shape to the concept, that is expressed by a language that expose the direction of produced

Made available in DSpace on 2014-11-10T11:09:47Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-05-06Bitstream added on 2014-11-10T11:58:04Z : No. of bitstreams: 1 000789882.pdf: 2892998 bytes, checksum: cd8c3f24ece89e5fe38a56b25c7412e4 (MD5) / O primeiro movimento desta pesquisa visa cartografar os processos: educador/educando e as possibilidades da relação dialógica entre estes, em situação de sala de aula. Como elemento constitutivo, deste movimento, foram utilizadas estratégias didáticas que enfatizaram o argumento e a construção conjunta de conhecimento incentivando, assim, ambientes criativos e heurísticos de aprendizagem. Desenharam-se oficinas em Geometria, olhando-as como um dispositivo acionador e de intervenção dentro da sala de aula para trabalhar com estudantes da Educação de Jovens e Adultos (EJA). Analisaram-se, assim, os processos, inerentes na relação dialógica, contextualizados nos estudos de Paulo Freire e nas relações de poder, como propostas por Michel Foucault. Foram exploradas situações problemáticas do entorno que conseguiram corresponder aos aspectos criativos como: a arte, a música e a exploração do meio. Espera-se que os resultados da investigação iluminem o tipo de relação argumentativa que ocorre em sala de aula. Ao utilizar estratégias didáticas, previamente desenhadas, como disparadoras do desenvolvimento das oficinas espera-se alterar, ao menos localmente, as relações de poder que travam as possibilidades dialógicas em sala de aula / The first movement of this research aims to map the processes: teacher / student relationship and the possibilities of dialogue between them in the classroom situation. As a constitutive element, this movement used teaching strategies that emphasize the argument and the joint construction of knowledge by encouraging thus creative environments and heuristic learning. Were designed and conducted geometry workshops, that were observed as a driver and intervention device within the classroom to work with students of Youth and Adults (EJA). We analyzed the inherent processes in the dialogic relationship, contextualized in the studies of Paulo Freire and power relationships, as proposed by Michel Foucault. Surrounding situation issues that can match the creative aspects such as art, music and exploration of the environment were explored. The research findings elucidated the argumentative type of relationship that occur in the classroom. By using teaching strategies, previously designed as triggering of the development of the workshops, there was a change, at least locally, in the relations of power that keep dialogical possibilities in the classroom

Orientador: Fátima Regina Rodrigues Évora / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T13:29:44Z (GMT). No. of bitstreams: 1 Calazans_Alex_D.pdf: 1884458 bytes, checksum: e130faa10a7b5bed837ce429d5d12c5d (MD5) Previous issue date: 2014 / Resumo: O objetivo desta tese é estabelecer um estudo de como Berkeley concebeu os objetos matemáticos. Interessa saber se há, em seu pensamento, uma unidade no critério de inteligibilidade desses objetos. Busca-se, para isso, reconstruir alguns de seus argumentos quanto ao que ele considera como objetos legítimos não só da aritmética, álgebra e geometria, como também do cálculo infinitesimal. A partir disso, serão avaliadas as consequências interpretativas de seus textos de maturidade - como é o caso do texto O Analista (1734), conhecido pela crítica ao cálculo infinitesimal - sobre se há primazia de tais objetos no processo de avaliação da cientificidade das matemáticas. Não se almeja, portanto, adotar como porta de entrada a macro questão sobre o que é ciência matemática, para Berkeley, mas a questão de como a noção de objeto matemático apresenta-se, ou não, como um dos elementos importantes para o esclarecimento desse problema mais geral / Abstract: The aim of this thesis is to establish a study of how Berkeley devised mathematical objects. It is of interest to know whether there is, in his thinking, a unit in the criterion of intelligibility of these objects. To do this, we try to reconstruct some of his arguments about what he considers as legitimate objects, not only in arithmetic, algebra and geometry, but also in the infinitesimal calculus. From this, the interpretive consequences of his maturity texts are evaluated - such as the text The Analyst (1734), which is known for the criticism of the infinitesimal calculus - on whether there is primacy of such objects in the process of evaluating the scientific character of mathematics. Therefore, we don¿t want to adopt as an entrance the more general question of what is mathematical science, to Berkeley, but the question of how the notion of mathematical object is presented, or not, as one of the important elements to enlighten this more general problem / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T21:09:00Z (GMT). No. of bitstreams: 1 Almeida_HenriqueAntunes_M.pdf: 1516387 bytes, checksum: 2608439ba585a23431d2aa295b1b8876 (MD5) Previous issue date: 2014 / Resumo: Neste trabalho, abordamos o Teorema de Frege sob uma perspectiva exclusivamente técnica. Primeiramente, propomos uma caracterização geral de linguagens de segunda ordem que sejam adequadas para formalizar quaisquer teorias fregeanas ¿ teorias que resultam da introdução de um ou mais princípios de abstração a um sistema dedutivo de lógica de segunda ordem; fornecemos uma semântica e um sistema dedutivo para essas linguagens e elaboramos alguns resultados metateóricos acerca desse sistema. Em segundo lugar, apresentamos uma exposicão detalhada da prova do Teorema de Frege, enunciado como uma relação entre a Aritmética de Frege e a Aritmética de Dedekind-Peano. Por fim, provamos a equiconsistência entre essas teorias e a Aritmética de Peano de Segunda Ordem / Abstract: In this work, we discuss Frege¿s Theorem under an exclusively technical perspective. First, we propose a general caracterization of second-order languages suitable to formalize all Fregean theories ¿ theories that result from the introduction of one or more abstraction principles to a deductive system of second-order logic; we also furnish a semantics and a deductive system for these languages and establish a few metatheorical results about the system. Second, we present a detailed proof of Frege¿s Theorem, formulated as a relation between Frege¿s Arithmetic and Dedekind-Peano Arithemtic. Finally, we prove the equiconsistency between these theories and Peano Second-Order Arithmetic / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-12T22:46:52Z (GMT). No. of bitstreams: 1 Freire_RodrigodeAlvarenga_D.pdf: 761227 bytes, checksum: 3b1a0de92aa93b50f2bfc602bf6173bc (MD5) Previous issue date: 2009 / Resumo: Esta Tese tem como objetivo elucidar, ao menos parcialmente, a questão do significado da Teoria de Modelos para uma reflexão sobre o conhecimento matemático no século XX. Para isso, vamos buscar, primeiramente, alcançar uma compreensão da própria reflexão sobre o conhecimento matemático, que será denominada de Fundamentos do Pensamento Matemático no século XX, e da própria relevância fundacional. Em seguida, analisaremos, dentro do contexto fundacional estabelecido, o papel da Teoria de Modelos e da sua interação com a Álgebra, em geral, e, finalmente, empreenderemos um estudo de caso específico. Nesse estudo de caso mostraremos que a Teoria de Galois pode ser vista como um conteúdo lógico, e buscaremos compreender o significado fundacional desse enquadramento modelo-teórico para uma parte da Álgebra clássica. / Abstract: The aim of the present Thesis is to bring some light to the question about the status and relevance of Model Theory to a reflection about the mathematical knowledge in the twentieth century. To pursue this target, we will, first of all, try to reach a comprehension of the reflection about the mathematical knowledge, itself, what will be designated as Foundations of Mathematical Thought in the twentieth century, and of the foundational relevance, itself. In the sequel, we will provide an analysis, of the role of Model Theory and its interaction with Algebra, in general, within the established foundational setting and, finally, we will discuss a specific study case. In this study case we will show that Galois Theory can be seen as a logical content, and we will try to understand the foundational meaning of this model-theoretic framework for some part of classical Algebra. / Doutorado / Logica / Doutor em Filosofia

Orientador: Enéias Forlin / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-16T15:26:39Z (GMT). No. of bitstreams: 1 Nolasco_FabioMascarenhas_M.pdf: 1121338 bytes, checksum: 679280a1fe00df842faf6eedecac94db (MD5) Previous issue date: 2010 / Resumo: Tentou-se nesta dissertação apresentar um ponto de vista - fragmentário e inacabado como necessariamente deve ser - acerca do percurso histórico do imbricamento entre matemática e filosofia que marcou intensamente o séc. XVII, imbricamento este assinalado pelos termos more geometrico, mathesis universalis, algebra, dentre outros. Isto com o intuito distante de abordar, posteriormente, a questão mais genérica de situar tal imbricamento específico do séc. XVII perante outras conformações da relação entre filosofia e matemática, notadamente, as que presentemente mais nos interessam, a do idealismo alemão do início do séc. XIX e a dos princípios do que veio a se chamar de filosofia analítica, do início do séc. XX. Para tanto, desta forma, buscamos apresentar dois momentos desse imbricamento especificamente seiscentista entre matemática e filosofia que, em nossa opinião, abrangem uma vastíssima gama de temas sintomáticos do período: (i) a conformação cartesiana entre matemática e filosofia, dita inauguradora da modernidade, tipificada pelo conceito de intuicionismo, e (ii) a conformação leibniziana, tipificada pelo conceito de formalismo. Julgamos que a apresentação do percurso apenas tocando estes dois pólos do movimento, mesmo que incompleta por não tratar de temas da filosofia de Hobbes, Pascal, Spinoza, Locke, dentre outros, apresenta, todavia, os contornos gerais do desenvolvimento buscado: como se o momento da crítica de Leibniz a Descartes, e a re-formulação leibniziana do dito imbricamento, pudesse ser tomado como uma caracterização exemplar do percurso do imbricamento de matemática e filosofia do séc. XVII / Abstract: Our effort in this dissertation was to present a point of view - fragmentary and unachieved as it ought to be - concerning the historical development of the conjunction between Mathematics and Philosophy which has so characteristically marked the XVIIth century; a conjunction denoted by the terms more geometrico, mathesis universalis, algebra, to name but a few. And this, due to the further goal of approaching, afterwards, the more generic question of situating such a conjunction, specific of the XVIIth century, in regards to other conformations of the relation between Philosophy and Mathematics, namely the ones which are of our present interest, that of the German Idealism of the early XIXth century, and that of the first moments of what came to be called as Analytic Philosophy, of the first years of the XXth century. So as to approach the more basic part of this goal, we have thus tried to present two moments of this specifical XVIIth century conjunction between Mathematics and Philosophy which, in our opinion, touch a very large array of symptomatic questions of the period: (i) the cartesian conformation between mathematics and philosophy, said to be the inauguration of modernity, typified by the concept of intuitionism, and (ii) the leibnizian conformation, typified by the concept of formalism. We claim that such an exposition, which only touches the two poles of the movement, even if incomplete for not treating themes from Hobbes, Pascal, Spinoza and Locke's Philosophy, in among others, nevertheless presents the general outlines of the development we are trying to enlighten: as if the moment of Leibniz' criticism to Descartes, and the leibnizian re-conformation of the said conjunction, could be taken as an exemplary characterization of the development of the relation between mathematics and philosophy of the XVIIth century / Mestrado / Historia da Filosofia Moderna / Mestre em Filosofia