Orientador: Luiz Paulo de Alcantara / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-20T17:07:34Z (GMT). No. of bitstreams: 1 Sautter_FrankThomas_M.pdf: 1965384 bytes, checksum: de383de9d44d5f50a346a84f71ec3e04 (MD5) Previous issue date: 1995 / Resumo: Analisamos as definições de conjunto finito de Dedekind (1893), de Zermelo (1908) e de Alarcón Athens (1987). A partir destas definições, formulamos e demonstramos diversos princípios de indução matemática para conjuntos finitos. Obtivemos uma nova definição de conjunto finito: um conjunto C é finito 'Se e somente se o conjunto vazio pertence a toda família não-vazia F de subconjuntos de C tal que para todo conjunto não vazio D 'PERTENCE¿ F existe um único conjunto E 'PERTENCE¿ F onde E = D - {d} para algum d 'PERTENCE¿ D. Demonstramos que, na axiomática de Zermelo-Fraenkel sem o axioma da escolha, esta definição é formalmente equivalente ao axioma de Dedekind, segundo o qual todo conjunto infinito, no sentido aritmético usual, tem subconjunto enumerável / Abstract: We analize Dedekind's (1893), ZermeIo's (1908) and Alarcón Athens' (1987) definitions of finite sets. From these definitions we formulate and prove some mathematical induction principles for finite sets. We obtain a new definition of finite sets: a set C is finite if and only if the empty set beIongs to every non-empty famiIy F of subsets of C, such that for every non-empty set D 'PERTENCE¿ F there exists exactly one set E 'PERTENCE¿ F such that E = D - {d} for some d 'PERTENCE¿ D. We prove that, in ZermeIo-Fraenkel axiomatics without the choice axiom, this definition is formally equivalent to Dedekind's axiom, which says that every infinite set, in the ordinary sense, has an enumerabIe subset / Mestrado / Mestre em Filosofia

Orientador : Ubiratan d'Ambrosio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / O exemplar da FE pertence a Coleção de Teses do Circulo de Estudos, Memoria e Pesquisa em Educação Matematica (CEMPEM) / Made available in DSpace on 2018-07-15T09:22:56Z (GMT). No. of bitstreams: 1 Muhl_VeraJussaraLourenzi_M.pdf: 1562990 bytes, checksum: a7333f65f84d0e400829327d62479855 (MD5) Previous issue date: 1989 / Resumo:Esta dissertação procura sugerir uma forma de trabalhar a iniciação à Lógica Simbó1ica (matemática), forma essa já experimentada com os alunos da Licenciatura Plena em Ciências que prepara profissionais para atuarem no ensino de Ciências do 1º grau. Num processo lento de ação e de reflexão sobre o trabalho em sala de aula, chegamos a proposta que ora apresentamos. Descrevemos aqui essa proposta e registramos as conclusões a que chegamos, as quais são os limites ou os alcances do trabalho proposto. Ela se baseia no processo dialético teoria-prática, onde a modelagem e a estratégia que faz com que o aluno tome consciência do seu modo de pensar a realidade. Este processo dialético, que faz uso da modelagem explicitado na descrição do trabalho. Esta dissertação mostra um trabalho que pode ser a atividade normal de qualquer educador, ou seja, reflexão sobre o processo ensino-aprendizagem em sala de aula / Abstract: Not informed / Mestrado / Mestre em Matemática Aplicada

Orientador : Luiz Paulo de Alcantara / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-16T22:28:00Z (GMT). No. of bitstreams: 1 Pedrosa_RenatoHyudadeLuna_M.pdf: 2015565 bytes, checksum: b7d81d45dac1c68e5b5fa95933d079b9 (MD5) Previous issue date: 1981 / Resumo: Não informado / Abstract; Not informed / Mestrado / Mestre em Matemática

Orientador : Carlos Alberto Lungarzo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T11:15:43Z (GMT). No. of bitstreams: 1 ErtolaBiraben_RodolfoCristian_M.pdf: 1967518 bytes, checksum: c1039b33963585fc208435c4bc2d4df4 (MD5) Previous issue date: 1994 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Orientador: Hércules de Araújo Feitosa / Co-orientador: Marcelo Reicher Soares / Resumo: Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível. / Abstract: This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible. / Mestre

