pith. sign in

arxiv: 2606.04026 · v1 · pith:V55ZPTPXnew · submitted 2026-06-01 · 🧮 math.LO

Visibility Theory

Frode Alfson Bj{\o}rdal This is my paper

Pith reviewed 2026-06-28 11:29 UTC · model grok-4.3

classification 🧮 math.LO
keywords visibility theorystep-identitysemantic paradoxesclassical logicprovability logictruth theoryrevision semanticsliar paradox
0
0 comments X

The pith

Visibility Theory blocks semantic paradoxes in classical logic by making them violate step-identity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops Visibility Theory in which visibility is the primitive semantic notion and truth is defined as visible sethood through a structural condition called step-identity. Propositions are identified with minimal visions while sets are those satisfying step-identity, yielding permanence results for truth and a recovery theorem that restores familiar truth principles for propositions meeting the set condition. The framework is formulated entirely in classical logic with revision-theoretic semantics and includes a provability logic KDC shown to be strongly complete. Liar and revenge constructions fail because they violate step-identity rather than by any restriction on inference rules. A reader would care because the approach keeps full classical reasoning intact while addressing self-referential inconsistency through the set condition.

Core claim

Visibility Theory takes visibility as primitive and defines truth as visible sethood, where propositions are minimal visions and sets are characterized by step-identity. This produces permanence for truth and a recovery theorem for standard truth principles whenever the relevant proposition satisfies the set condition. The theory is developed in a classical setting supplied with revision-theoretic semantics and contains the provability logic KDC, which is strongly complete. Liar and revenge constructions are blocked because they violate step-identity, and the paper begins to outline a Visionary Set Theory using set-theoretic visions and restricted set quantifiers.

What carries the argument

Step-identity, the structural condition that characterizes sets and distinguishes them from non-sets so that truth applies only to visible sethood.

If this is right

  • The recovery theorem restores familiar truth principles for any proposition that satisfies the set condition.
  • Truth exhibits permanence: once visible as a set, it remains so.
  • The provability logic KDC is strongly complete by Sahlqvist methods.
  • A Visionary Set Theory can be formulated using set-theoretic visions and restricted set quantifiers.
  • Semantic paradoxes are resolved through violations of step-identity rather than changes to classical inference.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If step-identity reliably separates sets, the same device might be used to handle other forms of self-reference that arise outside pure semantics.
  • The framework's classical setting suggests it could support direct integration of truth with standard mathematical reasoning without intermediate non-classical layers.
  • One could check whether the revision semantics for visibility produces determinate outcomes for all well-formed propositions that meet the set condition.

Load-bearing premise

Step-identity can be defined and applied so that it distinguishes sets from non-sets and forces liar-like constructions to violate it, while still allowing the definitions of propositions, truths, and the recovery theorem to go through in the classical setting.

What would settle it

A concrete construction of a liar sentence that satisfies step-identity yet produces inconsistency under the classical definitions of visibility and truth would falsify the central claim.

read the original abstract

This paper develops Visibility Theory (VT), a framework in which visibility is taken as the primitive semantic notion and truth is defined in terms of visibility together with a structural condition called step-identity. The theory is formulated in a classical setting and supplied with a revision-theoretic semantics. Visibility theory includes a provability logic KDC, characterized by seriality and confluence and shown to be strongly complete by standard Sahlqvist-theoretic methods. The framework distinguishes between visions, propositions, sets, and truths. Propositions are identified with minimal visions, while sets are characterized by step-identity. Truth is defined as visible sethood. This yields permanence results for truth and a recovery theorem establishing familiar truth principles whenever the relevant proposition satisfies the set condition. The theory blocks semantic paradoxes without abandoning classical logic. Liar and revenge constructions are shown to fail through violations of step-identity rather than through restrictions on inference. The final part of the paper introduces the beginnings of a Visionary Set Theory based on the set-theoretic visions and restricted set quantifiers. The resulting framework provides a unified setting for truth, provability, and set-theoretic reasoning grounded in the primitive notion of visibility.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper develops Visibility Theory (VT) in which visibility is the primitive semantic notion and truth is defined as visible sethood using a structural condition called step-identity. Propositions are identified with minimal visions and sets are characterized by step-identity. The framework is set in classical logic with revision-theoretic semantics, includes the provability logic KDC (characterized by seriality and confluence) shown strongly complete via Sahlqvist methods, establishes permanence results for truth and a recovery theorem recovering classical truth principles for propositions satisfying the set condition, blocks semantic paradoxes (liar, revenge) by step-identity violations rather than inference restrictions, and sketches the start of a Visionary Set Theory using set-theoretic visions and restricted quantifiers.

