Orientador: Luiz Roberto Monzani / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-12T01:24:55Z (GMT). No. of bitstreams: 1 Casanave_CarlotaMariaIbertisdeLassalle_M.pdf: 7386461 bytes, checksum: c7f5d8a838175ec75a47e527bdc1eb94 (MD5) Previous issue date: 2000 / Resumo: Nao informado / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Orientador: Edmundo Fernandes Dias / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-23T06:06:03Z (GMT). No. of bitstreams: 1 Guimaraes_JuarezR.(JuarezRocha)_D.pdf: 9920596 bytes, checksum: 9f1d373a789fe6ca75e1f106aa07aac4 (MD5) Previous issue date: 1997 / Resumo: Não informado. / Abstract: Not informed. / Doutorado / Doutor em Ciências Sociais

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-23T18:22:31Z (GMT). No. of bitstreams: 1 Matulovic_Mariana_D.pdf: 1191409 bytes, checksum: 5228f60f9fdb9f3a9df31d448de09ca2 (MD5) Previous issue date: 2013 / Resumo: O presente trabalho tem por objetivo explorar, em diversas vertentes, o caráter universal de uma ferramenta poderosa de prova, apta a ser utilizada em lógicas clássicas e não clássicas, em particular em lógicas multivaloradas proposicionais (determinísticas e não-determinísticas), em lógicas paraconsistentes, em lógicas modais e na Lógica de Primeira Ordem. Trata-se do Método de Prova de Anéis de Polinômios, que também pode, em princípio, ser visto do ponto de vista da semântica algébrica, desenvolvido inicialmente em (Carnielli 2005b). O método traduz fórmulas de uma lógica específica em polinômios (em geral finitos, mas podendo ser infinitos) com coeficientes em corpos finitos, e transforma o problema de se encontrar demonstrações no correlato algébrico da busca de soluções de sistemas de equações polinomiais. Esta universalidade do método possibilita a abertura de diversas linhas de pesquisa, sendo a questão da verofuncionalidade e suas generalizações uma delas. Outras linhas de pesquisa são: possibilidades de se investigar enfoques alternativos da complexidade computacional, prova automática de teoremas, métodos heurísticos em lógica e correlações entre álgebra e lógica. Este trabalho analisa e compara sistemas de anéis de polinômios para sistemas com verofuncionalidade generalizada, como no caso das semânticas não-determinísticas, e ainda em sistemas onde a verofuncionalidade é perdida, tais como em sistemas multivalorados reduzidos a bivalorados através da conhecida redução de Suszko. O método de anéis de polinômios, além de poderoso e elegante em sua aparente simplicidade, constitui ainda um ótimo instrumento pedagógico. Em relação á lógica clássica, definimos um anel de polinômios para a Lógica de Primeira Ordem, fundamentado em um novo domínio que opera com somas e produtos infinitos, o qual se denomina domínio de séries generalizadas fechado por produtos. Finalmente, procuramos avaliar todas as potencialidades do método, principalmente no aspecto inerente á questão de se poder pensar em uma característica unificadora na medida que utiliza o mesmo viés matemático para traduzir diferentes sistemas lógicos em variedades algébricas similares. Além disso, analisamos as interrelações do método com respeito a lógica algébrica (ou álgebra da lógica), e avaliamos suas perspectivas / Abstract: This investigation aims to explore, in various aspects, the universal character of a powerful proof method, able to be used in classical and non-classical logics, in particular in propositional many-valued logics (deterministic and non- deterministic) in paraconsistent logics, in modal logics and in First Order Logic. This is the Method of Polynomial Rings, which can also be considered as an algebraic semantics, initially developed in (Carnielli 2005b). The method translates logical formulas into specific polynomials (usually finite, but sometimes infinite) with coefficients infinite fields, and transforms the problem of finding proofs in the search for solutions of systems of polynomial equations. This universality of the method enables the opening of several research lines, in particular the issue of truth-functionality and its generalizations. Other lines of research are: the possibilities of investigating alternative approaches of computational complexity, automatic theorem proving, heuristic methods in logic and correlations between algebra and logic. This study compares and analyzes the polynomial ring systems for systems with generalized truth-functionality, as in the case of non- deterministic semantic and even in systems where truth-functionality is lost, such as those many-valued systems reduced to bivalued by means of the so-called Suszko reduction. The method of polynomial rings, besides being a powerful and elegant apparatus in its apparent simplicity, is still a great teaching tool. Regarding classical logic, we define the polynomial ring for First Order Logic , based on a new domain that operates on sums and infinite products, called domain of generalized series closed under products. Finally, we evaluate the full potential of the method, especially in what concerns the question of obtaining a unifying feature that uses the same mathematical basis to translate different logical systems on similar algebraic varieties. Furthermore, we address the connections of the method with respect to algebraic logic (algebra of logic), and evaluate their perspectives / Doutorado / Filosofia / Doutora em Filosofia

