[pt] O objetivo desta dissertação foi o de analisar as três demonstrações da existência de Deus nas Meditações Metafísicas de René Descartes. Ela contém três capítulos. No primeiro, tratamos de forma geral do método de Descartes, tendo a intenção de mostrar que este mesmo método será aplicado às Meditações Metafísicas influenciando em grande medida as provas da existência de Deus. No segundo capítulo, já no interior das Meditações Metafísicas, nos detemos na análise da dúvida metódica e do cogito. Estes dois temas são os antecedentes fundamentais para as provas da existência de Deus, na medida em que, através da dúvida, é vedado o recurso ao conhecimento dos seres materiais e à própria Natureza e, através do cogito, é descoberta a única via possível para se chegar a Deus. No terceiro e último capítulo, apresentamos a primeira, a segunda e a terceira prova da existência de Deus. Em todas essas três provas o nó da questão foi a aplicação do principio de causalidade especificado na forma da causalidade eficiente. Na primeira prova, Deus é inferido como causa eficiente de sua idéia presente no intelecto humano. Na segunda, Deus é provado como causa do próprio intelecto que tem sua idéia. Por fim, na última prova, Deus é concebido como causa formal e eficiente de si mesmo. / [en] The objective of this dissertation was to analyze three demonstrations of the existence of God in the Metaphysical Meditations of René Descartes. It contains three chapters. In the first one, we deal with general form of the method of Descartes, having the intention to show that this method will be applied to the Metaphysical Meditations influencing significantly on the tests of the existence of God. In the second chapter, where we are already talking about the Metaphysical Meditations, we withhold them in the analysis of the methodical doubt and cogitation. These two subjects are the basic antecedents for the tests of the existence of God, while through the doubt the resource to the knowledge of material beings and to the proper Nature is forbidden, and through the cogitation is discovered the only possible way to reach the God. In the third and last chapter, we present the first one, the second and third test of the existence of God. In all these three tests the main question was the application of beginning of specified cause to the form of the efficient cause. In the first test, God is inferred as the efficient cause of its present idea in the human intellect. In second, God is proven as a cause of the proper intellect that has its idea. Finally, in the last test, God is conceived as a formal and efficient cause of itself.

Neste trabalho, apresentamos novos critérios para a existência de soluções oscilatórias e não oscilatórias de equações diferenciais funcionais em medida com impulsos, separando-as em duas classes: equações diferenciais funcionais retardadas e equações diferenciais funcionais com argumento avançado. Tratamos das formas integrais destas equações diferenciais usando as integrais de Perron e Perron-Stieltjes. Assim, as funções envolvidas podem ter muitas descontinuidades e/ou podem ser de variação ilimitada. / In this work, we present new criteria for the existence of oscillatory and nonoscillatory solutions of measure functional differential equations with impulses, separating them into two classes: delay differential equations and functional differential equations with advanced argument. We deal with the integral forms of the differential equations using the Perron and the Perron-Stieltjes integrals. Thus the functions involved can have many discontinuities and/or they can be of unbounded variation.

Entre as cinco provas da existência de Deus que Tomás de Aquino apresentou na Summa Theologiae, sobressai a chamada “primeira via”, considerada pelo autor como a “mais manifesta”. Esta dissertação formaliza-a em lógica quantificacional, explicitando cada uma das inferências a fim de julgar sua validade e correção. Depois de explicadas as teses metafísicas que constituem o cenário da discussão — como a doutrina aristotélica das quatro causas e as distinções entre substância e acidente, ato e potência —, são examinadas as objeções de Anthony Kenny (1969) e as sugestões interpretativas de John Wippel (2000) em defesa do raciocínio de Tomás. Mostra-se que a primeira parte, que procura demonstrar a irreflexividade do movimento, é um argumento válido, mas incorreto, por conter uma premissa falsa: aquela que afirma sem restrições a atualidade do movente. Já a segunda parte, o argumento contra o regresso infinito, contém uma ambiguidade que o deixa diante de duas alternativas: ou se trata de uma petição de princípio ou de uma falácia de equivocidade. Dado o fracasso material e formal da prova, é proposta finalmente uma abordagem não-dedutiva do problema. / Among the five proofs of God’s existence presented by Thomas Aquinas in his Summa Theologiae, the so-called "first way" stands out, for being considered by the author as the "most obvious" one. This dissertation formalizes it in quantificational logic, explaining each of the inferences in order to assess its validity and soundness. After explaining the metaphysical theses that provide the backdrop for the discussion — as the doctrine of the four Aristotelian causes and the distinctions between substance and accident, act and potency — it considers the objections of Anthony Kenny (1969) and interpretive suggestions of John Wippel (2000) in defense of Thomas’ reasoning. It is shown that the first part, which seeks to demonstrate the non-reflexivity of movement, is a valid argument, but unsound, because it contains a false premise: the one that states the mover’s actuality without restrictions. The second part, the argument against the infinite regress, contains an ambiguity that leaves you faced with two alternatives: either it begs the question or it is a fallacy of equivocation. Given the material and formal failure of the proof, a non-deductive approach to the problem is finally proposed.

Obtemos uma expansão assintótica da função de distribuição sob a hipótese nula da estatística gradiente para testar hipóteses nulas compostas na presença de parâmetros de perturbação. Esta expansão é derivada utilizando uma rota Bayesiana baseada no argumento de encolhimento descrito em Ghosh e Mukerjee (1991). Usando essa expansão, propomos uma estatística gradiente corrigida por um fator de correção tipo-Bartlett, que tem distribuição qui-quadrado até um erro de ordem o(n-1) sob a hipótese nula. A partir disso, determinamos fórmulas matriciais e algébricas que auxiliam na obtenção da estatística gradiente corrigida em modelos lineares generalizados com dispersão conhecida e desconhecida. Simulações de Monte Carlo são apresentadas. Finalmente, discutimos a obtenção de regiões de credibilidade via inversão da estatística gradiente. Caracterizamos as densidades a priori, matching priors, que asseguram propriedades de cobertura frequentista acuradas para essas regiões. / We obtain an asymptotic expansion for the null distribution function of the gradient statistic for testing composite null hypotheses in the presence of nuisance parameters. The expansion is derived using a Bayesian route based on the shrinkage argument described in Ghosh and Mukerjee (1991). Using this expansion, we propose a Bartlett-type corrected gradient statistic, which has a chi-square distribution up to an error of order o(n1) under the null hypothesis. Also, we determined matrix and algebraic formulas that assist in obtaining Bartett-type corrected statistic in generalized linear models with known and unknown dispersion. Monte Carlo simulations are presented. Finally, we obtain credible regions based by the inversion of gradient statistic. We characterize priori densities, matching priors, that ensure accurate frequentist coverage properties for these regions.

Entre as cinco provas da existência de Deus que Tomás de Aquino apresentou na Summa Theologiae, sobressai a chamada “primeira via”, considerada pelo autor como a “mais manifesta”. Esta dissertação formaliza-a em lógica quantificacional, explicitando cada uma das inferências a fim de julgar sua validade e correção. Depois de explicadas as teses metafísicas que constituem o cenário da discussão — como a doutrina aristotélica das quatro causas e as distinções entre substância e acidente, ato e potência —, são examinadas as objeções de Anthony Kenny (1969) e as sugestões interpretativas de John Wippel (2000) em defesa do raciocínio de Tomás. Mostra-se que a primeira parte, que procura demonstrar a irreflexividade do movimento, é um argumento válido, mas incorreto, por conter uma premissa falsa: aquela que afirma sem restrições a atualidade do movente. Já a segunda parte, o argumento contra o regresso infinito, contém uma ambiguidade que o deixa diante de duas alternativas: ou se trata de uma petição de princípio ou de uma falácia de equivocidade. Dado o fracasso material e formal da prova, é proposta finalmente uma abordagem não-dedutiva do problema. / Among the five proofs of God’s existence presented by Thomas Aquinas in his Summa Theologiae, the so-called "first way" stands out, for being considered by the author as the "most obvious" one. This dissertation formalizes it in quantificational logic, explaining each of the inferences in order to assess its validity and soundness. After explaining the metaphysical theses that provide the backdrop for the discussion — as the doctrine of the four Aristotelian causes and the distinctions between substance and accident, act and potency — it considers the objections of Anthony Kenny (1969) and interpretive suggestions of John Wippel (2000) in defense of Thomas’ reasoning. It is shown that the first part, which seeks to demonstrate the non-reflexivity of movement, is a valid argument, but unsound, because it contains a false premise: the one that states the mover’s actuality without restrictions. The second part, the argument against the infinite regress, contains an ambiguity that leaves you faced with two alternatives: either it begs the question or it is a fallacy of equivocation. Given the material and formal failure of the proof, a non-deductive approach to the problem is finally proposed.

Essa pesquisa inicia-se pela consideração na literatura da área, de ensino de física, sobre as perspectivas dadas a algumas formas de representações, no contexto da construção do conhecimento científico, realizada no campo dos especialistas e nas pesquisas que relatam a sala de aula. As representações visuais distinguíveis nesta pesquisa são as esboçadas pelos alunos, as que se notam na simulação computacional e as gestuais: os gestos além das representações gestuais icônicas possibilitam mediações com outras representações empregadas em aula, por isso, serão considerados os gestos dêiticos, os movimentos ergóticos e epistêmicos; outra forma observada de mediação para a construção de conhecimento serão as analogias empregadas. Entre as hipóteses desta pesquisa está, que a sala de aula em que se propicia um ensino, onde mais se evidencia tanto a construção de conhecimento, quanto um caráter multimodal de representações será aquela cuja metodologia empregada é de \"ensino por investigação\". Em face disso, definem-se as características desse ensino, desde suas concepções históricas iniciais quando compreendidas como a aplicação do método científico, com problema, hipóteses, teste das hipóteses e conclusão, até as concepções contemporâneas em que se consideram aspectos da natureza da ciência, além da argumentação, a multimodalidade e as relações CTS. Para a representação verbal, expressando tanto o conhecimento construído quanto as reflexões sobre o processo de construção, considerou-se se a fala dos alunos se enquadra no padrão hipotético-dedutivo apresentado por Lawson (2002; 2004). Os dados para a realização desta pesquisa provêm da observação e de materiais produzidos em sala de aula bem como das transcrições do registro audiovisual dessas aulas. Categorizadas as representações e classificadas quanto à sua posição junto a elementos dos padrões de argumentação hipotético-dedutivo, apresentar-se-á uma solução para o problema \"Como múltiplas representações atuam na construção do conhecimento científico em sala de aula.\" Múltiplas representações e interações foram usadas principalmente na proposição da hipótese e no planejamento e execução dos testes; o emprego de atividade favorecendo o uso de várias representações não qualifica um ensino como investigativo; se colocado à disposição, os alunos utilizam em suas atividades, principalmente nas construções de conhecimento; as transições entre as formas de mediação e de representações obedecem a um padrão de continuidade e de uniformidade. / This research begins by considering the literature in the field of physical education on prospects given to some forms of representations in the context of construction of scientific knowledge, carried out in the field and experts in research that reports the classroom. The distinguishable visual representations in this research are the pictorial outlined by the students, the visually represented in computer simulation and sign iconic representations; gestures beyond the iconic gestural representation possible mediations with other representations used in class, so they are considered the deictic gestures, ergot and epistemic movements; other form of mediation for the construction of knowledge will be the use of analogies. Among the hypotheses of this research is that the classroom that provides an education, where the evidence of both the construction of knowledge, as a multimodal character representations will be the one whose methodology is \"learning by inquiry\". So let\'s define the characteristics of this teaching, from their initial historical conceptions when understood as the application of the scientific method, problem, hypothesis, testing of hypotheses and conclusion, to contemporary conceptions that also consider aspects of science nature beyond argument, multimodality and CTS relations. For verbal representation, expressing both knowledge built as reflections on the construction process, we consider how the speech of students falls within the hypothetical-deductive pattern presented by Lawson (2002 and 2004). Data for this survey out of observation and materials produced in the classroom, in addition to transcripts of audio-visual record of these classes. Categorized representations and classified according to their position along the elements of the hypothetical-deductive reasoning patterns, we present a solution to the problem \"How multiple representations work in the construction of scientific knowledge in the classroom\".

