arxiv: 2605.15144 · v1 · submitted 2026-05-14 · 💻 cs.LO · math.HO· math.LO

Recognition: no theorem link

Guises and Perspectives: An Intentional and Hyperintensional Sketch

Juan J. Colomina-Alminana

Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:50 UTC · model grok-4.3

classification 💻 cs.LO math.HOmath.LO

keywords guisesintentional logichyperintensionalityperspectivesinternal relationsmodal semanticssubstitution failurede se reference

0 comments

The pith

Guises act as primary semantic objects showing relations to be internal perspectives rather than external links.

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

The paper develops a formal logic in which guises, understood as bundles of properties equipped with intention, serve as the main semantic units instead of traditional objects or propositions. It combines containment semantics for truths about singular items, an operator for capturing intentional relations among guises, and a modal component that treats necessity and possibility through maximally consistent closures. This construction establishes that relations function as intentional structures internal to the perspectives encoded in guises. The approach addresses hyperintensional issues such as why substitution fails in contexts of belief or intention and how self-reference works in thought. A sympathetic reader cares because the framework offers a way to model meaning and reference that stays within the internal structures of conception.

Core claim

The central claim is that a selfcontained formal framework can be built where guises are primary semantic objects. In this system relations are not external causal links but intentional internal structures encoded in the guises through which agents and objects are conceived, functioning as perspectives. The framework includes a syntax with an intentional operator, a model theory based on containment for singular truths, and a proof theory with modal closures for possibility and necessity. It establishes soundness and sketches canonical-model completeness while analyzing substitution failure, quasi-indexicality, and de se reference.

What carries the argument

The guise, a bundle of properties equipped with intention that encodes relations as internal perspectives and serves as the primary semantic object.

If this is right

Substitution fails in intentional contexts because distinct guises can represent the same individual under different perspectives.
Quasi-indexicality arises from the perspective-specific encoding within guises.
De se reference is modeled by guises that incorporate self-referential properties.
The modal layer ensures that necessities hold across all maximally consistent closures of the guise structures.
Hyperintensional distinctions are preserved without collapsing into coarser intensional equivalences.

Where Pith is reading between the lines

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

If the framework holds, then models of agent reasoning could track internal perspective shifts instead of external state changes.
This suggests that problems of intentionality might be addressed through guise-based encodings rather than relational primitives.
Extensions could test the logic against specific natural language examples of belief reports to verify predicted non-substitutivity.
The completeness result implies that all semantic validities are captured by the proof theory for guise-based inferences.

Load-bearing premise

Guises can serve as primary semantic objects and the integration of containment semantics, the intentional operator, and modal closures produces a consistent system supporting soundness and completeness.

What would settle it

A specific example of an intentional context with two guises for the same object where the model allows substitution but the intended semantics does not, or a failure to prove completeness in the canonical model.

read the original abstract

This paper develops a formal logic for guises based on the work of H\'ector-Neri Casta\~neda, who understood relations from an internalist viewpoint, following Leibniz. We introduce a syntax, model theory, and proof theory for an intensional logic in which guises (taken as bundles of properties equipped with intention) serve as primary semantic objects. The system integrates (i) a Leibnizian containment semantics for singular truths, (ii) an intentional operator that captures internal relations among guises, and (iii) a modal layer for possibility and necessity modeled as maximally consistent closures. We establish core metatheoretic results (e.i. soundness and canonical-model completeness sketches) and analyze hyperintensional phenomena such as substitution failure in intentional contexts, quasi-indexicality, and de se reference. We compare the framework to classical intensional semantics (Montague), property theory (Bealer), hyperintensional logics (Fine), situation semantics (Barwise and Perry), and to the Leibniz program for a calculus of concepts. The result is a selfcontained formal framework that demonstrates that relations are not external causal links but intentional internal structures encoded in the guises through which agents and objects are conceived: i.e., they are perspectives.

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.

Desk Editor's Note private letter to a colleague

The paper sketches a synthesis of Castañeda guises with Leibnizian containment and modal closures but leaves soundness and completeness as outlines only.

read the letter

The main point is a sketched formal system that treats guises as bundles of properties equipped with intention, using Leibnizian containment for singular truths, an intentional operator for internal relations, and modal layers for maximally consistent closures. It claims this setup shows relations function as perspectives rather than external links and handles hyperintensional issues like substitution failure, quasi-indexicality, and de se reference. The comparisons to Montague, Bealer, Fine, and Barwise-Perry help place the work in context, and the tie to Leibniz's program is a reasonable move. That specific combination of operators and the internalist framing of relations is what is new here. The paper does a decent job laying out the intended syntax, model theory, and proof theory at a high level and explaining how the pieces are meant to fit together for intentional contexts. The soft spot is the metatheory. Soundness and canonical-model completeness are only sketched, with no detailed derivations, full syntax definitions, or verification steps shown. This makes it hard to check whether the containment relation and intentional operator actually cohere without gaps or inconsistencies, or whether the modal closures deliver the claimed results. The central claim that relations are internal structures encoded in guises rests on this integration, which stays unverified on the basis of what is presented. This is for logicians and philosophers of language already working on intentionality or hyperintensional semantics, especially those interested in Castañeda or Leibnizian ideas. A reader in that niche might pick up some value from the proposed operators and the way the framework reframes relations, but it would need the full proofs filled in to be usable. I would send it to peer review so referees can examine the details and see if the sketches hold up.

Referee Report

2 major / 2 minor

Summary. The paper develops a formal logic for guises, drawing on Castañeda and Leibniz, in which guises (bundles of properties equipped with intention) are primary semantic objects. It integrates Leibnizian containment semantics for singular truths, an intentional operator capturing internal relations among guises, and a modal layer treating necessity/possibility as maximally consistent closures. The manuscript claims to establish sketches of soundness and canonical-model completeness, analyze hyperintensional phenomena such as substitution failure, quasi-indexicality and de se reference, and demonstrate that relations are intentional internal structures (perspectives) rather than external links, while comparing the framework to Montague, Bealer, Fine, Barwise-Perry and the Leibniz calculus of concepts.

Significance. If the integration proves consistent and the sketched metatheoretic results can be completed, the work would supply a self-contained formal system that unifies Leibnizian containment with intentional and modal operators, providing a distinctive treatment of hyperintensionality and de se phenomena. This could serve as a useful reference point for philosophical logic and semantics, especially where internalist accounts of relations are sought. The explicit comparisons to existing frameworks add value for situating the proposal.

major comments (2)

[Abstract / Metatheoretic Results] Abstract and metatheoretic section: soundness and canonical-model completeness are described only as 'sketches' with no detailed derivations, full syntax, or verification that the Leibnizian containment relation remains consistent once combined with the intentional operator and modal closures. This directly undermines the central claim that the integrated system supports the stated metatheoretic results and demonstrates relations as perspectives.
[Semantics / Model Theory] Semantics section (implied by the integration claim): the manuscript does not supply explicit model-theoretic clauses showing how the intentional operator encodes internal relations among guises without violating the containment semantics or introducing substitution failures that contradict the modal layer. Without these clauses the demonstration that relations are 'intentional internal structures' remains unsupported.

minor comments (2)

[Abstract] Abstract: 'e.i.' should be 'e.g.'
[Syntax] Notation for the intentional operator and guise bundles should be introduced with explicit formation rules and examples to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful and constructive review of our manuscript. We address each major comment below and indicate the revisions we will make to strengthen the presentation of the formal system.

read point-by-point responses

Referee: [Abstract / Metatheoretic Results] Abstract and metatheoretic section: soundness and canonical-model completeness are described only as 'sketches' with no detailed derivations, full syntax, or verification that the Leibnizian containment relation remains consistent once combined with the intentional operator and modal closures. This directly undermines the central claim that the integrated system supports the stated metatheoretic results and demonstrates relations as perspectives.

Authors: The manuscript is framed as an intentional sketch, which is why the metatheoretic results are presented as outlines rather than exhaustive derivations. We agree that additional detail would strengthen the paper. In the revised version we will expand the metatheoretic section to include fuller derivations of soundness and canonical-model completeness, together with an explicit verification that the Leibnizian containment relation remains consistent when combined with the intentional operator and modal closures. These additions will provide stronger support for the central claims concerning relations as perspectives. revision: yes
Referee: [Semantics / Model Theory] Semantics section (implied by the integration claim): the manuscript does not supply explicit model-theoretic clauses showing how the intentional operator encodes internal relations among guises without violating the containment semantics or introducing substitution failures that contradict the modal layer. Without these clauses the demonstration that relations are 'intentional internal structures' remains unsupported.

Authors: The semantics section defines the model-theoretic interpretation of the intentional operator over guises and their containment relations. To meet the referee's request for greater explicitness, we will insert additional model-theoretic clauses in the revised manuscript that detail how the operator encodes internal relations while preserving containment and avoiding contradictions with the modal layer. These clauses will make the demonstration that relations are intentional internal structures fully explicit. revision: yes

Circularity Check

0 steps flagged

No circularity; framework is a self-contained new construction with sketched metatheory

full rationale

The paper constructs a new syntax, model theory, and proof theory from scratch, defining guises as primary semantic objects equipped with an intentional operator, Leibnizian containment for singular truths, and modal closures. No equations, definitions, or derivations reduce the central claim (relations as internal perspectives) to prior inputs by construction, fitted parameters, or self-citation chains. Metatheoretic results are explicitly labeled as sketches, not full proofs that would require verification against hidden reductions. External citations to Castañeda, Leibniz, Montague, Bealer, Fine, and Barwise-Perry provide background but are not load-bearing for uniqueness theorems or ansatzes within the paper itself. The derivation chain remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on standard background logic plus newly introduced components for guises and intentionality; no data-fitted parameters are involved as this is a pure formal system.

axioms (2)

domain assumption Leibnizian containment semantics for singular truths
Invoked as the basis for handling singular truths within the guise-based semantics.
ad hoc to paper Intentional operator capturing internal relations among guises
New operator introduced specifically for this framework to model internal intentional relations.

invented entities (1)

Guises as bundles of properties equipped with intention no independent evidence
purpose: Primary semantic objects replacing or supplementing traditional individuals and propositions
New postulated semantic primitive central to the entire system.

pith-pipeline@v0.9.0 · 5526 in / 1449 out tokens · 36283 ms · 2026-05-15T02:50:36.032863+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[1]

Barwise, Jon, and John Perry. 1983. Situations and Attitudes. Cambridge, MA: MIT Press. 11 Notice that {b} ⊆ κ({b}) and {b} ⊆ {a} is not possible. Therefore, R({b}, {a}) fails. Nevertheless, realize that R({a}, {b}) holds via {b} ⊆ {b}. 20

work page 1983
[2]

Bealer, George. 1982. Quality and Concept. Oxford: Clarendon Press

work page 1982
[3]

He: A Study in the Logic of Self‑Consciousness

Belnap, Nuel, Michael Perloff, and Ming Xu. 2001. Facing the Future: Agents and Choices in Our Indeterminist World. Oxford: Oxford University Press. Castañeda, Héctor-Neri. 1966. “He: A Study in the Logic of Self‑Consciousness.” Ratio 8(2): 130– 157. Castañeda, Héctor -Neri. 1967. “Indicators and Quasi -Indicators.” American Philosophical Quarterly 4(2): ...

work page 2001
[4]

Guide to Ground

Fine, Kit. 2012. “Guide to Ground.” In Fabrice Correia and Benjamin Schnieder (eds.), Metaphysical Grounding: Understanding the Structure of Reality , 37 –80. Cambridge: Cambridge University Press

work page 2012
[5]

Truth-maker Semantics

Fine, Kit. 2017. “Truth-maker Semantics.” In Bob Hale, Crispin Wright, and Alexander Miller (eds.), A Companion to the Philosophy of Language , 2nd ed., 556 –577. Oxford: Wiley - Blackwell. 21

work page 2017
[6]

Garber, Daniel, and Roger Ariew (eds). 1989. Leibniz: Philosophical Essays . Indianapolis, IN: Hackett

work page 1989
[7]

Kripke, Saul. 1980. Naming and Necessity. Cambridge, MA: Harvard University Press

work page 1980
[8]

Leibniz, Gottfried Wilhelm. 1686. Discourse on Metaphysics. In Daniel Garber and Roger Ariew (eds.), Leibniz: Philosophical Essays. Indianapolis, IN: Hackett, 1989

work page 1989
[9]

Leibniz, Gottfried Wilhelm. 1714. Monadology. In Nicholas Rescher (ed.), G. W. Leibniz’s Monadology: An Edition for Students. Pittsburgh: University of Pittsburgh Press, 1991

work page 1991
[10]

English as a Formal Language

Montague, Richard. 1970. “English as a Formal Language .” In Richmond H. Thomason (ed.), Formal Philosophy: Selected Papers of Richard Montague , 188 -221. New Haven , CT : Yale University Press, 1974

work page 1970
[11]

Prior, Arthur N. 1971. Objects of Thought. Oxford: Clarendon Press

work page 1971
[12]

On What There Is

Quine, Wilard van Orman. 1948. “On What There Is.” Review of Metaphysics 2(5): 21–38

work page 1948
[13]

Restall, Greg. 2000. An Introduction to Substructural Logics. London: Routledge

work page 2000
[14]

Soames, Scott. 2002. Beyond Rigidity: The Unfinished Semantic Agenda of Naming and Necessity. Oxford: Oxford University Press

work page 2002
[15]

Yablo, Stephen. 2014. Aboutness. Princeton: Princeton University Press

work page 2014