Switch to: References

Add citations

You must login to add citations.
  1. Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.
    This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations