Event Detail

Church’s intensional logic was an attempt to axiomatize the relation which a Fregean sense bears to a referent in the circumstance that there is a linguistic expression which expresses the sense and denotes the referent. In some recent work ([1]), fragments of Church’s intensional logic have been developed which resolve the paradoxes of propositions by weakening comprehension. In this talk, we survey these fragments and assay the extent to which the traditional Montagovian interpretation of categorical grammar into the intensional theory of types can be mirrored by a interpretation of categorical grammar into the fragments of Church’s intensional logic.

References: [1] S. Walsh. Predicativity, the Russell-Myhill paradox, and Church’s intensional logic. The Journal of Philosophical Logic, 45(3):277–326, 2016.