Orientador : Zeljko Loparic / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-16T09:51:30Z (GMT). No. of bitstreams: 1 Gonzales_MariaEuniceQuilici_M.pdf: 34830142 bytes, checksum: 2b5e2b2cb44e1d091ead102c22b1f740 (MD5) Previous issue date: 1984 / Resumo: Analisamos nesta dissertação questões relativas à descoberta científica e aos processos cognitivos subjacentes a atividade de resolução humana de problemas. No que diz respeito à descoberta científica, nossa análise limita-se basicamente a uma investigação dos trabalhos de Hanson e Simon sobre a lógica da descoberta científica. Quanto aos processos cognitivos subjacentes à atividade de resolução humana de problemas, nosso estudo estará apoiado nas idéias de Polya, Newell e Simon, Hintikka e Remes. O presente trabalho divide-se em duas partes centrais que se desdobram nos capítulos I-V. No capítulo I, iniciamos o estudo da descoberta confrontando os pontos de vista de Hanson e Popper sobre a lógica da descoberta científica. A seguir, com base nas obras de Buchanan Logics of Scientific Discovery e de Kuhn A Estrutura das Revoluções Científicas, desenvolvemos uma análise do conceito de descoberta e discutimos algumas dificuldades concernentes à noção da lógica da descoberta. Concluímos o capítulo I discutindo algumas das teses centrais que poderiam caracterizar uma metodologia da descoberta científica. No capítulo II, analisamos as principais teses de Hanson sobre a lógica da descoberta, em três secções que correspondem aos três estágios da obra desse autor. Iniciamos o capítulo discutindo as teses de Patterns of Discovery. A seguir, o artigo "Is There a Logic of Scientific Discovery?¿ é analisado e, finalmente, ¿Retroductive Inference" completa a nossa análise do trabalho de Hanson. No capítulo III examinamos algumas idéias relativas a uma possível metodologia da descoberta científica. Iniciamos o capítulo investigando, com base na obra de Polya - A Arte de Resolver Problemas, uma área de estudos denominada "Heurística", a qual trata de métodos de resolução de problemas e de processos de descoberta. Após uma breve análise acerca da natureza dos problemas, discutimos a tese segundo a qual a descoberta científica pode ser entendida como um processo de resolução de problemas. Concluímos o capítulo apresentando um método conhecido como método de análise (o qual foi utilizado pelos antigos para a descoberta de provas de teoremas e soluções de problemas da geometria) e sugerindo que o estudo desse método poderia ser útil para uma análise da metodologia da descoberta científica. Nos capítulos IV e V, que constituem a segunda parte da tese, discutimos, respectivamente, a teoria de resolução de problemas de Newell e Simon e a teoria da descoberta de Simon, desenvolvidas na área de Inteligência Artificial. No capítulo IV I damos especial destaque ao estudo de um método conhecido nessa área como método heurístico de busca e mostramos em que sentido ele poderia ser entendido como uma versão do método de análise. No capítulo V apresentamos a teoria da descoberta elaborada por Simon, na versão psicológica e sociológica, de um lado, e na versão "lógica", de outro. Concluímos a dissertação fazendo um balanço daquilo que foi apresentado nos capítulos anteriores, e questionando as contribuições da Inteligência Artificial, no que diz respeito ao esclarecimento das noções apresentadas sobre o processo da descoberta científica / Abstract / Mestrado / Mestre em Filosofia

Orientador: Walter Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-06T13:53:14Z (GMT). No. of bitstreams: 1 Petrillo_PauloRoberto_M.pdf: 550562 bytes, checksum: d5d0281add1414a180c8c5dcbb88d8de (MD5) Previous issue date: 2005 / Resumo: Este trabalho estuda o conceito de vaguidade, analisando suas principais características e criticando a viabilidade do uso da Lógica Difusa a predicados vagos, mostrando diversos pontos discutíveis desta abordagem. Na tentativa de propor então uma lógica apropriada para tratar dos conceitos vagos, estuda-se as Lógicas Moduladas e conclui-se que estas se prestam bastante bem para expressar conceitos qualitativamente vagos. Através de quantificadores modulados aplicados a relações de pré-ordem propõe-se uma forma de definir predicados vagos que permitam uma nova abordagem a dilemas como o Paradoxo do Sorites. Mostra-se assim como o dilema sorítico se dissolve quando interpretado à luz das Lógicas Moduladas, e ao mesmo tempo sugere-se uma fundamentação alternativa, puramente qualitativa, aos predicados difusos / Abstract: This work studies the concept of vagueness, analyzing their main characteristics and criticizing the viability of Fuzzy Logic to express vague predicates. Vle conclude by showing several debatable points on this use of Fuzzy Logic. Looking for an appropriate logic to express vagueness we study the Modulated Logics, and conclude that they are better suited than Fuzzy Logic to express vague reasoning in the form of what we call qualitative vagueness. Through modulated quantifiers applied to restrict partial order relations we propose a new way to define vague predicates which allows us to approach the Sorites Paradox from a new point of view. We show how Sorites Paradox can be solved when interpreted by modulated logics, and offering an alternative, purely qualitative, foundation to vague predicates / Mestrado / Logica / Mestre em Filosofia

Orientador: Zeljko Loparic / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-28T16:03:57Z (GMT). No. of bitstreams: 1 Beckenkamp_Joaosinho_D.pdf: 9794679 bytes, checksum: b89c120f7a75a159e61b53cca3648438 (MD5) Previous issue date: 1999 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Filosofia

Orientador : Anna Regina Lanner de Moura / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-02T05:27:02Z (GMT). No. of bitstreams: 1 Catalani_EricaMariaToledo_M.pdf: 14193268 bytes, checksum: 30b41e4ea51d54528cf5bee13caec94b (MD5) Previous issue date: 2002 / Mestrado

Orientador: Jose Oscar de Almeida Marques / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T16:40:09Z (GMT). No. of bitstreams: 1 Scherer_Fernando_M.pdf: 303198 bytes, checksum: 9c44a0bb353360595a0f592902a8630e (MD5) Previous issue date: 2003 / Resumo: Esta dissertação investiga em que sentido Wittgenstein considera que a ética é ¿transcendental¿ no Tractatus, conforme o aforismo 6.421. Para tal, realizamos neste trabalho um estudo da teoria figurativa da proposição no Tractatus, com ênfase na distinção entre o dizível e o indizível, seguido de um exame da noção de ¿sujeito metafísico¿ como aquilo que possibilita que as proposições da linguagem adquiram seu sentido pela projeção dos elementos da linguagem no mundo. Por fim, a partir da noção de ¿limites¿ do mundo e da linguagem, investigamos diversas interpretações da natureza desses limites e procuramos apresentar a unidade entre ética e lógica no Tractatus por meio de uma consideração da influência de Weininger no pensamento de Wittgenstein / Abstract: The subject of this work is the notion of ¿transcendental¿ as applied to ethics in Wittgenstein¿s Tractatus, according to the aphorism 6.421. We try to understand in which sense Wittgenstein can say there that ethics is ¿transcendental¿. To that end, we begin with a study of the ¿picture theory¿ of meaning in the Tractatus, stressing the distinction between what can and what cannot be said. After that, we examine the notion of ¿metaphysical subject¿ as what makes possible that propositions of language get their senses through the projection of the elements of the language in the world. Finally, we turn to the notion of ¿limits¿ of the world and the language, and investigate several interpretations of the nature of those limits, trying to show the unit between ethics and logic in the Tractatus by means of Weininger¿s influence in Wittgenstein¿s thought / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Carlos Alberto Lungarzo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T16:29:44Z (GMT). No. of bitstreams: 1 Castro_MiltonAugustinisde_M.pdf: 3539736 bytes, checksum: 4f144a2bbdab30d1239bf7c8b631cfa7 (MD5) Previous issue date: 1998 / Resumo: A aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1 '< ou =' n'< ou =' ¿ômega¿) é apresentada neste trabalho. Através desse método elabora-se uma hierarquia de sistemas de dedução natural DNCn, constituídos exclusivamente por regras de dedução (ou esquemas de dedução), dispensando, quaisquer esquemas de postulados. Provamos que esses sistemas DNCn (0 '< ou =' n '< ou =' ¿ômega¿) são logicamentes equivalentes aos sistemas Cn(0 '< ou =' n '< ou =' ¿ômega¿) de DA COSTA. Elaboramos uma valoração bivalente e provamos vários temas sintáticos e semânticos referentes aos sistemas formais, tais como, consistência, corretude forte, completude forte no caso dos sistemas DNCn(1 '< ou =' '< ou =' ¿ômega¿). Provamos a decidibilidade dos sistemas paraconsistentes de dedução natural DNCn(1 '< ou =' n '< ou =' ¿ômega¿) pelo método de tableau. Provamos a equivalência entre os sistemas DNCn (1 '< ou =' n '< ou =' ¿ômega¿) e o sistemas de tableau TDNCn (1 '< ou =' n '< ou =' ¿ômega¿), a corretude e a decidibilidade desses sistemas. Duas novas formulações para a hierarquia de sistemas proposicionais paraconsistentes Cn (0 '< ou =' n '< ou =' ¿ômega¿) são apresentadas / Abstract: In this paper, we present an application of the method of natural deduction, via the method of subordinate proofs. By using this method, we develop a hierarchy of logical systems of natural deduction DNCn containing just deduction rules (or schemes of deduction) with no axioms schemes. We proved that these systems DNCn(0 '< ou =' n '< ou =' ¿ômega¿) are logically equivalent to the da Costas's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿). By introducing of a special bivalent valuation concept, we prove some the standard syntactical as well as semantical properties of formal systems, like consistency, strong soundness, and strong completeness in the case of the DNCn(1 '< ou =' n '< ou =' ¿ômega¿). The decidability of the paraconsistent systems of natural deduction DNCn(1 '< ou =' n '< ou =' ¿ômega¿) is proved by specifically introduced systems of tableau. We prove the logical equivalence between the systems DNCn(1 '< ou =' n '< ou =' ¿ômega¿) and the tableau system TDNCn (1 '< ou =' n '< ou =' ¿ômega¿) and also prove the soundness and decidability of these systems. Two new formulations for the hierarchy of da Costa's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿) are introduced. / Mestrado / Logica e Epistemologia / Mestre em Lógica e Filosofia da Ciência

Orientador: Michael B. Wrigley / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T21:12:31Z (GMT). No. of bitstreams: 1 AguilarVerastegui_RosadeLourdes_M.pdf: 2355582 bytes, checksum: 6bcdfd463f8cb8be8daa428271089672 (MD5) Previous issue date: 1998 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Ciências

Orientador: Luiz Gonzaga de Mello Belluzo / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Economia / Made available in DSpace on 2018-07-18T22:27:14Z (GMT). No. of bitstreams: 1 Schwartz_Gilson_D.pdf: 8907869 bytes, checksum: b226aaf78742aeac36754172d52e7d39 (MD5) Previous issue date: 1993 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Economia

Orientador: Hermas Gonçalvez Arana / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-20T23:38:14Z (GMT). No. of bitstreams: 1 Saboia_Beatriz_D.pdf: 6661947 bytes, checksum: 9ab1130f54a91f348e057a0747f76b6d (MD5) Previous issue date: 1996 / Résumé: L'axe central de ce travail est le Prod_s Dialéctique de Ia Construction du Concepet Concret chez Hegel. TI ságit d'lUle analyse textuelle de Ia Science de Ia Logique ou sont recherchées les speccifications du concept hégelien qui, en passand par les Doctrine: de l'Être, de IEssence ed du Concept accomplit les moments suivants: L'Être est le concept seulemente en soi, l'Éssence est le concept en tant que concept posé et, finelemente, le Concept ec,.t l'Absolumente concreto Ce nouyau constitue Ia Premiére Partie de Ia Thése. Pour une Édude sur Ia Concretisation du Concept chez Hegel - premiere partie du texte - a traité le theme en ayant comme référence les suivantes oeuvres de Hegel: La Fhénoménologie de I'Esprit, La Philosophie de l'histoire et I'lntroduction à I'Histoire de Ia Philosophie. Toujours dans cette partie nous avons cherché des interpretes de Hegel aves le but de cemer les interlocuteurs internes à I' oeuvre de Hegel: Kant, Fichte et Schelling. Une telle étude constitue lUle verticalization chez le prope Hegel, pour que quelques suggestions de nouvelles études, présentes dans les remarques finales, sur l'Ontologie de l' Être Social puissent être developées prochainemente avec rigueur dans Ia logique dialectique et dans lUle fimdamentacion philosophique / Resumo: O eixo central da tese é o Processo Dialético na Construção do Conceito Concreto em Hegel. Trata-se de uma análise textual da Ciência da Lógica, que busca apreender as especificações do conceito hegeliano, o qual, passando pelas Doutrinas do Ser, da Essência e do Conceito, realiza os seguintes momentos: o Ser é o conceito somente em si; a Essência é o conceito enquanto conceito posto; e, finalmente, o conceito é o absolutamente concreto. Constitui-se tal núcleo na Parte Segunda. A Parte Primeira, Estudo sobre a Concretização do Conceito em Hegel, tematiza as seguintes obras de Hegel: A Fenomenologia do Espiríto, A Filosofia da História e a Introdução à História da Filosofia. Ainda nesta parte, no segundo capítulo, procura-se examinar o diálogo de Hegel com os interlocutores internos à sua obra: Kant, Fichte e Schelling. a presente estudo, ao realizar uma verticalização em Hegel, pretende abrir caminhos para que algumas propostas de novos estudos sobre a antologia do Ser Social, constantes nas considerações finais, possam ser posteriormente desenvolvidas com mais rigor na lógica dialética e na fundamentação filosófica / Doutorado / Filosofia / Doutor em Educação

