Steven French and Decio Krause examine the metaphysical foundations of quantum physics. They draw together historical, logical, and philosophical perspectives on the fundamental nature of quantum particles and offer new insights on a range of important issues. Focusing on the concepts of identity and individuality, the authors explore two alternative metaphysical views; according to one, quantum particles are no different from books, tables, and people in this respect; according to the other, they most certainly are. Each view comes with certain (...) costs attached and after describing their origins in the history of quantum theory, the authors carefully consider whether these costs are worth bearing. Recent contributions to these discussions are analyzed in detail and the authors present their own original perspective on the issues. The final chapter suggests how this perspective can be taken forward in the context of quantum field theory. (shrink)

We critically examine the claim that identity is a fundamental concept. According to those putting forward this thesis, there are four related reasons that can be called upon to ground the fundamental character of identity: identity is presupposed in every conceptual system; identity is required to characterize individuality; identity cannot be defined; the intelligibility of quantification requires identity. We address each of these points and argue that none of them advances compelling reasons to hold that identity is fundamental; in fact, (...) most of the tasks that seem to require identity may be performed without identity. So, in the end, identity may not be a fundamental concept after all. (shrink)

Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. We build (...) a vector space with inner product, the Q-space, using the non-classical part of quasi-set theory, to deal with indistinguishable elements. Vectors in Q-space refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the fact of unobservability of permutations. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics. (shrink)

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book (...) describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes’ set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science. (shrink)

Quasi-set theory has been proposed as a means of handling collections of indiscernible objects. Although the most direct application of the theory is quantum physics, it can be seen per se as a non-classical logic (a non-reflexive logic). In this paper we revise and correct some aspects of quasi-set theory as presented in [12], so as to avoid some misunderstandings and possible misinterpretations about the results achieved by the theory. Some further ideas with regard to quantum field theory are also (...) advanced in this paper. (shrink)

It has been suggested that quantum particles are genuinelyvague objects (Lowe 1994a). The present work explores thissuggestion in terms of the various metaphysical packages that areavailable for describing such particles. The formal frameworksunderpinning such packages are outlined and issues of identityand reference are considered from this overall perspective. Indoing so we hope to illuminate the diverse ways in whichvagueness can arise in the quantum context.

We discuss the idea that superpositions in quantum mechanics may involve contradictions or contradictory properties. A state of superposition such as the one comprised in the famous Schrödinger’s cat, for instance, is sometimes said to attribute contradictory properties to the cat: being dead and alive at the same time. If that were the case, we would be facing a revolution in logic and science, since we would have one of our greatest scientific achievements showing that real contradictions exist.We analyze that (...) claim by employing the traditional square of opposition.We suggest that it is difficult to make sense of the idea of contradiction in the case of quantum superpositions. From a metaphysical point of view the suggestion also faces obstacles, and we present some of them. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

Lowe has recently argued that quantum particles offer examples of vague objects. While accepting the premise of the argument that such particles can be regarded as individuals, we point out that there is a lacuna here, to be filled by a detailed analysis of the nature of the entangled states which they enter into. We then elaborate the alternative view, according to which such particles should be regarded as non- individuals' and situate it in the context of recent developments of (...) a logic of non- individuality. Our conclusion is that it is here that one encounters genuine ontic vagueness. (shrink)

According to the semantic view, a theory is characterized by a class of models. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between van Fraassen’s (...) modal interpretation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model (namely, QED and QCD), we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories. (shrink)

H. Post's conception of quantal particles as non-individuals is set in a formal logico-mathematical framework. By means of this approach certain metaphysical implications of quantum mechanics can be further explored.

In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the discussion, there is a general argument which suggests the possibility of a metaphysics of non-individuals, based on (...) a reasonable interpretation of quantum basic entities. I close the paper with a suggestion that consists in emphasizing that quanta should be referred to by the cardinalities of the collections to which they belong, for which an adequate mathematical framework seems to be possible. (shrink)

Following J.-Y.Béziau in his pioneer work on non-standard interpretations of the traditional square of opposition, we have applied the abstract structure of the square to study the relation of opposition between states in superposition in orthodox quantum mechanics in [1]. Our conclusion was that such states are contraries, contradicting previous analyzes that have led to different results, such as those claiming that those states represent contradictory properties. In this chapter we bring the issue once again into the center of the (...) stage, but now discussing the metaphysical presuppositions which underlie each kind of analysis and which lead to each kind of result, discussing in particular the idea that superpositions represent potential contradictions. We shall argue that the analysis according to which states in superposition are contrary rather than contradictory is still more plausible. (shrink)

