Gonzalo E. Reyes

Learn More
Categorical logic, as its name indicates, is logic in the setting of category theory. But this description does not say much. Most readers would probably find more instructive to learn that categorical logic is algebraic logic, pure and simple. It is logic in an algebraic dressing. Just as algebraic logic encodes propositional logic in its different guises(More)
We specify two problems in syllogistic: the lack of functoriality of predicates (although a thief is a person, a good thief may not be a good person) and the change of grammatical role of the middle term, from subject to predicate, in some syllogisms. The standard semantics, the class interpretation, bypasses these difficulties but, we argue, in a manner(More)
  • 1