Search

Orientador : Daniel Durante Pereira Alves Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Geociencias Mestrado

Orientador: Newton Muller Pereira Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Geociencias Resumo: A dissertação é uma pesquisa exploratória teórica que parte do pressuposto de que os atuais problemas sócio-ambientais estão relacionados a uma cultura social insustentável, fortemente influenciada pelo modo de organização para a produção material da vida na sociedade capitalista. A dissertação desenvolve a hipótese de que por ser a formação cultural um processo voltado não à formação individual, mas ao todo social, as políticas científicas e tecnológicas são uma privilegiada possibilidade de contribuições à formação de uma cultura de sustentabilidade sócio-ambiental, devido ao fato de serem um direcionamento político voltado ao cerne da racional idade do desenvolvimento capitalista: a inovação científica e tecnológica, que possui papel decisivo para o modo de produção e seu universo de interferência; e ainda, devido à central idade da ciência e da tecnologia na cultura das sociedades modernas, no sentido de que a ciência e a tecnologia provêem muitas das possibilidades materiais da existência moderna. A racionalidade científico-tecnológica possui na sociedade capitalista, um papel histórico singular e funcional, relacionado ao desenvolvimento capitalista, o que sugere a comunidade científica diante do contexto atual, uma tarefa política. No entanto, as condições materiais da produção estão atualmente passando por uma reestruturação ampla de formação da sociedade em rede de produção mundial e o processo de globalização econômica expandida pela necessidade de desenvolvimento e valorização do capital, ao mesmo tempo as próprias relações políticas se reestruturam e surgem novas possibilidades políticas, favorecendo ainda mais às políticas científicas e tecnológicas para contribuírem a formação de uma cultura de sustentabilidade sócio-ambienta! Abstract: The dissertation is a research of exploration of theories whose ideas of recent social problems are related to a non base social culture which has a strong influence by the way of organization for producing material for life in the capitalist society. The dissertation develops hypothesis showing that the formation of culture is a process which is not related to the individual formation, but the society itself. The scientific and technological politics are possibilities for making up a social supported culture due to the reason of having a political and rational influence in a capitalist society: The scientific and technological innovation has a very important role for the way of production into its universe of interference and even the importance of science and the technology in the culture of modem society which offers different material possibilities in modem existence . The scientific and technological importance has a single and historical role related to the development of the capitalist society which make us believe that the scientific society has an important political task. However, the conditions for production are passing through great change of Formation of society in a worldwide view and economical process of economical globalization by the needs and the development and valorization of stock , at the same time the political relations change themselves and new possibilities can come out, being better to the scientific and technological politics that will contribute to the formation of a supported social culture Mestrado Política Científica e Tecnologica Mestre em Política Científica e Tecnológica

Orientador: Itala Maria Loffredo D'Ottaviano Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: Alfred Tarski, ao apresentar sua concepção semântica de verdade - uma definição para linguagens formalizadas -, buscou capturar as intenções presentes na concepção clássica de verdade de Aristóteles - esta, uma concepção de verdade correspondencial. De forma semelhante, Mikenberg, da Costa & Chuaqui apresentam uma concepção formal de verdade pragmática - a quase-verdade -, baseados nas intenções presentes nas teorias de verdade de pragmatistas tais como C.S. Peirce, William James e John Dewey. A concepção de quase-verdade vale-se de um tipo de estrutura matemática denominada estrutura parcial. Apresentamos o sistema lógico modal QT - um tipo de lógica de Ja'skowski - , associado à lógica QV (S5Q=). QT constitui uma formalização adequada à noção de quase-verdade. Definimos uma semântica de modelos de Kripke para QT. São apresentados e demonstrados os principais metateoremas do sistema associado QT/QV. Definimos a noção de conseqüência sintática pragmática, introduzimos os conectivos pragmáticos e demonstramos que QT constitui uma lógica paraconsistente. Demonstramos a corretude e completude de QT, simplificando a demonstração valendo-nos dos metateoremas de QT/QV apresentados anteriormente Abstract: Alfred Tarki, in presenting his semantical conception of truth - a definition for formalized languages -, captured Aristotle¿s classical conception of truth - this one, a correspondencial truth conception. Mikenberg, da Costa and Chuaqui, introduced a formal conception of pragmatic truth - da Costa¿s quasi-truth -, based on the theories of truth of some pragmatists, such as C.S. Peirce, William James and John Dewey. The conception of quasi-truth is based on a kind of mathematical structure named, by da Costa, partial structure. We present the modal logical system QT - a kind of Ja'skowski¿s discussive logic -, associated to the logic QV (S5Q=). The logic QT constitutes an adequate formalization for the notion of quasi-truth. We introduce a Kripke model semantics for QT. We prove some metatheorems relative to the associated systems QT and QV. We define the notion of pragmatic sintactical consequence, present the pragmatic connectives and prove that QT is a paraconsistent logic. By using the mentioned metatheorems, we obtain a simplified proof of soundness and completeness of QT Mestrado Filosofia Mestre em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Doutorado Filosofia Doutor em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas Resumo: A Dedução Natural Rotulada consiste em um método de prova desenvolvido por Dov M. Gabbay, o qual se distingue de outros métodos de Dedução Natural pela utilização de rótulos. Estes consistem em marcações metalinguísticas utilizadas nas demonstrações. A vantagem do método de Gabbay é que ele permite contornar certas dificuldades em aplicar a Dedução Natural a certas lógicas não-clássicas, em especial às lógicas modais. Os objetivos desta tese consistem em apresentar a Dedução Natural Rotulada de forma intuitiva e expandí-la para lógicas multimodais Abstract: Labelled Natural Deduction is a proof method developed by Dov M. Gabbay and it is distinct from other Natural Deduction methods by its use of labels. These are metalinguistic marks used in the proofs. The advantage of Gabbay's method is that it allows to work around some difficulties in applying Natural Deduction to some non-classical logics, especially modal logics. The goals of this thesis are presenting Labelled Natural Deduction in a intuitive fashion and expand them into multimodal logics Doutorado Filosofia Doutor em Filosofia CAPES