Submitted by Maike Costa (maiksebas@gmail.com) on 2016-08-22T12:19:06Z No. of bitstreams: 1 arquivo total.pdf: 8950699 bytes, checksum: f58ff9292f36b71f2aded04ed8a27566 (MD5) / Made available in DSpace on 2016-08-22T12:19:06Z (GMT). No. of bitstreams: 1 arquivo total.pdf: 8950699 bytes, checksum: f58ff9292f36b71f2aded04ed8a27566 (MD5) Previous issue date: 2015-07-07 / This study, carried out with analysis of scientific papers, written by researchers and published in journals, tries to investigate how the linguistic-discursive functioning of modalization and polyphony of speakers, more specifically of the arguments from authority, in the academic genre scientific paper occurs, as elements indicating subjectivity (argumentativeness). Besides, we also aim at investigating how these phenomena contribute to characterize the linguistic style of the genre which is being studied here. We assert that this investigation is descriptive and interpretativist and has the theoretical-methodological principles of Argumentative Semantics as a general guidance. Therefore, the fundamentals of this work is the Theory of Argumentation in Language by Ducrot and collaborators (1987, 1988, 1994), with increments and reformulation proposed by Espíndola ( 2004) and Nascimento (2005, 2009, 2014). We base our studies on the phenomenon called discursive modalization (CASTILHO E CASTILHO, 1993; CERVONI, 1989; GARCIA NEGRONI, 2008, 2011; NASCIMENTO, 2005, 2009, 2014; NASCIMENTO E SILVA, 2012; among others); as well as on the conception of discursive genres (BAKHTIN, 2000). The corpus is composed by twenty (20) scientific papers, collected from journals recognized by CAPES, with its qualis labels A and B. Four (4) scientific papers of each area of knowledge are analyzed. The areas of knowledge are the following: Human Sciences (Education); Social Sciences (Communication); Exact and Earth Sciences (Statistics); Engineering (Chemical Engineering); Health Sciences (Food and Nutrition). The results point that scientific papers are discourses full of subjectivities and are also discursive-oriented, in which voices echo either explicitly or implicitly, in other words, they are part of a genre where polyphony and modalization are present meaningfully. The responsible speaker for a scientific paper makes use of arguments from authority and of discursive modalization as a way to highlight argumentativeness within the enunciated and to orient how one wishes his/her interlocutor to read/comprehend the voices of authorities bought to compose the text. / Este estudio, basado en un análisis de artículos científicos producidos por investigadores y publicados en revistas, busca investigar cómo acontece el funcionamiento lingüísticodiscursivo de la modalización y de la polifonía de locutores, específicamente en el argumento de autoridad, en el género textual académico artículo científico, como elementos indicadores de subjetividad (argumentatividad). Asimismo, nuestro objetivo es investigar también de qué forma estos fenómenos contribuyen a la caracterización del estilo lingüístico del género investigado. Destacamos que la investigación es de naturaleza descriptiva e interpretativa y tiene como orientación general los principios teóricos y metodológicos de la Semántica Argumentativa. Para ello, tomamos como premisa fundamental para este trabajo la Teoría de la Argumentación en la Lengua de Ducrot y colaboradores (1987, 1988, 1994), con los incrementos y reformulaciones propuestas por Espíndola ( 2004) y Nascimento (2005, 2009, 2014). Nos basamos incluso en los estudios sobre el fenómeno de la modalización discursiva (CASTILHO Y CASTILHO, 1993; CERVONI, 1989; GARCIA NEGRONI, 2008, 2011; NASCIMENTO, 2005, 2009, 2014; NACIMENTO Y SILVA, 2012) entre otros; así como también en los conceptos de los géneros discursivos (BAKHTIN, 2000). El corpus es compuesto por veinte (20) artículos científicos, seleccionados de revistas reconocidas por la CAPES, con qualis A o B. Son analizados cuatro (4) artículos de cada una de las principales áreas de la CAPES: Ciencias Humanas (Educación); Ciencias Sociales (Comunicación); Ciencias Exactas y de la Tierra (Estadísticas); Ingeniería (Ingeniería Química); y Ciencias de la Salud (Nutrición). Los resultados muestran que el artículo científico es un discurso repleto de subjetividad y de orientaciones discursivas, en el cual pululan voces, tanto de forma explícita como de forma implícita, es decir, se constituye en un género donde la polifonía y la modalización se hacen presentes de forma significativa. El locutor responsable por el artículo hace uso del argumento de autoridad y de la modalización discursiva como una forma de limitar en el enunciado la argumentación y orientar cómo desea que el interlocutor deba leer/comprender las voces de las autoridades traídas para la composición del texto. / Este estudo, realizado a partir da análise de artigos científicos, produzidos por pesquisadores e publicados em periódicos, busca investigar como ocorre o funcionamento linguísticodiscursivo da modalização e da polifonia de locutores, mais especificamente do arrazoado por autoridade, no gênero textual acadêmico artigo científico, como elementos indicadores de subjetividade (argumentatividade). Além disso, objetivamos investigar também de que forma esses fenômenos contribuem para a caracterização do estilo linguístico do gênero investigado. Ressalvamos que a investigação é de natureza descritivo-interpretativista e tem como orientação geral os princípios teórico-metodológicos da Semântica Argumentativa. Para tanto, tomamos como pressuposto fundamental para esse trabalho a Teoria da Argumentação na Língua de Ducrot e colaboradores (1987, 1988, 1994), com os acréscimos e reformulações propostas por Espíndola (2004) e Nascimento (2005, 2009, 2014). Fundamentamo-nos ainda nos estudos sobre o fenômeno da modalização discursiva (CASTILHO E CASTILHO, 1993; CERVONI, 1989; GARCIA NEGRONI, 2008, 2011; NASCIMENTO, 2005, 2009, 2014; NASCIMENTO E SILVA, 2012; dentre outros); bem como na concepção de gêneros discursivos (BAKHTIN, 2000). O corpus é composto por 20 (vinte) artigos científicos, coletados de periódicos reconhecidos pela CAPES, com qualis A ou B. São analisados 4 (quatro) artigos de cada uma das seguintes grandes áreas da CAPES: Ciências Humanas (Educação); Ciências Sociais (Comunicação); Ciências Exatas e da Terra (Estatística); Engenharias (Engenharia Química); e Ciências da Saúde (Nutrição). Os resultados apontam que o artigo científico é um discurso repleto de subjetividades e orientações discursivas, no qual pululam vozes tanto de forma explícita como de forma implícita, ou seja, constitui-se em um gênero onde a polifonia e modalização se fazem presentes de forma significativa. O locutor responsável pelo artigo faz uso do arrazoado por autoridade e da modalização discursiva como forma de demarcar no enunciado a argumentatividade e orientar como deseja que o interlocutor deva ler/compreender as vozes das autoridades trazidas para compor o texto.

