Made available in DSpace on 2015-05-14T12:11:45Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 533308 bytes, checksum: a99c51f4120b595bd31262696be2a428 (MD5) Previous issue date: 2012-05-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation examines two of the results of da Costa in order to show its usefulness to the philosophy and to point out possible philosophical developments. At first, It examines the paraconsistent logic, both from the historical and technical point of view as well as some of its developments. Next, it examines the theory of quasi-truth. Finally, it is proposed uses of these developments in philosophy, trying to show tricks in the philosophy of science and metaphysics. / O presente trabalho examina dois dos resultados de da Costa a fim de mostrar sua utilidade para a filosofia e apontar possíveis desenvolvimentos filosóficos. Examina-se, em primeiro lugar, a lógica paraconsistente, tanto do ponto de vista histórico e técnico, quanto alguns de seus desenvolvimentos; depois examina-se a teoria da quase-verdade. Por fim, propõe-se usos desses desenvolvimentos na filosofia, buscando mostrar caminhos em filosofia da ciência e metafísica.

Submitted by ROQUE PIRES VERCESI null (rpvercesi@hotmail.com) on 2016-05-16T01:58:21Z No. of bitstreams: 1 Roque_Dissetação omega-final1.doc: 677376 bytes, checksum: fea7d0634be1eb734c838cbff432cc85 (MD5) / Rejected by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: A versão final da dissertação/tese deve ser submetida no formato PDF (Portable Document Format). O arquivo PDF não deve estar protegido e a dissertação/tese deve estar em um único arquivo, inclusive os apêndices e anexos, se houver. Por favor, corrija o formato do arquivo e realize uma nova submissão. Agradecemos a compreensão. on 2016-05-18T17:29:35Z (GMT) / Submitted by ROQUE PIRES VERCESI null (rpvercesi@hotmail.com) on 2016-05-18T18:00:07Z No. of bitstreams: 1 Roque_Dissetação omega-final1.pdf: 1207735 bytes, checksum: 067cc22ca1a4b2ae81ca7cc3ee659e8e (MD5) / Rejected by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo a orientação abaixo: O arquivo submetido não contém o certificado de aprovação e ficha catalográfica A versão submetida por você é considerada a versão final da dissertação/tese, portanto não poderá ocorrer qualquer alteração em seu conteúdo após a aprovação. Corrija esta informação e realize uma nova submissão contendo o arquivo correto. Agradecemos a compreensão. on 2016-05-19T17:12:43Z (GMT) / Submitted by ROQUE PIRES VERCESI null (rpvercesi@hotmail.com) on 2016-05-20T12:52:26Z No. of bitstreams: 1 Roque_Dissetação -final.pdf: 1290554 bytes, checksum: f4ed86c7ef444aa9fde6621e3e82bc57 (MD5) / Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-05-20T20:21:24Z (GMT) No. of bitstreams: 1 vercesi_rp_me_mar.pdf: 1290554 bytes, checksum: f4ed86c7ef444aa9fde6621e3e82bc57 (MD5) / Made available in DSpace on 2016-05-20T20:21:24Z (GMT). No. of bitstreams: 1 vercesi_rp_me_mar.pdf: 1290554 bytes, checksum: f4ed86c7ef444aa9fde6621e3e82bc57 (MD5) Previous issue date: 2016-03-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho está inserido no contexto da Filosofia da Lógica e no tópi-co teorias da verdade. As reflexões das teorias da verdade colocam em evi-dência a seguinte questão de interesse no ambiente filosófico, científico e ló-gico: “O que é a verdade?”. Esta tradição é bem longa, com reflexões que remontam à Antiguidade e ainda hoje são bastante pertinentes no mundo acadêmico, como podemos observar pela recente literatura sobre o assunto. Aristóteles foi um precursor desta busca ao propor que a verdade pode-ria ser caracterizada segundo sua máxima: “Dizer do que é, que ele não é, ou do que não é, que ele é, é falso; enquanto dizer do que é, que ele é, ou do que não é, que ele não é, é verdadeiro”. Posteriormente, essa questão referente à verdade foi minuciosamente tratada por muitos autores, que elaboraram teorias e/ou buscaram princípios para determinar o que é verdade ou o que torna algo verdadeiro (critério de verdade). Entre as teorias da verdade usualmente discu-tidas encontramos as teorias correspondencial, coerencial, pragmática, da re-dundância e a concepção semântica de Tarski. Dedicaremos um capítulo inicial a estas teorias da verdade, quando elencamos as suas características essenciais. Recentemente, a teoria da qua-se verdade tem conquistado importância nas reflexões sobre a verdade, que tem como um precursor o professor Newton da Costa, expoente brasileiro no âmbito da Lógica. Em 1986, Mikenberg, da Costa e Chuaqui introduziram a teoria da quase verdade no artigo Pragmatic truth and approximation to truth, publicado no “The Journal of Symbolic Logic”. Uma segunda meta desta Dissertação é o entendimento desta concep-ção de verdade, a quase verdade, e seu respectivo formalismo. Como este de-senvolvimento teórico da quase-verdade foi motivada pela concepção semân-tica de Tarski, a qual é entendida como uma das muitas teorias da quase ver-dade, então antes do nosso desenvolvimento sobre a quase-verdade, faremos um capítulo sobre a verdade segundo Alfred Tarski. A seguir, apresentamos o nosso entendimento da quase-verdade. Revi-sitamos os textos iniciais e outros que trouxeram novas contribuições para a quase-verdade, como a quase-satisfação de Bueno e de Souza de 1996. Tam-bém tratamos da recente versão de Silvestrini, de 2011, que traz inovações so-bre a formalização da quase-verdade. No Capítulo seguinte, apresentamos outra concepção filosófica relevan-te para esta Dissertação, o pragmatismo. Como está no título do artigo inicial da quase-verdade de 1986: “Verdade pragmática e aproximação à verdade”, a quase-verdade foi vinculada com aspectos do pragmatismo. O pragmatismo é um tema filosófico muito amplo e, certamente, não da-ríamos conta de retratá-lo no texto. Mesmo a versão da concepção pragmática da verdade é bastante extensa. Assim, consideraremos uma apresentação de três pioneiros do pragmatismo: Charles Pierce, Willian James e John Dewey. Procuramos destacar aspectos que destacam suas visões sobre a teoria da verdade. No capítulo final, faremos uma análise de quanto há de pragmatismo na teria da quase-verdade que buscamos entender no desenvolvimento desta Dissertação. / This work is inserted in the context of the Philosophy of Logic and in the topic theories of truth. Reflections of theories of truth put in evidence questions of interest in the philosophical, scientific and logical environment: "What is the truth?". This tradition is very long, with reflections that go back to antiquity and are still very relevant in the academic world, as can be seen by the recent litera-ture about this issue. Aristotle was a precursor of this search by proposing that the truth could be characterized according to their maximum: "To say of what is that it is not, or of what is not that it is, is false, while to say of what is that it is, and of what is not that it is not, is true”. Posteriorly, this question of the truth was carefully treated by many authors who have developed theories and/or principles to de-termine what is true or what makes something true (criteria of truth). Among the theories of truth usually discussed, we find the theories: correspondence, co-herence, pragmatic, redundancy and semantic conception of Tarski. We dedicate an initial chapter to these theories of truth, when we list their essential characteristics. Recently, the theory of quasi-truth has gained importance in the reflections about the truth, which has as a precursor Profes-sor Newton da Costa, Brazilian exponent in the context of Logic. In 1986, Mikenberg, Costa and Chuaqui introduced the theory of quasi-truth in the arti-cle Pragmatic truth and approximation to truth, published in "The Journal of Symbolic Logic". A second goal of this Dissertation is the understanding of this concep-tion of true, the quasi-truth, and their respective formalism. As the theoretical development of quasi-truth was motivated by the semantic conception of Tar-ski, which is understood as one of many theories about quasi-truth, then be-fore our development on the quasi-truth, we will present a chapter about truth, according to Alfred Tarski. Next, we presented our understanding about the quasi-truth. We visited the original texts and others who brought new contributions to the quasi-truth, as the quasi-satisfaction of Bueno and Souza (1996). We also discussed about the recent version developed by Silvestrini (2011) that brings innovations on the formalization of quasi-truth. In the next chapter, we present another philosophical relevant concep-tion to this thesis, the pragmatism. As described in the title of the first article of quasi-truth of 1986: "Pragmatic truth and approach to the truth," the quasi-truth was linked with aspects of pragmatism. Pragmatism is a very broad philosophical theme and for this reason, we will discuss just a part of this theory in the text. Even the version of the prag-matic conception of truth is quite extensive. Thereby, we consider a presenta-tion of three pioneers of pragmatism: Charles Pierce, William James and John Dewey. We emphasize the aspects that highlight their views about the theory of truth. In the final chapter, we will analyze how much exist of the pragmatism in the quasi-truth theory, which we sought to understand during the thesis devel-opment.

