{
  "id": "oai:papers.qnfo.org:void-is-not-false",
  "slug": "void-is-not-false",
  "title": "The Void Is Not False: Recovering the Unmarked State in Logic from the Calculus of Indications",
  "authors": [
    "Rowan Brad Quni-Gudzinas"
  ],
  "abstract": "Boolean logic treats false as a primitive truth value, and classical set theory treats the empty set as a primitive object. This paper argues that both commit a foundational category error: they reify the void — the unmarked state before any distinction — into a member of the system. In the calculus of indications, the unmarked state is not a second value; it is the absence of the mark, the background against which every distinction is drawn. false is itself a mark, a positive distinction, not the void. The paper develops this critique as its defensible claim, and then outlines a reconstruction program in which negation is the act of crossing a boundary, excluded middle is a local property of clearly drawn distinctions, and re-entry produces an oscillating state that is neither true nor false. The reconstruction is labeled conjecture: its central claims are unproven, and the evidential-weight boundary between the critique and the program is stated explicitly. Claims marked [my conjecture] carry falsifiability conditions and are not presented as established results.",
  "abstract_markdown": "Boolean logic treats `false` as a primitive truth value, and classical set theory treats the empty set as a primitive object. This paper argues that both commit a foundational category error: they reify the void — the unmarked state before any distinction — into a member of the system. In the calculus of indications, the unmarked state is not a second value; it is the absence of the mark, the background against which every distinction is drawn. `false` is itself a mark, a positive distinction, not the void. The paper develops this critique as its defensible claim, and then outlines a reconstruction program in which negation is the act of crossing a boundary, excluded middle is a local property of clearly drawn distinctions, and re-entry produces an oscillating state that is neither true nor false. The reconstruction is labeled conjecture: its central claims are unproven, and the evidential-weight boundary between the critique and the program is stated explicitly. Claims marked `[my conjecture]` carry falsifiability conditions and are not presented as established results.",
  "date": "2026-08-13",
  "first_published": "2026-08-13",
  "last_revised": "2026-08-13T00:00:00Z",
  "modified": "2026-08-13T00:00:00Z",
  "version": "1.1.0",
  "version_count": 1,
  "language": "en",
  "keywords": [
    "void",
    "false",
    "calculus of indications",
    "laws of form",
    "Boolean logic",
    "unmarked state",
    "negation",
    "paraconsistent logic"
  ],
  "quality_tags": [
    "High-quality scholarly research",
    "open-access scholarly work",
    "versioned research publication"
  ],
  "quality_label": "High-quality scholarly research",
  "quality_basis": "QNFO publisher classification for open-access, versioned research with a public revision history and reader correction channel; this is not a claim of independent peer review.",
  "quality_evidence_url": "https://qnfo.org/about",
  "peer_review_status": "Not independently peer-reviewed",
  "resource_type": "ScholarlyArticle",
  "doi": null,
  "doi_url": null,
  "url": "https://papers.qnfo.org/papers/void-is-not-false",
  "license_url": "https://legal.qnfo.org/",
  "license_spdx": null,
  "sha256": "77ca612ce52c0918cdc7153c2f54ddf67027940e1dbfd8a39683e4e2a0648de3",
  "version_url": "https://papers.qnfo.org/papers/void-is-not-false/v/1.1.0",
  "datacite": {
    "schemaVersion": "http://datacite.org/schema/kernel-4",
    "identifiers": [
      {
        "identifier": "https://papers.qnfo.org/papers/void-is-not-false",
        "identifierType": "URL"
      }
    ],
    "creators": [
      {
        "name": "Rowan Brad Quni-Gudzinas",
        "nameType": "Personal",
        "nameIdentifiers": [
          {
            "nameIdentifier": "https://orcid.org/0009-0002-4317-5604",
            "nameIdentifierScheme": "ORCID",
            "schemeUri": "https://orcid.org"
          }
        ]
      }
    ],
    "titles": [
      {
        "title": "The Void Is Not False: Recovering the Unmarked State in Logic from the Calculus of Indications"
      }
    ],
    "publisher": "QNFO",
    "publicationYear": "2026",
    "resourceType": {
      "resourceTypeGeneral": "Text",
      "resourceType": "ScholarlyArticle"
    },
    "subjects": [
      {
        "subject": "void"
      },
      {
        "subject": "false"
      },
      {
        "subject": "calculus of indications"
      },
      {
        "subject": "laws of form"
      },
      {
        "subject": "Boolean logic"
      },
      {
        "subject": "unmarked state"
      },
      {
        "subject": "negation"
      },
      {
        "subject": "paraconsistent logic"
      },
      {
        "subject": "High-quality scholarly research",
        "subjectScheme": "QNFO publisher classification",
        "schemeUri": "https://qnfo.org/about"
      },
      {
        "subject": "open-access scholarly work",
        "subjectScheme": "QNFO publisher classification",
        "schemeUri": "https://qnfo.org/about"
      },
      {
        "subject": "versioned research publication",
        "subjectScheme": "QNFO publisher classification",
        "schemeUri": "https://qnfo.org/about"
      }
    ],
    "dates": [
      {
        "date": "2026-08-13",
        "dateType": "Issued"
      },
      {
        "date": "2026-08-13",
        "dateType": "Updated"
      }
    ],
    "language": "en",
    "version": "1.1.0",
    "rightsList": [
      {
        "rightsUri": "https://legal.qnfo.org/"
      }
    ],
    "descriptions": [
      {
        "description": "Boolean logic treats false as a primitive truth value, and classical set theory treats the empty set as a primitive object. This paper argues that both commit a foundational category error: they reify the void — the unmarked state before any distinction — into a member of the system. In the calculus of indications, the unmarked state is not a second value; it is the absence of the mark, the background against which every distinction is drawn. false is itself a mark, a positive distinction, not the void. The paper develops this critique as its defensible claim, and then outlines a reconstruction program in which negation is the act of crossing a boundary, excluded middle is a local property of clearly drawn distinctions, and re-entry produces an oscillating state that is neither true nor false. The reconstruction is labeled conjecture: its central claims are unproven, and the evidential-weight boundary between the critique and the program is stated explicitly. Claims marked [my conjecture] carry falsifiability conditions and are not presented as established results.",
        "descriptionType": "Abstract"
      },
      {
        "description": "Publisher quality classification: High-quality scholarly research. QNFO publisher classification for open-access, versioned research with a public revision history and reader correction channel; this is not a claim of independent peer review.",
        "descriptionType": "Other"
      },
      {
        "description": "Peer review status: Not independently peer-reviewed",
        "descriptionType": "Other"
      }
    ],
    "formats": [
      "text/html"
    ]
  }
}