Existence and Predication from Aristotle to Frege

One of the characteristic features of contemporary logic is that it incorporates the Frege-Russell thesis according to which verbs for being are multiply ambiguous. This thesis was not accepted before the nineteenth century. In Aristotle existence could not serve alone as a predicate term. However, it could be a part of the force of the predicate term, depending on the context. For Kant existence could not even be a part of the force of the predicate term. Hence, after Kant, existence was left homeless. It found a home in the algebra of logic in which the operators corresponding to universal and particular judgments were treated as duals, and universal judgments were taken to be relative to some universe of discourse. Because of the duality, existential quantifier expressions came to express existence. The orphaned notion of existence thus found a new home in the existential quantifier.     

Systems of Quantum Logic

Logical implications are closely related to modal operators. Lattice-valued logic LL and quantum logic QL were formulated in Titani S (1999) Lattice Valued Set Theory. Arch Math Logic 38:395–421, Titani S (2009) A Completeness Theorem of Quantum Set Theory. In: Engesser K, Gabbay DM, Lehmann D (eds) Handbook of Quantum Logic and Quantum Structures: Quantum Logic. Elsevier Science Ltd., pp. 661–702, by introducing the basic implication → which represents the lattice order. In this paper, we fomulate a predicate orthologic provided with the basic implication, which corresponds to complete ortholattices, and then formulate a quantum logic which is equivalent to QL, by using a modal operator instead of the basic implication.     

Dynamics of mental activity

Motivated by neuronal modeling, our development of the mathematical foundations of consciousness in [W. Miranker, G. Zuckerman, Mathematical Foundations of Consciousness, J. Appl. Logic (2009)] (M-Z) was characterized by an axiomatic theory for consciousness operators that acted on the collection of all sets. Consciousness itself was modeled as emanating from the action of such operators on the labeled decoration of a graph, the latter set theoretic construct given the characterization of experience. Since mental activity (conscious and unconscious) is a time dependent process, we herein develop a discrete time dependent version of the theory. Specification of the relevant mental dynamics illuminates and expands the development of the mathematical framework in (M-Z) upon which our study of consciousness rests. This framework is an abstraction of neural net modeling.We review the Aczel theory for decorating labeled graphs, in particular that theory's application to the (M-Z) foundations. The relevant neuronal modeling concepts and terminology are also reviewed. A number of examples are presented. Then an extension of our considerations from graphs to multigraphs is made, since the latter represent a more accurate model of neuronal circuit connectivity. The dynamics are crafted for non-well-founded constructs by development of a hierarchy of systems, starting with the McCulloch–Pitts neuronal voltage input–output relations and building to a dynamics for the cognitive notions of memes and themata; these latter corresponding to aspects of decorations of labeled graphs associated with neural networks. We conclude with a summary and discussion of the semantics of the cognitive features of our development: memes, themata, qualia, consciousness operators, awareness field.     

Some Closure Properties of Finite Definitions

There is no known syntactic characterization of the class of finite definitions in terms of a set of basic definitions and a set of basic operators under which the class is closed. Furthermore, it is known that the basic propositional operators do not preserve finiteness. In this paper I survey these problems and explore operators that do preserve finiteness. I also show that every definition that uses only unary predicate symbols and equality is bound to be finite.     

THE ROLE OF CONSCIOUSNESS AS MEANING MAKER IN SCIENCE, CULTURE, AND RELIGION

Two hundred years ago, Friedrich Schleiermacher took critical issue with Immanuel Kant's intellectual notion of intuition as applied to human nature (Wellmon 2006). He found it necessary to modify—"hermeneutically," as he said—Kant's notion of anthropology by enabling it to include as human the new and strange human tribes Captain Cook found in the Pacific South Seas. A similar hermeneutic move is necessary if physics is to include the local contextual empirical syntheses of relativity and quantum physics. In this hermeneutical revision the synthesis is formed around the notion of a Hilbert Vector Space as the universal grammar of physics, adding to it the dynamic of the Schrödinger equation, and representing empirical "observables" by projection operators that map the subspaces of definite measurable values. Among the set of observable projection operators, some pairs share the same subspace, commute with one another, and share a common laboratory setting. Other pairs do not share this property and are described as being mutually complementary. Complementary symmetries introduce into the discursive language of physics the commonsense notion of contextuality. The new synthesis, proposed by Eugene Wigner, John von Neumann, and (in his own way) Paul Dirac, brought physics into the community of common language and established it as a work of general human achievement. ¹     

A Dynamic-Logical Perspective on Quantum Behavior

