Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T06:43:56Z (GMT). No. of bitstreams: 1 284555.pdf: 249411 bytes, checksum: 1d7e88413458866467e3ec7ac5dcbd19 (MD5) / Sabe-se que, em alguns ambientes, tais como os números naturais e os números ordinais, os princípios da indução fraca, da indução completa e da boa ordem são todos verdadeiros. Com base em certas condições, cada um destes três princípios implica nos outros dois, porém não está claro nas referências consultadas quais são estas condições. Neste trabalho é fornecido um ambiente com requisitos mínimos em que estes três princípios são equivalentes, no sentido de que todos são válidos, ou todos são não válidos. São apresentadas em detalhes algumas estruturas algébricas, da mais geral às mais particulares, nas quais estes três princípios são válidos. Para algumas destas estruturas é provada a validade das leis de indução dupla, nas versões fraca e completa. Nos ditos sistemas quase transfinitos

Orientador : Zeljko Loparic / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T00:31:01Z (GMT). No. of bitstreams: 1 Plastino_CaetanoErnesto_M.pdf: 19418717 bytes, checksum: 4e55c0496a70c66a3b62259e0dde6908 (MD5) Previous issue date: 1982 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Filosofia / Made available in DSpace on 2012-10-22T14:39:59Z (GMT). No. of bitstreams: 1 238723.pdf: 467535 bytes, checksum: 427245c73eaf0020f1f0bbcdfea2860e (MD5) / Hume sustentou em suas investigações que não estamos autorizados pela razão a fazer infe-rências indutivas e muitos foram os que tentaram refutar esta posição (SALMON, 1979; BLACK, 1975). Não pretendemos neste trabalho oferecer uma resposta ao problema posto por Hume, mas tentar mostrar que, apesar de não serem inferências válidas, as induções nos trazem conclusões plausíveis quando partimos de premissas também plausíveis e obedecemos certas condições. Inicialmente, faremos uso da caracterização de da Costa que nos diz que uma lógica é "qualquer classe de cânones de inferência baseada num sistema de categorias" (DA COSTA, 1993, p.12), para tentar mostrar em que sentido é possível falarmos de lógicas indutivas. Para tanto, usaremos a caracterização desse autor para o conceito de indução como sendo uma inferência (relativa a uma dada lógica L ) que não é válida do ponto de vista de L .1 Como, em geral, não há como garantir a veracidade de conclusões obtidas indutivamente, mesmo sendo todas as premissas da inferência comprovadamente verdadeiras, associaremos as sentenças envolvidas no argumento indutivo com um tipo de probabilidade subjetiva, chamada probabilidade pragmática, desenvolvida por da Costa. Sem muitos detalhes, dizemos que a probabilidade pragmática de uma sentença é o grau de crença racional na quase-verdade desta sentença e que a quase-verdade é o quanto esta sentença se aproxima da "verdade absoluta". Serão estes dois conceitos de probabilidade pragmática e de quase-verdade que nos ajudarão a medir o grau de plausibilidade de uma inferência indutiva. Por ?m, usaremos estes conceitos para também tratarmos de sentenças vagas. Assim, podemos tratar de situações em que as premissas e a conclusão de certas regras possam comportar alguma incerteza, ou vagueza, mas que a elas se possa conferir algum grau de con?abilidade. Utilizaremos um tipo de lógica paraconsistente, chamada de lógica anotada, para tratar a questão e proporemos uma regra de inferência, além da Regra da Cautela, já proposta por da Costa e Krause em (DA COSTA; KRAUSE, 2002). Hume supported in his enquiry that we are not authorized by reason to make inductive inferences and many were those who tried to refute this statement (SALMON, 1979; BLACK, 1975). We do not intend to offer Hume an answer here, but we shall attempt to show that, although inductions are not valid inferences, they bring us plausible conclusions if we start with premises that are plausible as well and if we follow certain conditions. First, we will make use of da Costa's caracterization that says that a logic is "any class of canons of inference based on a system of categories" (DA COSTA, 1993, p.12) in order to try to show how it is possible to speak of inductive logics. To manage that, we will use this author's caracterization of induction as being an inference (relative to a give logic L ) that is not valid in L . Since, in general, there is no way to ensure the truth of the conclusions that are inductively gotten, even if each premise is known to be true, we shall associate the sentences envolved in the argument with a type of subjetivist probability, called pragmatic probability, that was developed by da Costa. Without going deep into details, we say that the pragmatic probability of a sentence is the degree of rational belief in the quasi-truth of this sentence and that its quasi-truth is how close the sentece gets to the "absolute truth". These two concepts, of pragmatic probability and of quasi-truth, will help us measure the degree of plausibility of an inductive inference. At last, we shall use these concepts to also deal with vague sentences. This way, we can deal with situations in which, although the premises and the conclusion of certain rules can bear some uncertainty, or vagueness, we can still assign them some degree of con?dence. We shall use a type of paraconsistent logic, called annotated logic, to deal with this matter and we shall offer an inference rule, besides the Warning Rule, already offered by da Costa and Krause in (DA COSTA; KRAUSE, 2002).

