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)

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

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.

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

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)

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)

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.

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

Panentheism has become a familiar term in contemporary Christian systematic theology and philosophy, for it is widely believed to be an appropriate way to overcome the alleged dualism found in the classical God-world relationship. But what is meant by the term panentheism, and how does it work so as to avoid becoming still another form of pantheism or cosmic monism? In 2004 Philip Clayton and the late Arthur Peacocke published a set of papers on the topic of panentheism that (...) came from a conference in England on that topic in 2001.1 Yet, while there were certain broad affinities in approach and content among many of the papers, none of them used precisely the same conceptual model for analysis of the concept. As.. (shrink)

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)

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)

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)

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.

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)

Excerpt from Kants Naturphilosophie als Grundlage Seines Systems Die vorliegende Arbeit uber die kantische Naturphilosophie war ursprunglich in Aussicht genommen als erstes Kapitel einer Darstellung der deutschen Naturphilosophie seit Kam. Der Grund, warum sie zu einem selbstandigen Werke angeschwollen ist, liegt darin, weil ich bei genauerem Studium des Philosophen fand, man habe das naturphilosophische Element in den Schriften Kants bisher bei weitem unterschatzt und insbesondere seinen Bemuhungen um eine dynamische Theorie der Materie lange nicht diejenige Bedeutung zugeschrieben, die ihnen (...) sowohl in Hinsicht auf die Richtung, welche die kantische Gedankenentwickelung genommen hat, wie fur die eigentumliche Ausbildung dieser Gedanken im Einzelnen thatsachlich beizumessen ist. Man hat den Philosophen nach seiner theoretischen Seite fast lediglich als den Begrunder der modernen Erkenntnistheorie gewurdigt und dabei ubersehen, wie seine ganze Erkenntnistheorie aus naturphilosophischen Erwagungen hervorgegangen und oft in den wichtigsten Punkten von ihnen bestimmt worden ist. Die vorliegende Arbeit schopft nun bei der Hochflut der philosophischen Litteratur, die sich mit Kant beschaftigt, ihre Daseinsberechtigung vor allem daraus, dafs sie die gesamte theoretische Philosophie Kants unter dem Gesichtspunkte der Naturphilosophie betrachtet. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.". (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)

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)

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)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for (...) implication. The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

The thermodynamic behavior is analyzed of a single classical charged particle in thermal equilibrium with classical electromagnetic thermal radiation, while electrostatically bound by a fixed charge distribution of opposite sign. A quasistatic displacement of this system in an applied electrostatic potential is investigated. Treating the system nonrelativistically, the change in internal energy, the work done, and the change in caloric entropy are all shown to be expressible in terms of averages involving the distribution of the position coordinates alone. (...) A convenient representation for the probability distribution is shown to be the ensemble average of the absolute square value of an expansion over the eigenstates of a Schrödinger-like equation, since the heat flow is shown to vanish for each hypothetical “state.” Subject to key assumptions highlighted here, the demand that the entropy be a function of state results in statistical averages in agreement with the form in quantum statistical mechanics. Examining the very low and very high temperature situations yields Planck's and Boltzmann's constants. The blackbody radiation spectrum is then deduced. From the viewpoint of the theory explored here, the method in quantum statistical mechanics of statistically counting the “states” at thermal equilibrium by using the energy eigenvalue structure, is simply a convenient counting scheme, rather than actually representing averages involving physically discrete energy states. (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)

Classical electron theory with classical electromagnetic zero-point radiation (stochastic electrodynamics) is the classical theory which most closely approximates quantum electrodynamics. Indeed, in inertial frames, there is a general connection between classical field theories with classical zero-point radiation and quantum field theories. However, this connection does not extend to noninertial frames where the time parameter is not a geodesic coordinate. Quantum field theory applies the canonical quantization procedure (depending on the local time coordinate) to a mirror-walled (...) box, and, in general, each non-inertial coordinate frame has its own vacuum state. In particular, there is a distinction between the “Minkowski vacuum” for a box at rest in an inertial frame and a “Rindler vacuum” for an accelerating box which has fixed spatial coordinates in an (accelerating) Rindler frame. In complete contrast, the spectrum of random classical zero-point radiation is based upon symmetry principles of relativistic spacetime; in empty space, the correlation functions depend upon only the geodesic separations (and their coordinate derivatives) between the spacetime points. The behavior of classical zero-point radiation in a noninertial frame is found by tensor transformations and still depends only upon the geodesic separations, now expressed in the non-inertial coordinates. It makes no difference whether a box of classical zero-point radiation is gradually or suddenly set into uniform acceleration; the radiation in the interior retains the same correlation function except for small end-point (Casimir) corrections. Thus in classical theory where zero-point radiation is defined in terms of geodesic separations, there is nothing physically comparable to the quantum distinction between the Minkowski and Rindler vacuum states. It is also noted that relativistic classical systems with internal potential energy must be spatially extended and can not be point systems. The classical analysis gives no grounds for the “heating effects of acceleration through the vacuum” which appear in the literature of quantum field theory. Thus this distinction provides (in principle) an experimental test to distinguish the two theories. (shrink)

Tomographic approach to describing both the states in classical statistical mechanics and the states in quantum mechanics using the fair probability distributions is reviewed. The entropy associated with the probability distribution (tomographic entropy) for classical and quantum systems is studied. The experimental possibility to check the inequalities like the position–momentum uncertainty relations and entropic uncertainty relations are considered.

It is part of information theory folklore that, while quantum theory prohibits the generic cloning of states, such cloning is allowed by classical information theory. Indeed, many take the phenomenon of no-cloning to be one of the features that distinguishes quantum mechanics from classical mechanics. In this paper, we use symplectic geometry to argue that pace conventional wisdom, in the case where one does not include a machine system, there is an analog of the no-cloning theorem for (...) class='Hi'>classical systems. However, upon adjoining a non-trivial machine system one finds that, pace the quantum case, the obstruction to cloning disappears for pure states. We then discuss the difference between this result and the quantum case, and show that it can be explained in terms of the rigidity of the theories' respective geometries. Finally, we discuss the relationship between this result and classical no-cloning arguments in the context of symmetric monoidal categories and statistical classical mechanics. (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)

One can (for the most part) formulate a model of a classical system in either the Lagrangian or the Hamiltonian framework. Though it is often thought that those two formulations are equivalent in all important ways, this is not true: the underlying geometrical structures one uses to formulate each theory are not isomorphic. This raises the question whether one of the two is a more natural framework for the representation of classical systems. In the event, the answer (...) is yes: I state and prove two technical results, inspired by simple physical arguments about the generic properties of classical systems, to the effect that, in a precise sense, classical systems evince exactly the geometric structure Lagrangian mechanics provides for the representation of systems, and none that Hamiltonian mechanics does. The argument not only clarifies the conceptual structure of the two systems of mechanics, their relations to each other, and their respective mechanisms for representing physical systems. It also provides a decisive counter-example to the semantical view of physical theories, and one, moreover, that shows its crucial deficiency: a theory must be, or at least be founded on, more than its collection of models (in the sense of Tarski), for a complete semantics requires that one take account of global structures defined by relations among the individual models. The example also shows why naively structural accounts of theory cannot work: simple isomorphism of theoretical and empirical structures is not rich enough a relation to ground a semantics. (shrink)

The paraconsistent system CPQ-ZFC/F is defined. It is shown using strong non-finitary methods that the theorems of CPQ-ZFC/F are exactly the theorems of classical ZFC minus foundation. The proof presented in the paper uses the assumption that a strongly inaccessible cardinal exists. It is then shown using strictly finitary methods that CPQ-ZFC/F is non-trivial. CPQ-ZFC/F thus provides a formulation of set theory that has the same deductive power as the corresponding classical system but is more reliable in that (...) non-triviality is provable by strictly finitary methods. This result does not contradict Gödel's incompleteness theorem because the proof of the deductive equivalence of the paraconsistent and classical systemss use non-finitary methods. (shrink)

A mechanism is presented by which a classical system could be described by the laws of quantum theory. Conflict with von Neumann's no-go theorem is avoided. Experimental predictions are made.