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.
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.
Bueno, O.: 1999a, 'What is Structural Empiricism? Scientific Change in an Empiricist Setting', Erkenntnis 50, 59–85.
Bueno, O.: 1999b, 'Empiricism, Conservativeness and Quasi-Truth', Philosophy of Science 66 (Proceedings), S474–85.
Bueno, O. and E. de Souza: 1996, 'The Concept of Quasi-Truth', Logique et Analyse 153–4, 183–99.
Bystrov, P. I. and V. N. Sadovsky (eds): 1996, Philosophical Logic and Logical Philosophy, Kluwer Academic Publishers, Dordrecht.
Cao, T. L. (ed.): 1998, Proceedings of the Boston Colloquium for the Philosophy of Science. Cambridge University Press, Cambridge.
da Costa, N. C. A.: 1980, Ensaio sobre os Fundamentos da Lógica, Hucitec, São Paulo.
da Costa, N. C. A.: 1986a, 'Pragmatic Probability', Erkenntnis 25, 141–62.
da Costa, N. C. A.: 1986b, 'On Paraconsistent Set Theory', Logique et Analyse 115, 361–71.
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.
da Costa, N. C. A.: 1997b, O Conhecimento Científico, Discurso editorial, São Paulo.
da Costa, N. C. A., Bueno, O., and French, S.: 1998, 'The Logic of Pragmatic Truth', Journal of Philosophical Logic 27, 603–20.
da Costa, N. C. A. and F. A. Doria: 1992, 'On the Incompleteness of Axiomatized Models for the Empirical Sciences', Philosophica 50, 73–100.
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.
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.
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.
da Costa, N. C. A., and S. French: 1990, 'The Model-Theoretic Approach in the Philosophy of Science', Philosophy of Science 57, 248–65.
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.
da Costa, N. C. A. and S. French: 1995, 'Partial Structures and the Logic of Azande', American Philosophical Quarterly 32, 325–39.
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.
da Costa, N. C. A. and D. Krause, D.: 1997 'An Intensional Schrödinger Logic', Notre Dame Journal of Formal Logic 38, 179–94.
Dalla Chiara, M. L., K. Doets, D. Mundici, and J. van Bentham (eds): 1997, Structures and Norms in Science, Kluwer Academic, Dordrecht.
Fenstad, J. E. et al. (eds): 1989, Logic, Methodology and Philosophy of Science VIII, Elsevier Science, Dordrecht.
Field, H.: 1989, Realism, Mathematics and Modality, Blackwell, Oxford.
French, S.: 1989, 'Identity and Individuality in Classical and Quantum Physics', Australasian Journal of Philosophy 67, 432–46.
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.
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.
Heisenberg, W.: 1958, Physics and Philosophy, Allen & Unwin, London.
Hodges, W.: 1986, 'Truth in a Structure', Proceedings of the Aristotelian Society NS 86, 135–51.
Krause, D.: 1992, 'On a Quasi-Set Theory', Notre Dame Journal of Formal Logic 33, 402–411.
Krause, D.: 1996, 'Axioms for Collections of Indistinguishable Objects', Logique et Analyse 153–4, 69–93.
Krause, D. and S. French: 1995, 'A Formal Framework for Quantum Non-Individuality', Synthese 102, 195–214.
Lewis, D.: 1986, On the Plurality of Worlds, Blackwell, Oxford.
Mikenberg, I., N. C. A. da Costa, and R. Chuaqui: 1986, 'Pragmatic Truth and Approximation to Truth', Journal of Symbolic Logic 51, 201–21.
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.
Schrödinger, E.: 1952, Science and Humanism, Cambridge University Press, Cambridge.
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.
Tarski, A.: 1983, Logic, Semantics, Metamathematics (translated by J. H. Woodger; second edition edited by John Corcoran), Hackett, Indianapolis.
van Fraassen, B. C.: 1977, 'The Only Necessity is Verbal Necessity”, The Journal of Philosophy 74, 71–85.
van Fraassen, B. C.: 1980, The Scientific Image, Clarendon, Oxford.
van Fraassen, B. C.: 1989, Laws and Symmetry, Clarendon, Oxford.
van Fraassen, B. C.: 1991, Quantum Mechanics: An Empiricist View, Clarendon, Oxford.
von Neumann, J.: 1955, Mathematical Foundations of Quantum Mechanics (translated from the 1932 German edition by Robert T. Beyer), Princeton University Press, Princeton.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1005238423022