Orientador: Marcelo Esteban Coniglio Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenção, em primeiro lugar, sobre a negação e, depois, como conseqüência das propostas para a negação, sobre a constante de absurdo. Nosso ponto de partida é, na verdade, um problema de natureza conceitual. Questionaremos a correção e a adequação da análise da negação e do absurdo atualmente predominante no meio-ambiente de dedução natural de estilo gentzeniano. O questionamento dessas análises adota como ponto focal o conceito de hipótese. O conceito de hipótese é uma noção central para os sistemas de dedução natural e a nossa proposta de análise desse conceito servirá de esteio para a formulação das propostas elucidatórias para a negação e o absurdo dentro dos sistemas de dedução natural Abstract: The purpose of this thesis is to present an elucidation of negation and absurd for intuitionist and classical logics in the range of natural deduction systems. Our study could be seen as a development of a proposal presented by Russell over a hundred years ago, which he presumably abandoned later on. First, we will focus on negation and then on the absurd constant, as a consequence of the claims we are making for negation. As a matter of fact, our starting point is a problem of a conceptual nature. We will question the correctness and the adequacy of the analysis of negation and absurd, prevailing nowadays in the Gentzen-style natural deduction circle. The concept of hypothesis is the focus point in questioning these analyses. The concept of hypothesis is a central notion for natural deduction systems and the purpose of our analysis of this concept is to support the formulation of elucidative propositions for negation and absurd in natural deduction systems Doutorado Doutor em Filosofia

Orientador: Itala M. Loffredo D'Ottaviano Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: O presente trabalho tem por objetivo examinar, sob a perspectiva lógico- filosófica da paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais de negação paraconsistente e o conceito de modalidade. Nosso objetivo central consiste no exame de um operador modal de negação paraconsistente. Examinamos conhecidos resultados envolvendo os operadores modais e paraconsistentes, como as lógicas modais normais K, T, S4, S5 e outras lógicas modais; algumas lógicas paraconsistentes, incluindo a lógica modal paraconsistente Z. Além disso, realizamos uma análise crítica concernente às relações entre o conhecido Quadrado de Oposições Aristotélico e a negação paraconsistente, contribuindo para o tema com alguns argumentos. Finalmente, investigamos a questão de como a generalização do Quadrado de Oposições Aristotélico, dita Teoria de n-Oposições, se relaciona com o tema da modalidade, da paraconsistência e da geometrização lógica, propondo idéias para este último. Abstract: The present work aims to investigate, under the logical-philosophical perspective of paraconsistency and modality, relations between the logical-philosophical-formal concept of paraconsistent negation and the concept of modality. Our main task is the analysis of a modal operator of paraconsistent negation. We have examined some known results involving modal and paraconsistent operators, such as the modal normal logics K, T, S4, S5 and other modal logics; some paraconsistent logics, including modal paraconsistent logic Z. We also have proceeded a critical analysis concerning relations between the well known Aristotle's Square of Oppositions and paraconsistent negation, contributing to the theme with some arguments. Finally, we have investigated the question of how the generalization of the Square of Oppositions, through the n-Oppositions Theory, may be related to the themes of modality, paraconsistency and logic geometrization, proposing some ideas. Mestrado Mestre em Filosofia