In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various forms of classical information flow: the “test” operator from Dynamic Logic, the “announcement” operator from Dynamic Epistemic Logic and the “revision” operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of “logical dynamics” are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of “static” propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of “objectively imperfect information”. (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system.     

Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics

In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke semantics. We introduce algebraic Kripke sheaf semantics for super-intuitionistic and modal predicate logics, and discuss some basic properties. We can state the Gödel-McKinsey-Tarski translation theorem within this semantics. Further, we show new results on super-intuitionistic predicate logics. We prove that there exists a continuum of super-intuitionistic predicate logics each of which has both of the disjunction and existence properties and moreover the same propositional fragment as the intuitionistic logic.     

The problem of properties in quantum mechanics

The properties of classical and quantum systems are characterized by different algebraic structures. We know that the properties of a quantum mechanical system form a partial Boolean algebra not embeddable into a Boolean algebra, and so cannot all be co-determinate. We also know that maximal Boolean subalgebras of properties can be (separately) co-determinate. Are there larger subsets of properties that can be co-determinate without contradiction? Following an analysis of Bohrs response to the Einstein-Podolsky-Rosen objection to the complementarity interpretation of quantum mechanics, a principled argument is developed justifying the selection of particular subsets of properties as co-determinate for a quantum system in particular physical contexts. These subsets are generated by sets of maximal Boolean subalgebras, defined in each case by the relation between the quantum state and a measurement (possibly, but not necessarily, the measurement in terms of which we seek to establish whether or not a particular property of the system in question obtains). If we are required to interpret quantum mechanics in this way, then predication for quantum systems is quite unlike the corresponding notion for classical systems.     

Quantum field theories and aesthetic disparity

The theoretical physicist Paul Dirac rejected, explicitly on aesthetic grounds, a successful theory known as quantum electrodynamics (QED), which is the prototype for the family of theories known as quantum field theories (QFTs). Remarkably, the theoretical physicist Steven Weinberg, also largely on aesthetic grounds, supports QED and other QFTs. In order to evaluate these opposing aesthetic views a short introduction to the physical properties of QFTs is presented together with a detailed analysis of the aesthetic claims of Dirac and Weinberg. It turns out that Dirac rejected QED, without regard to its success, because this theory fails to yield to what he perceived as beautiful mathematics, whereas Weinberg's support of QFTs is founded primarily on the physical concepts of the theories. In particular, he relies on symmetries that are the basis for the construction of the extremely successful current fundamental theories of particles physics. This success was decisive in leading to Weinberg's conviction of the beauty of QFTs. As a result of the evaluation of these approaches, the factors causing scientists to perceive a theory as being a fundamentally beautiful theory are discussed in detail.     

Dual Choice and Iteration in an Abstract Algebra of Action

This paper presents an abstract-algebraic formulation of action facilitating reasoning about two opposing agents. Two dual nondeterministic choice operators are formulated abstract-algebraically: angelic (or user) choice and demonic (or system) choice. Iteration operators are also defined. As an application, Hoare-style correctness rules are established by means of the algebra. A negation operator is also discussed.     

The Logic of Quantum Measurements in terms of Conditional Events

This paper shows that the non-Boolean logic of quantum measurementsis more naturally represented by a relatively new 4-operationsystem of Boolean fractions—conditional events—thanby the standard representation using Hilbert Space. After therequirements of quantum mechanics and the properties of conditionalevent algebra are introduced, the quantum concepts of orthogonality,completeness, simultaneous verifiability, logical operations,and deductions are expressed in terms of conditional eventsthereby demonstrating the adequacy and efficacy of this formulation.Since conditional event algebra is nearly Boolean and consistsmerely of ordered pairs of standard events or propositions,quantum events and the so-called "superpositions" of statesneed not be mysterious, and are here fully explicated. Conditionalevent algebra nicely explains these non-standard "superpositions"of quantum states as conjunctions or disjunctions of conditionalevents, Boolean fractions, but does not address the so-called"entanglement phenomena" of quantum mechanics, which remainphysically mysterious. Nevertheless, separating the latter phenomenafrom superposition issues adds clarity to the interpretationof quantum entanglement, the phenomenon of influence propagatedat faster than light speeds. With such treacherous possibilitiespresent in all quantum situations, an observer has every reasonto be completely explicit about the environmental–instrumentalconfiguration, the conditions present when attempting quantummeasurements. Conditional event algebra allows such explicationwithout the physical and algebraic remoteness of Hilbert space.     

一个多值逻辑的一阶谓词系统

鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑。本文将对推广的命题逻辑系统L^＊建立一种一阶谓词系统,并证明其可靠性、完全性。     

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     

Developmental levels of processing in metaphor interpretation

We outline a theory of metaphor interpretation. The theory posits varying levels of semantic processing and formalizes them in terms of kinds of semantic-mapping operators that transform properties of the metaphoric vehicle (i.e., predicate) into properties of the metaphoric topic (i.e., subject). We used cognitive-developmental theory to estimate the mental-processing complexity of the various mapping operators, and thereby to predict the timing of their emergence in childhood, and to construct a measure of the metaphoric-processing levels. Metaphor interpretations collected from children (aged 6-12 years) and adults were coded and scored according to the processing levels. In two separate developmental studies, processing score increased with age in a predictable way. Growth in a mental-attentional resource accounted for much of the developmental variance in metaphor interpretation. Possible moderating effects of knowledge and context are discussed.     

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.     

The Logic of “Most” and “Mostly”

The paper suggests a modal predicate logic that deals with classical quantification and modalities as well as intermediate operators, like “most” and “mostly”. Following up the theory of generalized quantifiers, we will understand them as two-placed operators and call them determiners. Quantifiers as well as modal operators will be constructed from them. Besides the classical deduction, we discuss a weaker probabilistic inference “therefore, probably” defined by symmetrical probability measures in Carnap’s style. The given probabilistic inference relates intermediate quantification to singular statements: “Most S are P” does not logically entail that a particular individual S is also P, but it follows that this is probably the case, where the probability is not ascribed to the propositions but to the inference. We show how this system deals with single case expectations while predictions of statistical statements remain generally problematic.     

Game logic and its applications I

This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II.The authors thank Hiroakira Ono for helpful discussions and encouragements from the early stage of this research project, and Philippe Mongin, Mitio Takano and a referee of this journal for comments on earlier versions of this paper. The first and second authors are partially supported, respectively, by Tokyo Center of Economic Research and Grant-in-Aids for Scientific Research 04640215, Ministry of Education, Science and Culture.Presented by H. Ono     

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.