114 found
Order:
  1. Newton da Costa & Steven French (2000). Models, Theories, and Structures: Thirty Years On. Philosophy of Science 67 (3):S116-S127.
    Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2. Newton C. A. da Costa & Steven French (2003). Science and Partial Truth a Unitary Approach to Models and Scientific Reasoning. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography   18 citations  
  3. Otavio Bueno & Newton da Costa (2007). Quasi-Truth, Paraconsistency, and the Foundations of Science. 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, (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  4.  62
    Newton C. A. Da Costa (1974). On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic 15 (4):497-510.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   61 citations  
  5.  83
    Newton C. A. da Costa & Steven French (1990). The Model-Theoretic Approach in the Philosophy of Science. 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  
     
    Export citation  
     
    My bibliography   32 citations  
  6. Otavio Bueno & Newton da Costa, Rationality, Inconsistency, and Partial Structures.
  7. Newton C. A. da Costa, Jean-Yves Béziau & Otávio Bueno (1999). Professor Newton CA da Costa Awarded Nicholas Copernicus University Medal of Merit. Logic and Logical Philosophy 7:7-10.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  51
    Newton C. A. Da Costa, Otávio Bueno & Steven French (1998). The Logic of Pragmatic Truth. 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  
     
    My bibliography   14 citations  
  9.  31
    Newton C. A. da Costa & Rolando Chuaqui (1988). On Suppes' Set Theoretical Predicates. Erkenntnis 29 (1):95 - 112.
  10.  8
    Newton C. A. da Costa & Steven French (1993). A Model Theoretic Approach to 'Natural' Reasoning. 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  
     
    My bibliography   13 citations  
  11.  97
    Newton C. A. Da Costa & Adonai S. Sant'Anna (2002). Time in Thermodynamics. 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  
     
    My bibliography   2 citations  
  12.  15
    Newton C. A. Da Costa & Steven French (1989). Pragmatic Truth and the Logic of Induction. 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 (6 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  13.  9
    Mikenberg Irene, C. A. Da Costa Newton & Chuaqui Rolando (1986). Pragmatic Truth and Approximation to Truth. 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  
     
    My bibliography   13 citations  
  14.  82
    Newton C. A. Da Costa & Décio Krause (2014). Physics, Inconsistency, and Quasi-Truth. Synthese 191 (13):3041-3055.
    In this work, the first of a series, we study the nature of informal inconsistency in physics, focusing mainly on the foundations of quantum theory, and appealing to the concept of quasi-truth. We defend a pluralistic view of the philosophy of science, grounded on the existence of inconsistencies and on quasi-truth. Here, we treat only the ‘classical aspects’ of the subject, leaving for a forthcoming paper the ‘non-classical’ part.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  6
    Newton C. A. da Costa (1986). Pragmatic Probability. Erkenntnis 25 (2):141 - 162.
  16.  51
    Newton Da Costa (2007). Logical and Philosophical Remarks on Quasi-Set Theory. 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  
     
    My bibliography   3 citations  
  17. Newton C. A. Da Costa, Otávio Bueno & Steven French (1997). Suppes Predicates for Space-Time. 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  
     
    My bibliography   3 citations  
  18.  8
    Newton da Costa & Steven French (1995). Partial Structures and the Logic of Azande. American Philosophical Quarterly 32 (4):325 - 339.
  19.  3
    Newton C. A. Da Costa & Décio Krause (1997). An Intensional Schrödinger Logic. 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 (11 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  20.  26
    Newton C. A. Da Costa & Décio Krause (1997). An Intensional Schrödinger Logic. 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 (11 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  21.  15
    Newton C. A. Da Costa & E. H. Alves (1977). A Semantical Analysis of the Calculi ${\Bf C}_n$. Notre Dame Journal of Formal Logic 18 (4):621-630.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  22. Newton da Costa, Jean-Yves Béziau & Otávio Bueno (1996). Malinowski and Suszko on Many-Valued Logics: On the Reduction of Many-Valuedness to Two-Valuedness. Modern Logic 6 (1):272--299.
  23.  19
    Newton C. A. Da Costa & Otávio Bueno (2001). Paraconsistency: Towards a Tentative Interpretation. Theoria 16 (40):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 (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  24.  19
    Newton C. A. da Costa & Décio Krause (1994). Schrödinger Logics. Studia Logica 53 (4):533 - 550.
    Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis (which has been advanced by other authors) that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understand identity as meaning indistinguishability (agreemment with respect to attributes). Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  25. Newton Ca da Costa & Jean-Yves Béziau (1994). Théorie de la Valuation. Logique Et Analyse 146 (146):95-117.
     
    Export citation  
     
    My bibliography   6 citations  
  26.  24
    Leila C. Puga, Newton C. A. Da Costa & Roberto José Vernengo (1990). Derecho, moral y preferencias valorativas. Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 5 (12):9-29.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27. Newton C. A. da Costa (1974). Alpha-Models and Systems T and T. Notre Dame Journal of Formal Logic 15:443.
     
    Export citation  
     
    My bibliography   10 citations  
  28.  14
    Newton C. A. da Costa & Steven French (1990). Belief, Contradiction and the Logic of Self-Deception. 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  
     
    My bibliography   5 citations  
  29.  33
    Newton C. A. da Costa (2001). Paraconsistency. Theoria 16 (1):119-145.
    In this expository paper, we examine some philosophical and technical issues brought by paraconsistency (such as, motivations for developing a paraconsistent logic, the nature of this logic, and its application to set theory). 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  
     
    My bibliography   2 citations  
  30.  17
    Newton C. A. da Costa & Francisco Antonio Doria (1992). On the Incompleteness of Axiomatized Models for the Empirical Sciences. Philosophica 50.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  31.  14
    Newton Ca da Costa, Jean-Yves Beziau & Otavio Bueno (1995). Paraconsistent Logic in a Historical Perspective. Logique Et Analyse 38:111-125.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  32.  14
    Newton C. A. da Costa & Charles C. Pinter (1976). Α Logic and Infinitary Languages. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):105-112.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  14
    Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago (1991). The Paraconsistent Logics PJ. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):139-148.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  21
    Newton da Costa & Steven French (1989). A Note on Temporal Logic. Bulletin of the Section of Logic 18 (2):51-55.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  35.  6
    Newton C. A. Da Costa & E. H. Alves (1977). A Semantical Analysis of the Calculi C N. Notre Dame Journal Fo Formal Logic 18 (4):621-630.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  36.  13
    Newton C. A. da Costa & Christian de Ronde, The Paraconsistent Approach to Quantum Superpositions Reloaded: Formalizing Contradictiory Powers in the Potential Realm.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  10
    Newton Ca da Costa, Francisco A. Doria & Marcelo Tsuji (1995). The Undecidability of Formal Definitions in the Theory of Finite Groups. Bulletin of the Section of Logic 24:56-63.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  38.  14
    Leila Z. Puga & Newton C. A. Da Costa (1988). On The Imaginary Logic of N. A. VASILIEV. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):205-211.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  26
    Newton C. A. Da Costa & Federico Holik (2015). A Formal Framework for the Study of the Notion of Undefined Particle Number in Quantum Mechanics. 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  
     
    My bibliography  
  40.  11
    Adonai Sant'Anna, Otavio Bueno & Newton da Costa, A Set-Theoretic Predicate for Semantics in Natural and Formal Languages.
    We present an axiomatic framework for semantics that can be applied to natural and formal languages. Our main goal is to suggest a very simple mathematical model that describes fundamental cognitive aspects of the human brain and that can still be applied to artificial intelligence. One of our main results is a theorem that allows us to infer syntactical properties of a language out of its corresponding semantics. The role of pragmatics in semantics in our mathematical framework is also discussed.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  13
    Newton C. A. da Costa & Francisco Antonio Doria (1992). On the Incompleteness of Axiomatized Models for the Empirical Sciences. Philosophica 50.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  42.  10
    Décio Krause, Jonas R. B. Arenhart & Newton C. A. da Costa, Ontology and the Mathematization of the Scientific Enterprise.
    In this basically expository paper we discuss the role of logic and mathematics in researches concerning the ontology of scientific theories, and we consider the particular case of quantum mechanics. We argue that systems of logic in general, and classical logic in particular, may contribute substantially with the ontology of any theory that has this logic in its base. In the case of quantum mechanics, however, from the point of view of philosophical discussions concerning identity and individuality, those contributions may (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Newton da Costa, Otávio Bueno & Jean-Yves Béziau (1995). What is Semantics? A Brief Note on a Huge Question. Sorites 3:43-47.
    After mentioning the cogent connection between pure semantics and the particular set theoretical framework in which it is formulated, some issues regarding the conceptual status of semantics itself, as well as its relationship to logic, are concisely raised.
     
    Export citation  
     
    My bibliography   1 citation  
  44.  3
    Newton A. da Costa, Jean-Yves Beziau & Otavio S. Bueno (1995). Aspects of Paraconsistent Logic. Logic Journal of the Igpl 3 (4):597-614.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  45
    Newton C. A. da Costa & Jean-Yves Béziau (1998). Définition, Théorie des Objets et Paraconsistance (Definition, Objects' Theory and Paraconsistance). Theoria 13 (2):367-379.
    Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that (...)
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46.  14
    Newton C. A. Da Costa (1999). Opening Address: Paraconsistent Logic. Logic and Logical Philosophy 7:25.
    I am honoured with and touched by the invitation of delivering the opening address of this Congress. Firstly, to see paraconsistent logic flourishing and growing, as we can readily see by simply glacing over the programme of this conference, is among one of my greatest joys. Secondly, and equally important, because this congress takes place in the University of Toruń.I am honoured for having lectured here, a most congenial and stimulating place, and could not think of a better place for (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  3
    Newton [Y.] Otávio Bueno Da Costa (1996). Consistency, Paraconsistency and Truth: Logic, the Whole Logic and Nothing but the Logic. Ideas Y Valores 100:48-60.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  48.  23
    Newton da Costa & Olimpia Lombardi (2014). Quantum Mechanics: Ontology Without Individuals. 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  
     
    My bibliography  
  49.  4
    Newton C. A. Da Costa (2004). Opening Address: Paraconsistent Logic. Logic and Logical Philosophy 7:25-34.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50.  62
    Newton C. A. da Costa & Décio Krause, Remarks on the Applications of Paraconsistent Logic to Physics.
    In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P.\ -D.\ F\'evrier's 'logic of complementarity' as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed 'paraclassical logic'.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 114