Submitted by Helen Gomes da Silva (helen-277@hotmail.com) on 2018-04-19T16:16:53Z No. of bitstreams: 1 Dissert_Helen.pdf: 519297 bytes, checksum: 5cb7a2e4a99a88a45d87901f4e7476cd (MD5) / Approved for entry into archive by Satie Tagara (satie@marilia.unesp.br) on 2018-04-19T17:33:50Z (GMT) No. of bitstreams: 1 silva_hg_me_mar.pdf: 519297 bytes, checksum: 5cb7a2e4a99a88a45d87901f4e7476cd (MD5) / Made available in DSpace on 2018-04-19T17:33:50Z (GMT). No. of bitstreams: 1 silva_hg_me_mar.pdf: 519297 bytes, checksum: 5cb7a2e4a99a88a45d87901f4e7476cd (MD5) Previous issue date: 2018-02-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O professor Newton C. A. da Costa, notável lógico brasileiro, e colaboradores introduziram a noção de quase-verdade no contexto das ciências empíricas, onde há incompletude do conhecimento. Tal abordagem é considerada uma generalização para contextos parciais da proposta de formalização da verdade introduzida por Alfred Tarski. Inspirado nessa noção de quase-verdade, Silvestrini (2011) introduziu uma de nição de quase-verdade através da satisfação pragmática e, no mesmo trabalho apresentou, num sistema axiomático, uma lógica paraconsistente e trivalente, subjacente a essa noção, a qual denominou por Lógica da Verdade Pragmática (LPT- Logic of Pragmatic Truth ). Posteriormente, Feitosa e Silvestrini (2016) apresentaram algumas alterações no conjunto de axiomas de LPT e deram uma demonstração de adequação segundo a semântica matricial da lógica da verdade pragmática. Hoje, sistemas dedutivos alternativos ao axiomático têm sido de grande interesse para a área da teoria da prova e computabilidade, pois esses, em sua maioria, são métodos mais intuitivos. Alguns são caracterizados como algorítmicos, o que possibilita uma fácil implementação do método em computadores. Dentre esses sistemas de provas, destacamos o método dedutivo dos tableaux analíticos, que foi introduzido de uma forma bastante elegante por Smullyan (1968). Neste trabalho, introduzimos um sistema de tableaux analíticos para a Lógica da Verdade Pragmática e veri camos que todos os resultados dedutivos do sistema axiomático da LPT coincidem com os resultados de consequência analítica do sistema de tableaux que aqui introduzimos. / Professor Newton C. A. da Costa, notable Brazilian logician, and collaborators introduced the notion of quasi-truth in the context of the empirical sciences, where there is incompleteness of knowledge. Such an approach is considered a generalization of Tarski's proposal for partial contexts. Inspired by this notion of quasi-truth, Silvestrini (2011) introduced a de nition of quasi-truth through pragmatic satisfaction and, in the same work, presented, in an axiomatic system, a paraconsistent and trivalent logic, underlying this notion, which he called 'Logic of Pragmatic Truth (LPT)'. Later, Feitosa and Silvestrini (2016) presented some changes in the set of axioms of LPT and gave a proof of adequacy according to the trivalent matrix semantics of LPT. Nowadays, alternative axiomatic deductive systems have been of great interest to proof theory and computability, because these are in general intuitive methods. Some of them are characterized as algorithmic, which allows an easy implementation in computers. Among these systems of proof, we highlight the deductive method of analytic tableaux, which was introduced in an elegant way by Smullyan (1968). In this work, we introduce an analytic tableau system for the Logic of Pragmatic Truth and we verify that the results we can develop in the axiomatic system of the LPT coincide with the deductions in this analytic system of tableaux.

Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-03T19:40:31Z (GMT). No. of bitstreams: 1 Hifume_Carlos_M.pdf: 426389 bytes, checksum: 487e63a8f673121cd57152f9b71a1d61 (MD5) Previous issue date: 2003 / 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