44 found
Order:
  1.  12
    On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.
  2.  98
    Pragmatic Truth and Approximation to Truth.Irene Mikenberg, Newton C. A. Costa & Rolando Chuaqui - 1986 - Journal of Symbolic Logic 51 (1):201-221.
  3.  18
    Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - 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  
     
    Export citation  
     
    My bibliography   15 citations  
  4. On the Logic of Belief.Newton C. A. Da Costa & Steven French - 1989 - Philosophy and Phenomenological Research 49 (3):431-446.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  18
    Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
  6.  30
    Pragmatic Truth and the Logic of Induction.Newton C. A. Costa & Steven French - 1989 - 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 (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  7. Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa - 1983 - Journal of Symbolic Logic 48 (3):884-892.
  8.  33
    A Modal Ontology of Properties for Quantum Mechanics.Newton Costa, Olimpia Lombardi & Mariano Lastiri - 2013 - Synthese 190 (17):3671-3693.
    Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory and (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  88
    On Paraconsistent Deontic Logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    This paper develops the first deontic logic in the context of paraconsistent logics.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  10.  77
    Suppes Predicates for Space-Time.Newton C. A. Costa, Otávio Bueno & Steven French - 1997 - 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. Our approach was inspired by the work of Whitehead, though our (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  17
    Pragmatic Probability.Newton C. A. Costa - 1986 - Erkenntnis 25 (2):141-162.
  12.  6
    Remarks on Abstract Galois Theory.Newton C. A. Da Costa & Otávio Bueno - 2011 - 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  51
    On Suppes' Set Theoretical Predicates.Newton C. A. Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  14.  24
    Definability and Invariance.C. A. Costa Newton & A. A. M. Rodrigues - 2007 - 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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  44
    Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposites.Newton C. A. Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.
  16.  68
    The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - 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)  
     
    Export citation  
     
    My bibliography  
  17.  24
    On the Relevant Systemsp Andp* and Some Related Systems.Ayda I. Arruda & Newton C. A. Costa - 1984 - 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)  
     
    Export citation  
     
    My bibliography  
  18.  31
    Gödel's Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2012 - Principia: An International Journal of Epistemology 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)  
     
    Export citation  
     
    My bibliography  
  19.  48
    On Russell's Principle of Induction.Newton C. A. Costa & Steven French - 1991 - 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)  
     
    Export citation  
     
    My bibliography  
  20.  24
    Some Aspectos of Quantum Physics.Newton C. A. Da Costa - 2010 - Principia: An International Journal of Epistemology 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  15
    Undecidability, Incompleteness and Arnold Problems.Newton C. A. Costa & Francisco A. Doria - 1995 - 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  
     
    Export citation  
     
    My bibliography  
  22.  14
    Derecho, Moral y Preferencias Valorativas.Leila C. Puga, Newton C. A. Costa & Roberto J. Vernengo - 1990 - Theoria 5 (1):9-29.
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  17
    Logic and Ontology.Newton Carneiro Affonso da Costa - 2010 - Principia: An International Journal of Epistemology 6 (2):279-298.
    In view of the presertt state of development of non cktssicallogic, especially of paraconsistent logic, a new stand regardmg the relatzons between logtc and ontology is deferded In a parody of a dicturn of Quine, my stand may be summarized as follows To be is to be the value of a vanable a specific language with a given underlymg logic Yet my stand differs from Qutne's, because, among other reasons, I accept some first order heterodox logIcs as genutne alternatwes to (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  11
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  25.  23
    Schrödinger Logics.Newton C. A. Costa & Décio Krause - 1994 - 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  
     
    Export citation  
     
    My bibliography  
  26.  8
    Belief, Contradiction and the Logic of Self-Deception.Newton Ca Da Costa & Steven French - 1990 - American Philosophical Quarterly 27 (3):179-197.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  20
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  28.  19
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  29.  5
    Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2012 - Principia: An International Journal of Epistemology 15 (3).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  8
    On Ja?Kowski's Discussive Logics.Newton C. A. Costa & Francisco A. Doria - 1995 - 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)  
     
    Export citation  
     
    My bibliography  
  31.  18
    Cause as an Implication.Richard Sylvan & Newton Costa - 1988 - Studia Logica 47 (4):413 - 428.
    An appropriately unprejudiced logical investigation of causation as a type of implication relation is undertaken. The implication delineated is bounded syntactically. The developing argument then leads to a very natural process analysis, which demonstrably captures the established syntactical features. Next relevantly-based semantics for the resulting logical theory are adduced, and requisite adequacy results delivered. At the end of the tour, further improvements are pointed out, and the attractive terrain beyond present developments is glimpsed.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  5
    Sobre uma fundamentação não reflexiva da mecânica quântica.Newton Carneiro Affonso da Costa, Décio Krause, Jonas Rafael Becker Arenhart & Jaison Schinaider - 2012 - Scientiae Studia 10 (1):71-104.
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  33.  5
    Remarks on Abstract Galois Theory.Newton Ca Da Costa & Otávio Bueno - 2011 - Manuscrito 34 (1):151-183.
    Direct download  
     
    Export citation  
     
    My bibliography  
  34.  10
    On Jaśkowski's Discussive Logics.Newton C. A. Costa & Francisco A. Doria - 1995 - 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  
     
    Export citation  
     
    My bibliography  
  35.  5
    Undecidability, Incompleteness and Arnol'd Problems.Newton C. A. Costa & Francisco A. Doria - 1995 - 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)  
     
    Export citation  
     
    My bibliography  
  36.  3
    Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983.Xavier Caicedo, Rolando Chauqui, Newton C. D. Costa & Carlos A. di Prisco - 1984 - Journal of Symbolic Logic 49 (4):1430-1440.
  37.  1
    Kurt Godel E Os Problemas da Matematica Atual.Newton Costa & Leo Barsotti - 1959 - Journal of Symbolic Logic 24 (3):273-273.
  38. Quasi-Truth, Paraconsistency, and the Foundations of Science.Otávio Bueno & Newton Costa - 2007 - Synthese 154 (3):383-399.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  39. A Model Theoretic Approach to 'Natural' Reasoning.Newton C. A. Costa & Steven French - 1993 - International Studies in the Philosophy of Science 7 (2):177 – 190.
  40. A Semantical Analysis of the Calculi C N.Newton C. A. Costa - 1977 - Notre Dame Journal Fo Formal Logic 18:621-630.
    Translate
     
     
    Export citation  
     
    My bibliography  
  41. Consistency, paraconsistency and truth.Newton Costa & Otávio Bueno - 1996 - Ideas Y Valores 45:48-60.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  42. Définition, Théorie Des Objets Et Paraconsistance (Definition, Objects' Theory and Paraconsistance).Newton C. A. Costa & Jean-Yves Béziau - 1998 - 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
     
    Export citation  
     
    My bibliography  
  43. Paraconsistent Logic.Newton C. A. Costa & Otávio Bueno - 2010 - In Susana Nuccetelli, Ofelia Schutte & Otávio Bueno (eds.), A Companion to Latin American Philosophy. Wiley-Blackwell.
  44. Metaphilosophy and the History of the Philosophy of Science-The Structure of Scientific Theories Thirty Years On-Models, Theories, and Structures: Thirty Years On.Nick Huggett, Newton Da Costa & Steven French - 2000 - Philosophy of Science 67 (3):S116.
     
    Export citation  
     
    My bibliography