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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

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 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)

In this essay, I offer a critical evaluation of Hilary Putnam's writings on epistemology and philosophy of science, in particular his engagement with interpretative problems in quantum mechanics. I trace the development of his thinking from the late 1960s when he adopted a strong causal-realist position on issues of meaning, reference, and truth, via the "internal realist" approach of his middle-period writings, to the various forms of pragmatist, naturalized, or "commonsense" epistemology proposed in his latest books. My contention is that (...) Putnam's retreat from a full-fledged realist outlook has been prompted in large part by his belief that it cannot possibly be reconciled with the implications of quantum mechanics for our understanding of processes and events in the subatomic domain. However, I suggest, this response should be seen as premature given the range of as-yet unresolved problems with quantum mechanics on the orthodox (Copenhagen) interpretation and also the existence of an alternative account - David Bohm's hidden-variables theory - which perfectly matches the established predictive-observational results while providing a credible realist ontology. I also examine Putnam's case for adopting a nonstandard (three-valued) "quantum logic" in relation to the thinking of other philosophers - Michael Dummett among them - who have espoused a more global or doctrinaire version of anti-realism. I conclude that Putnam's early (causal-realist) position is by no means untenable in light of the various arguments that he now takes as counting decisively against it. (shrink)

Hans Reichenbach’s position in the debate over scientific realism is remarkable. On the one hand, he endorsed the programmatic premises of logical empiricism; on the other, he explicitly employed a realist approach to conceptions such as reference, causality, and inference to the best explanation. How could that work out? It will be shown in the present paper that in Reichenbach’s view scientific realism is not, as frequently assumed, opposed to logical empiricism but rather to logical positivism. A distinction without a (...) difference? Not at all, at least for Reichenbach. As is well known, his particular—probabilistic—variant of logical empiricism was intended to circumvent what he considered the shortcomings of the Vienna Circle’s verificationist approach to the language of science. In Experience and Prediction, Reichenbach became most explicit in this regard. However, I shall argue that his position remained notoriously unstable in the end. It oscillated between a full-fledged scientific realist reading and an eminently pragmatist reading. Nevertheless, Reichenbach’s contribution proved instrumental in preparing subsequent efforts at reconciling logical empiricism and scientific realism. (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)

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)

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)

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)

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)

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)

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)

We review the notion of complementarity of observables in quantum mechanics, as formulated and studied by Paul Busch and his colleagues over the years. In addition, we provide further clarification on the operational meaning of the concept, and present several characterisations of complementarity—some of which new—in a unified manner, as a consequence of a basic factorisation lemma for quantum effects. We work out several applications, including the canonical cases of position–momentum, position–energy, number–phase, as well as periodic observables relevant to spatial (...) interferometry. We close the paper with some considerations of complementarity in a noisy setting, focusing especially on the case of convolutions of position and momentum, which was a recurring topic in Paul’s work on operational formulation of quantum measurements and central to his philosophy of unsharp reality. (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)

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)

This study reconstructs the 1928–1929 correspondence between Reichenbach and Einstein about the latter’s latest distant parallelism-unified field theory, which attracted considerable public attention at the end of the 1920s. Reichenbach, who had recently become a Professor in Berlin, had the opportunity to discuss the theory with Einstein and therefore sent him a manuscript with some comments for feedback. The document has been preserved among Einstein’s papers. However, the subsequent correspondence took an unpleasant turn after Reichenbach published a popular article on (...) distant parallelism in a newspaper. Einstein directly wrote to the Editorial Board complaining about Reichenbach’s unfair use of off-the-record information. While Reichenbach’s reply demonstrates a sense of personal betrayal at Einstein’s behavior, his published writings of that period point to a sense of intellectual betrayal of their shared philosophical ideals. In his attempts to unify both electricity and gravitation, Einstein had abandoned the physical heuristic that guided him to the relativity theory, to embrace a more speculative, mathematical heuristic that he and Reichenbach had both previously condemned. A decade-long personal and intellectual friendship grew fainter and then never recovered. This study, relying on archival material, aims to revisit the Reichenbach–Einstein relationship in the late 1920s in light of Reichenbach’s neglected contributions to the epistemology of the unified field theory program. Thereby, it hopes to provide a richer account of Reichenbach’s philosophy of space and time. (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.

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)

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)

In this paper we show that, when analyzed with contemporary tools in logic—such as Dunn-style semantics, Reichenbach’s three-valued logic exhibits many interesting features, and even new responses to some of the old objections to it can be attempted. Also, we establish some connections between Reichenbach’s three-valued logic and some contra-classical logics.

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)

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.

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)

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)

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)

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)