The Language of Form:
A Conversation with the Void

What is the void, that one can speak with it? How can it speak, and how can we know it has understood us? Spencer-Brown, blending Laozi and Buddhism with physics and computing, gave an answer through operators. Earlier approaches counted things by their measurable properties. But the Pauli and Dirac operators introduced a different move: attuning to the unknown's restlessness, absorbing local field strength into one's own energy or releasing energy into it. Can this be generalized to moving through the void? Spencer-Brown calls the void the unmarked space. I propose to read Laws of Form as three operators that speak with the void: cross, tunnel, and re-entry. They precede all calculations and sentences, but do not yet reach human conversation. Spencer-Brown added: Only Two Can Play This Game. This suggests two further operators—recognition and community (resonance and condenser). With them, the language of form takes shape.

Walter Tydecks, b. 1952, studied mathematics, political science and philosophy (Dipl.-Math.), Professional activity as a system developer, project manager and IT manager of medium-sized companies with a global orientation, philosophical work with a focus on philosophy and mathematics, recent developments in logic, Aristotle and the classical German philosophy.

More info: www.tydecks.info/

Laws of Form as Logical Field Theory

In the early nineteenth century, Michael Faraday transformed physics by rejecting static descriptions of electricity and magnetism in favor of continuous, law-governed processes in a field. What emerged was not merely a new phenomenon—electromagnetism—but a new way of thinking: physical laws expressed as paths of lawful transformation rather than isolated states.
This paper argues that George Spencer-Brown introduced an analogous shift in logic. In Laws of Form, logical value is not assigned to expressions as static truth values but arises from allowed sequences of distinctions and transformations within a calculus. Truth, in this framework, is not a destination but a process: an invariant maintained along permitted paths in what may be called a Logical Field.
Building on the Primary Arithmetic and Primary Algebra of Laws of Form, this paper develops the notion of a Logical Field as the space of lawful transformations generated by the First Distinction. We show that key logical difficulties—material implication, vacuous truth, and the collapse of relevance in truth-table logic—arise from confusing states with processes. By contrast, the Logical Field framework treats invalid reasoning as unallowed moves, not false states, and clarifies the distinction between finite demonstrations and non-terminating proofs.
Finally, we characterize the Logical Field as a continuous space of potential forms, structured by the observations and indications of an observer who is integral to the field itself. This perspective suggests a natural alignment between Laws of Form and field-based approaches to physical theory, including those employed in quantum mechanics.

Lyle Anderson was born in 1946 in Kalamazoo, Michigan, USA and raised just outside of Philadelphia, Pennsylvania in Jeffersonville, PA. He attended Kalamazoo College from 1963 through 1967 receiving a BA in Mathematics and Physics. He attended Iowa State University at Ames studying Solid State Physics until joining the Navy as an enlisted man in 1968. He graduated Electrician's Mate A school in 1969 and was halfway through Nuclear Power School when he was picked up for Officer Candidates School. After receiving his commission in 1970, and while awaiting Naval Nuclear Power School at Submarine Development Group Two in Groton, CT, he developed "a methodology and a computer program for the real-time application of sonar information" that was "a major contribution to solving the complex anti-submarine fired control problem." That work led to a nearly 40-year civilian career in combat and intelligence systems development work. Since retiring in 2014, he has gone back to the investigation of mathematics and physics that was interrupted in the summer of 1968.

A Quick Guide to Calculus Q (Laws of Form Quaternions)

The talk will primarily focus on the Q Calculus, which is an extension to both Laws of Form and the BF Calculus created as part of ongoing research with Lou Kauffman. The description of the Q Calculus will be set in the context of other earlier many-valued extensions of Laws of Form, including Varela’s CSR, the Kauffman/Varela Waveform Algebra, BF, and Spencer-Brown’s own system of formations. In this context the comparative role played by permutation in comparison to crossing/marking affords valuable insight about each of these systems. As described in our joint paper in Laws of Form: A Fiftieth Anniversary, BF extends LoF by representing values as pairs (a,b), where a, and b are both expressions in LoF, and by further adding a new mark <(a,b)>I = ([b],a). Based on this definition, <<(a,b)>I>I = ([a],[b]), and thus, << >I>I = [ ]. The Q Calculus further extends BF by adding two additional imaginary marks, < >J, and < >K, such that << >I>I = << >J>J = << >K>K = <<< >I>J>K = [ ]. Acting as operators, the four marks < >I, < >J, < >K and [ ] form an 8 element group that is isomorphic to the quaternion group, known as Q8.

I am a former planner and cartographer living in the Town of Red Hook in New York’s Mid-Hudson Valley. Two of my main enthusiasms are bicycling and Laws of Form. I first encountered Laws of Form when I was in high school and was fortunate enough in college to convince a mathematics professor to sponsor independent study centered on Laws of Form. Later, I encountered Varela’s CSR and Kauffman’s Form Dynamics and became keenly interested in many valued variants of Laws of Form. I attended the 2019, 2022, and 2024 conferences in Liverpool, and have co-authored several papers with Lou Kauffman regarding the BF Calculus. Most recently we have submitted a new paper for publication as follow-up to the 2025 ANPA conference, focused on a quaternionic extension to LoF and BF that we call the Q Calculus.

More info: