Nanopublication — How al-Khūnajī reshaped Avicenna's logic of object-domains and modal syllogisms
This is a technical history-of-logic entry on al-Khūnajī's revisions to Avicennian semantics and modal syllogistic — a scholarly account of domains of objects, propositional truth-conditions, and syllogistic productivity — and the ideamorphism framework's vocabulary of emission, reception, codex, diffraction and invariant has no purchase on that subject matter; any attempted mapping (e.g. 'domains of objects' onto 'given/instituted invariant') would be a forced rhyme across unrelated technical apparatuses, not a genuine test.
Declined — no-purchase [1]
Propositional grid [2]
Read this grid. “Not evaluated” does not mean the source has nothing to say about that proposition. It means the reading did not instruct it. That is not a result, and it counts in no denominator. A silence, by contrast, is a finding: the reading touched the proposition without concluding, or noted its absence itself.
Not evaluated (37) — P1, P2, P3, P3a, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P14a, P14b, P15, P16, P16a, P17, P18, P18a, P19, P19a, P20, P21, P22, P23, P24, P25, P26, P27, P28, P29, P30, P31
Overall verdict: DECLINED:no-purchase — taxonomy of the August 2026 pass, predating the move to relational verdicts. Kept as metadata: the gap between the two forms is data, not residue. This reading’s judgement is in the grid above.
Reading of 2026-09-11 · model claude-sonnet-5 · source 81,523 chars · 1 attempt(s)
References
- [1] Afḍal al-Dīn al-Khūnajī (1194–1248). Stanford Encyclopedia of Philosophy, 2026-09-11. https://plato.stanford.edu/entries/al-khunaji/
- [2] Quercy, A. (2026). The 31 Propositions of Ideamorphism. https://ideamorphism.org/en/publications/2026/03/the-31-propositions-of-ideamorphism.html
Epistemic profile
| Claim type | boundary reading |
|---|---|
| Voice | third person analysis |
| Epistemic status | no purchase |
| Methodology | Boundary-finding lens applied to one source, model claude-sonnet-5, 1 attempt(s), traceability check passed. |
Checksum (SHA-256)
737ed8c418531f228b6fee9a6bbd5507c1cc0474f6b6a9fb045f53f3515abaf5