In a previous paper the concept of disease was fuzzy-logically analyzed and a sketch was given of a prototype resemblance theory of disease (Sadegh-Zadeh (2000). J. Med. Philos., 25:605–38). This theory is outlined in the present paper. It demonstrates what it means to say that the concept of disease is a nonclassical one and, therefore, not amenable to traditional methods of inquiry. The theory undertakes a reconstruction of disease as a category that in contradistinction to traditional views is not based (...) on a set of common features of its members, that is individual diseases, but on a few best examples of the category, called its prototypes, and a similarity relationship such that a human condition is considered a disease if it resembles a prototype. It enables new approaches to resolving many of the stubborn problems associated with the concept of disease. (shrink)

Reichenbach's Philosophy of Space and Time (1928) avoids most of the logical positivist pitfalls it is generally held to exemplify, notably both conventionalism and verificationism. To see why, we must appreciate that Reichenbach's interest lies in how mathematical structures can be used to describe reality, not in how words like 'distance' acquire meaning. Examination of his proposed "coordinative definition" of congruence shows that Reichenbach advocates a reductionist analysis of the relations figuring in physical geometry (contrary to common readings that attribute (...) to him a holistic conventionalism), while embracing a thoroughly holistic understanding of empirical confirmation (contrary to rival operationalist readings). (shrink)

A Philosopher Looks at Quantum Mechanics’ (Putnam [1965]) explained why the interpretation of quantum mechanics is a philosophical problem in detail, but with only the necessary minimum of technicalities, in the hope of making the difficulties intelligible to as wide an audience as possible. When I wrote it, I had not seen Bell ([1964]), nor (of course) had I seen Ghirardi et al. ([1986]). And I did not discuss the ‘Many Worlds’ interpretation. For all these reasons, I have decided to (...) make a similar attempt forty years later, taking account of additional interpretations and of our knowledge concerning non-locality. (The Quantum Logical interpretation proposed in Putnam [1968] is not considered in the present paper, however, because Putnam [1994b] concluded that it was unworkable.) Rather than advocate a particular interpretation, this paper classifies the possible kinds of interpretation, subject only to the constraints of a very broadly construed scientific realism. Section 7 does, however, argue that two sorts of interpretation—ones according to which a ‘collapse’ is brought about by the measurement (e.g. the traditional ‘Copenhagen’ interpretation), and the Many Worlds interpretation or interpretations—should be ruled out. The concluding section suggests some possible morals of a cosmological character. Background Scientific realism is the premise of my discussion What ‘quantum mechanics’ says—and some problems Other interpretations of quantum mechanics The problem of Einstein's bed Classification of the possible kinds of interpretation Which interpretations I think we can rule out The ‘moral’ of this discussion. (shrink)

This paper reconstructs the origins of Gettier-style epistemology, highlighting the philosophical and methodological debates that led to its development in the 1960s. Though present-day epistemologists assume that the search for necessary and sufficient conditions for knowledge began with Gettier’s 1963 argument against the JTB-definition, I show that this research program can be traced back to British discussions about knowledge and analysis in the 1940s and 1950s. I discuss work of, among others, Bertrand Russell, G. E. Moore, A. J. Ayer, Norman (...) Malcom, and A. D. Woozley, showing how exchanges between different schools of analytic philosophy gave rise to new ideas about the nature of knowledge and analysis. Finally, I turn to Gettier's intellectual development and argue that his paper was influenced by some of these debates, suggesting that even his interpretation of Plato’s definition of knowledge can be traced back to discussions in this period. (shrink)

Susanne K. Langer is best known as a philosopher of culture and student of Ernst Cassirer. In this chapter, however, I argue that this standard picture ignores her contributions to the development of analytic philosophy in the 1920s and 1930s. I reconstruct the reception of Langer’s first book *The Practice of Philosophy*—arguably the first sustained defense of analytic philosophy by an American philosopher—and describe how prominent European philosophers of science such as Moritz Schlick, Rudolf Carnap, and Herbert Feigl viewed her (...) as one of the most important allies in the United States. In the second half of this chapter, I turn to Langer’s best-selling *Philosophy in a New Key* and reconstruct her attempts to broaden the scope of the, by then, rapidly growing U.S. analytic movement. I argue that her book anticipated various developments in analytic philosophy but was largely ignored by her former colleagues. I end the chapter by offering some clues as to why New Key did not incite the same laudatory responses from analytic philosophers as her earlier work. (shrink)

