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. (...) This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)

Idealizing conditions are scapegoats for scientific hypotheses, too often blamed for falsehood better attributed to less obvious sources. But while the tendency to blame idealizations is common among both philosophers of science and scientists themselves, the blame is misplaced. Attention to the nature of idealizing conditions, the content of idealized hypotheses, and scientists’ attitudes toward those hypotheses shows that idealizing conditions are blameless when hypotheses misrepresent. These conditions help to determine the content of idealized hypotheses, and they do so in (...) a way that prevents those hypotheses from being false by virtue of their constituent idealizations. (shrink)

This paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in chap. 9 of Tennant. Brauer provided two kinds of example making clear the need for this. Unlike Brouwer’s counterexamples to excluded middle, the examples of Brauer that we are dealing with here establish the need for appeals to excluded middle when applying, to the problem of truthmaker-transmission, the already classical metalinguistic theory of model-relative evaluations.