David Corfield
Philosophical points resolved by categorical logic

Brandom on contradictory qualities

See here

Magidor on arbitrary reference

See here

Magidor on copredication

Following @andrejbauer’s response (https://twitter.com/andrejbauer/status/1450181993187233801) to @evanewashington on variables, how about we set up a grand challenge?

Any phenomenon in philosophy of language or metaphysics that philosophers treat is at least as well explained, and generally better explained, with the resources of category-theoretic logic/type theory.

For an example of my own, here I treat a talk by Robert Brandom: https://twitter.com/DavidCorfield8/status/1422459558279196697

Created on October 19, 2021 at 02:14:03. See the history of this page for a list of all contributions to it.