Abstract:In the philosophical tradition of `analytic pragmatism', which attempts to account for linguistic meanings in terms of their practices of use, logical expressivism is a theory which offers a distinct perspective on logic. We shed light on Brandom and Hlobil's recent formalization of logical expressivism by reconstructing its formal semantics through the use of universal constructions. This reveals similarities with categorical logic: there is a focus on internalizing judgment structure, and connectives arise from adjunctions.
| Subjects: | Category Theory (math.CT) |
| MSC classes: | 18C99 |
| Cite as: | arXiv:2605.24796 [math.CT] |
| (or arXiv:2605.24796v1 [math.CT] for this version) | |
| https://doi.org/10.48550/arXiv.2605.24796 arXiv-issued DOI via DataCite (pending registration) |
From: Kristopher Brown [view email]
[v1]
Sun, 24 May 2026 00:45:00 UTC (65 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。