Le concept classique d’ «efficacité symbolique» de Claude Lèvi-Strauss aide à l’interprétation des formulations de Sigmund Freud et de Jacques Lacan sur le processus humanisant de symbolisation dans lequel, à partir de la fonction fondamentale de l’ancêtre, la jouissance est limitée par les lois du langage. D’importantes recherches psychanalytiques ont constaté des altérations dans la culture, desquelles résultent une perte progressive de la fonction de l’ancêtre et, par conséquent, la fragilisation de l’efficacité symbolique qu’elle soutient, provoquant la prévalence de certains traits psychopathologiques en tant qu’effets de conditions spécifiques de la culture contemporaine. Dans cette thèse, je cherche à savoir si les initiatives éducationnelles, développées au sein des écoles, peuvent provoquer des effets d’efficacité symbolique parmi leurs éduqués et leurs éducateurs. Pour cela, je présente des découpages d’initiatives éducationnelles que j’ai analysés sous l’angle de la théorie psychanalytique. Comme méthodologie de recherche, je me suis inspiré de la construction du cas, méthode de rédaction de recherche psychanalytique dans laquelle le psychanalyste, volontairement, ne reproduit pas la réalité objective de son analysant, mais élabore des hypothèses métapsychologiques, dépendantes de son propre inconscient et de son propre transfert - de la même manière, j’assume les récits des initiatives éducationnelles et les hypothèses interprétatives en tant que formulations personnelles. Je me suis inspiré aussi du concept d’acte, plus spécifiquement de l’acte analytique formulé par Jacques Lacan, dans le sens où, bien plus que d’offrir des voies déjà tracées, l’acte implique une certaine transgression et création relatives au style de chaque psychanalyste, au parcours de chaque psychanalyse et à un pari sur ses effets. Quant au chercheur, inspiré par l’acte analytique, il créé et transgresse conformément à son style et aux spécificités de sa recherche – il parie lui aussi sur ces effets de manière que, en renonçant à la mythique « capture » de l’objet à être recherché, ceux-ci ne pourront être perçus que dans un a posteriori. Je conclus donc que, au sein des écoles, bien plus que la transmission de connaissances objectives, des actes éducatifs, soutenus par des éducateurs qui admettent le manque inhérent à tout savoir, offrent des espaces de parole d’une certaine historicité et ainsi, renvoient aux références à l’ancêtre, provoquant potentiellement des effets subjectivants d’efficacité symbolique, cette dernière étant comprise comme l’efficacité de l’acceptation de la perte inhérente à la condition humaine / O clássico conceito de “eficácia simbólica” de Claude Lèvi-Strauss auxilia na interpretação das formulações de Sigmund Freud e Jacques Lacan acerca do processo humanizante de simbolização, em que, a partir da função fundamental do ancestral, o gozo é limitado pelas leis da linguagem. Importantes pesquisas psicanalíticas constatam alterações na cultura que implicam num progressivo esvaziamento da função do ancestral e, consequentemente, na fragilização da eficácia simbólica por ela sustentada, promovendo a prevalência de certos traços psicopatológicos, enquanto efeitos de condições específicas da cultura contemporânea. Nesta tese, procuro investigar se iniciativas educacionais, desenvolvidas no âmbito das escolas, podem promover efeitos de eficácia simbólica em seus educandos e educadores. Para tanto, apresento recortes de iniciativas educacionais que são por mim analisadas à luz da teoria psicanalítica. Enquanto metodologia de pesquisa, me inspirei na construção do caso, método de redação da pesquisa psicanalítica em que o psicanalista, assumidamente, não retrata a realidade objetiva de seu analisante, mas, sim, constrói hipóteses metapsicológicas, sujeitas ao seu próprio inconsciente e a sua própria transferência - da mesma forma, assumo os relatos de iniciativas educacionais e as hipóteses interpretativas enquanto construções minhas. Inspirei-me, ainda, no conceito de ato, mais especificamente no ato analítico, formulado por Jacques Lacan, no sentido de que, mais do que proporcionar caminhos pré-determinados, o ato pressupõe uma certa transgressão e criação, relativas ao estilo de cada psicanalista, ao percurso de cada psicanálise e a uma aposta em seus efeitos. Já o pesquisador, inspirado no ato analítico, cria e transgride de acordo com seu estilo e com as especificidades de sua pesquisa – ele aposta, também, em seus efeitos de forma que, renunciando à mítica “captura” do objeto a ser pesquisado, estes somente poderão ser percebidos num a posteriori. Concluo que, no âmbito das escolas, mais do que a transmissão de conhecimentos objetivos, atos educativos sustentados por educadores que aceitam a falta inerente a qualquer saber, promovem espaços de fala, de uma certa historicidade e, assim, implicam em referências à ancestralidade produzindo, potencialmente, efeitos subjetivantes de eficácia simbólica, entendida, esta, como a eficácia da assunção da perda intrínseca à condição humana.

