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)

Standard compositionality is the doctrine that the semantic content of a compound expression is a function of the semantic contents of the contentful component expressions. In 1954 Hilary Putnam proposed that standard compositionality be replaced by a stricter version according to which even sentences that are synonymously isomorphic (in the sense of Alonzo Church) are not strictly synonymous unless they have the same logical form. On Putnam’s proposal, the semantic content of a compound expression is a function of: (i) the (...) contentful component expressions; and (ii) the expression’s logical form. Kit Fine recently expanded and modified Putnam’s idea into a sweeping theory in philosophy of language and philosophy of mind. The present paper is a detailed critique of Fine’s “semantic relationism.” Fine’s notion of coordination is explained in terms of the familiar pragmatic phenomenon of recognition. A serious error in Fine’s formal disproof of standard Millianism is exposed. It is demonstrated furthermore that Church’s original criticism of Putnam’s proposal can be extended to Fine’s semantic relationism. Finally, it is also demonstrated that the positive position Fine proffers to supplant standard Millianism is in fact exactly equivalent to standard Millianism, so that Fine’s overall position not only does not displace standard Millianism but is in fact inconsistent. (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.

Although ‘Rxx’ and ‘Rxy’ are both applications of a two-place predicate to a pair of terms, ‘Rxx’ resembles a one-place predicate in that all one needs to evaluate it is an assignment to ‘x’. A similar point applies to the sequences ‘Fx’, ‘Gx’ and ‘Fx’, ‘Gy’ – even though neither is a one-place predicate. Kit Fine’s semantic relationalism aims to extract a common idea uniting these comparisons, and to use it to provide a Millian solution to Frege’s Puzzle.

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 sequel to the author’s book /Frege’s Puzzle/ (1986).

Definite descriptions, I shall argue, have two possible functions. 1] They are used to refer to what a speaker wishes to talk about, but they are also used quite differently. Moreover, a definite description occurring in one and the same sentence may, on different occasions of its use, function in either way. The failure to deal with this duality of function obscures the genuine referring use of definite descriptions. The best known theories of definite descriptions, those of Russell and Strawson, (...) I shall suggest, are both guilty of this. Before discussing this distinction in use, I will mention some features of these theories to which it is especially relevant. (shrink)

Are there really beliefs? Or are we learning (from neuroscience and psychology, presumably) that, strictly speaking, beliefs are figments of our imagination, items in a superceded ontology? Philosophers generally regard such ontological questions as admitting just two possible answers: either beliefs exist or they don't. There is no such state as quasi-existence; there are no stable doctrines of semi-realism. Beliefs must either be vindicated along with the viruses or banished along with the banshees. A bracing conviction prevails, then, to the (...) effect that when it comes to beliefs (and other mental items) one must be either a realist or an eliminative materialist. (shrink)

This paper articulates an account of causation as a collection of information-theoretic relationships between patterns instantiated in the causal nexus. I draw on Dennett’s account of real patterns to characterize potential causal relata as patterns with specific identification criteria and noise tolerance levels, and actual causal relata as those patterns instantiated at some spatiotemporal location in the rich causal nexus as originally developed by Salmon. I develop a representation framework using phase space to precisely characterize causal relata, including their degree (...) of counterfactual robustness, causal profiles, causal connectivity, and privileged grain size. By doing so, I show how the philosophical notion of causation can be rendered in a format that is amenable for direct application of mathematical techniques from information theory such that the resulting informational measures are causal informational measures. This account provides a metaphysics of causation that supports interventionist semantics and causal modeling and discovery techniques. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

We argue that thoughts are structures of concepts, and that concepts should be individuated by their origins, rather than in terms of their semantic or epistemic properties. Many features of cognition turn on the vehicles of content, thoughts, rather than on the nature of the contents they express. Originalism makes concepts available to explain, with no threat of circularity, puzzling cases concerning thought. In this paper, we mention Hesperus/Phosphorus puzzles, the Evans-Perry example of the ship seen through different windows, and (...) Mates cases, and we believe that there are many additional applications. (shrink)

Cellular automata (henceforth: CA) are discrete, abstract computational systems that have proved useful both as general models of complexity and as more specific representations of non-linear dynamics in a variety of scientific fields. Firstly, CA are (typically) spatially and temporally discrete: they are composed of a finite or denumerable set of homogeneous, simple units, the atoms or cells. At each time unit, the cells instantiate one of a finite set of states. They evolve in parallel at discrete time steps, following (...) state update functions or dynamical transition rules: the update of a cell state obtains by taking into account the states of cells in its local neighborhood (there are, therefore, no actions at a distance). Secondly, CA are abstract, as they can be specified in purely mathematical terms and implemented in physical structures. Thirdly, CA are computational systems: they can compute functions and solve algorithmic problems. Despite functioning in a different way from traditional, Turing machine-like devices, CA with suitable rules can emulate a universal Turing machine, and therefore compute, given Turing's Thesis, anything computable.... (shrink)

Goodsell-Thea_Mental-files-and-their-identity-conditions.

Applies and extends the conclusions of the preceding chapters by examining cases of self‐deception of a puzzling sort emerging from cases of fantasizing and imagining, found in Joyce's Portrait of the Artist as a Young Man and Flaubert's Madame Bovary. The author is particularly interested in what can be described as the ‘divided mind of self‐deception’, the mind that produces an imagination due to its realising the state of the world that motivates the fantasy construct and the possessor's eventual acquisition (...) of the belief that the fantasy construct represents reality accurately. In the process of deceiving oneself, he holds, no clear line can be drawn between imaginative activities that are not yet self‐deceptive and those that are. (shrink)