Texto em portugues e frances / Orientadores: Marcio Luiz Andrade Netto, Mario Borillo, Antonio Eduardo Costa Pereira / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica ; Universite Paul Sabatier (Toulouse, França) / Made available in DSpace on 2018-07-21T08:46:59Z (GMT). No. of bitstreams: 1 Julia_RitaMariadaSilva_D.pdf: 11868009 bytes, checksum: cc3d2f8a19bfb5c925bab2824c3e9f84 (MD5) Previous issue date: 1995 / Resumo: Nós apresentamos um sistema que analisa sintática e semanticamente um conjunto de asserções, que introduz as asserções analisadas em uma base de conhecimentos e que recupera informações a partir desta base. As asserções correspondem a exigências que compõem um conjunto de especificações de programas. Elas correspondem a um tipo particular de frases em linguagem natural que se referem ao contexto das ciências espaciais. As asserções são estocadas na base de conhecimentos como fórmulas do Cálculo dos Predicados cujas variáveis são anotadas por conceitos da Lógica Terminológica. As perguntas propostas ao sistema também precisam ser analisadas sintática e semanticamente de tal maneira a apresentarem a mesma forma correspondente às asserções estocadas na base. o analisador sintático e semântico implementado é capaz de gerar automaticamente algumas regras semânticas. Para a recuperação da informação, nós usamos um provador de teoremas híbrido do Cálculo dos Predicados que responde perguntas efetuando uma avaliação parcial delas a partir da base de conhecimentos. O provador de teoremas utiliza a semântica da Lógica Terminológica para guiar seu mecanismo de inferência. Os recursos da subsunção da Lógica Terminológica são utilizados para simplificara base de conhecimentos e o traço de prova / Abstract: We present a system to analyse a set of assertions, to introduce the analysed assertions into a knowledge base and to retrieve informationfrom it. These assertions are requirements specified by the system engineer. They correspond to a particular type of sentences in Natural Language referring to Space Science context. The assertions are stored in the Knowledge Base as formulae of Predicate Calculus whose variables are annotated by concepts of TerminologicalLogic. The queries posed to the system must also be analysed in such a way as to get a form similar to that presented by the stored assertions. For information retrieval, we use a hybrid Theorem Prover of Predicate Calculus that answers questions by partially evaluating the query from the knowledge base. The Theorem Prover utilizes the semantics of TerminologicalLogic to guide its inference engme / Doutorado / Doutor em Engenharia Elétrica