Entre as cinco provas da existência de Deus que Tomás de Aquino apresentou na Summa Theologiae, sobressai a chamada “primeira via”, considerada pelo autor como a “mais manifesta”. Esta dissertação formaliza-a em lógica quantificacional, explicitando cada uma das inferências a fim de julgar sua validade e correção. Depois de explicadas as teses metafísicas que constituem o cenário da discussão — como a doutrina aristotélica das quatro causas e as distinções entre substância e acidente, ato e potência —, são examinadas as objeções de Anthony Kenny (1969) e as sugestões interpretativas de John Wippel (2000) em defesa do raciocínio de Tomás. Mostra-se que a primeira parte, que procura demonstrar a irreflexividade do movimento, é um argumento válido, mas incorreto, por conter uma premissa falsa: aquela que afirma sem restrições a atualidade do movente. Já a segunda parte, o argumento contra o regresso infinito, contém uma ambiguidade que o deixa diante de duas alternativas: ou se trata de uma petição de princípio ou de uma falácia de equivocidade. Dado o fracasso material e formal da prova, é proposta finalmente uma abordagem não-dedutiva do problema. / Among the five proofs of God’s existence presented by Thomas Aquinas in his Summa Theologiae, the so-called "first way" stands out, for being considered by the author as the "most obvious" one. This dissertation formalizes it in quantificational logic, explaining each of the inferences in order to assess its validity and soundness. After explaining the metaphysical theses that provide the backdrop for the discussion — as the doctrine of the four Aristotelian causes and the distinctions between substance and accident, act and potency — it considers the objections of Anthony Kenny (1969) and interpretive suggestions of John Wippel (2000) in defense of Thomas’ reasoning. It is shown that the first part, which seeks to demonstrate the non-reflexivity of movement, is a valid argument, but unsound, because it contains a false premise: the one that states the mover’s actuality without restrictions. The second part, the argument against the infinite regress, contains an ambiguity that leaves you faced with two alternatives: either it begs the question or it is a fallacy of equivocation. Given the material and formal failure of the proof, a non-deductive approach to the problem is finally proposed.

