• Philosophical Perspectives on Depiction (review)
    Australasian Journal of Philosophy 90 (1). 2012.
    Australasian Journal of Philosophy, Volume 90, Issue 1, Page 187-189, March 2012
  • A Syncretistic Theory of Depiction (review)
    British Journal of Aesthetics 56 (4): 427-429. 2016.
    Review of A Syncretistic Theory of Depiction by Alberto Voltolini
  • Extension and Self-Connection
    Ben Blumson and Manikaran Singh
    Logic and Logical Philosophy 30 (3): 435-59. 2021.
    If two self-connected individuals are connected, it follows in classical extensional mereotopology that the sum of those individuals is self-connected too. Since mainland Europe and mainland Asia, for example, are both self-connected and connected to each other, mainland Eurasia is also self-connected. In contrast, in non-extensional mereotopologies, two individuals may have more than one sum, in which case it does not follow from their being self-connected and connected that the sum of those in…Read more
  • Mereology
    Archive of Formal Proofs. 2021.
    The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.
  • Dialetheism and Modus Tollens
    The Reasoner 15 (4): 30. 2021.
    Suppose that some contradictions are true – for example, that as I walk through the door, I’m inside and I’m not inside. Then we argue 'if I'm walking through the door, I'm inside; I'm not inside; therefore, I'm not walking through the door' is an invalid instance of modus tollens.
  • It’s a platitude – which only a philosopher would dream of denying – that whereas words are connected to what they represent merely by arbitrary conventions, pictures are connected to what they represent by resemblance. The most important difference between my portrait and my name, for example, is that whereas my portrait and I are connected by my portrait’s resemblance to me, my name and I are connected merely by an arbitrary convention. The first aim of this book is to defend this platitude fr…Read more
  • Does everything resemble everything else to the same degree?
    Asian Journal of Philosophy 1 (1): 1-21. 2022.
    According to Satosi Watanabe's "theorem of the ugly duckling", the number of predicates satisfied by any two different particulars is a constant, which does not depend on the choice of the two particulars. If the number of predicates satisfied by two particulars is their number of properties in common, and the degree of resemblance between two particulars is a function of their number of properties in common, then it follows that the degree of resemblance between any two different particulars is…Read more
  • Distance and Dissimilarity
    Philosophical Papers 48 (2): 211-239. 2018.
    This paper considers whether an analogy between distance and dissimilarlity supports the thesis that degree of dissimilarity is distance in a metric space. A straightforward way to justify the thesis would be to define degree of dissimilarity as a function of number of properties in common and not in common. But, infamously, this approach has problems with infinity. An alternative approach would be to prove representation and uniqueness theorems, according to which if comparative dissimilarity m…Read more
  • Two Conceptions of Similarity
    Philosophical Quarterly 68 (270): 21-37. 2018.
    There are at least two traditional conceptions of numerical degree of similarity. According to the first, the degree of dissimilarity between two particulars is their distance apart in a metric space. According to the second, the degree of similarity between two particulars is a function of the number of (sparse) properties they have in common and not in common. This paper argues that these two conceptions are logically independent, but philosophically inconsonant.
  • Relevance and Verification
    Philosophical Quarterly 71 (3): 457-480. 2021.
    A. J. Ayer’s empiricist criterion of meaning was supposed to have sorted all statements into nonsense on the one hand, and tautologies or genuinely factual statements on the other. Unfortunately for Ayer, it follows from classical logic that his criterion is trivial—it classifies all statements as either tautologies or genuinely factual, but none as nonsense. However, in this paper, I argue that Ayer’s criterion of meaning can be defended from classical proofs of its triviality by the adoption o…Read more
  • This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.