Anselm's God in Isabelle/HOL

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

'Metaphorically'

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’

Naturalness and Convex Class Nominalism

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

Isabelle for Philosophers

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

Whitehead's Principle

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

A Never-Ending Story

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

Defining depiction

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

Distance and Dissimilarity

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

Story Size

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