27 found
Sort by:
  1. N. C. A. da Costa & F. A. Doria (forthcoming). On the Existence of Very Difficult Satisfiability Problems. Bulletin of the Section of Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. N. C. A. Da Costa & C. De Ronde (2014). Non-Reflexive Logical Foundation for Quantum Mechanics. Foundations of Physics 44 (12):1369-1380.
    On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their identity, also known in the literature as ‘the problem of indistinguishable particles’. In this article, we will argue that non-reflexive logics can be a useful tool to account for such quantum indistinguishability. In particular, we will provide a particular non-reflexive logic that can help us to analyze (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. N. C. A. Da 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  4. N. C. A. da Costa & A. M. N. Rodrigues (2007). Permutation and Invariance. Studia Logica 82:1-30.
     
    My bibliography  
     
    Export citation  
  5. N. C. A. da Costa & F. A. Doria (2004). Consequences of an Exotic Definition for P = NP. Applied Mathematics and Computation. Bulletin of Symbolic Logic 10 (1):118-119.
     
    My bibliography  
     
    Export citation  
  6. N. C. A. da Costa (2000). Logiques Classiques Et Non Classiques: Essai Sur Les Fondements De La Logique. Studia Logica 64 (3):435-443.
     
    My bibliography  
     
    Export citation  
  7. Matthias Schirn, N. C. A. Da Costa, O. Bueno, Kenneth G. Ferguson & Krystyna G. Misiuna (1998). Book Reviews. [REVIEW] History and Philosophy of Logic 19 (4):267-277.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. N. C. A. da Costa (1997). Review: W. O. Quine, O Sentido da Nova Logica. [REVIEW] Journal of Symbolic Logic 62 (2):688-688.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Rainer Bäuerle, N. C. A. Da Costa, O. Bueno, Javier De Lorenzo, Alberto Zanardo, Alan R. Perreiah, K. Misiuna, H. Sinaceur, T. Hailperin, S. Bringsjord, A. C. Varzi, T. Wiliamson & Barry Smith (1996). Book Reviews. [REVIEW] History and Philosophy of Logic 17 (1-2):155-177.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. N. C. A. Da Costa & F. A. Doria (1995). Gödel Incompleteness, Explicit Expressions for Complete Arithmetic Degrees and Applications. Complexity 1 (3):40-55.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. N. C. A. da Costa (1994). Balzer Wolfgang, Moulines C. Ulises, and Sneed Joseph D.. An Architectonic for Science. The Structuralist Program. Synthese Library, Vol. 186. D. Reidel Publishing Company, Dordrecht Etc. 1987, Xxxvii+ 431 Pp. [REVIEW] Journal of Symbolic Logic 59 (2):671-673.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. N. C. A. da Costa (1994). R. POLI "Ontologia Formale". [REVIEW] History and Philosophy of Logic 15 (1):144.
     
    My bibliography  
     
    Export citation  
  13. N. C. A. da Costa (1994). Review: Wolfgang Balzer, C. Ulises Moulines, Joseph D. Sneed, An Architectonic for Science. The Structuralist Program. [REVIEW] Journal of Symbolic Logic 59 (2):671-673.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. N. C. A. Da Costa, F. A. Doria, A. F. Furtado-do-Amaral & J. A. De Barros (1994). Two Questions on the Geometry of Gauge Fields. Foundations of Physics 24 (5):783-800.
    We first show that a theorem by Cartan that generalizes the Frobenius integrability theorem allows us (given certain conditions) to obtain noncurvature solutions for the differential Bianchi conditions and for higher-degree similar relations. We then prove that there is no algorithmic procedure to determine, for a reasonable restricted algebra of functions on spacetime, whether a given connection form satisfies the preceding conditions. A parallel result gives a version of Gödel's first incompleteness theorem within an (axiomatized) theory of gauge fields.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. N. C. A. Da Costa & D. Krause (1994). Schrrdinger Logics'. Studia Logica 53 (4).
     
    My bibliography  
     
    Export citation  
  16. N. C. A. da Costa (1993). Directions in Relevant Logic, Edited by Norman Jean and Sylvan Richard, Reason and Argument, Vol. 1, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, Xii+ 453 Pp. [REVIEW] Journal of Symbolic Logic 58 (4):1466-1468.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. N. C. A. da Costa (1993). Review: Jean Norman, Richard Sylvan, Directions in Relevant Logic. [REVIEW] Journal of Symbolic Logic 58 (4):1466-1468.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. N. C. A. Da Costa & F. A. Doria (1992). Suppes Predicates for Classical Physics. In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics. De Gruyter.
     
    My bibliography  
     
    Export citation  
  19. N. C. A. da Costa, F. Doria & N. Papavero (1991). Meinong's Theory Of Objects And Hilbert's $\Epsilon$-Symbol. Reports on Mathematical Logic.
    We propose a formalization of Meinong's theory of objects with the help of Hilbert's $\epsilon$-symbol and a paraconsistent logical system, with an eye towards its application in an axiomatization of the natural sciences.
     
    My bibliography  
     
    Export citation  
  20. N. C. A. da Costa (1989). In Contradiction. Philosophical Quarterly 39 (57):498.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. N. C. A. Da Costa (1987). Outlines of a System of Inductive Logic'. Theoria 7:3-13.
     
    My bibliography  
     
    Export citation  
  22. A. I. Arruda, N. C. A. Da Costa & A. M. Sette (1983). Proceedings of the Third Brazilian Conference on Mathematical Logic. Studia Logica 42 (4):483-484.
     
    My bibliography  
     
    Export citation  
  23. N. C. A. Da Costa (1982). N. RESCHER and R. BRANDOM "The Logic of Inconsistency". [REVIEW] History and Philosophy of Logic 3 (2):225.
     
    My bibliography  
     
    Export citation  
  24. Eleonore Stump, Charles B. Schmitt, James J. Murphy, M. Mugnai, Robin Smith, C. W. Kilmister, N. C. A. da Costa, von G. Schenk, Robert Bunn, D. W. Barron & A. Grieder (1982). Bokk Review. History and Philosophy of Logic 3 (2):213-240.
    MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. N. C. A. Da Costa (1981). D. MARCONI "La Formalizzazione Della Dialettica". [REVIEW] History and Philosophy of Logic 2:145.
     
    My bibliography  
     
    Export citation  
  26. A. I. Arruda, R. Chuaqui & N. C. A. da Costa (1980). Non-Classical Logics, Model Theory and Computability. Crítica: Revista Hispanoamericana de Filosofía 12 (34):154-158.
     
    My bibliography  
     
    Export citation  
  27. Jerzy Kotas & N. C. A. da Costa (1978). On the Problem of Jaskowski and the Logic of Lukasiewicz. Bulletin of the Section of Logic 7 (2):91-91.
    Direct download  
     
    My bibliography  
     
    Export citation