Hercules killed the Hydra of Lerna in a bloody battle-the second of the labor tasks imposed upon him in atonement for his hideous crimes. The Hydra was a horrible, aggressive mythological monster with many heads and poisonous blood, whose heads multiplied each time one of them was severed. This paper explores some mathematical methods about this interesting epic battle. A generalization of the original Kirby & Paris model is proposed, concerning a general heads reproduction pattern. We also study the connection of this model with Goodstein ultra-growing and recursive sequences. As an interesting application, we next analyze the inevitable death of another huge monster of our modern era: the Internet.

En el presente artículo se busca discutir sobre los términos símbolo, simbólica y simbolismo en la prosa de José María Eguren, reunida en el título de Motivos. La crítica ha destacado el peculiar simbolismo de su universo poético, mas no se le ha cotejado en forma profunda con sus reflexiones en torno del mismo, así como del concepto de símbolo. En este artículo se plantean algunas ideas sobre esta problemática, y se busca sostener que el símbolo egureniano es una imagen sensorial que cumple la doble y antitética función de desentrañar el misterio de una Naturaleza, ya existente, así como de crear su propia Naturaleza.Palabras clave: prosa – símbolo – simbólica – simbolismo – J. M. Eguren AbstractIn this paper, we discuss some important concepts in Jose Maria Eguren's prose, gathered in the text Motivos, such as symbol, symbolic and symbolism. The criticism has emphasized the peculiar symbolism of his poetical universe but without comparing with depth the poetry and the reflections about this poetry, besides symbol’s concept. In this article, some ideas are proposed about this series of problems, and it tries to support that the egurenian symbol is a sensory image that fulfils the double and antithetic function of to discover a Nature’s mystery, already existing, as well as of to create his own Nature.Keywords: prose – symbol – symbolic – symbolism – J. M. Eguren

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2017-04-17T16:20:31Z No. of bitstreams: 1 texto completo.pdf: 4580745 bytes, checksum: 15b36a9ae574edc9911bb3c74e5252f6 (MD5) / Made available in DSpace on 2017-04-17T16:20:31Z (GMT). No. of bitstreams: 1 texto completo.pdf: 4580745 bytes, checksum: 15b36a9ae574edc9911bb3c74e5252f6 (MD5) Previous issue date: 2016-03-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O presente trabalho traz os resultados de uma pesquisa realizada em duas instituições de ensino de Belo Horizonte e região metropolitana, com alunos do curso de graduação em Matemática na modalidade licenciatura e alunos do ensino médio que responderam a dois testes de lógica e raciocínio lógico quantitativo, realizados antes e depois de participarem de um curso específico desses conteúdos. Essa pesquisa foi devidamente registrada no CEP - Comitê de Ética e Pesquisa com Seres Humanos, sob o número 1.366.414. O principal objetivo foi destacar a importância da lógica e do raciocínio lógico quantitativo na formação acadêmica dos discentes, sobretudo aqueles ligados às ciências exatas. Esta pesquisa buscou a validação com os testes T de Student, F de Snedecor e o Teste Z de sete hipóteses a priori levantadas. As hipóteses foram constituídas com o intuito de fundamentar a exigência de aulas específicas de lógica e raciocínio lógico quantitativo em todas as esferas educacionais. Os resultados desse trabalho indicam certo grau de relevância para os cursos específicos de lógica e raciocínio lógico quantitativo no desempenho dos discentes submetidos aos testes que envolvem esses conteúdos. Dessa forma, justifica-se uma ênfase maior nesses conteúdos quando se trata de educação básica. / This paper presents the results of a survey conducted in two schools of Belo Horizonte and the metropolitan area, with students of the degree in Mathematics at the undergraduate mode and high school students who responded to two logic tests and quantitative logical reasoning, performed before and after participating in a specific course of such content. This research was duly registered with the CEP - Research Ethics Committee in Human Beings, under number 1366414. The main objective was to highlight the importance of logic and quantitative logical reasoning in academic education of students, especially those related to the exact sciences. This study aimed to validate with the Student t test, F Snedecor and Z test seven hypotheses a priori raised. The assumptions were made in order to support the demand for specific classes of logical and quantitative logical reasoning in all educational spheres. The results of this study indicate a degree of relevance to the specific courses of logic and quantitative logical reasoning in the performance of students subjected to tests involving such content. Thus, it justified a greater emphasis on these content when it comes to basic education.

ARAÚJO, Carlos Sidney Avelar. Estado e violência em tempos de capitalismo neoliberal. 2017. 160f. – Tese (Doutorado) – Universidade Federal do Ceará, Programa de Pós-graduação em Educação Brasileira, Fortaleza (CE), 2017. / Submitted by Gustavo Daher (gdaherufc@hotmail.com) on 2017-08-23T13:00:00Z No. of bitstreams: 1 2017_tese_csaaraujo.pdf: 1541311 bytes, checksum: 793f89f19db51ac5225ba89d56548994 (MD5) / Approved for entry into archive by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2017-08-23T16:33:44Z (GMT) No. of bitstreams: 1 2017_tese_csaaraujo.pdf: 1541311 bytes, checksum: 793f89f19db51ac5225ba89d56548994 (MD5) / Made available in DSpace on 2017-08-23T16:33:45Z (GMT). No. of bitstreams: 1 2017_tese_csaaraujo.pdf: 1541311 bytes, checksum: 793f89f19db51ac5225ba89d56548994 (MD5) Previous issue date: 2017 / The theme of the research entitled ‘State and violence in times of neoliberal capitalism’ is limited to the tracing of violence inserted in the context of State actions, having the prerogative that 'the State is a violent fact' as its starting point. When designing violence in three dimensions: the symbolic, the objective (or systemic) and the subjective, the Slovenian philosopher Slavoj Žižek provides us theoretical-analytical support to problematize the use of force and/or coercion by the State as a fundamental element for its own foundation and existence. It is by analyzing the pairing of the tripod ‘capitalism - democracy - (neo)liberalism’, as legitimating structures of the State management of society, that the expressions of the violent State are addressed. On the other hand, besides the judicial system, the ideological apparatus at the service of the state is built as invisible forms which legitimize the social organization by the State. The theoretical line based on dialectical materialism leaded us to the conclusion that, yes, the State is a violent fact, more than that, the State is violence. The violent faces of the State are only visible to us through policies aimed at the exploitation of the wage labor force by the bourgeoisie, through the defense of private property by the accumulation of capital by the owners of the means of production. Those policies tend to result in more exploitation, misery, hunger, social inequality and exclusion, subordination and human suffering. We’ve come to the conclusion that, given the social, political and economic structures in which we are based, if we want to fight for a society without violence (systemic), that addresses the emergence of political acts of rupture with the systemic coordinates of capture of the politically disinterested subject and that can propel the class struggle is only possible not inside but outside the State. / A temática desta pesquisa se circunscreve no rastreamento da violência inserida no contexto das ações do Estado gerencialista da vida em sociedade. Tem como ponto de partida a prerrogativa de que ‘o Estado é um fato violento’. Ao conceber a violência em três dimensões: a simbólica, a objetiva (ou sistêmica) e a subjetiva, o filósofo esloveno Slavoj Žižek nos fornece o elemento central para problematizarmos o uso da força e/ou coerção pelo Estado enquanto elemento fundamental para a sua própria fundação e existência. É pela análise do estreitamento do tripé capitalismo-democracia-(neo)liberalismo enquanto estruturas legitimadoras do gerenciamento da sociedade pelo Estado que se chega às formas violentas que lhe veste. O aparato ideológico a serviço do Estado se constitui por outro lado, enquanto formas invisíveis. Nesse contexto, consideram-se ainda as estruturas objetivas como o aparelho jurídico, de legitimação da organização social pelo Estado. A linha teórica baseada no materialismo dialético nos permitiu concluir que sim, o Estado é um fato violento, mais que isso, o Estado é violência. Suas faces violentas só nos são visíveis através de políticas que visam à exploração da força de trabalho assalariada pela burguesia, a defesa da propriedade privada e ao acúmulo de capital, pelos donos dos meios de produção. Tais políticas resultam em exploração, miséria, fome, desigualdades, exclusão, subordinação e sofrimento humano. Concluimos que, dada às estruturas sociais, político e econômicas em que estamos assentadados, se pretendemos lutar por uma sociedade sem violência (sistêmica), que aborde as condições de emergência de atos políticos de ruptura com as coordenadas sistêmicas de captura do sujeito politicamente desinteressado e que impulsionem a luta de classes, isso só nos será possível fora do Estado.