PreprintCC BY 4.0arXiv
A Category-theoretic Reconstruction of Logical Expressivism
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.
Related
- Reconstruction of Geometric and Structural Aspects of Undeciphered Messages by Information-theoretic Methods
- From Source Reconstruction to Predictive State Preservation: An Information-Theoretic Framework for AI-Native Communication
- From Pixels to Privacy-Sensitive Features: An Information-Theoretic Framework for Reconstruction Bounds
- Spectral Reconstruction of Lorentz Structure from the χ‑Operator An Operator‑Theoretic Resolution of Non‑Transitivity in Special Relativity
- A Joint Information-Theoretic and Graph Learning Framework for Sensor Placement and Macroscopic Traffic State Reconstruction
BibTeX
@misc{brown2026categorytheoretic,
title = {{A Category-theoretic Reconstruction of Logical Expressivism}},
author = {Kristopher Brown},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2605.24796},
eprint = {2605.24796},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2605.24796},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - A Category-theoretic Reconstruction of Logical Expressivism
AU - Kristopher Brown
PY - 2026
DA - 2026/10/11
PB - arXiv
DO - 10.48550/arxiv.2605.24796
UR - https://arxiv.org/abs/2605.24796
AB - 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.
ER -