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.

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 from the apparently compelling objections raised against it, by analysing depiction in a way which reveals how it is mediated by resemblance. -/- It’s natural to contrast the platitude that depiction is mediated by resemblance, which emphasises the differences between depictive and descriptive representation, with an extremely close analogy between depiction and description, which emphasises the similarities between depictive and descriptive representation. Whereas the platitude emphasises that the connection between my portrait and me is natural in a way the connection between my name and me is not, the analogy emphasises the contingency of the connection between my portrait and me. Nevertheless, the second aim of this book is to defend an extremely close analogy between depiction and description. -/- The strategy of the book is to argue that the apparently compelling objections raised against the platitude that depiction is mediated by resemblance are manifestations of more general problems, which are familiar from the philosophy of language. These problems, it argues, can be resolved by answers analogous to their counterparts in the philosophy of language, without rejecting the platitude. So the combination of the platitude that depiction is mediated by resemblance with a close analogy between depiction and description turns out to be a compelling theory of depiction, which combines the virtues of common sense with the insights of its detractors. (shrink)

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 meets certain qualitative conditions, then it (...) is representable by distance in a metric space. I will argue that this approach faces equally severe problems with infinity. (shrink)

It's often hypothesized that the structure of mental representation is map-like rather than language-like. The possibility arises as a counterexample to the argument from the best explanation of productivity and systematicity to the language of thought hypothesis—the hypothesis that mental structure is compositional and recursive. In this paper, I argue that the analogy with maps does not undermine the argument, because maps and language have the same kind of compositional and recursive structure.

In this paper I argue that the analysis of natural properties as convex subsets of a metric space in which the distances are degrees of dissimilarity is incompatible with both the definition of degree of dissimilarity as number of natural properties not in common and the definition of degree of dissimilarity as proportion of natural properties not in common, since in combination with either of these definitions it entails that every property is a natural property, which is absurd. I suggest (...) it follows that we should think of the convex class analysis of natural properties as a variety of resemblance nominalism. (shrink)

The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.

According to a traditional conception, romantic love is both constant - if someone loves another, they continue to love them - and exclusive - if someone loves another, they love only the other. In this paper, we argue that the essentiality of constancy and exclusivity is incompatible with the possibilities of fission - roughly speaking, of one person becoming two - and fusion - roughly speaking, of two people becoming one. Moreover, if fission or fusion are possible, then constancy and (...) exclusivity are obligatory features of love only if there are moral dilemmas. We conclude by suggesting this casts doubt on the constancy and especially the exclusivity of love. (shrink)

This paper argues for a possible worlds theory of the content of pictures, with three complications: depictive content is centred, two-dimensional and structured. The paper argues that this theory supports a strong analogy between depictive and other kinds of representation and the platitude that depiction is mediated by resemblance.

It is a platitude that whereas language is mediated by convention, depiction is mediated by resemblance. But this platitude may be attacked on the grounds that resemblance is either insufficient for or incidental to depictive representation. I defend common sense from this attack by using Grice's analysis of meaning to specify the non-incidental role of resemblance in depictive representation.

The shortest stories are zero words long. There is no maximum length.

The possibilities of depicting non-existents, depicting non-particulars and depictive misrepresentation are frequently cited as grounds for denying the platitude that depiction is mediated by resemblance. I first argue that these problems are really a manifestation of the more general problem of intentionality. I then show how there is a plausible solution to the general problem of intentionality which is consonant with the platitude.

Physicalism is incompatible with what is known as the possibility of zombies, that is, the possibility of a world physically like ours, but in which there are no conscious experiences. But it is compatible with what is known as the possibility of ghosts, that is, the possibility of a world which is physically like ours, but in which there are additional nonphysical entities. In this paper we argue that a revision to the traditional definition of physicalism designed to accommodate the (...) possibility of ghosts inadvertently accommodates what is known as the possibility of inverted spectra, that is, the possibility of a world which is physically like ours, but in which colour experience is inverted. This consequence is unwelcome, because it is widely agreed that the possibility of inverted spectra is incompatible with physicalism. We argue for a revised definition of physicalism which resolves this problem. We then use our definition to argue that physicalism is not compatible with what is known as the possibility of blockers, that is, the possibility of a world which is physically like ours, but in which additional nonphysical entities have prevented the existence of conscious experience. This undermines Stephan Leuenberger's attempt to defend physicalism from arguments which purport to establish the possibility of zombies. (shrink)

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.

According to dialetheism, some contradictions are true. In a recent paper, Aaron Cotnoir has suggested that theists who are also dialetheists can resolve the paradox of the stone by accepting a contradiction, and arguing that God both can and can't make the stone. However, Zach Weber has replied that dialetheism is no help for avoiding one of the most serious problems for theism, namely the problem of evil. In this paper, I argue the situation is even worse than this for (...) dialetheist theists, since one motivation for dialetheism closes off what otherwise might be a loophole in a classic version of the problem of evil. (shrink)

Noniterative approaches to the sorites paradox accept single steps of soritical reasoning, but deny that these can be combined into valid chains of soritical reasoning. The distributed sorites is a puzzle designed to undermine noniterative approaches to the sorites paradox, by deriving an inconsistent conclusion using only single steps, but not chains, of soritical reasoning. This paper shows how a dialetheist version of the noniterative approach, the strict-tolerant approach, also solves the distributed sorites paradox, at no further cost, by accepting (...) the inconsistent conclusion. (shrink)

