Journal of Philosophical Logic

, Volume 27, Issue 6, pp 603–620 | Cite as

The Logic of Pragmatic Truth

  • Newton C. A. da Costa
  • Otávio Bueno
  • Steven French


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 accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed.

Jaskowski's logic modal logic paraconsistent logic partial structures pragmatic truth quasi-truth 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Arruda, A. I. (1980): A Survey of Paraconsistent Logic, in: A. J. Arruda, N. C. A. da Costa and R. Chuaqui (eds.), Mathematical Logic in Latin America, North-Holland, Amsterdam, pp. 1–41.Google Scholar
  2. Avron, A. (1991): Natural Three-Valued Logics – Characterization and Proof Theory, The Journal of Symbolic Logic 56: 276–294.Google Scholar
  3. Brown, B. (1990): How to be Realistic about Inconsistency in Science, Studies in History and Philosophy of Science 21: 281–294.Google Scholar
  4. Brown, B. (1993): Old Quantum Theory: A Paraconsistent Approach, PSA 1992, vol. 2, East Lansing, Philosophy of Science Association, pp. 397–411.Google Scholar
  5. Bueno, O. (1996): What is Structural Empiricism? Scientific Change in an Empiricist Setting, paper read at the 1996 Annual Congress of the British Society for the Philosophy of Science, Sheffield, 11–13 September, forthcoming.Google Scholar
  6. Bueno, O. (1997): Empirical Adequacy: A Partial Structures Approach, forthcoming in: Studies in History and Philosophy of Science.Google Scholar
  7. da Costa, N. C. A. (1974): α-models and the systems T and T*, Notre Dame Journal of Formal Logic 14: 443–454.Google Scholar
  8. da Costa, N. C. A. (1975): Remarks on Jaskowski's Discussive Logic, Reports in Mathematical Logic 4: 7–16.Google Scholar
  9. da Costa, N. C. A. (1986): Pragmatic Probability, Erkenntnis 25: 141–162.Google Scholar
  10. da Costa, N. C. A., Bueno, O. and French, S. (forthcoming): Paraconsistency and Partiality, in preparation.Google Scholar
  11. da Costa, N. C. A. and French, S. (1989): Pragmatic Truth and the Logic of Induction, The British Journal for the Philosophy of Science 40: 333–356.Google Scholar
  12. da Costa, N. C. A. and French, S. (1990): The Model-Theoretic Approach in the Philosophy of Science, Philosophy of Science 57: 248–265.Google Scholar
  13. da Costa, N. C. A. and French, S. (1993a): Towards an Acceptable Theory of Acceptance: Partial Structures, Inconsistency and Correspondence, in: S. French and H. Kamminga (eds.), Correspondence, Invariance and Heuristics, Kluwer Academic Publishers, Dordrecht, pp. 137–158.Google Scholar
  14. da Costa, N. C. A. and French, S. (1993b): A Model Theoretic Approach to “Natural Reasoning”, International Studies in the Philosophy of Science 7: 177–190.Google Scholar
  15. da Costa, N. C. A. and French, S. (forthcoming): Partial Truth and Partial Structures: A Unitary Account of Models in Scientific and Natural Reasoning, unpublished book, University of São Paulo and University of Leeds, in preparation.Google Scholar
  16. D'Ottaviano, I. M. L. (1985): The Model Extension Theorems for J3-Theory, in C. A. di Prisco (ed.), Methods in Mathematical Logic, Springer, New York, pp. 157–173.Google Scholar
  17. D'Ottaviano, I. M. L. and da Costa, N. C. A. (1970): Sur un problème de Jaskowski, Comptes Rendus de l'Académie des Sciences de Paris 270A: 1349–1353.Google Scholar
  18. D'Ottaviano, I. M. L. and Epstein, R. (1988): A Many-valued Paraconsistent Logic, Reports on Mathematical Logic 22: 89–103.Google Scholar
  19. Epstein, R. (1995): Propositional Logics, 2nd edition, Oxford University Press, Oxford.Google Scholar
  20. French, S. (1991): Rationality, Consistency and Truth, The Journal of Non-Classical Logic 7: 5171.Google Scholar
  21. French, S. (1997): Partiality, Pursuit and Practice, in: Dalla Chiara et al. (eds.), Structures and Norms in Science, Kluwer Academic Publishers, Dordrecht, pp. 35–52.Google Scholar
  22. Gallin, D. (1975): Intensional and Higher-Order Logic, North-Holland, Amsterdam.Google Scholar
  23. Harman, G. (1986): Change in View, MIT Press, Cambridge, Mass.Google Scholar
  24. Henkin, L. and Montague, R. (1956): On the Definitions of Formal Deduction, The Journal of Symbolic Logic 21: 129–136.Google Scholar
  25. Hughes, G. H. and Cresswell, M. J. (1968): An Introduction to Modal Logic, Methuen.Google Scholar
  26. Jaskowski, S. (1969): Propositional Calculi for Contradictory Deductive Systems, Studia Logica 24: 143–157.Google Scholar
  27. Kotas, J. and da Costa, N. C. A. (1977): On SomeModal Logical Systems Defined in: Connection with Jaskowski's Problem, in A. I. Arruda, N. C. A. da Costa, and R. Chuaqui (eds.), Non-Classical Logic, Model Theory and Computability, North-Holland, Amsterdam, pp. 57–73.Google Scholar
  28. Kyburg, H. (1987): The Hobgoblin, The Monist 70: 141–151.Google Scholar
  29. Mikenberg, I., da Costa, N. C. A., and Chuaqui, R. (1986): Pragmatic Truth and Approximation to Truth, The Journal of Symbolic Logic 51: 201–221.Google Scholar
  30. Norton, J. (1993): A Paradox in Newtonian Gravitation Theory, PSA 1992, vol. 2, East Lansing, Philosophy of Science Association, pp. 412–420.Google Scholar
  31. Peirce, C. S. (1965): Philosophical Writings of Peirce, selected and edited by J. Buchler, Dover, New York.Google Scholar
  32. Popper, K. R. (1940): What is Dialectic?, Mind 49: 403–426.Google Scholar
  33. Priest, G. (1987): In Contradiction: A Study of the Transconsistent, Martinus Nijhoff, Dordrecht.Google Scholar
  34. Smith, J. (1988a): Scientific Reasoning or Damage Control: Alternative Proposals for Reasoning with Inconsistent Representations of the World, PSA 1988, vol. 1, East Lansing, Philosophy of Science Association, pp. 241–248.Google Scholar
  35. Smith, J. (1988b): Inconsistency and Scientific Reasoning, Studies in History and Philosophy of Science 19: 429–445.Google Scholar
  36. Ullian, J. S. (1990): Learning and Meaning, in R. B. Barrett and R. F. Gibson (eds.), Perspectives on Quine, Oxford, Blackwell, pp. 336–346.Google Scholar
  37. Vaihinger, H. (1952): Philosophy of “As If” A System of Theoretical, Practical and Religious Fictions of Mankind, Routledge & Kegan Paul, London.Google Scholar
  38. van Fraassen, B. C. (1980): The Scientific Image, Clarendon Press, Oxford.Google Scholar
  39. van Fraassen, B. C. (1989): Laws and Symmetry, Clarendon Press, Oxford.Google Scholar

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Newton C. A. da Costa
    • 1
  • Otávio Bueno
    • 2
  • Steven French
    • 2
  1. 1.Department of PhilosophyUniversity of São Paulo, São Paulo-SPBrazil (E-mail: Email
  2. 2.Division of History and Philosophy of Science, Department of PhilosophyUniversity of LeedsLeeds, LS2 9JTUK (E-mail: Email

Personalised recommendations