The ontological implications of the Peircean Categories, as set forth most clearly in Peirce’s summative architectonic statement, “New Elements,” and referenced elsewhere in Peirce’s body of writings, are examined with reference to the existent or physical universe. The Peircean universal ontological Categories Firstness, Secondness, and Thirdness are shown to give rise to a cosmos that is triadic and representational in essence. This immanently representational cosmos, denominated the “Book Universe,” is shown to be evidenced by the representational contours of both the (...) mathematical and of the conceptual framing of the three broad domains of theoretical physics, the quantum, classical, and relativistic domains. This triadic “Book Universe” model is both characterized and also contrasted with the “Block Universe” model, and is seen to incorporate both time and space as emergent representational characteristics, and to be manifest, qua triadic Representamen, in terms of a “foliated eternalism” that requires both antecedent and parallel cosmoi. (shrink)

At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would generate a non-distributive lattice of propositions, and from quantum superpositions, which would entail new rules for quantum disjunctions. While the quantum logic program is not as popular as it once was, a crucial question remains unsettled: what is the relationship between the logical structures (...) of classical and quantum mechanics? In this essay we answer this question by showing that the original arguments promoting quantum logic contain serious flaws, and that quantum theory does satisfy the classical distributivity law once the full meaning of quantum propositions is properly taken into account. Moreover, we show that quantum mechanics can generate a distributive lattice of propositions, which, unlike the one of quantum logic, includes statements about expectation values which are of undoubtable physical interest. Lastly, we show that the lattice of statistical propositions in classical mechanics follows the same structure, yielding an analogue non-commutative sublattice of classical propositions. This fact entails that the purported difference between classical and quantum logic stems from a misconstructed parallel between the two theories. (shrink)

Hans Reichenbach’s posthumous book The Direction of Time ends somewhere between Socratic aporia and historical irony. Prompted by Feynman’s diagrammatic formulation of quantum electrodynamics, Reichenbach eventually abandoned the delicate balancing between the macroscopic foundation of the direction of time and microscopic descriptions of time order undertaken throughout the previous chapters in favor of an exclusively macroscopic theory that he had vehemently rejected in the 1920s. I analyze Reichenbach’s reasoning against the backdrop of the history of Feynman diagrams and the current (...) practice of particle physics. Building upon the debates about processes and conserved quantities between Wesley Salmon and Phil Dowe in the 1990s, and the exchange between Reichenbach and the gestalt theorist Kurt Lewin during the 1920s about topology and genidentity, I investigate whether the aporia about local time order could be avoided by following a strategy that Reichenbach adopted elsewhere in the book and develop a notion of functional genidentity that captures the practice of present-day elementary particle physics and the fact that Feynman diagrams have to be understood in the context of a complex mathematical description of scattering processes. (shrink)

In Sect. 1 it is argued that systems of logic are exceptional, but not a priori necessary. Logics are exceptional because they can neither be demonstrated as valid nor be confirmed by observation without entering a circle, and their motivation based on intuition is unreliable. On the other hand, logics do not express a priori necessities of thinking because alternative non-classical logics have been developed. Section 2 reflects the controversies about four major kinds of non-classical logics—multi-valued, intuitionistic, paraconsistent and quantum (...) logics. Its purpose is to show that there is no particular domain or reason that demands the use of a non-classical logic; the particular reasons given for the non-classical logic can also be handled within classical logic. The result of Sect. 2 is substantiated in Sect. 3, where it is shown (referring to other work) that all four kinds of non-classical logics can be translated into classical logic in a meaning-preserving way. Based on this fact a justification of classical logic is developed in Sect. 4 that is based on its representational optimality. It is pointed out that not many but a few non-classical logics can be likewise representationally optimal. However, the situation is not symmetric: classical logic has ceteris paribus advantages as a unifying metalogic, while non-classical logics can have local simplicity advantages. (shrink)