FELIX, Hudson de Souza. Princípio da indução matemática: fundamentação teórica e aplicações. 2015. 39 f. Dissertação (Mestrado em Matemática em Rede Nacional) - Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-04-27T19:01:10Z No. of bitstreams: 1 2015_dis_hsfelix.pdf: 856463 bytes, checksum: 22bf90f6778b7e8e8abc61a2cc0567fd (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-04-28T11:33:16Z (GMT) No. of bitstreams: 1 2015_dis_hsfelix.pdf: 856463 bytes, checksum: 22bf90f6778b7e8e8abc61a2cc0567fd (MD5) / Made available in DSpace on 2015-04-28T11:33:16Z (GMT). No. of bitstreams: 1 2015_dis_hsfelix.pdf: 856463 bytes, checksum: 22bf90f6778b7e8e8abc61a2cc0567fd (MD5) Previous issue date: 2015 / This paper presents properties and mathematics teaching issues that somehow show or can be resolved using the principle of mathematics induction. with this, we seek to awaken students to the importance of demonstration in mathematics , leaving the conformity to accept any intuitive formatting formula indexed to natural numbers and go for a more refined mathematical analysis of the concepts , properties and problems that arise in mathematics. / O presente trabalho apresenta propriedades e problemas do ensino da matemática que de alguma forma se demonstram ou podem ser resolvidas usando o princípio da indução matemática. Com isso, buscamos despertar o aluno para a importância da demonstração em matemática, saindo do conformismo de aceitar a qualquer fórmula de formatação intuitiva indexada ao números naturais e partir para uma análise matemática mais refinada dos conceitos, propriedades e problemas que se apresentam na matemática.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2016. / Made available in DSpace on 2016-09-27T04:04:47Z (GMT). No. of bitstreams: 1 338979.pdf: 1143367 bytes, checksum: 53480dfadecbe9db4097684c05fd8001 (MD5) Previous issue date: 2016 / Buscamos uma resposta para a questão: pode haver desacordo racional depois que duas pessoas consideradas pares descobrem que defendem crenças divergentes? Apresentaremos, por um lado, a resposta dada pela Visão de Peso Igual que defende que o par deve desistir de suas respectivas crenças, pois não pode haver desacordo racional depois do reconhecimento mútuo; por outro lado, temos a Visão das Razões Corretas e a Visão de Peso Extra que defendem que o par deve permanecer com suas respectivas crenças. Os defensores da Visão de Peso Igual defendem a chamada Tese da Unicidade que diz que só podemos ter apenas uma resposta doxástica racional para cada crença. Defensores das outras visões concorrentes defendem uma espécie de permissivismo epistêmico que diz o oposto, ou seja, pode-se, racionalmente, ser sustentada mais de uma atitude doxástica para cada crença (não pela mesma pessoa no mesmo tempo). Mostraremos que muito da discussão se concentra em duas temáticas importantes da epistemologia mainstream: justificação epistêmica e anuladores. A partir de então, argumentaremos que a divisão entre justificação interna e justificação externa, além da divisão entre anuladores proposicionais e anuladores de estados mentais podem nos dar uma resposta ao problema. Do ponto de vista internalista, a resposta ao problema é 'sim', mas do ponto de vista externalista a resposta pode ser 'não'. Ademais, nem sempre um anulador incita uma revisão completa da crença, mas apenas uma revisão parcial. Isto pode desmotivar a atração inicial pela Visão de Peso Igual.<br> / Abstract : We seek an answer to the question: can there be rational disagreement after two people considered peers find out that hold divergent beliefs? We will present, on the one hand, the answer given by Equal Weight View defending that the pair should give up their respective beliefs, because there must be no rational disagreement after mutual recognition; On the other hand, we have the Right Reasons View and Extra Weight View that support that the peer should remain with their respective beliefs. Supporters of Equal Weight View stand up for calledUniqueness Thesis that says we can only have only one rational doxastic answer for every belief. Supporters of other competing visions defend akind of epistemic permissiveness that says the opposite, i.e., rationally more than one doxastic attitude can be sustained over each belief (not the same person at the same time). We will show that much of the discussion focuses on two important themes of mainstream epistemology: epistemic justification and defeaters. From them on, we argue that the division between internal and external justification, besides the division between propositional defeaters and mental states defeaters can give us an answer to the problem. From the internalist' spoint of view, the answer to the question is 'yes', but the externalist' spoint of view, the answer might be 'no'. Moreover, a defeater does not always urge a complete review of the belief, but only a partial review. This may discourage the initial attraction to Equal Weight View.

Orientador : Luiz Henrique Antunes Rodrigues / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Agricola / Made available in DSpace on 2018-07-28T08:13:03Z (GMT). No. of bitstreams: 1 Munari_AntonioCesardeBarros_M.pdf: 1052161 bytes, checksum: 15c102d73a90a834983576c8edcef8ed (MD5) Previous issue date: 2001 / Mestrado

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

Made available in DSpace on 2016-06-02T20:13:12Z (GMT). No. of bitstreams: 1 3722.pdf: 1012940 bytes, checksum: 1e1ab58a4a30b7e854cbfd0c736f111a (MD5) Previous issue date: 2011-04-14 / Universidade Federal de Sao Carlos / We analyzed John Stuart Mill s book System of Logic Inductive and Deductive. Our aim are present the philosophy of social science formulate by Mill in this book. The discussion empathize the millian interpretation of inductive methods. At last, we make the critical balance of those conceptions in relation of methodology of social science in confrontation with Emile Durkheim s opinions. / Discutimos a filosofia das ciências sociais de John Stuart Mill a partir das posições apresentadas em seu livro Sistema de Lógica Indutiva e Dedutiva. Baseamos essa discussão em sua interpretação dos métodos indutivos. Por fim, realizamos o balanço crítico dessa metodologia em relação às ciências sociais em comparação com as opiniões de Emile Durkheim.

Orientador: Lucas Angioni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-14T10:15:53Z (GMT). No. of bitstreams: 1 Barreto_CarolinaMuranakaSaliba_M.pdf: 1239803 bytes, checksum: 74ea070083168573fcbff1d1720b13de (MD5) Previous issue date: 2009 / Resumo: Com o fim da Guerra Fria os Estados Unidos se consolidam no cenário internacional como a única superpotência em termos políticos, militares e econômicos. A partir da queda do inimigo soviético, perspectivas emergem a fim de identificar quais ameaças seriam capazes de colocar em xeque a segurança nacional dos EUA. Neste período, estas novas ameaças foram definidas em duas instâncias, uma considerando as ameaças estatais, relativas aos estados hostis aos EUA bem como os estados delinqüentes os quais representavam ainda uma ameaça generalizada à segurança internacional, e a outra considerando as ameaças não estatais, focadas principalmente no terrorismo como fonte de insegurança e instabilidade internacional. Tendo isto em vista, essa dissertação analisará o documento National Security Strategy dos governos de George H. W. Bush (1989-1993), William J. Clinton (1993-2001) e George W. Bush (2001-2009) com o objetivo de compreender como este define as ameaças aos Estados Unidos, bem como estabelece prioridades estratégicas e objetivos, a fim de direcionar como as ameaças serão enfrentadas. Ao mesmo tempo, será feita uma contraposição entre a análise do documento e as ações desempenhadas pelos governos nas questões de segurança nacional. / Abstract: With the end of the Cold War the United States consolidate themselves in the international scenery as the only superpower in political, military and economic terms. Since the fall of the Soviet enemy, perspectives emerge in order to identify which threats would be able to put in check the national security of the USA. In this period, these new threats were defined in two instances, one considering the state actors, relative to hostile states to the USA as well as the rogue states which ones represented a generalized threat to the international security, and the other considering the non-state threats, focused mostly in the terrorism as a source of international insecurity and instability. Having this in mind, this dissertation will analyze the National Security Strategy release of the governments of George H. W. Bush (1989-1993), William J. Clinton (1993-2001) and George W. Bush (2001-2009) in order to comprehend how these documents define the threats to the United States, as well as how it establishes strategic and objective priorities in order to address how the threats will be faced, at the same time, will be made a comparison between the document analysis and the actions performed by the governments in the national security issues. / Mestrado / Filosofia Antiga / Mestre em Filosofia

Orientador: José Carlos Pinto de Oliveira / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-18T06:04:22Z (GMT). No. of bitstreams: 1 Menna_SergioHugo_D.pdf: 2716382 bytes, checksum: 6142783b3c83d2ad782502cfe287dbb6 (MD5) Previous issue date: 2011 / Resumo: A historiografia contemporânea da metodologia herdou vários 'enigmas' a serem resolvidos sobre as ideias e contribuições de Francis Bacon. Qual é a estrutura do seu método de indução, qual é a natureza de sua 'lógica da descoberta', qual o valor que ele concedeu às hipóteses e conjeturas na investigação científica, qual o papel de Bacon na história da metodologia, qual sua dívida com seus predecessores, qual a influência que exerceu sobre os pensadores que o sucederam etc. Na presente Tese farei uso de estudos históricos e críticos contemporâneos a fim de analisar a obra metodológica de Bacon e determinar a influência das 'artes' heurísticas antigas e medievais no seu método indutivo. Em particular, tentarei mostrar que ainda que Bacon tenha ampliado o 'poder criativo' das 'artes' da invenção, e tenha estendido seu raio de aplicação ao domínio científico, não as formalizou nem substituiu o caráter falível das mesmas. Também, e destacando o importante papel criativo concedido por Bacon e outros autores da Modernidade a 'virtudes' ou 'desiderata' como, por exemplo, a analogia ou a simplicidade, argumentarei contra as principais interpretações rivais existentes sobre a estrutura e dinâmica do método baconiano. Especificamente, me situarei em oposição à interpretação 'geracionista mecânica' -que afirma que o método de Bacon funciona como uma máquina que produz teorias de forma automática- e à interpretação 'hipotetista' -que entende que o método de Bacon funciona só no processo de avaliação de teorias, deixando a tarefa de descoberta ao gênio criativo. Tentarei defender que Bacon esteve particularmente interessado em fornecer heurísticas -isto é, guias ou máximas criativas e avaliativas- para que os homens, trabalhando metodologicamente, e reunidos em comunidades de pesquisa, pudessem construir hipóteses científicas de qualidade. Esta argumentação supõe fazer observações sobre a natureza das regras no século XVII, sobre as relações entre experiência e teoria, e introduzir precisões dentro do domínio das inferências ampliativas, além de esclarecer a posição de Bacon com relação a termos chaves como 'verdade', 'hipótese' e 'conhecimento'. Por último, com esta concepção heurística da indução baconiana, examinarei as interpretações clássicas sobre o papel desempenhado por Bacon na Revolução científica e sua importância na difusão da ideia de progresso. Esta interpretação da herança e da metodologia de Bacon, e de sua recepção e influência em autores posteriores, tal como defenderei, permite compreender e avaliar melhor o significado desse autor para o pensamento científico da Modernidade, e possibilita reavaliar de maneira mais adequada as categorias estabelecidas para a metodologia da descoberta de Bacon por alguns de seus críticos passados e contemporâneos / Abstract: The contemporary historiography of methodology inherited various 'puzzles' to be solved about the ideas and contributions of Francis Bacon, such as: What is the structure of his method of induction?; what is the nature of his 'logic of discovery'?; what value did he attach to hypotheses and conjectures in scientific research?; what is the role of Bacon in the history of methodology?; what are his debts to his predecessors?; what is the influence he had upon the thinkers that followed him? and so on. In this thesis I will make use of contemporary historical and critical studies in order to analyze the methodological work of Bacon and the influence of the ancient and medieval heuristic 'arts' on his inductive method. In particular, I will try to show that although Bacon extended the 'creative power' of the 'arts' of invention, and extended their scope of application to the scientific field, he did not formalize nor replace the fallible nature of them. Also, by highlighting the importance of the creative role given by Bacon and other authors of Modernity to 'virtues' or 'desiderata' as, for example, analogy or simplicity, I will argue against major rival interpretations that exist on the structure and dynamics of the Baconian method. Specifically, I will situate my position in opposition to the 'mechanical-generative' interpretation -which claims that Bacon's method works like a machine that produces theories automatically-, and the 'hypothetist' interpretation -which holds that Bacon's method works only in the process of evaluating theories, leaving the task of discovering to the creative genius. I will try to argue that Bacon was particularly interested in providing heuristics -in other words, creative and evaluative guides or principles- so that men, working methodically, could build high-quality scientific hypotheses. This argumentation presupposes the need to make remarks on the nature of rules in the seventeenth century, on the relationship between experience and theory, and also presupposes the provision of more details within the domain of the ampliative inferences, besides clarifying the position in the light of key terms used by Bacon, such as 'truth', 'hypothesis' and 'knowledge'. Finally, on the basis of this heuristic conception of Baconian induction, I will examine the classic interpretations of the role played by Bacon in the Scientific Revolution and his importance in spreading the idea of progress. This interpretation of Bacon's heritage and methodology, and Bacon, and their reception by, and influence on later writers, I will set out to argue, allows us to understand and evaluate in the best way the significance of this author for the scientific thought of Modernity, and enables us, in the most appropriate way, to reassess the categories established for Bacon's methodology of discovery by some of his critics, both past and contemporary / Doutorado / Epistemologia / Doutor em Filosofia