Hyperdoctrine Semantics: An Invitation

In The Logica Yearbook, 2021. College Publications. pp. 115-134 (2022)
  Copy   BIBTEX


Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the one suggested by standard model-theoretic semantics.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Hyperdoctrines and the Ontology of Stratified Semantics.Shay Logan - 2020 - In Davide Fazio, Antonio Ledda & Francesco Paoli (eds.), Algebraic Perspectives on Substructural Logics. Springer International Publishing. pp. 169-193.
First-Order Logic in the Medvedev Lattice.Rutger Kuyper - 2015 - Studia Logica 103 (6):1185-1224.
Abstract Categorical Logic.Marc Aiguier & Isabelle Bloch - 2023 - Logica Universalis 17 (1):23-67.
Syntax-Semantics Interaction in Mathematics.Michael Heller - 2018 - Studia Semiotyczne 32 (2):87-105.
Categorical semantics of metric spaces and continuous logic.Simon Cho - 2020 - Journal of Symbolic Logic 85 (3):1044-1078.
Categories with families and first-order logic with dependent sorts.Erik Palmgren - 2019 - Annals of Pure and Applied Logic 170 (12):102715.
Vagueness, Logic and Truth.Mary Elizabeth Cohen - 1987 - Dissertation, The Ohio State University
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
Sequence semantics for dynamic predicate logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.
Resource modalities in tensor logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.


Added to PP

175 (#105,093)

6 months
112 (#29,565)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Shay Logan
Kansas State University
Graham Leach-Krouse
Kansas State University

Citations of this work

No citations found.

Add more citations

References found in this work

General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
Models and reality.Hilary Putnam - 1980 - Journal of Symbolic Logic 45 (3):464-482.
The Problem of Absolute Universality.Charles Parsons - 2006 - In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. pp. 203--19.

Add more references