The Semantics Differentiation of Minds and Machines

This is Chapter 7 from my book: Ellerman, David. 1995. Intellectual Trespassing as a Way of Life: Essays in Philosophy, Economics, and Mathematics. Lanham MD: Rowman & Littlefield.

The watershed event in the philosophy of mind (particularly as it relates to artificial intelligence or AI) during the last decade was John Searle’s 1980 article “Minds, Brains and Programs.”  This chapter was written about the same time and independently of Searle’s but it was updated in 1985 to take Searle’s work into account.  Searle’s exposition was based on his now-famous “Chinese Room Argument”—an intuition pump that boils down to a nontechnical explanation of the difference between syntax (formal symbol manipulation) and semantics (using symbols based on their intended interpretation).  Searle argues, in opposition to “hard AI,” that computers can at best only simulate but never duplicate minds because computers are inherently syntactical (symbol manipulators) while the mind is a semantic device. 

The syntax-semantics distinction is hardly new; it was hammered out in philosophical logic during the first part of this century and it is fundamental in computer science itself.  The purpose of our paper is to analyze the minds-machines question using simple arguments based on the syntax-semantics distinction from logic and computer science (sans “Chinese Room”).  I arrive at essentially the same results as Searle—with some simplification and sharpening of the argument for readers with some knowledge of logic or computer science.

Double-Entry Bookkeeping: Mathematical Formulation and Generalization

This is Chapter 6 from my book: Ellerman, David. 1995. Intellectual Trespassing as a Way of Life: Essays in Philosophy, Economics, and Mathematics. Lanham MD: Rowman & Littlefield.

The essay on double-entry bookkeeping (DEB) is intellectually interesting for several reasons in spite of the well-known soporific aspects of bookkeeping.  Several of the essays in the volume explicitly employ the analogy between additive and multiplicative operations (i.e., the common group-theoretic properties of additive groups of numbers and multiplicative groups of nonzero numbers).  For instance, given the system of multiplying whole numbers or integers, there is no operation inverse to multiplication (i.e., there is no division).  But there is a standard method of enlarging the system to allow division.  Consider pairs of whole numbers a/b (with b ¹ 0) and define multiplication in the obvious way: (a/b)(c/d) = (ac)/(bd).  These ordered pairs of integers are the “fractions” and they allow the operation of division (“multiply by the reciprocal”).

Now substitute addition for multiplication.  We start with the additive system of positive numbers along with zero (i.e., the non-negative numbers) where is no inverse operation to addition (i.e., there is no subtraction).  To enlarge the domain of non-negative numbers to include subtraction, consider ordered pairs [a // b] and define addition in the analogous way: [a // b] + [c // d] = [a+c // b+d].  This enlarged system of additive operations on ordered pairs of non-negative numbers allows subtraction (“add on the reversed pair”).  The origin of the intellectual trespassing into DEB was the observation that these ordered pair were simply the T-accounts of DEB.

Aside from illustrating the interplay of additive-multiplicative themes, the essay illustrates one of the most astonishing examples of intellectual insulation between disciplines, in this case, between accounting and mathematics.  Double-entry bookkeeping was developed during the fifteenth century and was first recorded as a system by the Italian mathematician Luca Pacioli in 1494.  Double-entry bookkeeping has been used as the accounting system in market-based enterprises of any size throughout the world for several centuries.  Incredibly, however, the mathematical basis for DEB is not known, at least not in the field of accounting. 

A Basic Duality in the Exact Sciences: Application to QM

This approach to interpreting quantum mechanics is not another jury-rigged or ad-hoc attempt at the interpretation of quantum mechanics but is a natural application of the fundamental duality running throughout the exact sciences.

A Pedagogical Model of Quantum Mechanics Over Sets

The new approach to quantum mechanics (QM) is that the mathematics of QM is the linearization of the mathematics of partitions (or equivalence relations) on a set. This paper develops those ideas using vector spaces over the field Z2 = {0.1} as a pedagogical or toy model of (finite-dimensional, non-relativistic) QM.

New Logic & New Approach to QM

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting it the other way around, the math of partitions is a skeletal version of the math of QM.

Heteromorphic Approach to Adjunctions

Saunders Mac Lane famously remarked that “Bourbaki just missed” formulating adjoints in a 1948 appendix (written no doubt by Pierre Samuel) to an early draft of Algebre–which then had to wait until Daniel Kan’s 1958 paper on adjoint functors. But Mac Lane was using the orthodox treatment of adjoints that only contemplates the object-to-object morphisms […]

The new partitional approach to (literally) interpreting quantum mechanics

This paper presents a new `partitional’ approach to understanding or interpreting standard quantum mechanics (QM). The thesis is that the mathematics (not the physics) of QM is the Hilbert space version of the math of partitions on a set and, conversely, the math of partitions is a skeletonized set level version of the math of QM.

“Follow the Math” Preprint

The slogan “Follow the money” means that finding the source of an organization’s or person’s money may reveal their true nature. In a similar sense, we use the slogan “Follow the math!” to mean that finding “where the mathematics of QM comes from” reveals a good deal about the key concepts and machinery of the theory.

Partitions, Objective Indefiniteness, and Quantum Reality

  This paper, published in the International Journal for Quantum Foundations, is a shorter introductory paper following up on my recent “Follow the Math!” paper in the Foundations of Physics. The point is to show that the mathematics of QM is the vector (Hilbert) space version of the mathematics of partitions at the set level. […]

Abstraction in Math and Superposition in QM

Abstraction turns equivalence into identity, but there are two ways to do it. The goal is to use the second notion of abstraction to shed some light on the notion of an inde…finite superposition in quantum mechanics.