Unified Interpretation of Quantum and Classical Logics

Quantum logic is only applicable to microscopic phenomena while classical logic is exclusively used for everyday reasoning, including mathematics. It is shown that both logics are unified in the framework of modal interpretation. This proposed method deals with classical propositions as latently modalized propositions in the sense that they exhibit manifest modalities to form quantum logic only when interacting with other classical subsystems.     

On the Nature of Continuous Physical Quantities in Classical and Quantum Mechanics

Journal of Philosophical Logic - Within the traditional Hilbert space formalism of quantum mechanics, it is not possible to describe a particle as possessing, simultaneously, a sharp position value...     

On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics

In this paper, I identify the source of the differences between classical logic and many-valued logics (including fuzzy logics) with respect to the set of valid formulas and the set of inferences sanctioned. In the course of doing so, we find the conditions that are individually necessary and jointly sufficient for any many-valued semantics (again including fuzzy logics) to validate exactly the classically valid formulas, while sanctioning exactly the same set of inferences as classical logic. This in turn shows, contrary to what has sometimes been claimed, that at least one class of infinite-valued semantics is axiomatizable.     

A Hierarchy of Classical and Paraconsistent Logics

Journal of Philosophical Logic - In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a...     

Labelled Resolution for Classical and Non-classical Logics

Resolution is an effective deduction procedure for classical logic. There is no similar "resolution" system for non-classical logics (though there are various automated deduction systems). The paper presents resolution systems for intuistionistic predicate logic as well as for modal and temporal logics within the framework of labelled deductive systems. Whereas in classical predicate logic resolution is applied to literals, in our system resolution is applied to L(abelled) R(epresentation) S(tructures). Proofs are discovered by a refutation procedure defined on LRSs, that imposes a hierarchy on clause sets of such structures together with an inheritance discipline. This is a form of Theory Resolution. For intuitionistic logic these structures are called I(ntuitionistic) R(epresentation) S(tructures). Their hierarchical structure allows the restriction of unification of individual variables and/or constants without using Skolem functions. This structures must therefore be preserved when we consider other (non-modal) logics. Variations between different logics are captured by fine tuning of the inheritance properties of the hierarchy. For modal and temporal logics IRS's are extended to structures that represent worlds and/or times. This enables us to consider all kinds of combined logics.     

Superintuitionistic Companions of Classical Modal Logics

This paper investigates partitions of lattices of modal logics based on superintuitionistic logics which are defined by forming, for each superintuitionistic logic L and classical modal logic , the set L[] of L-companions of . Here L[] consists of those modal logics whose non-modal fragments coincide with L and which axiomatize if the law of excluded middle p V p is added. Questions addressed are, for instance, whether there exist logics with the disjunction property in L[], whether L[] contains a smallest element, and whether L[] contains lower covers of . Positive solutions as concerns the last question show that there are (uncountably many) superclean modal logics based on intuitionistic logic in the sense of Vakarelov [28]. Thus a number of problems stated in [28] are solved. As a technical tool the paper develops the splitting technique for lattices of modal logics based on superintuitionistic logics and ap plies duality theory from [34].     

Statistics of Intuitionistic versus Classical Logics

For the given logical calculus we investigate the proportion of the number of true formulas of a certain length n to the number of all formulas of such length. We are especially interested in asymptotic behavior of this fraction when n tends to infinity. If the limit exists it is represented by a real number between 0 and 1 which we may call the density of truth for the investigated logic. In this paper we apply this approach to the intuitionistic logic of one variable with implication and negation. The result is obtained by reducing the problem to the same one of Dummett's intermediate linear logic of one variable (see [2]). Actually, this paper shows the exact density of intuitionistic logic and demonstrates that it covers a substantial part (more than 93%) of classical prepositional calculus. Despite using strictly mathematical means to solve all discussed problems, this paper in fact, may have a philosophical impact on understanding how much the phenomenon of truth is sporadic or frequent in random mathematics sentences.     

On Proof Terms and Embeddings of Classical Substructural Logics

There is an intimate connection between proofs of the natural deduction systems and typed lambda calculus. It is well-known that in simply typed lambda calculus, the notion of formulae-as-types makes it possible to find fine structure of the implicational fragment of intuitionistic logic, i.e., relevant logic, BCK-logic and linear logic. In this paper, we investigate three classical substructural logics (GL, GLc, GLw) of Gentzen's sequent calculus consisting of implication and negation, which contain some of the right structural rules. In terms of Parigot's -calculus with proper restrictions, we introduce a proof term assignment to these classical substructural logics. According to these notions, we can classify the -terms into four categories. It is proved that well-typed GLx--terms correspond to GLx proofs, and that a GLx--term has a principal type if stratified where x is nil, c, w or cw. Moreover, we investigate embeddings of classical substructural logics into the corresponding intuitionistic substructural logics. It is proved that the Gödel-style translations of GLx--terms are embeddings preserving substructural logics. As by-products, it is obtained that an inhabitation problem is decidable and well-typed GLx--terms are strongly normalizable.     

Computing with Cylindric Modal Logics and Arrow Logics,Lower Bounds

The complexity of the satisfiability problems of various arrow logics and cylindric modal logics is determined. As is well known, relativising these logics makes them decidable. There are several parameters that can be set in such a relativisation. We focus on the following three: the number of variables involved, the similarity type and the kind of relativised models considered. The complexity analysis shows the importance and relevance of these parameters.     

MV-Algebras and Quantum Computation

We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates. After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-MV algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra over the complex numbers. Presented by Heinrich Wansing     

多值逻辑与语义赋值博弈

文章在扩展博弈上,给出了多值逻辑的语义赋值博弈的一般框架,避免了博弈者在多值逻辑的语义博弈中声明无穷对象的问题;然后通过Eloise赢的策略定义博弈的语义概念——赋值,证明了多值逻辑的博弈语义与Tarski语义是等价的;最后,根据语义赋值博弈框架对经典逻辑进行了博弈化。     

Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism

Journal of Philosophical Logic - In order to prove the validity of logical rules, one has to assume these rules in the metalogic. However, rule-circular ‘justifications’ are...     

Axiomatic Quantum Theory

The basis of a rigorous formal axiomatization of quantum mechanics is constructed, built upon Dirac's bra–ket notation. The system is three-sorted, with separate variables for scalars, vectors and operators. First-order quantification over all three types of variable is permitted. Economy in the axioms is effected by, e.g., assigning a single logical function * to transform (i) a scalar into its complex conjugate, (ii) a ket vector into a bra and a bra into a ket, (iii) an operator into its adjoint. The system is accompanied by a formal semantics. Further papers will deal with vector subspaces and projection operators, operators with continuous spectra, tensor products, observables, and quantum mechanical probabilities.     

Quantum MV algebras

We introduce the notion of quantum MV algebra (QMV algebra) as a generalization of MV algebras and we show that the class of all effects of any Hilbert space gives rise to an example of such a structure. We investigate some properties of QMV algebras and we prove that QMV algebras represent non-idempotent extensions of orthomodular lattices.I should like to thank Prof. M.L. Dalla Chiara and Dr. P. Minari for many interesting comments and remarks. Daniele Mundici     

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete

We prove that all finitely axiomatizable tense logics with temporal operators for ‘always in the future’ and ‘always in the past’ and determined by linear fows time are coNP-complete. It follows, for example, that all tense logics containing a density axiom of the form ■ⁿ⁺¹_F p → ⁿ_F p, for some n ≥ 0, are coNP-complete. Additionally, we prove coNP-completeness of all ∩-irreducible tense logics. As these classes of tense logics contain many Kripke incomplete bimodal logics, we obtain many natural examples of Kripke incomplete normal bimodal logics which are nevertheless coNP-complete.     

Measurement and Indeterminacy in the Quantum Mechanics of Dirac

The quantum-measurement problem and the Heisenberg indeterminacy principle are presented in the language of the Dirac formulation of the quantum theory. Particularly the relationship between quantum state prior to measurement and the result of the measurement are discussed. The relation between the indeterminacy principle and the analog between quantum and classical systems is presented, showing that this principle may be discussed independently of the wave-particle duality. The importance of statistics in the treatment of many body systems is outlined and the approach to investigating God's interaction with human beings is discussed in this context. The treatment is nonmathematical.     

Quantum information in an evolutionary perspective

An approach to quantum phenomena is reviewed that deals with the possibility of their realistic interpretation in the sense that they represent manifestations of hermeneutic circles between quantum “objects” and their experimental boundary conditions. Quantum cybernetics provides an evolutionary perspective in that all higher‐level organizations like molecules, cells, living systems, etc., can be discussed under one and the same systemic viewpoint: a hermeneutic circularity between a “core” (or “nucleus") and a relevant “periphery” (or “environment") which constitutes the systems’ organization and information potential.

Generally, in realistic theories, an individual quantum system is analyzable into a local “particle‐like” nonlinearity of a generally nonlocal “wave‐like” mode of some sub‐quantum structure of the vacuum ("Dirac ether"). In this view, a “particle” can be considered as being “guided” along one specific route by the (generally nonlocal) configurations of superimposed waves, which spread along all possible paths of an experimental setup. Moreover, in the approach of Quantum Cybernetics, an additional focus is given on the fact that the energy and momentum of a particle also determine the wave behavior. Thus, “waves” and “particles” are mutually and self‐consistently defined, and Quantum Cybernetics puts particular emphasis on the circular relationship—mediated by plane waves—between a quantum system and its macroscopically defined boundary conditions.     

Divine Action and Quantum Theory

Recent articles by Nicholas Saunders, Carl Helrich, and Jeffrey Koperski raise important questions about attempts to make use of quantum mechanics in giving an account of particular divine action in the world. In response, I make two principal points. First, some of the most pointed theological criticisms lose their force if we attend with sufficient care to the limited aims of proposals about divine action at points of quantum indetermination. Second, given the current state of knowledge, it remains an open option to make theological use of an indeterministic interpretation of quantum mechanics. Any such proposal, however, will be an exploratory hypothesis offered in the face of deep uncertainties regarding the measurement problem and the presence in natural systems of amplifiers for quantum effects.     

Extended Quantum Logic

The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.