16 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.
    No categories
     
    My bibliography  
     
    Export citation  
  5. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  6. 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.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  9. 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  
  10. N. C. A. Da Costa & D. Krause (1994). Schrrdinger Logics'. Studia Logica 53 (4).
     
    My bibliography  
     
    Export citation  
  11. 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  
  12. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  13. 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.
    No categories
     
    My bibliography  
     
    Export citation  
  14. N. C. A. Da Costa (1987). Outlines of a System of Inductive Logic'. Theoria 7:3-13.
    No categories
     
    My bibliography  
     
    Export citation  
  15. 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  
  16. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation