30 found
Order:
  1.  22
    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)  
     
    Export citation  
     
    My bibliography   5 citations  
  2.  12
    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  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  43
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  4.  53
    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)  
     
    Export citation  
     
    My bibliography  
  5. N. C. A. da Costa & A. M. N. Rodrigues (2007). Permutation and Invariance. Studia Logica 82:1-30.
     
    Export citation  
     
    My bibliography   2 citations  
  6.  56
    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)  
     
    Export citation  
     
    My bibliography  
  7. N. C. A. da Costa (2000). Logiques Classiques Et Non Classiques: Essai Sur Les Fondements De La Logique. Studia Logica 64 (3):435-443.
     
    Export citation  
     
    My bibliography   3 citations  
  8.  9
    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  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  4
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  10. N. C. A. Da Costa (1987). Outlines of a System of Inductive Logic'. Theoria 7:3-13.
     
    Export citation  
     
    My bibliography   3 citations  
  11. 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
     
    Export citation  
     
    My bibliography   2 citations  
  12.  2
    N. C. A. da Costa (1989). In Contradiction. Philosophical Quarterly 39 (57):498.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  3
    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  
     
    Export citation  
     
    My bibliography  
  14.  2
    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)  
     
    Export citation  
     
    My bibliography  
  15.  2
    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)  
     
    Export citation  
     
    My bibliography  
  16.  1
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  17.  1
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  18. 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.
     
    Export citation  
     
    My bibliography  
  19. 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.
     
    Export citation  
     
    My bibliography  
  20. 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.
     
    Export citation  
     
    My bibliography  
  21. N. C. A. Da Costa (1981). D. MARCONI "La Formalizzazione Della Dialettica". [REVIEW] History and Philosophy of Logic 2:145.
     
    Export citation  
     
    My bibliography  
  22. N. C. A. da Costa (1975). Köthe Gottfried. Sobre a não contradição da matemática. Gazeta de matemdtica, vol. 15 no. 58 , pp. 1–5. Journal of Symbolic Logic 40 (2):241.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. 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.
     
    Export citation  
     
    My bibliography  
  24. N. C. A. Da Costa (1982). N. RESCHER and R. BRANDOM "The Logic of Inconsistency". [REVIEW] History and Philosophy of Logic 3 (2):225.
     
    Export citation  
     
    My bibliography  
  25. N. C. A. da Costa & W. O. Quine (1997). O Sentido da Nova Logica. Journal of Symbolic Logic 62 (2):688.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. N. C. A. da Costa (1975). Rieger Ladislav. A Contribution to Gödel's Axiomatic Set Theory, II and III. English with Russian Summaries. Čéhoslovačkij Matématičéskij Žurnal , Vol. 9 , Pp. 1–49, and Vol. 13 , Pp. 51–88. [REVIEW] Journal of Symbolic Logic 40 (2):242-243.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. N. C. A. da Costa (1975). Real Luís Neves. Kurt Gödel E Os Problemas Dos Fundamentos da Matemática E a Teoria Dos Conjuntos. Gazeta de Matemdtica, Vol. 12 No. 48 , Pp. 1–8. [REVIEW] Journal of Symbolic Logic 40 (2):241.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. N. C. A. da Costa (1994). R. POLI "Ontologia Formale". [REVIEW] History and Philosophy of Logic 15 (1):144.
     
    Export citation  
     
    My bibliography  
  29. N. C. A. da Costa (1972). Sonner Johann. On the Formal Definition of Categories. Mathematische Zeitschrift, Vol. 80 No. 2 , Pp. 163–176. Journal of Symbolic Logic 37 (3):613-614.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. N. C. A. Da Costa & D. Krause (1994). Schrrdinger Logics'. Studia Logica 53 (4).
     
    Export citation  
     
    My bibliography