This page collects material related to the text
Tools for the advancement of objective logic: closed categories and toposes,
in J. Macnamara, Gonzalo Reyes (Eds.),
The Logical Foundations of Cognition,
Oxford University Press 1993
(Proceedings of the Febr. 1991 Vancouver Conference “Logic and Cognition”), pages 43-56, 1994.
(pdf)
which argues that “objective logic” in the sense of Georg Hegel‘s Science of Logic should be understood as being captured by universal constructions of category theory/topos theory, whereas the “subjective logic” is to be understood as ordinary deduction/inference about objects such constructed.
The text explicitly discusses formalization in categorical logic of Hegelian concepts such as
abstract general, concrete general and particular by categorical theories (Lawvere theories) and their models;
Various related suggestions are implicit in other texts by Lawvere, see at William Lawvere – Mathematics related to philosophy
Last revised on March 6, 2018 at 12:30:31. See the history of this page for a list of all contributions to it.