The Void Is Not False: Recovering the Unmarked State in Logic from the Calculus of Indications

In the paper's words

A critique-first paper: Boolean logic and set theory reify the void (the unmarked state) into false and the empty set, committing a category error; false is a mark, the void is not a value. A reconstruction program (distinction-logic with inside/outside/oscillating states) is labeled conjecture with falsifiability conditions.

The abstract, verbatim, and its opening sentence is the claim. Every line below is quoted from the text.

Numbers it reports

No sentence of this paper reports a figure with a unit or a quantity word, so none is shown.

How it is done

1. The strategic position of the paper is therefore: the critique stands now; the reconstruction is a program with a clear proof obligation.

   from 7. Discussion and Limits

What would falsify it

1. Claims marked [my conjecture] carry falsifiability conditions and are not presented as established results.

   from Abstract

2. Section 5 outlines the reconstruction program — a logic of distinctions with inside, outside, and oscillating states — and labels its central conjectures with falsifiability conditions.

   from 1. Introduction

3. The void is not a thing. [my conjecture — the interpretive claim] This claim is disconfirmed if a formal account is produced in which the unmarked state functions as a member of a system without any marking operation — i.e., absence is a value prior to any act of indication.

   from 2. The Unmarked State and Its Reification

Where the claim stops

1. The critique does not depend on the reconstruction program.

   from 7. Discussion and Limits

2. Until they are proven, they carry zero evidential weight as a new logic: the framework was built to produce oscillation, so producing it is not yet evidence.

   from 7. Discussion and Limits

3. They are not established results and are not presented as evidence; the evidential-weight gate applied in Section 7 blocks them.

   from 5. The Reconstruction Program: A Logic of Distinctions

Where to read

1. Abstract186 words · 1 min
2. 1. Introduction193 words · 1 min
3. 2. The Unmarked State and Its Reification188 words · 1 min
4. 3. Laws of Form as a Logic of Crossing112 words · 1 min
5. 4. The Category Error (the Critique)293 words · 1 min
6. 5. The Reconstruction Program: A Logic of Distinctions344 words · 1 min
7. 6. Boolean Logic as the Static Restriction106 words · 1 min
8. 7. Discussion and Limits207 words · 1 min
9. 8. Conclusion92 words · 1 min
10. Declarations130 words · 1 min