A Category-theoretic Reconstruction of Logical Expressivism
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.24796
curl -X POST /api/v1/records/arxiv/2605.24796/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.24796/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'