35 found
Sort by:
Disambiguations:
Newton C. A. Costa [30]Newton C. A. Da Costa [5]
  1. Newton C. A. Da Costa (2012). Gödel's Incompleteness Theorems and Physics. Principia 15 (3):453-459.
    This paper is a summary of a lecture in which I presented some remarks on Gödel’s incompleteness theorems and their meaning for the foundations of physics. The entire lecture will appear elsewhere. doi: http://dx.doi.org/ 10.5007 / 1808-1711.2011v15n3p453.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Newton C. A. Da Costa & Otávio Bueno (2011). Remarks on Abstract Galois Theory. Manuscrito 34 (1):151-183.
    This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva ). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva’s notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Newton C. A. Da Costa (2010). Some Aspectos of Quantum Physics. Principia 11 (1):77-95.
    I discuss some questions of quantum physics, for instance the validity and limitations of the basic language of set theory to deal with problems related to elementary particles. I also present a sketch of a formalization of a “metaphysics of structures”, which might be useful for a kind of “ontic structural realism”, and briefly review the concept of quasi-truth, which underlies my way of understanding scientific theories and the scientific activity.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Newton C. A. Costa & Otávio Bueno (2010). Paraconsistent Logic. In Susana Nuccetelli, Ofelia Schutte & Otávio Bueno (eds.), A Companion to Latin American Philosophy. Wiley-Blackwell.
  5. Newton C. A. Costa & A. A. M. Rodrigues (2007). Definability and Invariance. Studia Logica 86 (1):1-30.
    In his thesis 'Para uma Teoria Geral dos Homomorfismos' (1944) the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Newton C. A. Costa & Jean-Yves Béziau (1998). Définition, Théorie Des Objets Et Paraconsistance (Definition, Objects' Theory and Paraconsistance). Theoria 13 (2):367-379.
    Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that (...)
    No categories
     
    My bibliography  
     
    Export citation  
  7. Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria (1998). The Incompleteness of Theories of Games. Journal of Philosophical Logic 27 (6):553-568.
    We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. Newton C. A. Costa, Otávio Bueno & Steven French (1997). Suppes Predicates for Space-Time. Synthese 112 (2):271-279.
    We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of <span (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Newton C. A. Costa & Francisco A. Doria (1995). On Jaśkowski's Discussive Logics. Studia Logica 54 (1).
    We expose the main ideas, concepts and results about Jakowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Newton C. A. Costa & Francisco A. Doria (1995). On Ja?Kowski's Discussive Logics. Studia Logica 54 (1):33-60.
    We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Newton C. A. Costa & Francisco A. Doria (1995). Undecidability, Incompleteness and Arnold Problems. Studia Logica 55 (1).
    We present some recent technical results of us on the incompleteness of classical analysis and then discuss our work on the Arnol'd decision problems for the stability of fixed points of dynamical systems.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Newton C. A. Costa & Francisco A. Doria (1995). Undecidability, Incompleteness and Arnol'd Problems. Studia Logica 55 (1):23-32.
    We present some recent technical results of us on the incompleteness of classical analysis and then discuss our work on the Arnol'd decision problems for the stability of fixed points of dynamical systems.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Newton C. A. Costa & Décio Krause (1994). Schrödinger Logics. Studia Logica 53 (4).
    Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis (which has been advanced by other authors) that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understandidentity as meaningindistinguishability (agreemment with respect to attributes). Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, we (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Newton C. A. Costa & Steven French (1993). A Model Theoretic Approach to 'Natural' Reasoning. International Studies in the Philosophy of Science 7 (2):177 – 190.
     
    My bibliography  
     
    Export citation  
  15. Newton C. A. Costa & Steven French (1991). On Russell's Principle of Induction. Synthese 86 (2):285-295.
    An improvement on Horwich's so-called pseudo-proof of Russell's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Leila C. Puga, Newton C. A. Costa & Roberto J. Vernengo (1990). Derecho, Moral y Preferencias Valorativas. Theoria 5 (1):9-29.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Newton C. A. Costa & Steven French (1989). On the Logic of Belief. Philosophy and Phenomenological Research 49 (3):431-446.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Newton C. A. Costa & Steven French (1989). Pragmatic Truth and the Logic of Induction. British Journal for the Philosophy of Science 40 (3):333-356.
    We apply the recently elaborated notions of ‘pragmatic truth’ and ‘pragmatic probability’ to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. Newton C. A. Costa & Rolando Chuaqui (1988). On Suppes' Set Theoretical Predicates. Erkenntnis 29 (1):95-112.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Newton C. A. Costa (1986). Pragmatic Probability. Erkenntnis 25 (2):141-162.
  21. Newton C. A. Costa & Walter A. Carnielli (1986). On Paraconsistent Deontic Logic. Philosophia 16 (3-4):293-305.
    This paper develops the first deontic logic in the context of paraconsistent logics.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Irene Mikenberg, Newton C. A. Da Costa & Rolando Chuaqui (1986). Pragmatic Truth and Approximation to Truth. Journal of Symbolic Logic 51 (1):201-221.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Irene Mikenberg, Newton C. A. Costa & Rolando Chuaqui (1986). Pragmatic Truth and Approximation to Truth. Journal of Symbolic Logic 51 (1):201-221.
  24. Ayda I. Arruda & Newton C. A. Costa (1984). On the Relevant Systemsp Andp* and Some Related Systems. Studia Logica 43 (1-2):33 - 49.
    In this paper we study the systemsP andP * (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemtica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP * as their underlying logics are non-trivial.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884-892.
  26. Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costa & Irene Mikenberg (1981). Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. Journal of Symbolic Logic 46 (1):180-190.
  27. Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) (1980). Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Newton C. A. Costa & Robert G. Wolf (1980). Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposites. Philosophia 9 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa & Rolando Chuaqui (1978). Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic 43 (2):352-364.
  30. Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costa & Rolando Chuaqui (1978). Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic 43 (2):352-364.
  31. Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) (1977). Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW] Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
  32. Newton C. A. Costa (1977). A Semantical Analysis of the Calculi C N. Notre Dame Journal Fo Formal Logic 18:621-630.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  33. Newton C. A. Costa (1972). On the Theory of Inconsistent Formal Systems. Recife,Universidade Federal De Pernambuco, Instituto De Matemática.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation