Traditionally, there has been a clear distinction between classical systems and quantum systems, particularly in the mathematical theories used to describe them. In our recent work on macroscopic quantum systems, this distinction has become blurred, making a unified mathematical formulation desirable, so as to show up both the similarities and the fundamental differences between quantum and classical systems. This paper serves this purpose, with explicit formulations and a number of examples in the form of (...) superconducting circuit systems. We introduce three classes of physical systems with finite degrees of freedom: classical, standard quantum, and mixed quantum, and present a unified Hilbert space treatment of all three types of system. We consider the classical/quantum divide and the relationship between standard quantum and mixed quantum systems, illustrating the latter with a derivation of a superselection rule in superconducting systems. (shrink)

The paper studies first order extensions of classical systems of modal logic (see (Chellas, 1980, part III)). We focus on the role of the Barcan formulas. It is shown that these formulas correspond to fundamental properties of neighborhood frames. The results have interesting applications in epistemic logic. In particular we suggest that the proposed models can be used in order to study monadic operators of probability (Kyburg, 1990) and likelihood (Halpern-Rabin, 1987).

Ruetsche argues that a problem of unitarily inequivalent representations arises in quantum theories with infinitely many degrees of freedom. I provide an algebraic formulation of classical field theories and show that unitarily inequivalent representations arise there as well. I argue that the classical case helps us rule out one possible response to the problem of unitarily inequivalent representations called Hilbert Space Conservatism.

ABSTRACTMonoidal logics were introduced as a foundational framework to analyze the proof theory of logical systems. Inspired by Lambek's seminal work in categorical logic, the objective is to defin...

En este artículo, se introducirá el formalismo de cuantificación canónica denominado "cuantificación geométrica". Dado que dicho formalismo permite entender la mecánica cuántica como una extensión geométrica de la mecánica clásica, se identificarán las insuficiencias de esta última resueltas por dicha extensión. Se mostrará luego como la cuantificación geométrica permite explicar algunos de los rasgos distintivos de la mecánica cuántica, como, por ejemplo, la noconmutatividad de los operadores cuánticos y el carácter discreto de los espectros de ciertos operadores. In this article, (...) We shall introduce the formalism of canonical quantization called "geometric quantization". Since this formalism let us understand quantum mechanics as a geometric extension of classical mechanics, we shall identify the insufficiencies of the latter that are resolved by such an extension. We shall show that geometric quantization permits us to explain some fundamental features of quantum mechanics, such as the non-commutativity of quantum operators and the discrete spectrum of some operators describing physical quantities. (shrink)

Appreciating the undeniable value of General Systems Theory, Alfred Locker considers the question whether or not GST is able to go beyond a mere scientific point of view. Locker’s own systems theoretical approach, Trans-Classical Systems Theory, proposes not only to include usual observations into a systems view, but likewise their theoretical presuppositions. Locker hereby creates two levels of observation; an ortho- and a meta-level, where otherwise incommensurable viewpoints are united into whole. In this way, Locker (...) is able to articulate a holistic systems theory of seeming opposites, like, for example, creation and evolution. (shrink)

Both the constructive and predicative approaches to mathematics arose during the period of what was felt to be a foundational crisis in the early part of this century. Each critiqued an essential logical aspect of classical mathematics, namely concerning the unrestricted use of the law of excluded middle on the one hand, and of apparently circular \impredicative" de nitions on the other. But the positive redevelopment of mathematics along constructive, resp. predicative grounds did not emerge as really viable alternatives (...) to classical, set-theoretically based mathematics until the 1960s. Now we have a massive amount of information, to which this lecture will constitute an introduction, about what can be done by what means, and about the theoretical interrelationships between various formal systems for constructive, predicative and classical analysis. (shrink)

The energy transport in one-dimensional nonlinear systems is discussed. By numerically studying a model system, we verify the Fourier heat law on purely dynamical grounds and we compute the coefficient of thermal conductivity K. The same value ofK is independently obtained by use of the Green-Kubo formalism.

In a recent paper, a “distance” function, $\cal D$ , was defined which measures the distance between pure classical and quantum systems. In this work, we present a new definition of a “distance”, D, which measures the distance between either pure or impure classical and quantum states. We also compare the new distance formula with the previous formula, when the latter is applicable. To illustrate these distances, we have used 2 × 2 matrix examples and two-dimensional vectors (...) for simplicity and clarity. Several specific examples are calculated. (shrink)