A presente dissertação investiga a interpretação de Tomás de Aquino ao problema dos futuros contingentes, relativo ao capítulo 9 do tratado De Interpretatione, de Aristóteles. O objetivo central é explicar qual a função do termo "determinate" na interpretação de Tomás. Para isso, reconstrói a noção aristotélica de proposição como uma atividade enunciativa, assim como investiga o Livro Gama da Metafísica, o qual defende os princípios de não contradição e terceiro excluído. Nesse percurso, chama a atenção para o fato de que, do ponto de vista da proposição, as formulações sintáticas dos princípios metafísicos são primeiras em relação às semânticas. Com isso, pretende identificar uma distinção entre as condições de sentido de uma proposição e a atribuição de um valor verdade e, através de tal distinção, propõe uma leitura para a solução de Tomás de Aquino ao problema referido. Conclui que a oposição contraditória como exclusiva e exaustiva é uma tese logicamente anterior à caracterização da proposição como bivalente ou determinadamente verdadeira ou falsa. / This dissertation investigates the interpretation of Thomas Aquinas to the problem of future contingents, concerning the chapter 9 of Aristotle's De Interpretatione. The main goal is to explain what is the function of the term "determinate" on Aquinas's interpretation. For that reason, the dissertation intends to reconstruct Aristotle's notion of proposition as an enunciating activity, as well as to investigate the Book Gamma of Metaphysics, which defends the principles of non-contradiction and excluded middle. During that reasoning, it turns the attention to the fact that, from the proposition's point of view, the syntactic formulations of the metaphysical principles are prior to the semantic ones. Thereby, it claims to identify a distinction between the sense conditions of a proposition and the attribution of a truth value and, as a result of that distinction, it proposes a reading of Aquinas's solution to the abovementioned problem. It concludes that the contradictory opposition as excluding and exhausting is a thesis logically prior to the characterization of a proposition as bivalent or determinately true or false.

A presente dissertação investiga a interpretação de Tomás de Aquino ao problema dos futuros contingentes, relativo ao capítulo 9 do tratado De Interpretatione, de Aristóteles. O objetivo central é explicar qual a função do termo "determinate" na interpretação de Tomás. Para isso, reconstrói a noção aristotélica de proposição como uma atividade enunciativa, assim como investiga o Livro Gama da Metafísica, o qual defende os princípios de não contradição e terceiro excluído. Nesse percurso, chama a atenção para o fato de que, do ponto de vista da proposição, as formulações sintáticas dos princípios metafísicos são primeiras em relação às semânticas. Com isso, pretende identificar uma distinção entre as condições de sentido de uma proposição e a atribuição de um valor verdade e, através de tal distinção, propõe uma leitura para a solução de Tomás de Aquino ao problema referido. Conclui que a oposição contraditória como exclusiva e exaustiva é uma tese logicamente anterior à caracterização da proposição como bivalente ou determinadamente verdadeira ou falsa. / This dissertation investigates the interpretation of Thomas Aquinas to the problem of future contingents, concerning the chapter 9 of Aristotle's De Interpretatione. The main goal is to explain what is the function of the term "determinate" on Aquinas's interpretation. For that reason, the dissertation intends to reconstruct Aristotle's notion of proposition as an enunciating activity, as well as to investigate the Book Gamma of Metaphysics, which defends the principles of non-contradiction and excluded middle. During that reasoning, it turns the attention to the fact that, from the proposition's point of view, the syntactic formulations of the metaphysical principles are prior to the semantic ones. Thereby, it claims to identify a distinction between the sense conditions of a proposition and the attribution of a truth value and, as a result of that distinction, it proposes a reading of Aquinas's solution to the abovementioned problem. It concludes that the contradictory opposition as excluding and exhausting is a thesis logically prior to the characterization of a proposition as bivalent or determinately true or false.

A presente dissertação investiga a interpretação de Tomás de Aquino ao problema dos futuros contingentes, relativo ao capítulo 9 do tratado De Interpretatione, de Aristóteles. O objetivo central é explicar qual a função do termo "determinate" na interpretação de Tomás. Para isso, reconstrói a noção aristotélica de proposição como uma atividade enunciativa, assim como investiga o Livro Gama da Metafísica, o qual defende os princípios de não contradição e terceiro excluído. Nesse percurso, chama a atenção para o fato de que, do ponto de vista da proposição, as formulações sintáticas dos princípios metafísicos são primeiras em relação às semânticas. Com isso, pretende identificar uma distinção entre as condições de sentido de uma proposição e a atribuição de um valor verdade e, através de tal distinção, propõe uma leitura para a solução de Tomás de Aquino ao problema referido. Conclui que a oposição contraditória como exclusiva e exaustiva é uma tese logicamente anterior à caracterização da proposição como bivalente ou determinadamente verdadeira ou falsa. / This dissertation investigates the interpretation of Thomas Aquinas to the problem of future contingents, concerning the chapter 9 of Aristotle's De Interpretatione. The main goal is to explain what is the function of the term "determinate" on Aquinas's interpretation. For that reason, the dissertation intends to reconstruct Aristotle's notion of proposition as an enunciating activity, as well as to investigate the Book Gamma of Metaphysics, which defends the principles of non-contradiction and excluded middle. During that reasoning, it turns the attention to the fact that, from the proposition's point of view, the syntactic formulations of the metaphysical principles are prior to the semantic ones. Thereby, it claims to identify a distinction between the sense conditions of a proposition and the attribution of a truth value and, as a result of that distinction, it proposes a reading of Aquinas's solution to the abovementioned problem. It concludes that the contradictory opposition as excluding and exhausting is a thesis logically prior to the characterization of a proposition as bivalent or determinately true or false.