In this candid autobiographical essay, Nathan Salmon recounts and assesses the impact of various philosophers and events on his philosophical development.

Imagination has been assigned an important explanatory role in a multitude of philosophical contexts. This paper examines four such contexts: mindreading, pretense, our engagement with fiction, and modal epistemology. Close attention to each of these contexts suggests that the mental activity of imagining is considerably more heterogeneous than previously realized. In short, no single mental activity can do all the explanatory work that has been assigned to imagining.

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is misguided. Russell-Myhill is not a problem specifically for Alternative (0). Rather (...) it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions, as classes of possible worlds, is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (shrink)

The puzzle of imaginative desire arises from the difficulty of accounting for the surprising behaviour of desire in imaginative activities such as our engagement with fiction and our games of pretend. Several philosophers have recently attempted to solve this puzzle by introducing a class of novel mental states—what they call desire-like imaginings or i-desires. In this paper, I argue that we should reject the i-desire solution to the puzzle of imaginative desire. The introduction of i-desires is both ontologically profligate and (...) unnecessary, and, most importantly, fails to make sense of what we are doing in the imaginative contexts in question. (shrink)

A paradox about sets of properties is presented. The paradox, which invokes an impredicatively defined property, is formalized in a free third-order logic with lambda-abstraction, through a classically proof-theoretically valid deduction of a contradiction from a single premise to the effect that every property has a unit set. Something like a model is offered to establish that the premise is, although classically inconsistent, nevertheless consistent, so that the paradox discredits the logic employed. A resolution through the ramified theory of types (...) is considered. Finally, a general scheme that generates a family of analogous paradoxes and a generally applicable resolution are proposed. (shrink)

Nathan Salmon; XII*—How to Measure the Standard Metre, Proceedings of the Aristotelian Society, Volume 88, Issue 1, 1 June 1988, Pages 193–218.

Quine’s criterion of theoretical ontological commitment is subject to a variety of interpretations, all of which save one yield incorrect verdicts. Moreover, the interpretation that yields correct verdicts is not what Quine meant. Instead the intended criterion unfairly imputes ontological commitments to theories that lack those commitments and fails to impute commitments to theories that have them. Insofar as Quine’s criterion is interpreted so that it yields only correct verdicts, it is trivial and of questionable utility. Moreover, the correct criterion (...) invokes analyticity, a notion that Quine spent most of his life tirelessly combating. This yields a dilemma for Quinean philosophy: Either his criterion of ontological commitment is incorrect, or else Quine is committed to a traditional philosophical notion that he emphatically rejected as disreputable. (shrink)

According to representationalism, the phenomenal character of a mental state reduces to its intentional content. Although representationalism seems plausible with respect to ordinary perceptual states, it seems considerably less plausible for states like moods. Here the problem for representationalism arises largely because moods seem to lack intentional content altogether. In this paper, I explore several possible options for identifying the intentional content of moods and suggest that none of them is wholly satisfactory. Importantly, however, I go on to argue that (...) the plausibility of representationalism should not be seen to rest on the question of whether moods have intentional content but rather on the question of whether the intentional content of moods, were there any, would be sufficient to determine their phenomenal character. As I argue, even if we concede to the representationalist that moods have intentional content, their phenomenal character outstrips their intentional content; thus, the representationalist reduction cannot succeed. Ultimately, then, I conclude that moods do indeed pose a serious objection to the representationalist theory. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

We often talk of people as being more or less imaginative than one another – as being better or worse at imagining – and we also compare various feats of imagination to one another in terms of how easy or hard they are. Facts such as these might be taken to suggest that imagination is often implicitly understood as a skill. This implicit understanding, however, has rarely (if ever) been made explicit in the philosophical literature. Such is the task of (...) this chapter. I first attempt to flesh out several conditions for an activity to count as a skill. I then attempt to show how imagination can meet such conditions. The chapter concludes with an attempt to answer various worries that might be raised to the claim that imagination should be thought of as a skill. (shrink)

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ express different (...) propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (shrink)

Underlying much current work in philosophy of imagination is the assumption that imagination is a skill. This assumption seems to entail not only that facility with imagining will vary from one person to another, but also that people can improve their own imaginative capacities and learn to be better imaginers. This paper takes up this issue. After showing why this is properly understood as a philosophical question, I discuss what it means to say that one imagining is better than another (...) and then discuss the kinds of imagination training and techniques that might be employed in an effort to get better at imagining. The discussion of these techniques draws insight from consideration of other skills-based activities, as well as from consideration of the creation of art and our engagement with literature and poetry. Over the course of this discussion, we also gain further insight into the nature of imagination. (shrink)

Charles Carlini interviews Nathan Salmón about the philosophical work of his mentor and friend, the late Saul Kripke, one of the foremost philosophers of the 20th Century.

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color terms like (...) ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

