152 found
Order:
Disambiguations
Newton C. A. Da Costa [81]N. C. A. da Costa [34]Newton da Costa [18]Newton Ca da Costa [15]
Newton C. . A. da Costa [3]N. da Costa [3]Newton A. da Costa [3]Newton C. D. da Costa [1]

Not all matches are shown. Search with initial or firstname to single out others.

  1. Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning.Newton C. A. da Costa & Steven French - 2003 - Oup Usa.
    Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.
     
    Export citation  
     
    Bookmark   44 citations  
  2. Quasi-Truth, Paraconsistency, and the Foundations of Science.Otávio Bueno & Newton C. A. da Costa - 2007 - Synthese 154 (3):383-399.
    In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  79
    The Paraconsistent Logic of Quantum Superpositions.Newton C. A. da Costa & Christian de Ronde - 2013 - Foundations of Physics 43 (7):845-858.
    Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  4.  84
    On the Theory of Inconsistent Formal Systems.Newton C. A. Da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
  5. A Coherence Theory of Truth.Newton da Costa, Otávio Bueno & Steven French - 2005 - Manuscrito 28 (2):263-290.
    In this paper, we provide a new formulation of a coherence theory of truth using the resources of the partial structures approach − in particular the notions of partial structure and quasi-truth. After developing this new formulation, we apply the resulting theory to the philosophy of mathematics, and argue that it can be used to develop a new account of nominalism in mathematics. This application illustrates the strength and usefulness of the proposed formulation of a coherence theory of truth.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. The Model-Theoretic Approach in the Philosophy of Science.Newton C. A. da Costa & Steven French - 1990 - Philosophy of Science 57 (2):248 - 265.
    An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  7.  31
    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.
  8.  30
    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.
  9.  35
    Philippe de Rouilhan. Russell et le cercle ties paradoxes. Épiméthée. Presses Universitaires de France, Paris1996, 319 pp. [REVIEW]Newton C. A. da Costa & Otavio Bueno - 1999 - Journal of Symbolic Logic 64 (4):1845-1847.
  10.  8
    Revisiting the Applicability of Metaphysical Identity in Quantum Mechanics.Newton C. A. da Costa & Christian de Ronde - unknown
    We discuss the hypothesis that the debate about the interpretation of the orthodox formalism of quantum mechanics might have been misguided right from the start by a biased metaphysical interpretation of the formalism and its inner mathematical relations. In particular, we focus on the orthodox interpretation of the congruence relation, '=', which relates equivalent classes of different mathematical representations of a vector in Hilbert space, in terms of metaphysical identity. We will argue that this seemingly "common sense" interpretation, at the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  26
    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.
  12.  49
    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 (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  13.  19
    Lógicas normativas, moral y derecho.Leila Z. Puga, Newton C. A. da Costa & Roberto J. Vernengo - 1991 - Critica 23 (69):27-59.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  19
    Sobre a lógica deôntica não-clássica.Leila Z. Puga & Newton C. A. da Costa - 1987 - Critica 19 (55):19-37.
  15.  84
    The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
    The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  16.  18
    Belief and Contradiction.Newton C. A. da Costa & Steven French - 1988 - Critica 20 (60):3-11.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  16
    Chris Mortensen. Inconsistent Mathematics. Mathematics and its Applications, Vol. 312. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, Ix + 155 Pp. [REVIEW]Newton C. A. da Costa & Otávio Bueno - 1997 - Journal of Symbolic Logic 62 (2):683-685.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Rationality, Inconsistency, and Partial Structures.Otavio Bueno & Newton da Costa - manuscript
  19.  84
    Non-Reflexive Logical Foundation for Quantum Mechanics.Newton C. A. da Costa & Christian de Ronde - 2014 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  52
    On Suppes' Set Theoretical Predicates.Newton C. A. da Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
  21.  40
    A Semantical Analysis of the Calculi Cn.Newton C. A. da Costa - 1977 - Notre Dame Journal of Formal Logic 18:621.
  22.  11
    Kiyoshi Iséki. On Axiom Systems of Propositional Calculi. XV. Proceedings of the Japan Academy, Vol. 42 , Pp. 217–220. - Yoshinari Arai. On Axiom Systems of Propositional Calculi. XVII. Proceedings of the Japan Academy, Vol. 42 , Pp. 351–354. - Shôtarô Tanaka. On Axiom Systems of Propositional Calculi. XVIII. Proceedings of the Japan Academy, Vol. 42 , Pp. 355–357. - Yoshinari Arai and Shôtarô Tanaka. On Axiom Systems of Propositional Calculi. XIX. Proceedings of the Japan Academy, Vol. 42 , Pp. 358–360. - Shôtarô Tanaka. On Axiom Systems of Propositional Calculi. XX. Proceedings of the Japan Academy, Vol. 42 , Pp. 361–363. [REVIEW]Newton C. A. da Costa - 1973 - Journal of Symbolic Logic 38 (3):521.
  23.  24
    Pragmatic Truth and Approximation to Truth.Mikenberg Irene, C. A. Da Costa Newton & Chuaqui Rolando - 1986 - Journal of Symbolic Logic 51 (1):201 - 221.
    There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; for instance, linguistics, the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  24.  33
    A Model Theoretic Approach to 'Natural' Reasoning.Newton C. A. da Costa & Steven French - 1993 - International Studies in the Philosophy of Science 7 (2):177-190.
    Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  25.  37
    An Intensional Schrödinger Logic.Newton C. A. da Costa & Décio Krause - 1997 - Notre Dame Journal of Formal Logic 38 (2):179-194.
    We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  26.  37
    A Modal Ontology of Properties for Quantum Mechanics.Newton da Costa, Olimpia Lombardi & Mariano Lastiri - 2013 - Synthese 190 (17):3671-3693.
    Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  10
    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.
  28.  22
    The Paraconsistent Approach to Quantum Superpositions Reloaded: Formalizing Contradictiory Powers in the Potential Realm.Newton C. A. da Costa & Christian de Ronde - unknown
    In [7] the authors of this paper argued in favor of the possibility to consider a Paraconsistent Approach to Quantum Superpositions. We claimed that, even though most interpretations of quantum mechanics attempt to escape contradictions, there are many hints -coming from present technical and experimental developments in QM- that indicate it could be worth while to engage in a research of this kind. Recently, Arenhart and Krause have raised several arguments against the PAQS [1, 2, 3]. In [11, 12] it (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  6
    Pragmatic Truth and Approximation to Truth.Irene Mikenberg, Newton C. A. da Costa & Rolando Chuaqui - 1986 - Journal of Symbolic Logic 51 (1):201-221.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  30.  19
    Pragmatic Probability.Newton C. A. Da Costa - 1986 - Erkenntnis 25 (2):141 - 162.
  31.  50
    Pragmatic Truth and the Logic of Induction.Newton C. A. da Costa & Steven French - 1989 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  32.  70
    Logical and Philosophical Remarks on Quasi-Set Theory.Newton Da Costa - 2007 - Logic Journal of the IGPL 15 (5-6):421-431.
    Quasi-set theory is a theory for dealing with collections of indistinguishable objects. In this paper we discuss some logical and philosophical questions involved with such a theory. The analysis of these questions enable us to provide the first grounds of a possible new view of physical reality, founded on an ontology of non-individuals, to which quasi-set theory may constitute the logical basis.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  8
    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  
  34.  15
    Partial Structures and the Logic of Azande.Newton da Costa & Steven French - 1995 - American Philosophical Quarterly 32 (4):325 - 339.
  35.  35
    Quantum Mechanics: Ontology Without Individuals.Newton da Costa & Olimpia Lombardi - 2014 - Foundations of Physics 44 (12):1246-1257.
    The purpose of the present paper is to consider the traditional interpretive problems of quantum mechanics from the viewpoint of a modal ontology of properties. In particular, we will try to delineate a quantum ontology that (i) is modal, because describes the structure of the realm of possibility, and (ii) lacks the ontological category of individual. The final goal is to supply an adequate account of quantum non-individuality on the basis of this ontology.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  21
    A Semantical Analysis of the Calculi C N.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  37.  45
    Is There a Zande Logic?Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - History and Philosophy of Logic 19 (1):41-54.
    The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38. Time in Thermodynamics.Newton C. A. Da Costa & Adonai S. Sant'Anna - 2002 - Foundations of Physics 32 (11):1785-1796.
    We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without time as a primitive concept.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39. Professor Newton CA da Costa Awarded Nicholas Copernicus University Medal of Merit.Newton C. A. da Costa, Jean-Yves Béziau & Otávio Bueno - 1999 - Logic and Logical Philosophy 7:7-10.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  37
    A Formal Framework for the Study of the Notion of Undefined Particle Number in Quantum Mechanics.Newton C. A. Da Costa & Federico Holik - 2015 - Synthese 192 (2):505-523.
    It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Malinowski and Suszko on Many-Valued Logics: On the Reduction of Many-Valuedness to Two-Valuedness.Newton da Costa, Jean-Yves Béziau & Otávio Bueno - 1996 - Modern Logic 6 (1):272--299.
  42.  60
    Paraconsistency.Newton C. A. Da Costa - 2001 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 16 (1):119-145.
    In this expository paper, we examine some philosophical and technical issues brought by paraconsistency. We also suggest a way of accommodating these issues by considering some problems in the philosophy of logic from a new perspective.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Théorie de la Valuation.Newton Ca da Costa & Jean-Yves Béziau - 1994 - Logique Et Analyse 146 (146):95-117.
     
    Export citation  
     
    Bookmark   7 citations  
  44.  27
    Belief, Contradiction and the Logic of Self-Deception.Newton C. A. da Costa & Steven French - 1990 - American Philosophical Quarterly 27 (3):179 - 197.
    The apparently paradoxical nature of self-deception has attracted a great deal of controversy in recent years. Focussing on those aspects of the phenomenon which involve the holding of "contradictory" beliefs, it is our intention to argue that this presents no "paradox" if a non-classical, "paraconsistent", doxastic logic is adopted. (On such logics, see, for example, N. C. A. da Costa, 'On the theory of inconsistent formal systems', Notre Dame J Formal Logic 11(1974), 497-510, and A. I. Arruda, 'A survey of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  45. Suppes Predicates for Space-Time.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1997 - 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 Whitehead (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Alpha-Models and Systems T and T.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15:443.
  47. Logiques Classiques Et Non Classiques: Essai Sur Les Fondements De La Logique.N. C. A. da Costa - 2000 - Studia Logica 64 (3):435-443.
  48.  16
    Full-Blooded Anti-Exceptionalism About Logic.Newton Da Costa & Jonas R. Becker Arenhart - 2018 - Australasian Journal of Logic 15 (2):362-380.
    Problems of logical theory choice are current being widely dis- cussed in the context of anti-exceptionalist views on logic. According to those views, logic is not a special science among others, so, in particular, the methodology for theory choice should be the same in logic as for other scientific disciplines. Richard Routley advanced one such methodology which meshes well with anti-exceptionalism, and argued that it leads one to choosing one single logic, which is a kind of ultralogic. We argue that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  21
    The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):139-148.
  50.  5
    On Paraconsistent Deontic Logic.Newton C. A. Da Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 152