Temporally non-local measurements -- single measurements yielding information about the state of a system at different instances-- may provide a way to observe non-classical behaviour in mental systems. The signature for such behaviour is a violation of temporal Bell inequalities. We present such inequalities applicable to scenarios with two alternating mental states, such as in the perception of ambiguous figures. We indicate empirical options for testing temporal Bell inequalities, and speculate about possible explanations in case these inequalities are (...) indeed violated. (shrink)

As an atheistic religious tradition, Buddhism conventionally stands in opposition to Christianity, and any bridge between them is considered to be riddled with contradictory beliefs on God the creator, salvific power and the afterlife. But what if a Buddhist could also be a Classical Theist? Showing how the various contradictions are not as fundamental as commonly thought, Tyler Dalton McNabb and Erik Baldwin challenge existing assumptions and argue that Classical Theism is, in fact, compatible with Buddhism. They draw (...) parallels between the metaphysical doctrines of both traditions, synthesize their ethical and soteriological commitments and demonstrate that the Theist can interpret the Buddhist's religious experiences, specifically those of emptiness, as veridical, without denying any core doctrine of Classical Theism. By establishing that a synthesis of the two traditions is plausible, this book provides a bold, fresh perspective on the philosophy of religion and reinvigorates philosophical debates between Buddhism and Christianity. (shrink)

The state subvention and distribution of health care not only jeopardize the financial sustainability of the state, but also restrict without a conclusive rational basis the freedom of patients to decide how much health care and of what quality is worth what price. The dominant biopolitics of European health care supports a healthcare monopoly in the hands of the state and the medical profession, which health care should be opened to the patient’s authority to deal directly for better basic health (...) care. In a world where it is impossible for all to receive equal access to the best of basic health care, one must critically examine the plausible scope of the authority of the state to limit access to better basic health care. Classical distributive justice affords a basis for re-examining the current European ideology of equality, human dignity, and solidarity that supports healthcare systems with unsustainable egalitarian concerns. (shrink)

New propositional and first-order paraconsistent logics (called L ω and FL ω , respectively) are introduced as Gentzen-type sequent calculi with classical and paraconsistent negations. The embedding theorems of L ω and FL ω into propositional (first-order, respectively) classical logic are shown, and the completeness theorems with respect to simple semantics for L ω and FL ω are proved. The cut-elimination theorems for L ω and FL ω are shown using both syntactical ways via the embedding theorems and (...) semantical ways via the completeness theorems. (shrink)

In the past, a few researchers have presented arguments indicating that a statistical equilibrium state of classical charged particles necessarily demands the existence of a temperature-independent, incident classical electromagnetic random radiation. Indeed, when classical electromagnetic zero-point radiation is included in the analysis of problems with macroscopic boundaries, or in the analysis of charged particles in linear force fields, then good agreement with nature is obtained. In general, however, this agreement has not been found to hold for charged (...) particles bound in nonlinear force fields. The point is raised here that this disagreement arising for nonlinear force fields may be a premature conclusion on this classical theory for describing atomic systems, because past calculations have not directed strict attention to electromagnetic interactions between charges. This point is illustrated here by examining the classical hydrogen atom and showing that this problem has still not been adequately solved. (shrink)

A completely Lorentz-invariant Bohmian model has been proposed recently for the case of a system of non-interacting spinless particles, obeying Klein-Gordon equations. It is based on a multi-temporal formalism and on the idea of treating the squared norm of the wave function as a space-time probability density. The particle’s configurations evolve in space-time in terms of a parameter σ with dimensions of time. In this work this model is further analyzed and extended to the case of an interaction with an (...) external electromagnetic field. The physical meaning of σ is explored. Two special situations are studied in depth: (1) the classical limit, where the Einsteinian Mechanics of Special Relativity is recovered and the parameter σ is shown to tend to the particle’s proper time; and (2) the non-relativistic limit, where it is obtained a model very similar to the usual non-relativistic Bohmian Mechanics but with the time of the frame of reference replaced by σ as the dynamical temporal parameter. (shrink)

We formulate from first principles a theory of stochastic processes in configuration space. The fundamental equations of the theory are an equation of motion which generalizes Newton's second law and an equation which expresses the condition of conservation of matter. Two types of stochastic motion are possible, both described by the same general equations, but leading in one case to classical Brownian motion behavior and in the other to quantum mechanical behavior. The Schrödinger equation, which is derived here with (...) no further assumption, is thus shown to describe a specific stochastic process. It is explicitly shown that only in the quantum mechanical process does the superposition of probability amplitudes give rise to interference phenomena; moreover, the presence of dissipative forces in the Brownian motion equations invalidates the superposition principle. At no point are any special assumptions made concerning the physical nature of the underlying stochastic medium, although some suggestions are discussed in the last section. (shrink)

The concept of complementarity, originally defined for non-commuting observables of quantum systems with states of non-vanishing dispersion, is extended to classical dynamical systems with a partitioned phase space. Interpreting partitions in terms of ensembles of epistemic states (symbols) with corresponding classical observables, it is shown that such observables are complementary to each other with respect to particular partitions unless those partitions are generating. This explains why symbolic descriptions based on an ad hoc partition of an underlying (...) phase space description should generally be expected to be incompatible. Related approaches with different background and different objectives are discussed. (shrink)

We offer a critical overview of two sorts of proof systems that may be said to characterize classical propositional logic indirectly (and non-standardly): refutation systems, which prove sound and complete with respect to classical contradictions, and rejection systems, which prove sound and complete with respect to the larger set of all classical non-tautologies. Systems of the latter sort are especially interesting, as they show that classical propositional logic can be given a paraconsistent (...) characterization. In both cases, we consider Hilbert-style systems as well as Gentzen-style sequent calculi and natural-deduction formalisms. (shrink)

Paul Hovda’s excellent paper ‘What Is Classical Mereology?' has fruitfully reshaped the debate concerning the axiomatic foundations of classical mereology. Precisely because of the importance of Hovda’s work and its usefulness as a reference tool, we note here that one of the five axiom systems presented therein, corresponding the ‘Third Way’ to classical mereology, is defective and must be amended. In addition, we note that two other axiom systems, corresponding to the ‘First Way’ and to (...) the ‘Fifth Way’, involve redundancies. (shrink)

Classic of Changes is a Chinese cultural classic born more than 3000 years ago. Its profound philosophical thoughts and the use of divination have brought Classic of Changes to a strong oriental mysticism. The view of the heaven and man of yin and yang and the five elements states of Classic of Changes are completely different from the Western elemental theory of ancient Greece. The latter gave birth to classical and modern scientific theories, and the yin and yang and (...) the eight trigrams symbol has become synonymous with oriental mysticism. In fact, the cosmology of the Holism of Classic of Changes is a precious scientific heritage of mankind. The axiomatization of the symbolic formal system of Classic of Changes aims to unveil the veil of oriental mysticism and provide oriental wisdom for the development of modern science. Transforming the symbolic system of Classic of Changes into a formal axiom system is the crystallization of the fusion of wisdom between the East and the West. The axiomatization of the symbolic formal system of Classic of Changes shows that the oriental and the western scientific tradition harmony but not sameness and there is no conflict. Classic of Changes can also be interpreted by the axiomatic system like Euclid’s Elements. The main contribution of this paper is that the author skillfully uses mathematical language to formulate the system of Classic of Changes, reconstructs the ideological system of Classic of Changes with the axiomatic method and realizes the scientificalization of Chinese classical natural philosophy. The formal axiom system of Classic of Changes may give us such a revelation: the gap between the oriental and western scientific traditions is mainly in the axiomatization, but the lack of oriental scientific tradition may be the bottleneck of the development of modern science. (shrink)

This paper examines whether classical extensional mereology is adequate for formalizing the whole–parts relation in quantum chemical systems. Although other philosophers have argued that classical extensional and summative mereology does not adequately formalize whole–parts relation within organic wholes and social wholes, such critiques often assume that summative mereology is appropriate for formalizing the whole–parts relation in inorganic wholes such as atoms and molecules. However, my discussion of atoms and molecules as they are conceptualized in quantum chemistry will (...) establish that standard mereology cannot adequately fulfill this task, since the properties and behavior of such wholes are context-dependent and cannot simply be reduced to the summative properties of their parts. To the extent that philosophers of chemistry have called for the development of an alternative mereology for quantum chemical systems, this paper ends by proposing behavioral mereology as a promising step in that direction. According to behavioral mereology, considerations of what constitutes a part of a whole is dependent upon the observable behavior displayed by these entities. Thus, relationality and context-dependence are stipulated from the outset and this makes behavioral mereology particularly well-suited as a mereology of quantum chemical wholes. The question of which mereology is appropriate for formalizing the whole–parts relation in quantum chemical systems is relevant to contemporary philosophy of chemistry, since this issue is related to the more general questions of the reducibility of chemical wholes to their parts and of the reducibility of chemistry to physics, which have been of central importance within the philosophy of chemistry for several decades. More generally, this paper puts contemporary discussions of mereology within the philosophy of chemistry into a broader historical and philosophical context. In doing so, this paper also bridges the gap between formal mereology, conceived as a branch of formal ontology, and “applied” mereology, conceived as a branch of philosophy of science. (shrink)

We analyze the paper “The wave mechanics of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-ray tracks” Mott (Proc R Soc Lond A 126:79–84, 1929), published in 1929 by N. F. Mott. In particular, we discuss the theoretical context in which the paper appeared and give a detailed account of the approach used by the author and the main result attained. Moreover, we comment on the relevance of the work not only as far as foundations of Quantum (...) Mechanics are concerned but also as the earliest pioneering contribution in decoherence theory. (shrink)

In this paper we study natural deduction for the intuitionistic and classical (normal) modal logics obtained from the combinations of the axioms T, B, 4 and 5. In this context we introduce a new multi-contextual structure, called T-sequent, that allows to design simple labelfree natural deduction systems for these logics. After proving that they are sound and complete we show that they satisfy the normalization property and consequently the subformula property in the intuitionistic case.

We give a review of some works where it is shown that certain quantum-like features are exhibited by classical systems. Two kinds of problems are considered. The first one concerns the specific heat of crystals (the so called Fermi–Pasta–Ulam problem), where a glassy behavior is observed, and the energy distribution is found to be of Planck-like type. The second kind of problems concerns the self-interaction of a charged particle with the electromagnetic field, where an analog of the tunnel (...) effect is proven to exist, and moreover some nonlocal effects are exhibited, leading to a natural hidden variable theory which violates Bell's inequalities. (shrink)

In honour of Bob Meyer, the paper extends the use of his concept of metacompleteness to include various classical systems, as much as we are able. To do this for the classical sentential calculus, we add extra axioms so as to treat the variables like constants. Further, we use a one-sorted and a two-sorted approach to add classical sentential constants to the logic DJ of my book, Universal Logic. It is appropriate to use rejection to represent (...) classicality in the one-sorted case. We then extend these methods to the quantified logics, but we use a finite domain of individual constants to do this. (shrink)

Grishin algebras are a generalisation of Boolean algebras that provide algebraic models for classical bilinear logic with two mutually cancelling negation connectives. We show how to build complete Grishin algebras as algebras of certain subsets (“propositions”) of cover systems that use an orthogonality relation to interpret the negations. The variety of Grishin algebras is shown to be closed under MacNeille completion, and this is applied to embed an arbitrary Grishin algebra into the algebra of all propositions of some (...) cover system, by a map that preserves all existing joins and meets. This representation is then used to give a cover system semantics for a version of classical bilinear logic that has first-order quantifiers and infinitary conjunctions and disjunctions. (shrink)

The idea that quantum randomness can be reduced to randomness of classical fields (fluctuating at time and space scales which are essentially finer than scales approachable in modern quantum experiments) is rather old. Various models have been proposed, e.g., stochastic electrodynamics or the semiclassical model. Recently a new model, so called prequantum classical statistical field theory (PCSFT), was developed. By this model a “quantum system” is just a label for (so to say “prequantum”) classical random field. Quantum (...) averages can be represented as classical field averages. Correlations between observables on subsystems of a composite system can be as well represented as classical correlations. In particular, it can be done for entangled systems. Creation of such classical field representation demystifies quantum entanglement. In this paper we show that quantum dynamics (given by Schrödinger’s equation) of entangled systems can be represented as the stochastic dynamics of classical random fields. The “effect of entanglement” is produced by classical correlations which were present at the initial moment of time, cf. views of Albert Einstein. (shrink)

This paper shows Hilbert system (C+J)-, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system (C+J)- contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the (...) system (C+J)- is semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979). (shrink)

Recently a new attempt to go beyond QM was performed in the form of so-called prequantum classical statistical field theory (PCSFT). In this approach quantum systems are described by classical random fields, e.g., the electron field or the neutron field. Averages of quantum observables arise as approximations of averages of classical variables (functionals of “prequantum fields”) with respect to fluctuations of fields. For classical variables given by quadratic functionals of fields, quantum and prequantum averages simply (...) coincide. In this paper we generalize PCSFT to the composite quantum system. The main discovery is that, opposite to a rather common opinion, a composite system can be described by the Cartesian product of state spaces (like in classical physics) and not by the tensor product of them (like in conventional QM). A natural interpretation of the quantum pure state for a composite system is proposed: it is the nondiagonal block in the covariance matrix of the random field describing a composite system. The interpretation of a pure state due to Dirac and von Neumann seems to be an artifact of the conventional mathematical description of micro-systems. PCSFT provides a new possibility for interpretation of entanglement. (shrink)

The connection between quantum mechanics and classical statistical mechanics has motivated in the past the representation of the Schrödinger quantum-wave equation in terms of “projections” onto the quantum configuration space of suitable phase-space asymptotic kinetic models. This feature has suggested the search of a possible exact super-dimensional classical dynamical system, denoted as Schrödinger CDS, which uniquely determines the time-evolution of the underlying quantum state describing a set of N like and mutually interacting quantum particles. In this paper the (...) realization of the same CDS in terms of a coupled set of Hamiltonian systems is established. These are respectively associated with a quantum-hydrodynamic CDS advancing in time the quantum fluid velocity and a further one the RD-CDS, describing the relative dynamics with respect to the quantum fluid. (shrink)

In The System of Liberty: Themes in the History of Classical Liberalism, George H. Smith focuses his thematic approach regarding the study of classical liberal political philosophy on both natural-rights philosophers, in what Smith deems the “Lockean Paradigm,” and nineteenth-century utilitarian liberals. Smith does not merely provide an overview of the history of this theory—rather, he attempts to discover how and why liberal theory had faced major challenges in the nineteenth-century with regard to both its theoretical foundations and (...) its level of public support. Concluding, along with Herbert Spencer, that following positive results in innovation and in the economic sphere, which were achieved through the reduction of government power, “most people, seeing that these beneficial results had something to do with government, failed to differentiate between the repeal of onerous laws and the passing of new laws” (p. 213), Smith attempts to discover why liberals were unsuccessful in clai. (shrink)

We combine intuitionistic logic and classical logic into a new, first-order logic called polarized intuitionistic logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish them from other forms of polarization. The meaning of these polarities is defined model-theoretically by a Kripke-style semantics for the logic. Two proof systems are also formulated. The first system extends Gentzenʼs intuitionistic sequent calculus LJ. In addition, this system also bears essential similarities (...) to Girardʼs LC proof system for classical logic. The second proof system is based on a semantic tableau and extends Dragalinʼs multiple-conclusion version of intuitionistic sequent calculus. We show that soundness and completeness hold for these notions of semantics and proofs, from which it follows that cut is admissible in the proof systems and that the propositional fragment of the logic is decidable. (shrink)

We describe a relational framework that uniformly supports formalization and automated reasoning in varied propositional modal logics. The proof system we propose is a relational variant of the classical Rasiowa-Sikorski proof system. We introduce a compact graph-based representation of formulae and proofs supporting an efficient implementation of the basic inference engine, as well as of a number of refinements. Completeness and soundness results are shown and a Prolog implementation is described.

In the history of Newtonian Mechanics physicists and astronomers did not rely on so-called inertial frames, indeed they were not able to identify such frames. So the usual neo-Newtonian formalism of Newtonian Mechanics contains some superfluous components. In the present paper I will formulate a formal system for classical particle mechanics in Leibnizian space-time, where a relation, a counterpart of the second law of motion, between force on bodies and derivative of their momentum will be defined relative to every, (...) inertial or not, reference frame. And I will present a view that in the research process under Newtonian mechanics the accumulation of those models of the relation that satisfied some realistic conditions determined an additional structure of non-rotating frames to Leibnizian space-time. (shrink)