By defining both depictive and linguistic representation as kinds of symbol system, Nelson Goodman attempts to undermine the platitude that, whereas linguistic representation is mediated by convention, depiction is mediated by resemblance. I argue that Goodman is right to draw a strong analogy between the two kinds of representation, but wrong to draw the counterintuitive conclusion that depiction is not mediated by resemblance.

Take a strip of paper with 'once upon a time there'‚ written on one side and 'was a story that began'‚ on the other. Twisting the paper and joining the ends produces John Barth’s story Frame-Tale, which prefixes 'once upon a time there was a story that began'‚ to itself. I argue that the ability to understand this sentence cannot be explained by tacit knowledge of a recursive theory of truth in English.

This paper argues: (1) All knowledge from fiction is from imagination (2) All knowledge from imagination is modal knowledge (3) So, all knowledge from fiction is modal knowledge Moreover, some knowledge is from fiction, so (1)-(3) are non-vacuously true.

This paper argues against definitions of depiction in terms of the syntactic and semantic properties of symbol systems. In particular, it is argued that John Kulvicki's definition of depictive symbol systems in terms of relative repleteness, semantic richness, syntactic sensitivity and transparency is susceptible to similar counterexamples as Nelson Goodman's in terms of syntactic density, semantic density and relative repleteness. The general moral drawn is that defining depiction requires attention not merely to descriptive questions about syntax and semantics, but also (...) to foundational questions about what makes it the case that depictions have the syntactic and semantic properties they do. (shrink)

Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.

It's possible to understand an infinite number of novel maps. I argue that Roberto Casati and Achille Varzi's compositional semantics of maps cannot explain this possibility, because it requires an infinite number of semantic primitives. So the semantics of maps is puzzlingly different from the semantics of language.

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 of a relevant (...) logic—an idea which is motivated because, according to Ayer, the genuinely factual statements are those which observation is relevant to. (shrink)

This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.

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 (...) also constant, which is absurd. Avoiding this absurd conclusion requires questioning assumptions about infinity in the proof or interpretation of the theorem, adopting a sparse conception of properties, or denying degree of resemblance is a function of number of properties in common. After arguing against both the first two options, this paper argues for a version of the third which analyses degree of resemblance as a function of properties in common, but weighted by their degree of naturalness or importance. (shrink)

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 individuals is self-connected too. Nevertheless, one would still (...) expect it to follow that a sum of connected self-connected individuals is self-connected too. In this paper, we present some surprising countermodels which show that this conjecture is incorrect. (shrink)

According to Whitehead’s rectified principle, two individuals are connected just in case there is something self-connected which overlaps both of them, and every part of which overlaps one of them. Roberto Casati and Achille Varzi have offered a counterexample to the principle, consisting of an individual which has no self-connected parts. But since atoms are self-connected, Casati and Varzi’s counterexample presupposes the possibility of gunk or, in other words, things which have no atoms as parts. So one may still wonder (...) whether Whitehead’s rectified principle follows from the assumption of atomism. This paper presents an atomic countermodel to show the answer is no. (shrink)

Traditionally, the structure of a language is revealed by constructing an appropriate theory of meaning for that language, which exhibits how – and whether – the meaning of sentences in the language depends upon the meaning of their parts. In this paper, I argue that whether – and how – what pictures represent depends on what their parts represent should likewise by revealed by the construction of appropriate theories of representation for the symbol system of those pictures. This generalisation, I (...) argue, reveals a much cited disanalogy between depiction and description is illusory: the structure of pictures, like language, is compositional. (shrink)

The number of bricks in a ziggurat is a sum of consecutive squares.

It’s a platitude that a picture is realistic to the degree to which it resembles what it represents (in relevant respects). But if properties are abundant and degrees of resemblance are proportions of properties in common, then the degree of resemblance between different particulars is constant (or undefined), which is inconsonant with the platitude. This paper argues this problem should be resolved by revising the analysis of degrees of resemblance in terms of proportion of properties in common, and not by (...) accepting a sparse theory of properties or by denying that degree of realism is degree of resemblance (in relevant respects). (shrink)

Not every metaphor can be literally paraphrased by a corresponding simile – the metaphorical meaning of ‘Juliet is the sun’, for example, is not the literal meaning of ‘Juliet is like the sun’. But every metaphor can be literally paraphrased, since if ‘metaphorically’ is prefixed to a metaphor, the result says literally what the metaphor says figuratively – the metaphorical meaning of ‘Juliet is the sun’, for example, is the literal meaning of ‘metaphorically, Juliet is the sun’.

Just as it’s possible to understand novel sentences without having heard them before, it’s possible to understand novel pictures without having seen them before. But these possibilities are often supposed to have totally different explanations: whereas the ability to understand novel sentences is supposed to be explained by tacit knowledge of a compositional theory of meaning for their language, the ability to understand novel pictures is supposed to be explained differently. In this paper I argue against this disanalogy: insofar as (...) the ability to understand novel sentences is explained by tacit knowledge of a compositional theory, I argue, so is the ability to understand novel pictures. (shrink)

Review of Chris Mortensen, The Impossible Arises: Oscar Reutersvärd and his Contemporaries, Bloomington: Indiana University Press, 2022, pp. vii + 152, $50.00 (hardback).

Review of A Syncretistic Theory of Depiction by Alberto Voltolini.

Australasian Journal of Philosophy, Volume 90, Issue 1, Page 187-189, March 2012.