Do minds and ideas connect, interact, or even depend on each other, and if so, how exactly do they connect and interact? How should we conceive of the mode and process of minds and ideas being in a network and connected in some way, that is, being intersubjective or social? Martin Lenz's study Socializing Minds convincingly shows that, contrary to widespread opinion in philosophy of mind, at least some early modern philosophers, here Spinoza, Locke, and Hume, actually give a positive (...) answer to the first question and present models that respond to the second question, thus addressing what Lenz proposes calling 'the contact problem' and repudiating the idea that mentalism is necessarily bound to individualism. In this comment, I focus on a detail in Lenz's reconstruction of Spinoza's 'metaphysical model' of the intersubjectivity of minds, namely the Aristotelian physical dynamism that would underlie Spinoza's idea of the interaction of minds. While I agree that Spinoza's model of interaction of minds refers to the Aristotelian conception of motion, I argue that the guiding principle in natural motion is best understood not only in terms of contrariety but also in terms of complementarity. Admittedly, my proposal goes beyond Spinoza's model of ideas in contact, and probably beyond Lenz's interpretation of that model, but it might enrich the imagination of the socialising of minds and ideas from a kinetic point of view, which, at least as I understand it, is precisely what Spinoza and Lenz thrive on. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.