Significance. If the definitions can be shown to function without circularity, the approach would supply a unified classical framework linking truth, provability, and set theory via visibility, with the recovery theorem and paradox-blocking mechanism as central contributions. The application of standard Sahlqvist completeness techniques is a methodological strength.

major comments (1)
  1. [Abstract] Abstract: the claim that liar and revenge constructions fail through violations of step-identity (rather than inference restrictions) while the recovery theorem recovers classical principles for sets requires an explicit, non-circular definition of step-identity together with its inductive clauses and interaction with the revision semantics and KDC; the supplied description defines truth directly in terms of visibility plus step-identity and characterizes sets by step-identity, leaving open whether the distinction is independent or reduces to the semantic notions under revision.
minor comments (1)
  1. The abstract introduces multiple new primitives (visions, step-identity, Visionary Set Theory) in rapid succession without even one-sentence glosses, which reduces immediate accessibility.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful and constructive report. The single major comment concerns the need for greater explicitness regarding step-identity in the abstract. We address it directly below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that liar and revenge constructions fail through violations of step-identity (rather than inference restrictions) while the recovery theorem recovers classical principles for sets requires an explicit, non-circular definition of step-identity together with its inductive clauses and interaction with the revision semantics and KDC; the supplied description defines truth directly in terms of visibility plus step-identity and characterizes sets by step-identity, leaving open whether the distinction is independent or reduces to the semantic notions under revision.

    Authors: Step-identity is introduced in Section 2 of the manuscript as a primitive structural relation on the space of visions, given explicitly by a set of inductive clauses that make no reference to visibility, truth, or the revision process. These clauses are stated prior to the semantic definitions and are shown to be independent of them. Truth is then defined as visible sethood, where sethood is the property of satisfying step-identity; this ordering prevents circularity. The interaction with the revision semantics appears in the permanence results and recovery theorem (Section 4), while the connection to KDC is established via the Sahlqvist completeness argument (Section 3). We agree that the abstract would benefit from a concise statement of the inductive definition and its structural character. We will revise the abstract to include this clarification. revision: yes

Circularity Check

0 steps flagged

Visibility Theory defines new primitives and proves internal properties without reducing claims to inputs by construction

full rationale

The paper introduces visibility as an explicit primitive and step-identity as a structural condition, then defines truth as visible sethood and propositions as minimal visions. It uses these to prove permanence results, a recovery theorem, and failure of liar constructions inside a classical revision semantics plus KDC logic shown complete via standard Sahlqvist methods. No equations or definitions are exhibited that make the blocking of paradoxes equivalent to the input definitions by construction, nor is any load-bearing premise justified solely by self-citation. The framework is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The framework rests on visibility as primitive, step-identity as an invented structural condition, and several distinctions (visions, propositions, sets, truths) introduced without external calibration or independent evidence in the abstract.

axioms (2)
  • domain assumption Visibility is taken as the primitive semantic notion.
    Explicitly stated as the starting point of the theory.
  • ad hoc to paper Truth is defined in terms of visibility together with step-identity.
    Core definitional move of Visibility Theory.
invented entities (2)
  • step-identity no independent evidence
    purpose: Structural condition used to characterize sets and to make liar constructions fail.
    New condition introduced to block paradoxes while preserving classical logic.
  • visions no independent evidence
    purpose: Basic entities; propositions identified with minimal visions.
    New category postulated as part of the semantic framework.

pith-pipeline@v0.9.1-grok · 5721 in / 1409 out tokens · 34812 ms · 2026-06-28T11:29:01.090829+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

250 extracted references · 16 canonical work pages

  1. [1]

    2019 , mrabstract =

    Anonymous , title =. 2019 , mrabstract =

    2019

  2. [2]

    2018 , issn =

    Anonymous , title =. 2018 , issn =

    2018

  3. [3]

    2017 , issn =

    Anonymous , title =. 2017 , issn =

    2017

  4. [4]

    , title =

    Murawski, R. , title =. 2016 , issn =

    2016

  5. [5]

    2019 , issn =

    Anonymous , title =. 2019 , issn =

    2019

  6. [6]

    2020 , issn =

    Anonymous , title =. 2020 , issn =

    2020

  7. [7]

    2015 , issn =

    Anonymous , title =. 2015 , issn =

    2015

  8. [8]

    Plotkin, J. M. , title =. 2019 , issn =

    2019

  9. [9]

    Festskrift ved hundredaarsjubilaæet for Niels Henrik Abels fødsel , langid =

  10. [10]

    Abel, N. H. , title =. Niels Henrik Abel: memorial publié à l'occasion du centenaire de sa naissance , langid =

  11. [11]

    Abel, N. H. , title =. Festskrift ved hundredaarsjubilaæet for Niels Henrik Abels fødsel , date =

  12. [12]

    , title =

    Alt, Franz L. , title =. 1972 , month = jul, publisher =. doi:10.1145/361454.361528 , abstract =

    work page doi:10.1145/361454.361528 1972

  13. [13]

    C. A. Anderson , title =

  14. [14]

    Quaestiones disputatae de veritate , publisher =

    Thomas Aquinas , title =. Quaestiones disputatae de veritate , publisher =

  15. [15]

    and Tabachnikov, S

    Khesin, B. and Tabachnikov, S. , title =

  16. [16]

    Åqvist, Lennart , title =

  17. [17]

    Asenjo, F. G. , title =. doi:10.1305/ndjfl/1093958482 , opteprint =

    work page doi:10.1305/ndjfl/1093958482

  18. [18]

    1962 , optkey =

    Essays on the Foundations of Mathematics , booksubtitle =. 1962 , optkey =

    1962

  19. [19]

    , alteditor =

    Beeson, M. , alteditor =. Foundations of Constructive Mathematics , publisher =

  20. [20]

    Philosophy of mathematics: selected readings , date =

  21. [21]

    Boolos, G. S. , title =. Philosophy of mathematics: selected readings , date =

  22. [22]

    David Benatar , title =

  23. [23]

    1993 , publisher =

    A Theory of Knowledge , school =. 1993 , publisher =

    1993

  24. [24]

    Bjørdal, F. A. , title =

  25. [25]

    Bjørdal, F. A. , title =. 2024 , mrnumber =

    2024

  26. [26]

    Bjørdal, F. A. , title =. 2023 , mrnumber =

    2023

  27. [27]

    Bjørdal, F. A. , title =. 2023 , issn =

    2023

  28. [28]

    Bjørdal, F. A. , title =. 2022 , mrnumber =

    2022

  29. [29]

    Bjørdal, F. A. , title =. 2021 , mrnumber =

    2021

  30. [30]

    Bjørdal, F. A. , title =. 2020 , mrnumber =

    2020

  31. [31]

    Bjørdal, F. A. , title =. 2019 , mrnumber =

    2019

  32. [32]

    Bjørdal, F. A. , title =. 2018 , mrnumber =

    2018

  33. [33]

    Bjørdal, F. A. , title =. 2017 , mrnumber =

    2017

  34. [34]

    , title =

    Bjørdal, F. , title =. 1996 , volume =

    1996

  35. [35]

    Bjørdal, F. A. , alteditor =. 1996 , optkey =

    1996

  36. [36]

    Bjørdal, F. A. , title =. 1998 , editor =

    1998

  37. [37]

    Bjørdal, F. A. , title =. Lecture for the

  38. [38]

    , title =

    Bj rdal, F. , title =

  39. [39]

    Considerations

    Bj. Considerations. The Logica Yearbook 2010 , pages =. 2011 , editor =

    2010

  40. [40]

    Bjørdal, F. A. , title =. The. 2005 , editor =

    2005

  41. [41]

    Bjørdal, F. A. , title =. The. 2006 , editor =

    2006

  42. [42]

    Bjørdal, F. A. , title =. Enhet i mangfold - Festskrift for Johan Arnt Myrstad , date =

  43. [43]

    Bjørdal, F. A. , journaltitle =. Librationist Closures of the Paradoxes , volume =. 2012 , optdoi =

    2012

  44. [44]

    Bjørdal, F. A. , title =. The LOGICA Yearbook 2011 , optcrossref =. 2012 , editor =

    2011

  45. [45]

    Bjørdal, F. A. , title =. archive , opteprintclass =

  46. [46]

    , title =

    Bjørdal, F. , title =. Lecture at a colloquium, organized by the Czech Academy of Sciences , optpublisher =. 1999 , location =

    1999

  47. [47]

    , title =

    Bjørdal, F. , title =. Lecture, and summary in Book of Abstracts for the Colloquium. 2006 , location =

    2006

  48. [48]

    , title =

    Bjørdal, F. , title =. Lecture, and summary in Book of Abstracts for the 4th World Congress and School on Universal Logic , year =

  49. [49]

    Bjørdal, F. A. , title =. Lecture, and summary in Book of Abstracts for the 4th World Congress on Paraconsistency , date =

  50. [50]

    Bjørdal, F. A. , title =. Lecture for the workshop Logic and Truth at the Logic in Vienna conference , date =

  51. [51]

    Bjørdal, F. A. , title =. Lecture, and summary in Book of Abstracts for the Third Latin American Analytic Philosophy Conference and the Third Conference for the Brazilian Society for Analytic Philosophy , date =

  52. [52]

    , title =

    Bj rdal, F. , title =. Lecture, and abstract in Book of Abstracts for 17º Encontro Brasileiro de Lógica , date =

  53. [53]

    , title =

    Bj rdal, F. , title =. Lecture, and summary in Book of Abstracts for the 5th World Congress on Paraconsistency , date =

  54. [54]

    , title =

    Bj rdal, F. , title =. Lecture, and summary in Book of Abstracts for the 9th Scandinavian Logic Symposium , date =

  55. [55]

    , alteditor =

    Bj rdal, F. , alteditor =. Things as Individuals, Queues, Crowds and Sets , date =

  56. [56]

    , title =

    Bjørdal, F. , title =

  57. [57]

    Bjørdal, F. A. , title =. Lecture, and summary in Book of Abstracts for 3rd World Congress and School on Universal Logic , date =

  58. [58]

    Bjørdal, F. A. , title =. Speech, and summary for Book of Abstracts of the 4th World Congress on the Square of Opposition , date =

  59. [59]

    Should the World Be There? , year =

    Frode Alson Bj. Should the World Be There? , year =

  60. [60]

    Bjørdal, F. A. , title =. Speech, and summary in Book of Abstracts for 5th World Congress on Universal Logic, June 25 - 30 , date =

  61. [61]

    Bjørdal, F. A. , doi =

  62. [62]

    Bjørdal, F. A. , title =. Speech, and summary in Book of Abstracts for Logic Colloquium 2015, August 3 - 8 , date =

    2015

  63. [63]

    Bjørdal, F. A. , title =. Speech, and summary in Book of Abstracts for 15th Congress of Logic, Methodology and Philosophy of Science, August 3 - 8 , date =

  64. [64]

    , title =

    Bj rdal, F. , title =. Speech, and summary in Book of Abstracts for 1st World Congress on Logic and Religion, 2015 , date =

    2015

  65. [65]

    Bjørdal, F. A. , title =. Speech, and summary in Book of Abstracts for 5th World Congress on the Square of Opposition, 2016, November 11 - 15 , date =

    2016

  66. [66]

    Bjørdal, F. A. , title =. Speech, and summary in Book of Abstracts for Trends in Logic XVI, September 12 - 15 , date =

  67. [67]

    Bjørdal, F. A. , title =. Speech, and summary in Book of Abstracts for XVII Encontro Brasileiro de Lógica, May 8 - 12 , date =

  68. [68]

    Bj rdal, F. A. , title =. Speech, and summary in Book of Abstracts for Logic Colloquium 2017, August 14 - 20 , date =

    2017

  69. [69]

    Bjørdal, F. A. , title =. Lecture for a joint meeting of the Logico-philosophical club and the Formal philosophy group at the HSE-university , date =

  70. [70]

    Bjørdal, F. A. , title =. Lecture for VII International Meeting on Skepticism, XVIII Colóquio Brasileiro sobre Ceticismo

  71. [71]

    Bjørdal, F. A. , title =. 2018 , keywords =

    2018

  72. [72]

    Bj rdal, F. A. , title =. Logic Around the World , date =

  73. [73]

    Bjørdal, F. A. , title =. Lecture, and summary in Book of Abstracts for III Third International Colloquium of Analytical Epistemology and VII Social Epistemology Conference , date =

  74. [74]

    Bjørdal, F. A. , editor =. Epistemologia Anal\'itica, Vol. 1: Debates Contempor\^aneos , date =

  75. [75]

    Bjørdal, F. A. , title =. Lecture for

  76. [76]

    Bj rdal, F. A. , title =. Speech, and summary in Book of Abstracts -- Encontro Brasileiro de Lógica, 2019 , date =

    2019

  77. [77]

    Bj rdal, F. A. , title =. Speech, and summary in Book of Abstracts -- Logic Colloquium 2019 , date =

    2019

  78. [78]

    Bj rdal, F. A. , title =

  79. [79]

    Bjørdal, F. A. , alteditor =. ``

  80. [80]

    Bjørdal, F. A. , alteditor =. ``. 2021 , optaddendum =

    2021

Showing first 80 references.