27 found
Order:
  1.  65
    Definability and Invariance.N. C. A. da Costa & A. A. M. Rodrigues - 2007 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  35
    Ladislav Rieger. 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]N. C. A. da Costa - 1975 - Journal of Symbolic Logic 40 (2):242-243.
  3.  32
    Gottfried Köthe. Sobre a não contradição da matemática. Gazeta de matemdtica, vol. 15 no. 58 , pp. 1–5.N. C. A. da Costa - 1975 - Journal of Symbolic Logic 40 (2):241.
  4.  30
    Wolfgang Balzer, C. Ulises Moulines, and Joseph D. Sneed. An Architectonic for Science. The Structuralist Program. Synthese Library, Vol. 186. D. Reidel Publishing Company, Dordrecht Etc. 1987, Xxxvii + 431 Pp. [REVIEW]N. C. A. da Costa - 1994 - Journal of Symbolic Logic 59 (2):671-673.
  5. Logiques Classiques Et Non Classiques: Essai Sur Les Fondements De La Logique.N. C. A. da Costa - 2000 - Studia Logica 64 (3):435-443.
  6. Suppes Predicates for Classical Physics.N. C. A. Da Costa & F. A. Doria - 1992 - In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. De Gruyter.
  7.  13
    On the Existence of Very Difficult Satisfiability Problems.N. C. A. da Costa & F. A. Doria - forthcoming - Bulletin of the Section of Logic.
  8.  9
    Gödel Incompleteness, Explicit Expressions for Complete Arithmetic Degrees and Applications.N. C. A. Da Costa & F. A. Doria - 1995 - Complexity 1 (3):40-55.
  9.  14
    Directions in Relevant Logic, Edited by Jean Norman and Richard Sylvan, Reason and Argument, Vol. 1, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, Xii + 453 Pp. [REVIEW]N. C. A. da Costa - 1993 - Journal of Symbolic Logic 58 (4):1466-1468.
  10.  85
    Bokk Review.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 - 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  
     
    Bookmark  
  11.  59
    Two Questions on the Geometry of Gauge Fields.N. C. A. da Costa, F. A. Doria, A. F. Furtado-do-Amaral & J. A. de Barros - 1994 - 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  
     
    Bookmark  
  12.  23
    On the Problem of Jaskowski and the Logic of Lukasiewicz.Jerzy Kotas & N. C. A. da Costa - 1978 - Bulletin of the Section of Logic 7 (2):91-91.
  13.  10
    Johann Sonner. On the Formal Definition of Categories. Mathematische Zeitschrift, Vol. 80 No. 2 , Pp. 163–176.N. C. A. da Costa - 1972 - Journal of Symbolic Logic 37 (3):613-614.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Outlines of a System of Inductive Logic'.N. C. A. Da Costa - 1987 - Theoria 7:3-13.
     
    Export citation  
     
    Bookmark   3 citations  
  15.  12
    A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
    S. Jaśkowski introduced the discussive propositional calculus D₂ as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories. D₂ has afterwards been extended to a first-order predicate calculus and to a higher-order logic. In this paper we present a natural version of D₂, in the sense of Jaśkowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus. A semantics for the new calculus is also presented.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Schrrdinger Logics'.N. C. A. Da Costa & D. Krause - 1994 - Studia Logica 53 (4).
  17.  11
    O Sentido da Nova Logica.N. C. A. da Costa & W. O. Quine - 1997 - Journal of Symbolic Logic 62 (2):688.
  18.  12
    Review: Wolfgang Balzer, C. Ulises Moulines, Joseph D. Sneed, An Architectonic for Science. The Structuralist Program. [REVIEW]N. C. A. da Costa - 1994 - Journal of Symbolic Logic 59 (2):671-673.
  19.  9
    Review: Jean Norman, Richard Sylvan, Directions in Relevant Logic. [REVIEW]N. C. A. da Costa - 1993 - Journal of Symbolic Logic 58 (4):1466-1468.
  20.  7
    In Contradiction.N. C. A. da Costa - 1989 - Philosophical Quarterly 39 (57):498.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Proceedings of the Third Brazilian Conference on Mathematical Logic.A. I. Arruda, N. C. A. Da Costa & A. M. Sette - 1983 - Studia Logica 42 (4):483-484.
  22. Consequences of an Exotic Definition for P = NP. Applied Mathematics and Computation.N. C. A. da Costa & F. A. Doria - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
     
    Export citation  
     
    Bookmark  
  23. D. MARCONI "La Formalizzazione Della Dialettica". [REVIEW]N. C. A. Da Costa - 1981 - History and Philosophy of Logic 2:145.
  24. Meinong's Theory Of Objects And Hilbert's $\Epsilon$-Symbol.N. C. A. da Costa, F. Doria & N. Papavero - 1991 - 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  
     
    Bookmark  
  25. N. RESCHER and R. BRANDOM "The Logic of Inconsistency". [REVIEW]N. C. A. Da Costa - 1982 - History and Philosophy of Logic 3 (2):225.
     
    Export citation  
     
    Bookmark  
  26. On paraconsistent set theory.N. C. A. Da Costa - 1986 - Logique Et Analyse 29 (15):361.
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. R. POLI "Ontologia Formale". [REVIEW]N. C. A. da Costa - 1994 - History and Philosophy of Logic 15 (1):144.
     
    Export citation  
     
    Bookmark