This paper addresses a recent debate as to whether logical anti‐exceptionalists should understand logical theories in syntactic or semantic terms. In Wigglesworth (2017), I propose a purely semantic approach, while Woods (2018) has argued in favor of a purely syntactic approach. Here, I argue that neither of these approaches is satisfactory, as both treat arguably distinct logics as equivalent logical theories. I argue instead for an approach that combines syntactic and semantic components. The specific approach to a combined account of logical theories is based on the category‐theoretic notion of an institution.

中文翻译：

---

个体化逻辑：范畴论方法

这篇论文解决了最近关于逻辑反例外论者是否应该从句法或语义术语理解逻辑理论的争论。在 Wigglesworth (2017) 中，我提出了一种纯粹的语义方法，而 Woods (2018) 则主张采用纯粹的句法方法。在这里，我认为这两种方法都不令人满意，因为两者都将可以争论的不同逻辑视为等效的逻辑理论。相反，我主张一种结合句法和语义成分的方法。对逻辑理论进行综合解释的具体方法是基于制度的范畴论概念。