Hume’s famous character Cleanthes claims that there is no difficulty in explaining the existence of causal chains with no first cause since in them each item is causally explained by its predecessor. Relying on logico-mathematical resources, we argue for two theses: (1) if the existence of Cleanthes’ chain can be explained at all, it must be explained by the fact that the causal law ruling it is in force, and (2) the fact that such a causal law is in force (...) cannot explain the occurrence of the events in the chain. In order to perform (1), we manage to express in mathematical terms the intuitive idea that indefinitely delayed explanation is ultimately no explanation. In order to achieve (2), we identify a logical relation we can prove to be as strong as the causal relation at issue in the Cleanthes passage, according to a precise notion of strength of relations. (shrink)

The traditional analysis of the basic version of the double-slit experiment leads to the conclusion that wave-particle duality is a fundamental fact of nature. However, such a conclusion means to imply that we are not only required to have two contradictory pictures of reality but also compelled to abandon the objectiveness of the truth values, “true” and “false”. Yet, even if we could accept wave-like behavior of quantum particles as the best explanation for the build-up of an interference pattern in (...) the double-slit experiment, without the objectivity of the truth values we would never have certainty regarding any statement about the world. The present paper discusses ways to reconcile the correct description of the double-slit experiment with the objectiveness of “true” and “false”. (shrink)

This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...) one pairs de Finetti’s conditional with validity as the preservation of non-false values, but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table proposed by Cooper and Cantwell. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties. (shrink)

Aristotelian ideas have in the past been applied with mixed fortunes to quantum mechanics. One of the most persistent criticisms is that Aristotle’s notions of potentiality and actuality are burdened with a teleological character long ago abandoned in the natural sciences. Recently this criticism has been met with a model of the actualization of quantum potentialities in light of Aristotle’s doctrine of ‘spontaneous events’. This presumably restores the nowadays acceptable idea of efficient causation in place of Aristotle’s original doctrine of (...) the ‘four causes’. In this article I challenge the model by arguing that when properly scrutinized Aristotle’s final cause poses no problems for an Aristotelian reading of quantum mechanics. Final causes in fact provide a better ontology for quantum mechanics than spontaneous causation. The idea of ‘spontaneity’ is unanalyzable and therefore of little use in quantum mechanics. In addition, it is ontologically sterile in the context of quantum measurement, as shown by a historical and conceptual review of the role of efficient causation in experimental physics. (shrink)

Ultralogic as Universal? is a seminal text in non-classcial logic. Richard Routley presents a hugely ambitious program: to use an 'ultramodal' logic as a universal key, which opens, if rightly operated, all locks. It provides a canon for reasoning in every situation, including illogical, inconsistent and paradoxical ones, realized or not, possible or not. A universal logic, Routley argues, enables us to go where no other logic—especially not classical logic—can. Routley provides an expansive and singular vision of how a universal (...) logic might one day solve major problems in set theory, arithmetic, linguistics, physics, and more. It circulated in typescript in the late 1970s before appearing as the Appendix to Exploring Meinong's Jungle and Beyond. With engaging, forceful prose, unsparing criticism of entrenched institutions, and many tantalizing proof sketches, Ultralogic? has had a major influence on the development of paraconsistent and relevant logic. This new edition makes this work available for a modern audience, newly typeset and corrected, along with extensive notes, and new commentary essays. (shrink)

Psychological research on people’s understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A then C which was often evaluated as true when A and C are true, false when A is true and C is false but irrelevant“ (devoid of value) when A is (...) false (whatever the value of C). This was called the “psychological defective table of the conditional.” Here we show that far from being anomalous the “defective” table pattern reveals a coherent semantics for the basic connectives of natural language in a trivalent framework. This was done by establishing participants’ truth tables for negation, conjunction, disjunction, conditional, and biconditional, when they were presented with statements that could be certainly true, certainly false, or neither. We review systems of three-valued tables from logic, linguistics, foundations of quantum mechanics, philosophical logic, and artificial intelligence, to see whether one of these systems adequately describes people’s interpretations of natural language connectives. We find that de Finetti’s (1936/1995) three-valued system is the best approximation to participants’ truth tables. (shrink)

This article highlights a use of analogies in science that so far has received relatively little systematic discussion: providing reasons for pursuing a model or theory. Using the development of the liquid drop model as a test case, I critically assess two extant pursuit worthiness accounts: that analogies justify pursuit by supporting plausibility arguments and that analogies can serve as a guide to potential theoretical unification. Neither of these fit the liquid drop model case. Instead, I develop an alternative account, (...) based on the idea that analogies facilitate the transfer of a well-understood modelling strategy to a new domain. 1Introduction2Case Study: The Development of the Liquid Drop Model3Plausibility Accounts 3.1Bartha on plausibility and analogical inference3.2Plausibility and the drop analogy4Analogies as a Guide to Unification5Generative Accounts 5.1Analogy-based modelling strategies5.2Did analogies play a merely generative role?6A New Pursuit Worthiness Account of Analogies 6.1Transferring understanding-with through analogies6.2Understanding-with and the liquid drop model7Conclusion. (shrink)

Merleau-Ponty’s radical reflection conceptualizes the transcendental and the empirical as intertwined, emerging only via an écart. I advance this concept of transcendental empirical écart by studying the problem of measurement in science, in both general and quantum mechanical contexts. Section one analyses scientific problems of measurement, focusing on issues of temporality, to show how measurement entails a transcendental that diverges with the empirical. Section two briefly interprets this result via Merleau-Ponty’s concept of depth, to indicate how measurement reveals a temporality (...) that is not an already given ground that would guarantee the transcendental in advance: temporality is instead ‘deep,’ itself engendering a divergence of transcendental and empirical operations that first allows for measurement and sense. (shrink)

A non-monotonic theory of probability is put forward and shown to have applicability in the quantum domain. It is obtained simply by replacing Kolmogorov's positivity axiom, which places the lower bound for probabilities at zero, with an axiom that reduces that lower bound to minus one. Kolmogorov's theory of probability is monotonic, meaning that the probability of A is less then or equal to that of B whenever A entails B. The new theory violates monotonicity, as its name suggests; yet, (...) many standard theorems are also theorems of the new theory since Kolmogorov's other axioms are retained. What is of particular interest is that the new theory can accommodate quantum phenomena (photon polarization experiments) while preserving Boolean operations, unlike Kolmogorov's theory. Although non-standard notions of probability have been discussed extensively in the physics literature, they have received very little attention in the philosophical literature. One likely explanation for that difference is that their applicability is typically demonstrated in esoteric settings that involve technical complications. That barrier is effectively removed for non-monotonic probability theory by providing it with a homely setting in the quantum domain. Although the initial steps taken in this paper are quite substantial, there is much else to be done, such as demonstrating the applicability of non-monotonic probability theory to other quantum systems and elaborating the interpretive framework that is provisionally put forward here. Such matters will be developed in other works. (shrink)

Bruno de Finetti is one of the founding fathers of the subjectivist school of probability, where probabilities are interpreted as rational degrees of belief. His work on the relation between the theorems of probability and rationality is among the corner stones of modern subjective probability theory. De Finetti maintained that rationality requires that degrees of belief be coherent, and he argued that the whole of probability theory could be derived from these coherence conditions. De Finetti’s interpretation of probability has been (...) highly influential in science. This paper focuses on the application of this interpretation to quantum mechanics. We argue that de Finetti held that the coherence conditions of degrees of belief in events depend on their verifiability. Accordingly, the standard coherence conditions of degrees of belief that are familiar from the literature on subjective probability only apply to degrees of belief in events which could be jointly verified; and the coherence conditions of degrees of belief in events that cannot be jointly verified are weaker. While the most obvious explanation of de Finetti’s verificationism is the influence of positivism, we argue that it could be motivated by the radical subjectivist and instrumental nature of probability in his interpretation; for as it turns out, in this interpretation it is difficult to make sense of the idea of coherent degrees of belief in, and accordingly probabilities of unverifiable events. We then consider the application of this interpretation to quantum mechanics, concentrating on the Einstein-Podolsky-Rosen experiment and Bell’s theorem. (shrink)

Three misrepresentations of informal and formal logic by two feminist writers are discussed. Andrea Nye's criticism that the semantics for formal logic abstracts from context is a misrepresentation of formal logic because Nye ignores the development of intensional logics. Second, Nye's criticism that informaIlogicians ignore the origins of arguments is a misrepresentation of fallacy theory. Prominent writers in the field specifiy numerous cases where the origins of an argument are relevant to its evaluation. Third, Valerie Plumwood's criticism that negation in (...) classical logic rests on an exclusivistic dualism that encourages the exclusion of women is shown to be false. (shrink)

