Results for 'C. A. Da Costa Newton'

1000+ found
Order:
  1. Paraconsistency: Towards a Tentative Interpretation.Otávio Bueno & C. A. De Costa Newton - 2001 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 16 (1):119-145.
  2.  56
    A obra de Newton C.A. Da Costa em Logica.Decio Krause - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):347-386.
    In this paper we present an overview of Professor Newton C. A. da Costa’s work in logic, emphasizing the main results obtained by him in the several areas of his research activity. The text furnish a detailed bibliographic reference of his works, which are listed in the last section.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  51
    Resenha de 'Logiques classiques et non classiques. essai sur les fondements de la logique' (Newton C.A. da Costa).Walter Carnielli - 2000 - Manuscrito 23 (1):235-241.
    This is a review of: Newton C.A. da Costa, Logiques Classiques et Non Classiques. Essai sur les Fondements de la Logique. Translated from the Portuguese by Jean-Yves Béziau (with two appendices by the translator) Culture Scientifique, Masson, Paris, 1997, 276p. ISBN 2-225-85247-2.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  39
    A obra de Newton C.A. Da Costa em Logica.Jair Minoro Abe - 1992 - Theoria 7 (1/2/3):347-386.
    In this paper we present an overview of Professor Newton C. A. da Costa’s work in logic, emphasizing the main results obtained by him in the several areas of his research activity. The text furnish a detailed bibliographic reference of his works, which are listed in the last section.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  15
    Newton C. A. Da Costa. On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic, Vol. 15 , Pp. 497–510. - Newton C. A. Da Costa. The Philosophical Import of Paraconsistent Logic. The Journal of Non-Classical Logic , Vol. 1 , Pp. 1–19. - Newton C. A. Da Costa. On Paraconsistent Set Theory. Logique Et Analyse, N.S. Vol. 29 , Pp. 361–371. - Newton C. A. Da Costa, Jean-Yves Béziau, and Otávio Bueno. Paraconsistent Logic in a Historical Perspective. Logique Et Analyse, Vol. 38 , Pp. 111–126. [REVIEW]Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
  6.  12
    Newton C. A. Da Costa. Ensaio Sobre Os Fundamentos da Lógica. Editora Hucitec, Editora da Universidade de São Paulo, São Paulo1980, Xii + 255 Pp. [REVIEW]Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (4):1500-1503.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  25
    Review of Newton C.A. Da Costa, Steven French, Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning[REVIEW]Barbara Tuchanska - 2004 - Notre Dame Philosophical Reviews 2004 (3).
  8.  5
    Review: Newton C. A. Da Costa, Ensaio Sobre Os Fundamentos da Logica. [REVIEW]Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (4):1500-1503.
  9. Newton C. A. da COSTA, Logica indutiva et probabilidade.Lorenzo PeÑa - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (4).
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Algunas observaciones sobre la filosofía de la lógica de Newton C. A. Da Costa.Andrés R. Raggio - 1983 - Revista Latinoamericana de Filosofia 9 (3):237.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  21
    Newton da Costa E a Filosofia de Quase-Verdade.Décio Krause - 2009 - Principia: An International Journal of Epistemology 13 (2):105-128.
    This paper intends to introduce the three issues of Principia which will appear in a sequel honoring Newton da Costa’s 80th birthday. Instead of presenting the papers one by one, as it is common in presentations such as this one, we have left the papers speak by themselves, and instead we have preferred to present to the Brazilian readers, specialty to our students, some aspects of Newton da Costa’s conception of science and of the scientific activity, (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  8
    Newton da costa e a escola de curitiba.Artibano Micali - 2011 - Manuscrito 34 (1):21-50.
    This paper intends to report on the beginning of the publications of Newton da Costa outside Brazil. Two mathematicians played an important role in this beginning: Marcel Guillaume from the University of Clermont-Ferrand and Paul Dedecker from the Universities of Lille and Liège. At the same time we recall the role played by Newton da Costa and Jayme Machado Cardoso in the development of what we call here the School of Curitiba [Escola de Curitiba]. Paraconsistent logic (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Professor Newton CA da Costa Awarded Nicholas Copernicus University Medal of Merit.Newton C. A. da Costa, Jean-Yves Béziau & Otávio Bueno - 1999 - Logic and Logical Philosophy 7:7-10.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  8
    La filosofía de la lógica de N.C.A. da Costa.Francisco Miró Quesada - 1982 - Critica 14 (42):65-85.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  7
    N. C. A. Da Costa and F. A. Doria. Consequences of an Exotic Definition for P = NP. Applied Mathematics and Computation, Vol. 145 , Pp. 655–665. [REVIEW]Ralf Schindler - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
  16.  8
    Costa Newton Carneiro Affonso Da. Nota Sôbre o Conceito de Contradição. Portuguese, with English Summary. Anuário da Sociedade Paranaense de Matemática, Ser. 2 Vol. 1 , Pp. 6–8.Costa Newton Carneiro Affonso Da. Nota Sôbre a Lógica de Brouwer-Heyting. Portuguese, with English Summary. Anuário da Sociedade Paranaense de Matemática, Ser. 2 Vol. 1 , Pp. 9–10.Costa Newton Carneiro Affonso Da. Uma Questão de Filosofia da Matemática. Portuguese, with English Summary. Anuário da Sociedade Paranaense de Matemática, Ser. 2 Vol. 1 , Pp. 21–27. [REVIEW]Hugo Ribeiro - 1960 - Journal of Symbolic Logic 25 (2):160-160.
  17. Review: Newton Carneiro Affonso da Costa, Nota Sobre o Conceito de Contradicao; Newton Carneiro Affonso da Costa, Nota Sobre a Logica de Brouwer-Heyting; Newton Carneiro Affonso da Costa, Uma Questao de Filosofia da Matematica. [REVIEW]Hugo Ribeiro - 1960 - Journal of Symbolic Logic 25 (2):160-160.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  5
    Review: Newton Carneiro Affonso da Costa, A Natureza dos Juizos Matematicos. [REVIEW]Hugo Ribeiro - 1959 - Journal of Symbolic Logic 24 (3):231-232.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Review: Newton Carneiro Affonso da Costa, O Estado Atual da Filosofia da Matematica; Newton Carneiro Affonso da Costa, Sobre a Teoria Logica da Linguagem. [REVIEW]Hugo Ribeiro - 1959 - Journal of Symbolic Logic 24 (3):272-273.
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  2
    Costa Newton Carneiro Affonso Da. A Natureza Dos Juizos Matemáticos. Comunicação Apresentada Ao Congresso Internacional de Filosofia, Realizado Em São Paulo, Em Agôsto de 1954. Edição “Prata de Casa,” Curitiba, Estado Do Paraná, Brasil, 1954, 11 Pp. [REVIEW]Hugo Ribeiro - 1959 - Journal of Symbolic Logic 24 (3):231-232.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. A Naturalistic Review of a Treatise on the Logic of Scientific Knowledge (Critical Study of Newton da Costa's O Conhecimento Cient Ifico).O. Pessoa Jr - 1999 - Manuscrito 22:197-239.
     
    Export citation  
     
    Bookmark  
  22.  9
    A Note on da Costa-Doria “Exotic Formalizations”.L. Gordeev - 2010 - Archive for Mathematical Logic 49 (7-8):813-821.
    We analyze N. C. A. da Costa and F. A. Doria’s “exotic formalization” of the conjecture P = NP [3–7]. For any standard axiomatic PA extension T and any number-theoretic sentence ${\varphi }$ , we let ${\varphi ^{\star} := \varphi \vee \lnot \mathsf{Con}\left( \mathsf{T}\right)}$ and prove the following “exotic” inferences 1–3. 1. ${\mathsf{T}+\varphi ^{\star}}$ is consistent, if so is T, 2. ${\mathsf{T}+\varphi}$ is consistent, provided that ${\mathsf{T}+\varphi ^{\star}}$ is ω-consistent, 3. ${\mathsf{T}+\varphi}$ is consistent, provided that T is consistent and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  8
    Behavioral Algebraization of da Costa's C-Systems.Carlos Caleiro & Ricardo Gonçalves - 2009 - Journal of Applied Non-Classical Logics 19 (2):127-148.
    It is well-known that da Costa's C-systems of paraconsistent logic do not admit a Blok-Pigozzi algebraization. Still, an algebraic flavored semantics for them has been proposed in the literature, namely using the class of so-called da Costa algebras. However, the precise connection between these semantic structures and the C-systems was never established at the light of the theory of algebraizable logics. In this paper we propose to study the C-systems from an algebraic point of view, and to fill (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  33
    Variations on da Costa C Systems and Dual-Intuitionistic Logics I. Analyses of Cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.
    Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC , is investigated in some detail, and dual-intuitionistic semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  13
    Variations on Da Costa C Systems and Dual-Intuitionistic Logics I. Analyses of $C{\Omega}$ and $CC{\Omega}$.Richard Sylvan - 1990 - Studia Logica 49 (1):47 - 65.
    Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system $CC_{\omega}$ , is investigated in some detail, and "dual-intuitionistic" semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  21
    A Semantical Analysis of the Calculi C N.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  27.  26
    Belief, Contradiction and the Logic of Self-Deception.Newton C. A. da Costa & Steven French - 1990 - American Philosophical Quarterly 27 (3):179 - 197.
    The apparently paradoxical nature of self-deception has attracted a great deal of controversy in recent years. Focussing on those aspects of the phenomenon which involve the holding of "contradictory" beliefs, it is our intention to argue that this presents no "paradox" if a non-classical, "paraconsistent", doxastic logic is adopted. (On such logics, see, for example, N. C. A. da Costa, 'On the theory of inconsistent formal systems', Notre Dame J Formal Logic 11(1974), 497-510, and A. I. Arruda, 'A survey (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28. Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning.Newton C. A. da Costa & Steven French - 2003 - Oup Usa.
    Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.
     
    Export citation  
     
    Bookmark   31 citations  
  29. Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning.Newton C. A. Da Costa & Steven French - 2003 - Oxford University Press USA.
    In the past thirty years, two fundamental issues have emerged in the philosophy of science. One concerns the appropriate attitude we should take towards scientific theories--whether we should regard them as true or merely empirically adequate, for example. The other concerns the nature of scientific theories and models and how these might best be represented. In this ambitious book, da Costa and French bring these two issues together by arguing that theories and models should be regarded as partially rather (...)
     
    Export citation  
     
    Bookmark   6 citations  
  30.  27
    First-Order da Costa Logic.Graham Priest - 2011 - Studia Logica 97 (1):183 - 198.
    Priest (2009) formulates a propositional logic which, by employing the worldsemantics for intuitionist logic, has the same positive part but dualises the negation, to produce a paraconsistent logic which it calls 'Da Costa Logic'. This paper extends matters to the first-order case. The paper establishes various connections between first order da Costa logic, da Costa's own Cω, and classical logic. Tableau and natural deductions systems are provided and proved sound and complete.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  11
    On the Philosophical Import of Some Accomplishments of Newton da Costa.Marcel Guillaume - 2011 - Principia: An International Journal of Epistemology 15 (1):7-14.
    Das obras de Newton da Costa, muitas pessoas na França conhecem apenas o renascimento da paraconsistência. Apresentamos algumas razões em defesa de investigações nessa parte da lógica. Acima de tudo, porém, relembramos uma das maiores contribuições de Newton da Costa: sua demonstração, em 1991, em colaboração com Doria, da indecidibilidade gödeliana do movimento na física matemátcia, um resultado que foi de certa forma previsto, por outras razões, por Duhem em 1906. DOI: 10.5007/1808-1711.2011v15n1p7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  23
    Newton da Costa and the School of Curitiba.Artibano Micali - 2011 - Manuscrito 34 (1):21-50.
    This paper intends to report on the beginning of the publications of Newton da Costa outside Brazil. Two mathematicians played an important role in this beginning: Marcel Guillaume from the University of Clermont-Ferrand and Paul Dedecker from the Universities of Lille and Liège. At the same time we recall the role played by Newton da Costa and Jayme Machado Cardoso in the development of what we call here the School of Curitiba [Escola de Curitiba]. Paraconsistent logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  8
    Uma análise da sanção de suspensão dos direitos políticos Por improbidade administrativa a partir Das decisões do stf acerca da internalização do pacto de são José da Costa rica.Ricardo Duarte Jr - 2016 - Revista Fides 7 (2).
    UMA ANÁLISE DA SANÇÃO DE SUSPENSÃO DOS DIREITOS POLÍTICOS POR IMPROBIDADE ADMINISTRATIVA A PARTIR DAS DECISÕES DO STF ACERCA DA INTERNALIZAÇÃO DO PACTO DE SÃO JOSÉ DA COSTA RICA.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  7
    Da Costa on Ontology: A Naturalistic Interpretation.Antonio Mariano Nogueira Coelho - 2011 - Manuscrito 34 (1):143-150.
    da Costa’s conception of being modifies that of Quine to incorporate relativization to non-classical logics. A naturalistic view of this conception is discussed. This view tries to extend to logic some ideas of Maddy’s naturalism concerning mathematics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35.  12
    As posições de Newton, Locke e Berkeley sobre a natureza da gravitação.Silvio Seno Chibeni - 2013 - Scientiae Studia 11 (4):811-839.
    Ao defender, nos Princípios matemáticos de filosofia natural, a existência de uma força de gravitação universal, Newton desencadeou uma onda de dúvidas e objeções filosóficas. Suas próprias declarações sobre a natureza da gravitação não são facilmente interpretáveis como formando um conjunto consistente de opiniões. Por um lado, logo após fornecer as três definições de "quantidades de forças centrípetas" (Defs. 6-8), Newton observa que está tratando tais forças "matematicamente", sem se pronunciar sobre sua realidade física. Mas, por outro lado, (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  33
    A Model Theoretic Approach to 'Natural' Reasoning.Newton C. A. da Costa & Steven French - 1993 - International Studies in the Philosophy of Science 7 (2):177-190.
    Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  37.  45
    Is There a Zande Logic?Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - History and Philosophy of Logic 19 (1):41-54.
    The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  38.  37
    A Formal Framework for the Study of the Notion of Undefined Particle Number in Quantum Mechanics.Newton C. A. Da Costa & Federico Holik - 2015 - Synthese 192 (2):505-523.
    It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  28
    Paraconsistency: Towards a Tentative Interpretation.Newton C. A. Da Costa & Otávio Bueno - 2001 - Theoria 16 (40):119-145.
    In this expository paper, we examine some philosophical and technical issues brought by paraconsistency . We also suggest a way of accommodating these issues by considering some problems in the philosophy of logic from a new perspective.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  11
    A Non-Realistic Approach for Natural Languages.Adonai Sant'Anna, Otávio Bueno & Newton C. A. da Costa - unknown
    The structure of natural languages is usually studied from three major different but interconnected points of view: syntax, semantics, and pragmatics. If we consider that the main purpose of natural languages is communication, we should consider another dimension for languages, which deals with the influence of internal states of communicating individuals on meanings. Such a dimension we refer to as internalism. Within this context, internalism cannot be confused with psycholinguistics, in the same way pragmatics cannot be confused with sociolinguistics. In (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  19
    Sobre a lógica deôntica não-clássica.Leila Z. Puga & Newton C. A. da Costa - 1987 - Critica 19 (55):19-37.
  42.  39
    A Semantical Analysis of the Calculi Cn.Newton C. A. da Costa - 1977 - Notre Dame Journal of Formal Logic 18:621.
  43.  21
    Estruturas, Modelos e os Fundamentos da Abordagem Semântica.Jonas R. Becker Arenhart & Fernando T. F. Moraes - 2010 - Principia: An International Journal of Epistemology 14 (1):15-30.
    Neste artigo, a partir de tópicos presentes na obra de Newton C. A. da Costa, propomos uma fundamentação rigorosa para de uma possível formulação de teorias científicas através da abordagem semântica. Seguindo da Costa, primeiramente desenvolveremos uma teoria geral das estruturas; no contexto desta teoria de estruturas mostraremos como caracterizar linguagens formais como um tipo particular de estrutura, mais especificamente, como uma álgebra livre. Em seguida, discutiremos como associar uma linguagem a uma estrutura, com a qual poderemos (...)
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  2
    A Formal Framework for the Study of the Notion of Undefined Particle Number in Quantum Mechanics.C. A. da Costa Newton & Holik Federico - 2015 - Synthese 192 (2):505-523.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  23
    On The Imaginary Logic of N. A. VASILIEV.Leila Z. Puga & Newton C. A. Da Costa - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):205-211.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  12
    On The Imaginary Logic of N. A. VASILIEV.Leila Z. Puga & Newton C. A. Da Costa - 1988 - Mathematical Logic Quarterly 34 (3):205-211.
  47. Introdução À Lógica Elementar Com o Símbolo de Hilbert.Rejane Carrion & Newton C. A. da Costa - 1988
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  82
    The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
    The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  49.  30
    On the Relevant Systems P and P* and Some Related Systems.Ayda I. Arruda & Newton C. A. da Costa - 1984 - Studia Logica 43 (1/2):33 - 49.
    In this paper we study the systems P and $P^{\ast}$ (see Arruda and da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemātica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories having P and $P^{\ast}$ as their underlying logics are non-trivial.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  20
    Gottfried Köthe. Sobre a não contradição da matemática. Gazeta de matemdtica, vol. 15 no. 58 , pp. 1–5.N. C. A. da Costa - 1975 - Journal of Symbolic Logic 40 (2):241.
1 — 50 / 1000