Kripke’s examples of allegedly contingent a priori sentences include ‘Stick S is exactly one meter long’, where the reference of ‘meter’ is fixed by the description ‘the length of stick S’. In response to skepticism concerning apriority Kripke replaced the meter sentence with a more sophisticated variant, arguing that the modified example is more immune to such skepticism. The case for apriority is examined. A distinction is drawn between apriority and a broader notion, “qua-priority,” of a truth whose epistemic justification (...) is dependent on no experience other than that required to justify belief of the deliverances of pure semantics. It is argued that Kripke’s examples are neither a priori nor qua-priori. (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

A new philosophical analysis is provided of the notorious Sleeping Beauty Problem. It is argued that the correct solution is one-third, but not in the way previous philosophers have typically meant this. A modified version of the Problem demonstrates that neither self-locating information nor amnesia is relevant to the core Problem, which is simply to evaluate the conditional chance of heads given an undated Monday-or-Tuesday awakening. Previous commentators have failed to appreciate the significance of the information that Beauty gains upon (...) waking, and which is relevant to the conditional chance of heads: de re acquaintance with the awakening itself and the non-locating knowledge that it is an experimental awakening. David Lewis and company are committed to several unjustifiable and unacceptable probability assessments. Previous commentators have in effect confused the information that Beauty undergoes this particular experimental awakening for the information that she undergoes some experimental awakening or other. Lewis in particular thereby illegitimately tips the scales both in favor of heads and in favor of Monday. The Sleeping Beauty Problem is equivalent to a ball-in-urn word problem in elementary probability theory. (shrink)

Kit Fine has replied to my criticism of a technical objection he had given to the version of Millianism that I advocate. Fine evidently objects to my use of classical existential instantiation in an object-theoretic rendering of his meta-proof. Fine’s reply appears to involve both an egregious misreading of my criticism and a significant logical error. I argue that my rendering is unimpeachable, that the issue over my use of classical EI is a red herring, and that Fine’s original argument (...) commits the straw-man fallacy. I argue further that contrary to Fine’s gratuitous attribution, what Kripke’s Pierre lacks and a typical bilingual has is not knowledge of a “manifest-making” premise, but the capacity to recognize London when it is differently designated. Fine’s argument refutes a preposterous theory no one advocates while leaving standard Millianism unscathed. The failure of his argument threatens to render Fine’s central notion of “coordination” redundant or empty. (shrink)

In Frege’s Puzzle (1986), Salmon analyzed ‘a withholds believing p’ in terms of a ternary relation BEL of x believing a proposition p under a guise g. The proposed analysis is the following: There is a proposition guise g such that a grasps p by means of g but a does not stand in BEL to p and g. Sean Crawford has made a proposal for Millians to evade propositional guises through second-order belief. Specifically, in effect, Crawford’s proposes to (...) analyze the crucial notion of withheld belief instead as believing that one does not believe: a believes that a does not believe p. Crawford’s clever proposal thus avoids explicit quantification over guises. However, it is shown that the proposal is inadequate to avoid guises. The resulting notion is too weak to capture the relevant notion of withheld belief. (shrink)

This is a non-technical version of "The Decision Problem for Effective Procedures." The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that reason, the Church–Turing thesis (that the effectively calculable functions on natural numbers are exactly the general recursive functions), cannot be proved. However, it is logically provable from the notion of an (...) effective procedure--without reliance on any (partially) mathematical thesis or conjecture concerning effective procedures, such as the Church–Turing thesis--that the class of effective procedures is undecidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. The proof does not appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of such a procedure. Though this undecidability result itself is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure is, in fact, a decision procedure, i.e., effective—for example, that it invariably terminates with the correct verdict. (shrink)

According to representationalism, the qualitative character of our phenomenal mental states supervenes on the intentional content of such states. Strong representationalism makes a further claim: the qualitative character of our phenomenal mental states _consists in_ the intentional content of such states. Although strong representationalism has greatly increased in popularity over the last decade, I find the view deeply implausible. In what follows, I will attempt to argue against strong representationalism by a two-step argument. First, I suggest that strong representationalism must (...) be _unrestricted_ in order to serve as an adequate theory of qualia, i.e., it must apply to all qualitative mental states. Second, I present considerations to show that an unrestricted form of strong representationalism is problematic. (shrink)

Alonzo Church famously provided three principal competing criteria for “strict synonymy,” i.e., sameness of semantic content. These are his Alternatives (0), (1), and (2)—numbered in order of increasing course-grainedness of content. On Alternative (2), expressions are deemed strictly synonymous iff they are logically equivalent. This criterion seems hopeless as an account of the objects of propositional attitude. On Alternative (1), expressions are deemed synonymous iff they are λ-convertible. Alternative (1) also evidently conflicts with discourse about the attitudes. On Alternative (0), (...) expressions are deemed strictly synonymous iff they are “synonymously isomorphic” in Church’s sense. On Alternative (0), semantic content is so fine-grained that not even “Romeo loves Juliet” and “Juliet is loved by Romeo” qualify as strictly synonymous. A fourth alternative, here called “Alternative (3),” deems expressions strictly synonymous iff they are co-intensional, i.e., they have the same semantic extension with respect to the same possible worlds. This criterion’s notion of content is even more course grained than that of Alternative (2). Several objections to Alternative (3) are considered. (This article is wholly contained within the author’s more definitive essay, “Singular Concepts”.). (shrink)

A thorough critique (extracted from the author’s 1979 doctoral dissertation) of Kripke’s purported derivation, in footnote 56 of his philosophical masterpiece /Naming and Necessity/, of nontrivial modal essentialism from the theory of rigid designation.

Although Professor Schiffer and I have many times disagreed, I share his deep and abiding commitment to argument as a primary philosophical tool. Regretting any communication failure that has occurred, I endeavor here to make clearer my earlier reply in “Illogical Belief” to Schiffer’s alleged problem for my version of Millianism.1 I shall be skeletal, however; the interested reader is encouraged to turn to “Illogical Belief” for detail and elaboration. I have argued that to bear a propositional attitude de re (...) is to bear that attitude toward the corresponding singular proposition, no more and no less. If this is right, then according to Millianism every instance of the following modal schema is true. (shrink)

A correct observation to the effect that a does not exist, where ‘a’ is a singular term, could be true on any of a variety of grounds. Typically, a true, singular negative existential is true on the unproblematic ground that the subject term ‘a’ designates something that does not presently exist. More interesting philosophically is a singular, negative existential statement in which the subject term ‘a’ designates nothing at all. Both of these contrast sharply with a singular, negative existential in (...) which the subject term is a name from fiction. I argue that such singular, negative existential statements are false. My account of fictional characters differs significantly from Kripke’s. It is shown that an objection to my account rests on a serious misunderstanding. Finally, a crucial aspect of the account is emphasized. (shrink)

What is consciousness and why is it so philosophically and scientifically puzzling? For many years philosophers approached this question assuming a standard physicalist framework on which consciousness can be explained by contemporary physics, biology, neuroscience, and cognitive science. This book is a debate between two philosophers who are united in their rejection of this kind of "standard" physicalism - but who differ sharply in what lesson to draw from this. Amy Kind defends dualism 2.0, a thoroughly modern version of dualism (...) (the theory that there are two fundamentally different kinds of things in the world: those that are physical and those that are mental) decoupled from any religious or non-scientific connotations. Daniel Stoljar defends non-standard physicalism, a kind of physicalism different from both the standard version and dualism 2.0. The book presents a cutting-edge assessment of the philosophy of consciousness and provides a glimpse at what the future study of this area might bring. (shrink)

The relationship between the phenomenology of imagination and the phenomenology of memory is an interestingly complicated one. On the one hand, there seem to be important similarities between the two, and there are even occasions in which we mistake an imagining for a memory or vice versa. On the other hand, there seem to be important differences between the two, and we can typically tell them apart. This paper explores various attempts to delineate a phenomenological marker differentiating imagination and memory, (...) with a special focus on two proposed markers that have generated considerable philosophical discussion: the feeling of pastness and the feeling of familiarity. As we will find, neither of them proves to be up to the task at hand. However, by way of a deeper exploration of the feeling of familiarity, we are able to tease out some important morals for efforts to differentiate imagination and memory on phenomenological grounds and, more generally, for efforts to engage in a descriptive phenomenological enterprise. (shrink)

Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy in the (...) argument is exposed. Alternative interpretations of Leslie’s objection are provided and are found to involve equivocation between different notions of “essence.” A material artifact’s modal essence, as distinct from its quiddity essence, could have been different than it is. (shrink)

David Lewis has argued that “having an experience is the best way or perhaps the only way, of coming to know what that experience is like”; when an experience is of a sufficiently new sort, mere science lessons are not enough. Developing this Lewisian line, L.A. Paul has suggested that some experiences are epistemically transformative. Until an individual has such an experience it remains epistemically inaccessible to her. No amount of stories and theories and testimony from others can teach her (...) what it is like to have it, nor is she able to achieve this knowledge by way of imaginative projection. It’s this last claim that is the focus of this paper. In particular, I explore the case for the claim that some experiences are in principle imaginatively inaccessible to someone who has not undergone the experience itself or one relevantly similar. As I will suggest, this case is not as strong as is often thought. Close attention to the mechanisms of imagination, and in particular, to cases of skilled imaginers, suggests how techniques of imaginative scaffolding can sometimes be used to give us epistemic access to experiences we have not had, even ones that are radically different from any that we have had before. As a result, considerably fewer experiences remain imaginatively out of reach than proponents of transformative experience would have us believe. Experience may well be the best teacher, but this paper aims to show that imagination comes in a close second. (shrink)

A sequel to the author’s book /Frege’s Puzzle/ (1986).

Jeffrey King's principal objection to the direct-reference theory of demonstratives is analyzed and criticized. King has responded with a modified version of his original argument aimed at establishing the weaker conclusion that the direct-reference theory of demonstratives is either incomplete or incorrect. It is argued that this fallback argument also fails.