19 found
Sort by:
  1. Newton C. A. Costdaa & 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  
  2. Marcelo Tsuji, Newton C. A. Costdaa & 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  
  3. Newton C. A. Costdaa, 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 (...) (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Newton C. A. Costdaa & 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  
  5. Newton C. A. Costdaa & Francisco A. Doria (1995). Undecidability, Incompleteness and Arnol'd 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  
  6. Newton C. A. Costdaa & 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  
  7. Newton C. A. Costdaa & 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  
  8. Newton C. A. Costdaa & Steven French (1990). The Model-Theoretic Approach in the Philosophy of Science. Philosophy of Science 57 (2):248-265.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Leila C. Puga, Newton C. A. Costdaa & Roberto J. Vernengo (1990). Derecho, Moral Y Preferencias Valorativas. Theoria 5 (1):9-29.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Newton C. A. Costdaa & Steven French (1989). On the Logic of Belief. Philosophy and Phenomenological Research 49 (3):431-446.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Newton C. A. Costdaa & 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Irene Mikenberg, Newton C. A. Costdaa & Rolando Chuaqui (1986). Pragmatic Truth and Approximation to Truth. Journal of Symbolic Logic 51 (1):201-221.
  13. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costdaa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884-892.
  14. Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costdaa & Irene Mikenberg (1981). Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. Journal of Symbolic Logic 46 (1):180-190.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Ayda I. Arruda, R. Chuaqui & Newton C. A. Costdaa (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  
  16. Newton C. A. Costdaa & 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  
  17. Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costdaa & Rolando Chuaqui (1978). Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic 43 (2):352-364.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Ayda I. Arruda, Newton C. A. Costdaa & 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.
  19. Newton C. A. Costdaa (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