Skip to main content
Log in

Quasi-Truth In Quasi-Set Theory

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

Throughout the last two decades, Newton da Costa and his collaborators have developed some frameworks to help the interpretation of science. Two of them are particularly noteworthy: partial structures and quasi-truth (that provide a way of accommodating the openness and partiality of scientific activity), and quasi-set theory (that allows one to take seriously the idea, put forward by several physicists, that we can't meaningfully apply the notion of identity to quantum particles). In this paper I explore the interconnection between these two frameworks. After reviewing the extant formulations of quasi-truth and quasi-set theory, I suggest a way of combining them, advancing a formulation of quasi-truth in quasi-set theory. In this way, a good sense can be made of the idea that quantum mechanics, if not true, is at least quasi-true. I then explore an application of this combined framework, arguing that it provides a conceptual setting appropriate to overcome two (philosophical) difficulties in van Fraassen's modal interpretation of quantum mechanics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Bueno, O.: 1997, 'Empirical Adequacy: A Partial Structures Approach', Studies in History and Philosophy of Science 28, 585–610.

    Google Scholar 

  • Bueno, O.: 1999a, 'What is Structural Empiricism? Scientific Change in an Empiricist Setting', Erkenntnis 50, 59–85.

    Google Scholar 

  • Bueno, O.: 1999b, 'Empiricism, Conservativeness and Quasi-Truth', Philosophy of Science 66 (Proceedings), S474–85.

    Google Scholar 

  • Bueno, O. and E. de Souza: 1996, 'The Concept of Quasi-Truth', Logique et Analyse 153–4, 183–99.

    Google Scholar 

  • Bystrov, P. I. and V. N. Sadovsky (eds): 1996, Philosophical Logic and Logical Philosophy, Kluwer Academic Publishers, Dordrecht.

    Google Scholar 

  • Cao, T. L. (ed.): 1998, Proceedings of the Boston Colloquium for the Philosophy of Science. Cambridge University Press, Cambridge.

    Google Scholar 

  • da Costa, N. C. A.: 1980, Ensaio sobre os Fundamentos da Lógica, Hucitec, São Paulo.

    Google Scholar 

  • da Costa, N. C. A.: 1986a, 'Pragmatic Probability', Erkenntnis 25, 141–62.

    Google Scholar 

  • da Costa, N. C. A.: 1986b, 'On Paraconsistent Set Theory', Logique et Analyse 115, 361–71.

    Google Scholar 

  • da Costa, N. C. A.: 1989, 'Logic and Pragmatic Truth', in J. E. Fenstad et al. (eds), pp. 247–61.

  • da Costa, N. C. A.: 1997a, Logiques classiques et non classiques (expanded and revised French translation of da Costa (1980), by Jean-Yves Béziau), Masson, Paris.

    Google Scholar 

  • da Costa, N. C. A.: 1997b, O Conhecimento Científico, Discurso editorial, São Paulo.

    Google Scholar 

  • da Costa, N. C. A., Bueno, O., and French, S.: 1998, 'The Logic of Pragmatic Truth', Journal of Philosophical Logic 27, 603–20.

    Google Scholar 

  • da Costa, N. C. A. and F. A. Doria: 1992, 'On the Incompleteness of Axiomatized Models for the Empirical Sciences', Philosophica 50, 73–100.

    Google Scholar 

  • da Costa, N. C. A. and F. A. Doria: 1994, 'Gödel Incompleteness in Analysis, with an Application to the Forecasting Problem in the Social Sciences', Philosophia Naturalis 31, 1–24.

    Google Scholar 

  • da Costa, N. C. A. and F. A. Doria: 1996, 'Structures, Suppes Predicates and Boolean-Valued Models in Physics', in P. I. Bystrov and V. N. Sadovsky (eds), pp. 91–118.

  • da Costa, N. C. A., F. A. Doria, and J. A. de Barros: 1990, 'Suppes Predicates for General Relativity and Set-Theoretically Generic Spacetimes', International Journal of Theoretical Physics 29, 935–61.

    Google Scholar 

  • da Costa, N. C. A. and S. French: 1989, 'Pragmatic Truth and the Logic of Induction', British Journal for the Philosophy of Science 40, 333–356.

    Google Scholar 

  • da Costa, N. C. A., and S. French: 1990, 'The Model-Theoretic Approach in the Philosophy of Science', Philosophy of Science 57, 248–65.

    Google Scholar 

  • da Costa, N. C. A. and S. French: 1993a, 'Towards an Acceptable Theory of Acceptance: Partial Structures and the General Correspondence Principle', in S. French and H. Kamminga (eds), pp. 137–58.

  • da Costa, N. C. A. and S. French: 1993b, 'A Model Theoretic Approach to “Natural Reasoning”', International Studies in Philosophy of Science 7, 177–90.

    Google Scholar 

  • da Costa, N. C. A. and S. French: 1995, 'Partial Structures and the Logic of Azande', American Philosophical Quarterly 32, 325–39.

    Google Scholar 

  • da Costa, N. C. A. and S. French: 1998, 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.

  • da Costa, N. C. A. and D. Krause: 1994, 'Schrödinger Logics', Studia Logica 53, 533–50.

    Google Scholar 

  • da Costa, N. C. A. and D. Krause, D.: 1997 'An Intensional Schrödinger Logic', Notre Dame Journal of Formal Logic 38, 179–94.

    Google Scholar 

  • Dalla Chiara, M. L., K. Doets, D. Mundici, and J. van Bentham (eds): 1997, Structures and Norms in Science, Kluwer Academic, Dordrecht.

    Google Scholar 

  • Fenstad, J. E. et al. (eds): 1989, Logic, Methodology and Philosophy of Science VIII, Elsevier Science, Dordrecht.

    Google Scholar 

  • Field, H.: 1989, Realism, Mathematics and Modality, Blackwell, Oxford.

    Google Scholar 

  • French, S.: 1989, 'Identity and Individuality in Classical and Quantum Physics', Australasian Journal of Philosophy 67, 432–46.

    Google Scholar 

  • French, S.: 1997, 'Partiality, Pursuit and Practice', in Dalla Chiara et al. (eds), pp. 35–52.

  • French, S. and D. Krause: 1995, 'Vague Identity and Quantum Non-Individuality', Analysis 55, 20–26.

    Google Scholar 

  • French, S. and D. Krause: 1998, 'The Logic of Quanta', forthcoming in T. L. Cao (ed.).

  • French, S., and Kamminga, H. (eds): 1993, Correspondence, Invariance and Heuristics: Essays in Honour of Heinz Post, Reidel, Dordrecht.

    Google Scholar 

  • Heisenberg, W.: 1958, Physics and Philosophy, Allen & Unwin, London.

    Google Scholar 

  • Hodges, W.: 1986, 'Truth in a Structure', Proceedings of the Aristotelian Society NS 86, 135–51.

    Google Scholar 

  • Krause, D.: 1992, 'On a Quasi-Set Theory', Notre Dame Journal of Formal Logic 33, 402–411.

    Google Scholar 

  • Krause, D.: 1996, 'Axioms for Collections of Indistinguishable Objects', Logique et Analyse 153–4, 69–93.

    Google Scholar 

  • Krause, D. and S. French: 1995, 'A Formal Framework for Quantum Non-Individuality', Synthese 102, 195–214.

    Google Scholar 

  • Lewis, D.: 1986, On the Plurality of Worlds, Blackwell, Oxford.

    Google Scholar 

  • Mikenberg, I., N. C. A. da Costa, and R. Chuaqui: 1986, 'Pragmatic Truth and Approximation to Truth', Journal of Symbolic Logic 51, 201–21.

    Google Scholar 

  • Redhead, M. and P. Teller: 1992, 'Particle Labels and the Theory of Indistinguishable Particles in Quantum Mechanics', British Journal for the Philosophy of Science 43, 201–18.

    Google Scholar 

  • Schrödinger, E.: 1952, Science and Humanism, Cambridge University Press, Cambridge.

    Google Scholar 

  • Tarski, A.: 1936, 'Der Wahrheitsbegriff in den formalisierten Sprachen', Studia Philosophia 1, 261–405. (English translation in Tarski (1983), pp. 152–278.) Tarski, A.: 1954, 'Contributions to the Theory of Models I', Nederl. Akad. Wetensch. Proc. Ser. A 57, 72–81.

    Google Scholar 

  • Tarski, A.: 1983, Logic, Semantics, Metamathematics (translated by J. H. Woodger; second edition edited by John Corcoran), Hackett, Indianapolis.

    Google Scholar 

  • van Fraassen, B. C.: 1977, 'The Only Necessity is Verbal Necessity”, The Journal of Philosophy 74, 71–85.

    Google Scholar 

  • van Fraassen, B. C.: 1980, The Scientific Image, Clarendon, Oxford.

    Google Scholar 

  • van Fraassen, B. C.: 1989, Laws and Symmetry, Clarendon, Oxford.

    Google Scholar 

  • van Fraassen, B. C.: 1991, Quantum Mechanics: An Empiricist View, Clarendon, Oxford.

    Google Scholar 

  • von Neumann, J.: 1955, Mathematical Foundations of Quantum Mechanics (translated from the 1932 German edition by Robert T. Beyer), Princeton University Press, Princeton.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bueno, O. Quasi-Truth In Quasi-Set Theory. Synthese 125, 33–53 (2000). https://doi.org/10.1023/A:1005238423022

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005238423022

Keywords

Navigation