Since the advent of Modern Physics in 1905, we observe an increasing activity of “interpreting” the new theories. We mention here the theories of Special Relativity, General Relativity and Quantum Mechanics. However, similar activities for the theories of Classical Physics were not known. We ask for the reasons for the different ways to treat classical physics and modern physics. The answer, that we provide here is very surprising: the different treatments are based on a fundamental misunderstanding of the theories of (...) classical physics. (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...) theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

I give two arguments for the claim that all events which occur at the actual world and are such that they could be caused, are also such that they must actually be caused. The first argument is an improvement of a similar argument advanced by Alexander Pruss, which I show to be invalid. It uses Pruss’s Brouwer Analog for counterfactual logic, and, as a consequence, implies inconsistency with Lewis’s semantics for counterfactuals. While (I suggest) this consequence may not be objectionable, (...) the argument founders on the fact that Pruss’s Brouwer Analog has a clear counterexample. I thus turn to a second, “Lewisian” argument, which requires only an affirmation of one element of Lewis’s analysis of causation and one other, fairly weak possibility claim about the nature of wholly contingent events. The final section of the paper explains how both arguments escape objections from supposed indeterminacy in quantum physics. (shrink)

In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories with first-order structures, and which are studied in standard model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This (...) is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones. (shrink)

We implement a recent characterization of metaphysical indeterminacy in the context of orthodox quantum theory, developing the syntax and semantics of two propositional logics equipped with determinacy and indeterminacy operators. These logics, which extend a novel semantics for standard quantum logic that accounts for Hilbert spaces with superselection sectors, preserve different desirable features of quantum logic and logics of indeterminacy. In addition to comparing the relative advantages of the two, we also explain how each logic answers Williamson’s challenge to any (...) substantive account of determinacy: For any proposition p, what could the difference between “p” and “it’s determinate that p” ever amount to? (shrink)

A prominent way through which wave-particle duality has been ascribed to photons is by illustrating their “wave-like” behaviour in the Mach-Zehnder interferometer and “particle-like” behaviour in the anti-correlation experiment. This duality has been formulated in two ways. Some have based the claim on the complementarity principle. This formulation, however, has already been shown to be problematic. Others have made a much simpler duality claim by considering that single-photons are analogous to waves and particles in the above experiments. I criticise this (...) formulation by arguing that the analogies cannot be distinctly established. Thus, this duality claim is found to be unsubstantiated. (shrink)

We begin by considering two principles, each having the form causal completeness ergo screening-off. The first concerns a common cause of two or more effects; the second describes an intermediate link in a causal chain. They are logically independent of each other, each is independent of Reichenbach's principle of the common cause, and each is a consequence of the causal Markov condition. Simple examples show that causal incompleteness means that screening-off may fail to obtain. We derive a stronger result: in (...) a rather general setting, if the composite cause C1 & C2 & … & Cn screens-off one event from another, then each of the n component causes C1, C2, …, Cn must fail to screen-off. The idea that a cause may be ordinally invariant in its impact on different effects is defined; it plays an important role in establishing this no-go theorem. Along the way, we describe how composite and component causes can all screen-off when ordinal invariance fails. We argue that this theorem is relevant to assessing the plausibility of the two screening-off principles. The discovery of incomplete causes that screen-off is not evidence that causal completeness must engender screening-off. Formal and epistemic analogies between screening-off and determinism are discussed. (shrink)

To clarify and illuminate the place of probability in science Ellery Eells and James H. Fetzer have brought together some of the most distinguished philosophers ...