In this paper we discuss some questions proposed by Prof. Newton da Costa on the foundations of quasi-set theory. His main doubts concern the possibility of a reasonable semantical understanding of the theory, mainly due to the fact that identity and difference do not apply to some entities of the theory’s intended domain of discourse. According to him, the quantifiers employed in the theory, when understood in the usual way, rely on the assumption that identity applies to all entities in (...) the domain of discourse. Inspired by his provocation, we suggest that, using some ideas presented by da Costa himself in his seminars at UFSC and by one of us in some papers, these difficulties can be overcome both on a formal level and on an informal level, showing how quantification over items for which identity does not make sense can be understood without presupposing a semantics based on a ‘classical’ set theory. (shrink)

The ‘ontic’ form of structural realism , roughly speaking, admits a complete elimination of the objects in the discourse of scientific theories, leaving us with structures only. As put by the defenders of such a claim, the idea is that all there is are structures and, if the relevant structures are to be set-theoretical constructs , as it has also been claimed, then the relations which appear in such structures should be taken to be ‘relations without the relata’. As far (...) as we know, there is not a definition of structure in standard mathematics which fits their intuitions, and even category theory seems not to correspond adequately the OSR claims. Since OSR is also linked with the semantic approach to theories, the structures to be dealt with are taken to be set-theoretical constructs. But these are ‘relational’ structures where the involved relations are built from basic objects , and so no complete elimination of the relata is possible, although it would be adequate for characterizing OSR. In this paper we present a definition of a kind of relation that does not depend on the particular objects being related in the sense that the ‘relation’ continues to hold even if the relata are exchanged by suitable objects. Although there is not a ‘complete’ elimination of relata, our definition might be viewed as an alternative way of finding adequate mathematical ‘set-theoretical’ frameworks for describing at least some of the intuitions regarding OSR within a ‘set-theoretical’ framework. (shrink)

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 (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

In this work, we focus on a very specific case study: assuming that quantum theories deal with “particles” of some kind, what kind of entity can such particles be? One possible answer, the one we shall examine here, is that they are not the usual kind of object found in daily life: individuals. Rather, we follow a suggestion by Erwin Schrödinger, according to which quantum mechanics poses a revolutionary kind of entity: non-individuals. While physics, as a scientific field, is not (...) concerned with whether entities posited by a specific physical theory are individuals or not, answering this question is part of the quest for a better understanding of physical reality. Here lies, in large measure, the relevance of ontology. (shrink)

This chapter argues that the general philosophy of science should learn metaphilosophical lessons from the case of metaphysical underdetermination, as it occurs in non-relativistic quantum mechanics. Section presents the traditional discussion of metaphysical underdetermination regarding the individuality and non-individuality of quantum particles. Section discusses three reactions to it found in the literature: eliminativism about individuality; conservatism about individuality; eliminativism about objects. Section wraps it all up with metametaphysical considerations regarding the epistemology of metaphysics of science.

We consider the claim by Dorato and Morganti 591–610) that primitive individuality should be attributed to the entities dealt with by non-relativistic quantum mechanics. There are two central ingredients in the proposal: in the case of non-relativistic quantum mechanics, individuality should be taken as a primitive notion and primitive individuality is naturalistically acceptable. We argue that, strictly understood, naturalism faces difficulties in helping to provide a theory with a unique principle of individuation. We also hold that even when taken in (...) a loose sense, naturalism does not provide any sense in which one could hold that quantum mechanics endorses primitive individuality over non-individuality. Rather, we argue that non-individuality should be preferred based on the grounds that such a view fits better the claims of the theory. (shrink)

In this paper we deal with two applications of the square of opposition to controversial issues in the philosophy of quantum mechanics. The first one concerns the kind of opposition represented by states in superposition. A superposition of “spin up” and “spin down” for a given spatial direction, for instance, is sometimes said to originate particular kinds of opposition such as contradictoriness. The second application concerns the problem of identical particles. Identity and indiscernibility are entangled in discussions of this problem (...) in such a way that a proper conceptual treatment of those issues through the square seems profitable. (shrink)

The concept of indiscernibility in a structure is analysed with the aim of emphasizing that in asserting that two objects are indiscernible, it is useful to consider these objects as members of (the domain of) a structure. A case for this usefulness is presented by examining the consequences of this view to the philosophical discussion on identity and indiscernibility in quantum theory.

The physics and metaphysics of identity and individuality Content Type Journal Article DOI 10.1007/s11016-010-9463-7 Authors Don Howard, Department of Philosophy and Graduate Program in History and Philosophy of Science, University of Notre Dame, Notre Dame, IN 46556, USA Bas C. van Fraassen, Philosophy Department, San Francisco State University, 1600 Holloway Avenue, San Francisco, CA 94132, USA Otávio Bueno, Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA Elena Castellani, Department of Philosophy, University of Florence, Via Bolognese 52, 50139 (...) Florence, Italy Laura Crosilla, Department of Pure Mathematics, School of Mathematics, University of Leeds, Leeds, LS2 9JT UK Steven French, Department of Philosophy, University of Leeds, Leeds, UK Décio Krause, Department of Philosophy, Federal University of Santa Catarina, 88040-900 Campus Trindade, Florianópolis, SC Brazil Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796. (shrink)

Recently, in the debate about the ontology of quantum mechanics some authors have defended the view that quantum particles are individuals in a primitive sense, so that individuality should be preferred over non-individuality (the alternative option). Primitive individuality involves two main claims: (1) every item is identical with itself and (2) it is distinct from every other item. Non-relativistic quantum mechanics is said to provide positive evidence for that position, since in every situation comprising multiple particles there is a well-defined (...) number of them to begin with, and so they must be distinct from each other. We argue that the link between a well-defined number of items and the relation of identity that is being claimed to hold is not imposed by quantum mechanics, but rather by a metaphysical view. Formal evidence is advanced in favor of the thesis that counting may be performed for items without identity (non-individuals), so that quantum mechanics needs not be viewed as endorsing an ontology of individuals. (shrink)

One of the main criticisms of the theory of collections of indiscernible objects is that once we quantify over one of them, we are quantifying over all of them since they cannot be discerned from one another. In this way, we would call the collapse of quantifiers: ‘There exists one x such as P’ would entail ‘All x are P’. In this paper we argue that there are situations (quantum theory is the sample case) where we do refer to a (...) certain quantum entity, saying that it has a certain property, even without committing all other indistinguishable entities with the considered property. Mathematically, within the realm of the theory of quasi-sets $$\mathfrak {Q}$$, we can give sense to this claim. We show that the above-mentioned ‘collapse of quantifiers’ depends on the interpretation of the quantifiers and on the mathematical background where they are ranging. In this way, we hope to strengthen the idea that quantification over indiscernibles, in particular in the quantum domain, does not conform with quantification in the standard sense of classical logic. (shrink)

Quasi-truth (a.k.a. pragmatic truth or partial truth) is typically advanced as a framework accounting for incompleteness and uncertainty in the actual practices of science. Also, it is said to be useful for accommodating cases of inconsistency in science without leading to triviality. In this paper, we argue that the formalism available does not deliver all that is promised. We examine the standard account of quasi-truth in the literature, advanced by da Costa and collaborators in many places, and argue that it (...) cannot legitimately account for incompleteness in science. We shall claim that it conflates paraconsistency and paracompleteness. It also cannot properly account for inconsistencies, because no direct contradiction of the form S ∧ ¬S can be quasi-true according to the framework; contradictions simply have no place in the formalism. Finally, we advance an alternative interpretation of the formalism in terms of dealing with distinct contexts where incompatible information is dealt with. This does not save the original program, but seems to make better sense of the apparatus. (shrink)

Physics is not just mathematics. This seems trivial, but poses difficult and interesting questions. In this paper we analyse a particular discrepancy between non-relativistic quantum mechanics and ‘classical’ space and time. We also suggest, but not discuss, the case of the relativistic QM. In this work, we are more concerned with the notion of space and its mathematical representation. The mathematics entails that any two spatially separated objects are necessarily different, which implies that they are discernible —we say that the (...) space is T2, or “Hausdorff”, or yet “separable”. But when enters QM, sometimes the systems need to be taken as completely indistinguishable, so that there is no way to tell which system is which, and this holds even in the case of fermions. But in the NST setting, it seems that we can always give an identity to them by means of their individuation, which seems to be contra the quantum physical situation, where individuation does not entail identity. Here we discuss this topic by considering a case study and conclude that, taking into account the quantum case, that is, when physics enter the discussion, even NST cannot be used to say that the systems do have identity. This case study seems to be relevant for a more detailed discussion on the interplay between physical theories and their underlying mathematics, in a simple way apparently never realized before. (shrink)

In this paper we discuss two approaches to the axiomatization of scientific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models. The two approaches are associated respectively to Suppes’ and to da Costa and Chuaqui’s works. We argue that theories can be developed both in a way more akin to the usual mathematical practice (Suppes), in an informal set theoretical environment, writing the set theoretical predicate (...) in the language of set theory itself or, more rigorously (da Costa and Chuaqui), by employing formal languages that help us in writing the postulates to define a class of structures. Both approaches are called internal , for we work within a mathematical framework, here taken to be first-order ZFC. We contrast these approaches with an external one, here discussed briefly. We argue that each one has its strong and weak points, whose discussion is relevant for the philosophical foundations of science. (shrink)

