Search results for 'Newton C. A. Costdaa' (try it on Scholar)

24 found
Sort by:
  1. Newton C. A. Costa (1977). A Semantical Analysis of the Calculi C N. Notre Dame Journal Fo Formal Logic 18:621-630.score: 265.5
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. 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.score: 261.0
     
    My bibliography  
     
    Export citation  
  3. Newton C. A. Costa, Otávio Bueno & Steven French (1997). Suppes Predicates for Space-Time. Synthese 112 (2):271-279.score: 213.0
    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  
  4. Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria (1998). The Incompleteness of Theories of Games. Journal of Philosophical Logic 27 (6):553-568.score: 213.0
    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  
  5. 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.score: 213.0
    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  
  6. Newton C. A. Costa & Décio Krause (1994). Schrödinger Logics. Studia Logica 53 (4).score: 213.0
    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  
  7. 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.score: 213.0
    (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  
  8. 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.score: 213.0
    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  
  9. Irene Mikenberg, Newton C. A. Costa & Rolando Chuaqui (1986). Pragmatic Truth and Approximation to Truth. Journal of Symbolic Logic 51 (1):201-221.score: 201.0
  10. Newton C. A. Costaa & Steven French (1990). The Model-Theoretic Approach in the Philosophy of Science. Philosophy of Science 57 (2):248-265.score: 201.0
    An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. 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.score: 201.0
  12. Newton C. A. Costa & Steven French (1989). On the Logic of Belief. Philosophy and Phenomenological Research 49 (3):431-446.score: 201.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. 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.score: 201.0
  14. 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.score: 201.0
  15. 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.score: 201.0
  16. Newton C. A. Costa & Francisco A. Doria (1995). On Jaśkowski's Discussive Logics. Studia Logica 54 (1).score: 201.0
    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  
  17. Newton C. A. Costa (1972). On the Theory of Inconsistent Formal Systems. Recife,Universidade Federal De Pernambuco, Instituto De Matemática.score: 201.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Newton C. A. Costa & Francisco A. Doria (1995). Undecidability, Incompleteness and Arnold Problems. Studia Logica 55 (1).score: 201.0
    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  
  19. Leila C. Puga, Newton C. A. Costa & Roberto J. Vernengo (1990). Derecho, Moral y Preferencias Valorativas. Theoria 5 (1):9-29.score: 201.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Newton C. A. Costa & Robert G. Wolf (1980). Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposites. Philosophia 9 (2).score: 201.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Xavier Caicedo, Rolando Chauqui, Newton C. D. Costa & Carlos A. di Prisco (1984). Meeting of the Assocaition for Symbolic Logic: Caracas, Venezuela, 1983. Journal of Symbolic Logic 49 (4):1430-1440.score: 198.0
  22. Newton C. A. Costa & A. A. M. Rodrigues (2007). Definability and Invariance. Studia Logica 86 (1):1-30.score: 94.5
    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  
  23. N. C. A. Costa, David Harrah, Michael Tye, D. S. Clarke, Jeffrey Olen, Robert Young, Richard Campbell, Michael McKinsey, John Peterson, Alex C. Michalos, John Glucker, John T. Blackmore, Eileen Bagus & Barbara Goodwin (1985). Book Reviews. [REVIEW] Philosophia 15 (1-2):279-281.score: 85.5
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  24. 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-Blackwellscore: 45.0