We present a revenge argument for non-reflexive theories of semantic notions – theories which restrict the rule of assumption, or (equivalently) initial sequents of the form φ ⊩ φ. Our strategy follows the general template articulated in Murzi and Rossi [21]: we proceed via the definition of a notion of paradoxicality for non-reflexive theories which in turn breeds paradoxes that standard non-reflexive theories are unable to block.

中文翻译：

---

非反身性和报复

我们为语义概念的非自反理论提出了一个报复性论点 - 限制假设规则的理论，或（等价的）形式φ ⊩ φ 的初始序列。我们的策略遵循 Murzi 和 Rossi [21] 中阐述的一般模板：我们通过对非自反理论的悖论概念的定义进行，这反过来又会滋生标准的非自反理论无法阻止的悖论。