In this paper we bring together results from a series of previous papers to prove the constructive version of the Gelfand duality theorem in any Grothendieck topos , obtaining a dual equivalence between the category of commutative C*-algebras and the category of compact, completely regular locales in the topos.

Most arguments for moral vegetarianism rely on the premise that non-human animals can suffer. In this paper I evaluate problems that arise from Peter Carruthers’ Higher-Order Thought theory of consciousness. I argue that, even if we assume that these problems cannot be overcome, it does not follow that we should not subscribe to moral vegetarianism. I conclude that we should act as if non-human animals have subjective experiences for moral reasons, even if we cannot be certain that they do.

Connections between Roman Catholic Modernism and the artistic culture of the fin de siècle have received little attention from scholars, as compared to the prominence accorded intellectual, social, and political issues. Felix Klein is one of a handful of those who worked for intellectual renewal who closely followed developments in literature and music, interpreting those developments in a way that favored an agenda of reconciling Catholicism with modernity. In two collections of essays, Nouvelles tendances en religion et en literature and (...) Autour du dilettantisme Klein expressed hopes for a return to Catholicism among a cultural elite which I turn would have a larger impact upon a broad public. (shrink)

C. J. F. Williams; VI*—Is Identity a Relation?, Proceedings of the Aristotelian Society, Volume 80, Issue 1, 1 June 1980, Pages 81–100, https://doi.org/10.1093/.