This thesis aims to develop a psychologically plausible account of concepts by integrating key insights from philosophy (on the metaphysical basis for concept possession) and psychology (on the mechanisms underlying concept acquisition). I adopt an approach known as informational atomism, developed by Jerry Fodor. Informational atomism is the conjunction of two theses: (i) informational semantics, according to which conceptual content is constituted exhaustively by nomological mind–world relations; and (ii) conceptual atomism, according to which (lexical) concepts have no internal structure. I (...) argue that informational semantics needs to be supplemented by allowing content-constitutive rules of inference (“meaning postulates”). This is because the content of one important class of concepts, the logical terms, is not plausibly informational. And since, it is argued, no principled distinction can be drawn between logical concepts and the rest, the problem that this raises is a general one. An immediate difficulty is that Quine’s classic arguments against the analytic/synthetic distinction suggest that there can be no principled basis for distinguishing content-constitutive rules from the rest. I show that this concern can be overcome by taking a psychological approach: there is a fact of the matter as to whether or not a particular inference is governed by a mentally-represented inference rule, albeit one that analytic philosophy does not have the resources to determine. I then consider the implications of this approach for concept acquisition. One mechanism underlying concept acquisition is the development of perceptual detectors for the objects that we encounter. I investigate how this might work, by drawing on recent ideas in ethology on ‘learning instincts’, and recent insights into the neurological basis for perceptual learning. What emerges is a view of concept acquisition as involving a complex interplay between innate constraints and environmental input. This supports Fodor’s recent move away from radical concept nativism: concept acquisition requires innate mechanisms, but does not require that concepts themselves be innate. (shrink)

Some recent work in the philosophy of quantum mechanics has suggested that quantum systems can be thought of as non-separable and therefore non-individual, in some sense, in Bell and E.P.R. type situations. This suggestion is set in the context of previous work regarding the individuality of quantal particles and it is argued that such entities can be considered as individuals if their non-classical statistical correlations are understood in terms of non-supervenient relations holding between them. We conclude that such relations are (...) strongly non-supervenient in Cleland's sense and note a possible connection between this idea and the realist quantum logic programme. (shrink)

Faced with strong arguments to the effect that Leibniz''sPrinciple of the Identity of Indiscernibles (PII) is not a necessary truth, many supporters of the Principle have staged a strategic retreat to the claim that it is contingently true in this, the actual, world. The purpose of this paper is to examine the status of the various forms of PII in both classical and quantum physics, and it is concluded that this latter view is at best doubtful, at worst, simply wrong.

In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti and Reichenbach on the one hand, and by Cooper and Cantwell on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, using tableau calculi and sequent calculi, and proving soundness and completeness results. Then we turn to the algebraic semantics, where both logics have substantive limitations: DF/TT allows for (...) algebraic completeness, but not for the construction of a canonical model, while CC/TT fails the construction of a Lindenbaum-Tarski algebra. With these results in mind, we draw up the balance and sketch future research projects. (shrink)

It is a frequent assumption that—via superluminal information transfers—superluminal signals capable of enabling communication are necessarily exchanged in any quantum theory that posits hidden superluminal influences. However, does the presence of hidden superluminal influences automatically imply superluminal signalling and communication? The non-signalling theorem mediates the apparent conflict between quantum mechanics and the theory of special relativity. However, as a ‘no-go’ theorem there exist two opposing interpretations of the non-signalling constraint: foundational and operational. Concerning Bell’s theorem, we argue that Bell employed (...) both interpretations, and that he finally adopted the operational position which is associated often with ontological quantum theory, e.g., de Broglie–Bohm theory. This position we refer to as “effective non-signalling”. By contrast, associated with orthodox quantum mechanics is the foundational position referred to here as “axiomatic non-signalling”. In search of a decisive communication-theoretic criterion for differentiating between “axiomatic” and “effective” non-signalling, we employ the operational framework offered by Shannon’s mathematical theory of communication, whereby we distinguish between Shannon signals and non-Shannon signals. We find that an effective non-signalling theorem represents two sub-theorems: Non-transfer-control theorem, and Non-signification-control theorem. Employing NTC and NSC theorems, we report that effective, instead of axiomatic, non-signalling is entirely sufficient for prohibiting nonlocal communication. Effective non-signalling prevents the instantaneous, i.e., superluminal, transfer of message-encoded information through the controlled use—by a sender-receiver pair —of informationally-correlated detection events, e.g., in EPR-type experiments. An effective non-signalling theorem allows for nonlocal quantum information transfer yet—at the same time—effectively denies superluminal signalling and communication. (shrink)