Cappelen and Hawthorne tell us that the most basic, explanatory notion of truth is a monadic property of propositions. Other notions of truth, including those applying to sentences, are to be explained in terms of it. Among them are those found in Kripkean, Montagovian, and Kaplanean semantic theories, and their descendants – to wit truth at a context, at a circumstance, and at a context-plus-circumstance. If these are to make sense, the authors correctly maintain, they must be explained in terms (...) of the monadic notion of truth. (1-2) I thought that this was the received view, but the authors indicate otherwise. They describe possible-worlds semantics as making it “very natural to think of the foundational mode of evaluation for propositions as truth relative to worlds.”(7) I disagree. The natural way to understand possible worlds-semantics is to take world-states to be certain kinds of properties, and to take the truth of p at w to be the fact that p would be true (i.e. would instantiate monadic truth) were the universe to instantiate w. The authors add that it is somewhat natural to take “the actual truth of a proposition as [being] a matter of the proposition getting the value ‘true’ relative to a distinguished world -- the actual world.” (7) If this means that being actually true is being true at the actual world-state @, this isn’t just natural, it is unassailable -- as long as one doesn’t erroneously identify being true with being actually true. Since Cappelen and Hawthorne don’t do this, I take us to be on more or less the same page. Others, apparently, aren’t. We are told that “a number of the participants in the relevant disputes [about relativism] seem to take it for granted that philosophical semantics has somehow shown that the semantic value of sentences cannot be evaluated for truth or falsity simpliciter, since truth and falsity hold of a proposition relative to a world.” (77-8) We are also told: 1 Contemporary Analytic relativists reason as follows: ‘Lewis and Kaplan have shown that we need to relativize truth to triples of .. (shrink)

Philosophers of language have long recognized that in opaque contexts, such as those involving propositional attitude reports, substitution of co-referring names may not preserve truth value. For example, the name ‘Clark Kent’ cannot be substituted for ‘Superman’ in a context like:1. Lois believes that Superman can flywithout a change in truth value. In an earlier paper, Jennifer Saul demonstrated that substitution failure could also occur in ‘simple sentences’ where none of the ordinary opacity-producing conditions existed, such as:2. Superman leaps more (...) tall buildings than Clark Kent does.Accounts focusing on opacity were unable to explain our ‘anti-substitution intuitions’ in such cases.In Simple Sentences, Substitution, and Intuitions, Saul extends her earlier work. She provides a comprehensive presentation and criticism of recent accounts of simple sentence substitution failure, and proposes a new approach drawing on psychological evidence about cognitive processing. Saul's purpose is not merely to solve the substitution puzzle cases, but to make …. (shrink)

In this book, Scott Soames argues that the revolution in the study of language and mind that has taken place since the late nineteenth century must be rethought. The central insight in the reigning tradition is that propositions are representational. To know the meaning of a sentence or the content of a belief requires knowing which things it represents as being which ways, and therefore knowing what the world must be like if it is to conform to how the sentence (...) or belief represents it. These are truth conditions of the sentence or belief. But meanings and representational contents are not truth conditions, and there is more to propositions than representational content. In addition to imposing conditions the world must satisfy if it is to be true, a proposition may also impose conditions on minds that entertain it. The study of mind and language cannot advance further without a conception of propositions that allows them to have contents of both of these sorts. Soames provides it. He does so by arguing that propositions are repeatable, purely representational cognitive acts or operations that represent the world as being a certain way, while requiring minds that perform them to satisfy certain cognitive conditions. Because they have these two types of content—one facing the world and one facing the mind—pairs of propositions can be representationally identical but cognitively distinct. Using this breakthrough, Soames offers new solutions to several of the most perplexing problems in the philosophy of language and mind. (shrink)

Many competent speakers initially judge that (i) is true and (ii) isfalse, though they know that (iii) is true. (i) Superman leaps more tallbuildings than Clark Kent. (ii) Superman leaps more tall buildings thanSuperman. (iii) Superman is identical with Clark Kent. Semanticexplanations of these intuitions say that (i) and (ii) really can differin truth-value. Pragmatic explanations deny this, and say that theintuitions are due to misleading implicatures. This paper argues thatboth explanations are incorrect. (i) and (ii) cannot differ intruth-value, yet (...) the intuitions are not due to implicatures, but ratherto mistakes in evaluating (i) and (ii). (shrink)

I am grateful to Nathan Salmon [in Salmon (2012)] for being willing to spill so much ink over my monograph on semantic relationism (2007), even if what he has to say is not altogether complimentary. There is a great deal in his criticisms to which I take exception but I wish to focus on one point, what he calls my ‘formal disproof’ of standard Millianism. He believes that ‘the alleged hard result is nearly demonstrably false’ (p. 420) and that the (...) disproof contains a ‘serious error’ (p. 407). Neither claim is correct; and it is the aim of this short note to explain why.First some background. In some cases, we are justified (from an internalist standpoint) in inferring the singular proposition F&G(x) from F(x) and G(x) (as when I learn more and more about Obama, for example); and in other cases, we are not so justified (as when Peter, in Kripke’s puzzle case, knows that Paderewski is a pianist and that Paderewski is a politician but does not know that anyone is both a pianist and a poli. (shrink)

Pagin-Peter_The-cognitive-significance-of-mental-files.

(1) The propositions we believe and say are _Russellian_ _propositions_: structured propositions whose basic components are the objects and properties our thoughts and speech acts are about. (2) Many singular terms.