-
Frege - Translations from the Philosophical Writings. Finished Begreiffsschrift chapter I, On Concept and Object (partially), On Sense and Reference. Notes on Frege's philosophical writings (2021.12.26)
-
Nederpelt, Geuvers - Type Theory and Formal Proof. Untyped lambda calculus finished. Simply typed lambda calculus finished. Don't think I need dependent types for now (2021.12.28)
-
Macnamara, Reyes - The Logical Foundations of Cognition. Finished part I. Nothing really interesting in the latter chapters but maybe the distinction between internal and external semantics should be studied more. (2021.12.25)
-
Bernard McGinn ed. - Apocalyptic Spirituality. A long preface and a good introduction. The introductions to apocalyptic writers are also good. Joachim of Fiore's Selection E (2021.12.27)
-
John Deely - Four Ages of Understanding. The work concentrates too much on semiotics. An introduction that can serve as an introduction to semiotics and constructivism or even Hegel's logic. Part I before Aristotle (Anaxagoras was really interesting). Part II on Scotus. (2021.12.27)
-
A logic is always internal to some categories. Classical logic is one particular instance of logic, where the corresponding category is a Boolean topos: an elementary topos with the (object associated to the) subobject classifier being the coproduct of terminal object with itself. Intuitionistic logic corresponds to all elementary topos. Now
-
What 'really' is a subobject classifier?
-
Maybe: a classifying object. - something to do with principal bundles, etc.