Le débat sur l'interprétation de la mécanique quantique est, aujourd'hui, sensiblement différent de ce qu'il était dans la période de «fondation» de cette théorie. Cette modification tient à deux causes : l'ancrage des conceptions quantiques dans la pensée des physiciens, favorisé par l'utilisation systématique et fructueuse de la théorie quantique en physique atomique et subatomique, d'une part et, d'autre part, les développements théoriques et expérimentaux survenus au cours des vingt dernières années, qui ont amené à considérer comme des faits physiques (...) des énoncés qui paraissaient naguère relever davantage de l'interprétation, avec liberté d'options, voire de la spéculation. Quelle est la signification des énoncés et des concepts théoriques de la physique quantique ? et comment celle-ci s'est-elle modifiée ? Qu'entend-on par «interprétation» ? Telles sont les questions qui servent de guide à ce travail. Nous nous proposons de clarifier ce qui, dans les questions de signification, relève respectivement de la physique (essentiellement les contenus conceptuels et théoriques), et de perspectives philosophiques. Cette distinction est plus nette aujourd'hui qu'elle ne l'était au moment de l'établissement de la mécanique quantique, ce qui permet d'approfondir notre compréhension de chacun de ces deux aspects, qui s'enrichissent mutuellement de cette clarification. Nous nous interrogeons, pour terminer, sur ce que peut être une conception réaliste en termes d'un «monde d'objets quantiques». (shrink)

In this paper we investigate the coupling properties of pairs of quadrature observables, showing that, apart from the Weyl relation, they share the same coupling properties as the position-momentum pair. In particular, they are complementary. We determine the marginal observables of a covariant phase space observable with respect to an arbitrary rotated reference frame, and observe that these marginal observables are unsharp quadrature observables. The related distributions constitute the Radon transform of a phase space distribution of the covariant phase space (...) observable. Since the quadrature distributions are the Radon transform of the Wigner function of a state, we also exhibit the relation between the quadrature observables and the tomography observable, and show how to construct the phase space observable from the quadrature observables. Finally, we give a method to measure together with a single measurement scheme any complementary pair of quadrature observables. (shrink)

The aim of this paper is to show that quantum mechanics can be interpreted according to a pragmatist approach. The latter consists, first, in giving a pragmatic definition to each term used in microphysics, second, in making explicit the functions any theory must fulfil so as to ensure the success of the research activity in microphysics, and third, in showing that quantum mechanics is the only theory which fulfils exactly these functions.

The quantum logical and quantum information-theoretic traditions have exerted an especially powerful influence on Bub’s thinking about the conceptual foundations of quantum mechanics. This paper discusses both the quantum logical and information-theoretic traditions from the point of view of their representational frameworks. I argue that it is at this level—at the level of its framework—that the quantum logical tradition has retained its centrality to Bub’s thought. It is further argued that there is implicit in the quantum information-theoretic tradition a set (...) of ideas that mark a genuinely new alternative to the framework of quantum logic. These ideas are of considerable interest for the philosophy of quantum mechanics, a claim which I defend with an extended discussion of their application to our understanding of the philosophical significance of the no hidden variable theorem of Kochen and Specker. (shrink)

Generally, an object is vague when its properties cannot precisely defined. The ontic view of vagueness is the idea that vagueness is a fundamental property of Nature. This simply means that everything is vague: animals, plants, molecules, atoms, etc. Furthermore, if atoms and molecules are vague, then the subject matter of chemistry is vague. However, we first need to understand why molecules and atoms are vague.

It, is shown that Birkhoff –von Neumann quantum logic (i.e., an orthomodular lattice or poset) possessing an ordering set of probability measures S can be isomorphically represented as a family of fuzzy subsets of S or, equivalently, as a family of propositional functions with arguments ranging over S and belonging to the domain of infinite-valued Łukasiewicz logic. This representation endows BvN quantum logic with a new pair of partially defined binary operations, different from the order-theoretic ones: Łukasiewicz intersection and union (...) of fuzzy sets in the first case and Łukasiewicz conjunction and disjunction in the second. Relations between old and new operations are studied and it is shown that although they coincide whenever new operations are defined, they are not identical in general. The hypothesis that quantum-logical conjunction and disjunction should be represented by Łukasiewicz operations, not by order-theoretic join and meet is formulated and some of its possible consequences are considered. (shrink)