Obtemos uma expansão assintótica da função de distribuição sob a hipótese nula da estatística gradiente para testar hipóteses nulas compostas na presença de parâmetros de perturbação. Esta expansão é derivada utilizando uma rota Bayesiana baseada no argumento de encolhimento descrito em Ghosh e Mukerjee (1991). Usando essa expansão, propomos uma estatística gradiente corrigida por um fator de correção tipo-Bartlett, que tem distribuição qui-quadrado até um erro de ordem o(n-1) sob a hipótese nula. A partir disso, determinamos fórmulas matriciais e algébricas que auxiliam na obtenção da estatística gradiente corrigida em modelos lineares generalizados com dispersão conhecida e desconhecida. Simulações de Monte Carlo são apresentadas. Finalmente, discutimos a obtenção de regiões de credibilidade via inversão da estatística gradiente. Caracterizamos as densidades a priori, matching priors, que asseguram propriedades de cobertura frequentista acuradas para essas regiões. / We obtain an asymptotic expansion for the null distribution function of the gradient statistic for testing composite null hypotheses in the presence of nuisance parameters. The expansion is derived using a Bayesian route based on the shrinkage argument described in Ghosh and Mukerjee (1991). Using this expansion, we propose a Bartlett-type corrected gradient statistic, which has a chi-square distribution up to an error of order o(n1) under the null hypothesis. Also, we determined matrix and algebraic formulas that assist in obtaining Bartett-type corrected statistic in generalized linear models with known and unknown dispersion. Monte Carlo simulations are presented. Finally, we obtain credible regions based by the inversion of gradient statistic. We characterize priori densities, matching priors, that ensure accurate frequentist coverage properties for these regions.

Neste trabalho, seguindo a abordagem de Weierstrass, temos o objetivo de responder a seguinte questão: conhecida a equivalência entre holomorfia e analiticidade no caso complexo, quais propriedades das funções analíticas podem ser obtidas sem assumir tal equivalência? Analisando esta situação, resultados interessantes serão obtidos sem o uso de qualquer teorema de integração complexa e, para alcançar tal objetivo, nossas principais ferramentas serão a teoria de somas não ordenadas de famílias em C e propriedades do índice de caminhos fechados. Entre os resultados apresentados estão os conhecidos Teorema Fundamental da Álgebra, Lema de Schwarz, Teorema de Montel, Teorema da Série Dupla de Weierstrass, Princípio do Argumento, Teorema de Rouché, Teorema da Fatoração de Weierstrass, Pequeno Teorema de Picard e o Teorema da Aplicação de Riemann. / In this work, following the Weierstrass\'s approach, we aim to answer the following question: knowing the equivalence between holomorphy and analyticity in the complex case, which properties of analytic functions can be obtained without assuming such equivalence? Through analyzing this situation, interesting results will be obtained without employing of any complex integration theorem and in order to achieve this goal, our main tools will be the theory of unordered sums in C and properties of winding numbers of closed paths. Among the proven results are the well known Fundamental Theorem of Algebra, Schwarz\'s Lemma, Montel\'s Theorem, Weierstrass\'s Double Series Theorem, Argument Principle, Rouché\'s Theorem, Weierstrass\'s Factorization Theorem, Picard\'s Little Theorem and the Riemann\'s Mapping Theorem.