The notion of an individual and the related issues on individuation are topics that appear in the philosophical discussion ever since the antiquity. The idea of an individual thing is intuitively clear: an individual is something of a specific kind that is a unity, having its own identity, and being so that it is possible at least in principle to discern it from any other individual, even of similar species. But when we try to leave the intuitive realm and push (...) this idea to a logical analysis, we find a cluster of problems that are difficult to overcome within standard logico-mathematical contexts. In this work, we shall be concerned with some aspects of this intuitive concept of an individual and on some related facts about individuation taken from recent discussions that arose ever since the inception of quantum theory, pushing the discussion to a “logical” view, which in our opinion is still lacking in the usual debates on such issues. In the final part of the paper, we propose a metaphysics where the notion of identity is substituted, for some objects, by a weaker notion of indiscernibility, and we try to justify such a move. In most of the uses of the expression “quantum theory”, we shall not make explicit the distinction between the non-relativistic and the relativistic approaches, although they of course are quite different, for we think that the problems as we shall present them appear in both versions. But, as the text goes, the context will distinguish between them and these questions will become clear to the reader. (shrink)

This paper introduces the theory QST of quasets as a formal basis for the Nmatrices. The main aim is to construct a system of Nmatrices by substituting standard sets by quasets. Since QST is a conservative extension of ZFA (the Zermelo-Fraenkel set theory with Atoms), it is possible to obtain generalized Nmatrices (Q-Nmatrices). Since the original formulation of QST is not completely adequate for the developments we advance here, some possible amendments to the theory are also considered. One of the (...) most interesting traits of such an extension is the existence of complementary quasets which admit elements with undetermined membership. Such elements can be interpreted as quantum systems in superposed states. We also present a relationship of QST with the theory of Rough Sets RST, which grants the existence of models for SQT formed by rough sets. Some consequences of the given formalism for the relation of logical consequence are also analysed. (shrink)

The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( $${\mathfrak{I}}$$ -lattice), which can be modeled by an algebraic structure built in quasi-set theory $${\mathfrak{Q}}$$. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of ‘sortal’ as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates ‘quantum-sortal predicates’ and, instead of a process of counting, to them is (...) associated a ‘criterion of cardinality’. After their general characterization, it is discussed how these predicates can be formally described. (shrink)

Is there vagueness in the world? This is the central question that we are concerned with. Focusing on identity statements around which much of the recent debate has centred, we argue that `vague identity' arises in quantum mechanics in one of two ways. First, quantum particles may be described as individuals, with `entangled' states understood in terms of non-supervenient relations. In this case, the vagueness is ontic but exists at the level of these relations which act as a kind of (...) `veil'. Secondly, the particles can be regarded as non-individuals, where this is understood as a lack of self-identity and given formal expression in terms of quasi-set theory. Here we have ontic vagueness at perhaps the most basic metaphysical level. Our conclusion is that there is genuine vagueness `in the world' but how it is understood depends on the metaphysical package adopted. (shrink)

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, one seeing them as non-individuals, then there would be strong reasons (...) to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks (those worked on within standard mathematics), we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science (if touched). (shrink)

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of 'sortal' as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates 'quantum-sortal predicates' and, instead of a process of counting, to them is (...) associated a 'criterion of cardinality'. After their general characterization, it is discussed how these predicates can be formally described. (shrink)

In this paper we consider the phenomenon of superpositions in quantum mechanics and suggest a way to deal with the idea in a logical setting from a syntactical point of view, that is, as subsumed in the language of the formalism, and not semantically. We restrict the discussion to the propositional level only. Then, after presenting the motivations and a possible world semantics, the formalism is outlined and we also consider within this schema the claim that superpositions may involve contradictions, (...) as in the case of the Schrödinger's cat, which is both alive and dead. We argue that this claim is a misreading of the quantum case. Finally, we sketch a new form of quantum logic that involves three kinds of negations and present the relationships among them. The paper is a first approach to the subject, introducing some main guidelines to be developed by a `syntactical' logical approach to quantum superpositions. (shrink)

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.

In this paper we try to justify our way of looking for an alternative approach to quantum mechanics, which is based on a non-classical logic. We consider two specific questions related to quantum theory, namely, entanglement and the indiscernibility of quanta. We characterize individuals, and then explain in what sense entanglement is a concept which can be applied to individuals in a restricted sense only. Then, we turn to indiscernibility and, after realizing that this concept is of a fundamental importance, (...) we mention the ‘traditional’ theory of identity of standard logic and mathematics, which underly the basic formalism of quantum theory. Then we propose to call the Problem of Identity the question whether identity of objects can be justified, and under what conditions. As in the Hume’s celebrated Problem of Induction, we conclude that the attribution of transtemporal identity to an object has no logic justification, and must be considered as a metaphysical hypothesis. Numerical identity is also put aside for similar reasons. Then we guess that identity is just an useful concept, but which in certain fields, mainly in the quantum realm, could be substituted by a weaker concept of indiscernibility. This assumption motivates us to look for an interpretation of quantum mechanics based on a non-classical logic, termed non-reflexive, and the corresponding mechanics is called non-reflexive quantum mechanics. (shrink)

It is not an exaggeration to say that quantum mechanics is at odds with most of our received metaphysical notions. In particular, an alleged revision is brought about by the theory on the metaphysical notion of ‘individuality’. Certainly, this should figure as being of great interest for metaphysicians and philosophers of science alike. What makes issues even more interesting is that some of the founding fathers of the theory, with their typical philosophical inclinations, suggested that the entities dealt with by (...) the theory had something different regarding individuality: according to them, quantum entities somehow fail individuality. (shrink)

In this work, we discuss a formal way of dealing with the properties of contextual systems. Our approach is to assume that properties describing the same physical quantity, but belonging to different measurement contexts, are indistinguishable in a strong sense. To construct the formal theoretical structure, we develop a description using quasi-set theory, which is a set-theoretical framework built to describe collections of elements that violate Leibnitz's principle of identity of indiscernibles. This framework allows us to consider a new ontology (...) in order to study the properties of quantum systems. (shrink)

This volume, The Brazilian Studies in the Philosophy and History of Science, is the first attempt to present to a general audience, works from Brazil on this subject. The included papers are original, covering a remarkable number of relevant topics of philosophy of science, logic and on the history of science. The Brazilian community has increased in the last years in quantity and in quality of the works, most of them being published in respectable international journals on the subject. The (...) chapters of this volume are forwarded by a general introduction, which aims to sketch not only the contents of the chapters, but it is conceived as a historical and conceptual guide to the development of the field in Brazil. The introduction intends to be useful to the reader, and not only to the specialist, helping them to evaluate the increase in production of this country within the international context. (shrink)

It is supposed that any scientific theory (here we consider physical theories only) has an underlying logic, even if it is not made explicit. The role of the underlying logic of a theory T is mainly to guide the proofs and the accepted consequences of the theory’s principles, usually described by its axioms. In this sense, the theorems of the underlying logic are also theorems of the theory. In most cases, if pressed, the scientist will say that the underlying logic (...) of most physical theories is classical logic or some fragment of a set theory suitable for accommodating the theory’s mathematical and logical concepts. We argue that no physical theory and no philosophical discussion on the basis of the theory should dismiss its underlying logic, so the arguments advanced by some philosophers of physics in that certain entities (the considered case deals with quantum entities) can be only weakly discerned or be just ‘relationals’ and that they cannot be absolutely identified by a monadic property, are fallacious if one remains within a ‘standard’ logico-mathematical framework, grounded on classical logic. We also discuss the claim that some properties (as those that came from logic) would be ‘illegitimate’ for discerning these entities is not justifiable. Thus, this paper may be interesting for logicians, physicists, and philosophers. (shrink)

This paper is the sequel of a previous one where we have introduced a paraconsistent logic termed paraclassical logic to deal with 'complementary propositions'. Here, we enlarge upon the discussion by considering certain 'meaning principles', which sanction either some restrictions of 'classical' procedures or the utilization of certain 'classical' incompatible schemes in the domain of the physical theories. Here, the term 'classical' refers to classical physics. Some general comments on the logical basis of a scientific theory are also put in (...) between the text, motivated by the discussion of complementarity. (shrink)

David Bohm's interpretation of quantum mechanics yields a quantum potential, Q. In his early work, the effects of Q are understood in causal terms as acting through a real (quantum) field which pushes particles around. In his later work (with Basil Hiley), the causal understanding of Q appears to have been abandoned. The purpose of this paper is to understand how the use of certain metaphors leads Bohm away from a causal treatment of Q, and to evaluate the use of (...) those metaphors. (shrink)

Review of the KRAUSE, Décio "Introdução aos Fundamentos Axiomáticos da Ciência" São Paulo EPU, 2002.