Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead (...) argue that number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (shrink)

In their recent article ‘Resolving Frege’s other Puzzle’ Eric Snyder, Richard Samuels, and Stewart Shapiro defend a semantic type-shifting solution to Frege’s other Puzzle and criticize my own cognitive type-shifting solution. In this article I respond to their criticism and in turn point to several problems with their preferred solution. In particular, I argue that they conflate semantic function and semantic value, and that their proposal is neither based on general semantic type-shifting principles nor adequate to (...) the data. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic (...) approach is also used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

The aim of this paper is to give a detailed reconstruction of Frege's solution to his puzzle about the cognitive function of truth, which is this: On the one hand, the concept of truth seems to play an essential role in acquiring knowledge because the transition from the mere hypothetical assumption that p to the acknowledgement of its truth is a crucial step in acquiring the knowledge that p, while, on the other hand, this concept seems to (...) be completely redundant because the sense of the word 'true' does not make any essential contribution to the senses of the sentences in which it occurs. (shrink)

Description: The book points to a new logic of singular designators based upon a close analysis of work in the area by contemporary philosophers of language. The philosophers range from Frege, Russell, Quine, Strawson and Dummett to Kripke, Hintikka, Plantinga, Kaplan, Donnellan, Searle and Burge. It is generally taken for granted that proper names are rigid designators, having no meaning content, which explains their intranslatability into other languages. However, they do have their modes of presentation that must constitute their (...) sense. There is little room for contradiction here in admitting that proper names have a sense, which does not amount to meaning. One of the advantages of this position is that it blocks the emergence of the Kripkean puzzle about belief by accepting different belief contents corresponding to a variation in the senses of the names involved. Is Kripke's distinction between rigid and non-rigid designators finally valid' the author asks, questioning the corollaries that are supposed to follow from the distinction, viz., that proper names do not have descriptive backing, and that there are contingent a priori truths. He draws our attention to predicative occurrences of proper names, in the modal context, matching corresponding occurrences of definite descriptions. His explanation of contingency, where proper names or definite descriptions are involved, is innovatively straight, simple and broad-based, at par with situations having ordinary predicates. Parts of the book have taken a final shape in response to comments by Strawson, Dummett and Burge. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so (...) that giving a reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

Frege's puzzle about identity sentences has long challenged many philosophers to find a solution to it but also led other philosophers to object that the evidential datum it is grounded on is false. The present work is an elaboration of this second kind of reaction: it explains why Frege's puzzle seems to resist the traditional objection, giving voice to different and more elaborated presentations of the evidential datum, faithful to the spirit but not to the (...) letter of Frege's puzzle. The final outcome is negative, no satisfactory formulation of the evidential datum is found and Frege's puzzle is challenged until a better formulation of it is found. (shrink)

What makes certain definitions fruitful? And how can definitions play an explanatory role? The purpose of this paper is to examine these questions via an investigation of Frege’s treatment of definitions. Specifically, I pursue this issue via an examination of Frege’s views about the scientific unification of logic and arithmetic. In my view, what interpreters have failed to appreciate is that logicism is a project of unification, not reduction. For Frege, unification involves two separate steps: (1) an account of the (...) content expressed by arithmetical claims and (2) the justification of that content. The distinction between these steps allows us to see that there are two notions of definition at play in Frege’s logicist work, viz., one concerned with conceptual analysis, the other concerned with the construction of gap-free proof. I then use this discussion to explain how Frege employs his definitions to defend an epistemological thesis about arithmetic, and to clarify Grundlagen’s fruitfulness condition of definitions, and thereby address two interpretive puzzles from the recent literature. (shrink)

This volume contains all of Frege's extant unpublished writings on philosophy and logic other than his correspondence, written at various stages of his career.

Dieser Band enthält die vier Arbeiten Freges: Begriffsschrift, eine der arithmetischen nachgebildeten Formelsprache, 1879; Anwendungen der Begriffsschrift, 1879; Über den Briefwechsel Leibnizens und Huggens mit Papin, 1881; Über den Zweck der Begriffsschrift, 1883; Über die wissenschaftliche Berechtigung einer Begriffsschrift, 1882. Frege's research work in the field of mathematical logic is of great importance for the present-day analytic philosophy. We actually owe to Frege a great amount of basical insight and exemplary research, which set up a new standard also in (...) other fields of knowledge. As the founder of mathematical logic he severely examindes the syllogisms on which arithmetic is built up. In doing so, Frege recognized that our colloquial language is inadequate to define logic structures. His notional language corresponded to the artaivicial logical language demandes by Leibniz. Frege's achievement in the field of logic were so important, that they radiated into the domain of philosophy and influenced the development of mathematical logic decisively. (shrink)

This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Professor Bynum has contributed a biographical essay, introduction, and extensive bibliography.

Saul Kripke's puzzle about belief demonstrates the lack of soundness of the traditional argument for the Fregean fundamental principle that the sentences 'S believes that a is F' and 'S believes that b is F' can differ in truth value even if a = b. This principle is a crucial premise in the traditional Fregean argument for the existence of semantically relevant senses, individuative elements of beliefs that are sensitive to our varying conceptions of what the beliefs are about. (...) Joseph Owens has offered a new argument for this fundamental principle, one that is not subject to Kripke's criticisms. I argue that even though Owens' argument avoids Kripke's criticisms, it has other flaws. (shrink)

Dieser Band enthält die vier Arbeiten Freges: Begriffsschrift, eine der arithmetischen nachgebildeten Formelsprache, 1879; Anwendungen der Begriffsschrift, 1879; Über den Briefwechsel Leibnizens und Huggens mit Papin, 1881; Über den Zweck der Begriffsschrift, 1883; Über die wissenschaftliche Berechtigung einer Begriffsschrift, 1882. Frege's research work in the field of mathematical logic is of great importance for the present-day analytic philosophy. We actually owe to Frege a great amount of basical insight and exemplary research, which set up a new standard also in (...) other fields of knowledge. As the founder of mathematical logic he severely examindes the syllogisms on which arithmetic is built up. In doing so, Frege recognized that our colloquial language is inadequate to define logic structures. His notional language corresponded to the artaivicial logical language demandes by Leibniz. Frege's achievement in the field of logic were so important, that they radiated into the domain of philosophy and influenced the development of mathematical logic decisively. (shrink)

Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the "neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the (...) extension of a concept C, together with extra-logical axioms governing such a predicate, and show that arithmetic can be obtained in such a framework. As a philosophical payoff, we investigate the status of the so-called Hume's Principle and its connections to the root of the contradiction in Frege's system. (shrink)

This paper proposes a novel conception of mental files, aimed at addressing Frege puzzles. Classical Frege puzzles involve ignorance and discovery of identity. These may be addressed by accounting for a more basic way for identity to figure in thought—the treatment of beliefs by the believer as being about the same thing. This manifests itself in rational inferences that presuppose the identity of what the beliefs are about. Mental files help to provide a functional characterization of a mind capable of (...) this presupposition, but more must be said to show how it may be rational. I argue that this can be done by drawing out the way in which mental files interact with a thinker's motivational states and so come to have normative functional properties. I show how this theory works better than some other treatments of mental files. (shrink)

In this paper, we outline and critically evaluate Thomas Hofweber’s solution to a semantic puzzle he calls Frege’s Other Puzzle. After sketching the Puzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ultimately, this suggests that an altogether different solution to Frege’s Other Puzzle is required.

This is the 1991 (2nd) edition of the 1986 book (MIT Press), considered to be the classic defense of Millianism. The nature of the information content of declarative sentences is a central topic in the philosophy of language. The natural view that a sentence like "John loves Mary" contains information in which two individuals occur as constituents is termed the naive theory, and is one that has been abandoned by most contemporary scholars. This theory was refuted originally by philosopher Gottlob (...) Frege. His argument that the naive theory did not work is termed Frege's puzzle, and his rival account of information content is termed the orthodox theory. In this detailed study, Nathan Salmon defends a version of the naive theory and presents a proposal for its extension that provides a better picture of information content than the orthodox theory gives. He argues that a great deal of what has generally been taken for granted in the philosophy of language over the past few decades is either mistaken or unsupported, and consequently, much current research is focused on the wrong set of questions. Salmon dissolves Frege's puzzle as it is usually formulated and demonstrates how it can be reconstructed and strengthened to yield a more powerful objection to the naive theory. He then defends the naive theory against the new Frege puzzle by presenting an idea that yields both a surprisingly rich and powerful extension of the naive theory and a better picture of information content than that of the original orthodox theory. Nathan Salmon is Professor of Philosophy, University of California at Santa Barbara. (shrink)

Aristotle's claim in Metaphysics Z.6 that "each substance is the same as its essence" has long puzzled commentators. For it seems to conflict with two other Aristotelian theses: (1) primary substances are individuals (e.g., Socrates and Callias), and (2) essences are universals (e.g., Man and Horse). Three traditional solutions to this difficulty are considered and rejected. Instead, to make the Z.6 equation consistent with (1) and (2), I propose that it be interpreted to be making something other than (...) a straightforward identity claim. Callias is the same as his essence in the sense that to be identical to Callias is to be the same man as Callias (where Man is the essence of Callias). In general, x is identical to y if, and only if, x and y are the same E (where E specifies the "what it is to be" for x, i.e., the essence of x). So each of Socrates and Callias is the same as his essence, and Man is that essence, but Socrates and Callias are not identical, for they are not the same man. (shrink)

As these opening quotes acknowledge, the Prisoner’s Dilemma (PD) represents a core puzzle within the formal mathematics of game theory.3 Its rise in conspicuity is evident figure 2.1 above demonstrating a relatively steady rise in incidences of the phrase’s usage between 1960 to 1995, with a stable presence persisting into the twenty first century. This famous two-person “game,” with a stock narrative cast in terms of two prisoners who each independently must choose whether to remain silent or speak, each (...) advancing self-interest at the expense of the other and thereby achieving a mutually suboptimal outcome, mires any social interaction it is applied to into perplexity. The logic of this game proves the inverse of Adam Smith’s invisible hand: individuals acting on self interest will achieve a mutually suboptimal outcome. However, as this chapter illuminates, the assumptions underlying game theory drive this conclusion. (shrink)

ABSTRACT. Fodor characterizes concepts as consisting of two dimensions: one is content, which is purely denotational/broad, the other the Mentalese vehicle bearing that content, which Fodor calls the Mode of Presentation (MOP), understood "syntactically." I argue that, so understood, concepts are not interpersonally sharable; so Fodor's own account violates what he calls the Publicity Constraint in his (1998) book. Furthermore, I argue that Fodor's non-semantic, or "syntactic," solution to Frege cases succumbs to the problem of providing interpersonally applicable functional (...) roles for MOPs. This is a serious problem because Fodor himself has argued extensively that if Fregean senses or meanings are understood as functional/conceptual roles, then they can't be public, since, according to Fodor, there are no interpersonally applicable functional roles in the relevant senses. I elaborate on these relevant senses in the paper. (shrink)

In this paper, I argue against an influential view of Frege's writings on indexical and other context-sensitive expressions, and in favour of an alternative. The centrepiece of the influential view, due to (among others) Evans and McDowell, is that according to Frege, context-sensitiveword-meaning plus context combine to express senses which are essentially first person, essentially present tense and so on, depending on the context-sensitive expression in question. Frege's treatment of indexicals thus fits smoothly with his Intuitive Criterion (...) of difference of sense. On my view, by contrast, Frege stuck by the view which he held in his unpublished 1897 ‘Logic’, namely that the senses expressed by the combination of context-sensitive word-meaning and context could just as well be expressed by means of non-context-sensitive expressions: being first person, present tense and so on are properties, in Frege's view, only of language, not of thought. Given the irreducibility of indexicals – a phenomenon noticed by Castañeda, Perry and others – Frege's treatment of indexicals thus turns out to be inconsistent with the Intuitive Criterion. I argue that Frege was not aware of the inconsistency because he was not aware of the irreducibility of indexicals. This oversight was possible because the source of Frege's interest in indexicals, as inother context-sensitive expressions, differed from that of contemporary theorists. Whereas contemporary theorists are most often interested in indexicals (and in Frege's treatment of them) because they are interested in the indexical versions of Frege's Puzzle and their relation to psychological explanation, Frege himself was interested in them because they pose a prima facie threat to his general conception of thoughts. The only indexical expression Frege's view of which the above account does not cover is ‘I’ insofar as it is associated with ‘special and primitive’ senses, but Frege did not introduce such senses with a view to explaining theirreducibility of ‘I’ his real reason for introducing them remains obscure. (shrink)

Frege puzzles exploit cognitive differences between co-referential terms. Traditionally, they were handled by some version of Frege’s distinction between sense and reference, which avoided disruptive consequences for epistemology. However, the Fregean programme did not live up to its original promise, and was undermined by the development of theories of direct reference; for semantic purposes, its prospects now look dim. In particular, well-known analogues of Frege puzzles concern pairs of uncontentious synonyms; attempts to deal with them by distinguishing idiolects or postulating (...) ‘narrow contents’ or elaborate forms of context-sensitivity are inadequate or semantically implausible. Although ascriptions of knowledge, belief, and other attitudes are ubiquitous in epistemology, epistemologists have not properly come to terms with the surprising consequences of anti-Fregean semantic accounts of attitude ascriptions. In ‘A Puzzle about Belief ’, Saul Kripke shows that natural-seeming disquotational principles for ascribing belief lead to apparently unacceptable consequences, including outright contradictions, in problem cases. Such disquotation principles, I argue, are best regarded not as conceptual connections but just as heuristics in the psychological sense, quick and easy ways of assessing belief ascriptions, usually accurate under normal conditions but far from 100% reliable. I discuss similar heuristics for ascribing knowledge and other attitudes. That the principles have a merely heuristic status need not be pre-theoretically manifest to their users. This view vindicates Kripke’s conclusion that it would be wrong-headed to draw semantic conclusions from Frege puzzles. I discuss the epistemological consequences of an anti-Fregean approach to Frege puzzles, including for Kripke’s cases of the contingent a priori and the necessary a posteriori, but also for evidence, for epistemic modalities, and for epistemic and subjective conceptions of probability. Anna Mahtani’s recent identification of Frege puzzles for the ex ante Pareto Principle as used in welfare economics provides an interesting example. I suggest a model-building methodology as the most promising way of handling at least some of the difficulties. A final issue is the choice between different anti-Fregean approaches to semantics, from very coarse-grained intensional approaches on which sentences express functions from possible worlds to truth-values to more fine-grained hyperintensional approaches on which sentences express functions from possible or impossible worlds to truth-values or else Russellian structured propositions. Some of the hyperintensional theories violate semantic compositionality. More generally, since our attitude ascriptions rely on heuristics, they should be expected to exhibit some level of error; although hyperintensional approaches may be able slightly to reduce the level of postulated error, they do so at the cost of vastly increased theoretical complexity, and so have weak explanatory power. Methodologically, a simple intensional approach does better. (shrink)

Departing from the dominant theories of Frege, Russell and Mill, Kit Fine has sketched a novel solution to Frege’s puzzle in his book Semantic Relationism. In this article, I briefly discuss the puzzle in its various forms and the attempted solutions of Frege and Russell. I then explicate the essential features of the new theory and critically appraise the mechanism suggested by Fine to solve the puzzle. I show that Semantic Relationism fails to address the concerns raised (...) in the puzzle. (shrink)

The objects of credence are the entities to which credences are assigned for the purposes of a successful theory of credence. I use cases akin to Frege's puzzle to argue against referentialism about credence : the view that objects of credence are determined by the objects and properties at which one's credence is directed. I go on to develop a non-referential account of the objects of credence in terms of sets of epistemically possible scenarios.

I argue that the act-based accounts of propositions, like the one defended by Soames, cannot be used to address Frege’s Puzzle without also giving up the Millian view of names. I begin by identifying two puzzles—both of which have been called Frege’s puzzle—and discuss the act-based theorist’s solution to the first puzzle. I then raise an objection against the solution and argue that it cannot be overcome unless a concession is made. Making the concession, however, would make (...) it impossible for the act-based theorist to solve the second puzzle. I further argue that any attempt to solve the puzzle while also maintaining a commitment to the Millian view will force such theoretical commitments on the act-based theorist which seriously undermine the scope and motivation of the act-based approaches. Thus, any solution to Frege’s puzzle on the act-based account is bound to conflict with the Millian view of names. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

Many philosophers have argued or taken for granted that Frege's puzzle has little or nothing to do with identity statements. I show that this is wrong, arguing that the puzzle can only be motivated relative to a thinker's beliefs about the identity or distinctness of the relevant object. The result is important, as it suggests that the puzzle can be solved, not by a semantic theory of names or referring expressions as such, but simply by a (...) theory of identity statements. To show this, I sketch a framework for developing solutions of this sort. I also consider how this result could be implemented by two influential solutions to Frege's puzzle, Perry's referential-reflexivism and Fine's semantic relationism. (shrink)

According to an influential variety of the representational view of perceptual experience—the singular content view—the contents of perceptual experiences include singular propositions partly composed of the particular physical object a given experience is about or of. The singular content view faces well-known difficulties accommodating hallucinations; I maintain that there is also an analogue of Frege's puzzle that poses a significant problem for this view. In fact, I believe that this puzzle presents difficulties for the theory that are (...) unique to perception in that strategies that have been developed to respond to Frege's puzzle in the case of belief cannot be employed successfully in the case of perception. Ultimately, I maintain that this perceptual analogue of Frege's puzzle provides a compelling reason to reject the singular content view of perceptual experience. (shrink)

The paper discusses the emergence of Frege's puzzle and the introduction of the celebrated distinction between sense and reference in the context of Frege's logicist project. The main aim of the paper is to show that not logicism per se is mainly responsible for this introduction, but Frege's constant struggle against formalism. Thus, the paper enlarges the historical context, and provides a reconstruction of Frege's philosophical development from this broader perspective.

Berg seeks to defend the theory that the meaning of a proper name in a belief report is its reference against Frege’s puzzle by hypothesizing that when substituting coreferential names in belief reports results in reports that seem to have different truth values, the appearance is due to the fact that the reports have different metalinguistic implicatures. I review evidence that implicatures cannot be calculated in the way Grice or Berg imagine, and give reasons to believe that belief reports (...) do not have the implicatures Berg attributes to them. I also argue that even if belief reports did have such implicatures, they would not explain why the belief reports in Frege’s puzzle seem to have different truth values. I point out that Berg has no reason to believe that Lois Lane believes Clark Kent is a reporter and Lois Lane believes Superman is a reporter are both true rather than both false, and that Leibniz’s Law cannot be used to defend substitutivity in belief reports because belief reports are not relational in the requisite way. Finally, I observe that some of the linguistic data Berg uses to argue for substitutivity in belief reports concerns the transparent interpretation of belief reports, whereas Frege’s puzzle concerns the opaque interpretation. (shrink)

Frege's puzzle is a fundamental challenge for accounts of mental and linguistic representation. This piece surveys a family of recent approaches to the puzzle that posit representational relations. I identify the central commitments of relational approaches and present several arguments for them. I also distinguish two kinds of relationism—semantic relationism and formal relationism—corresponding to two conceptions of representational relations. I briefly discuss the consequences of relational approaches for foundational questions about propositional attitudes, intentional explanation, and compositionality.

Gottlob Frege maintained that two name-containing identity sentences, represented schematically as a=a and a=b,can both be true in virtue of the same object’s self-identity but nonetheless, puzzlingly, differ in their epistemic profiles. Frege eventually resolved his puzzlement by locating the source of the purported epistemic difference between the identity sentences in a difference in the Sinne, or senses, expressed by the names that the sentences contain. -/- Thus, Frege portrayed himself as describing a puzzle that can be posed prior (...) to and independently of any particular theoretical position regarding names, and then resolving that puzzle with his theory of Sinn and Bedeutung. In this paper, I suggest that Frege’s presentation is problematic. If attempt is made to characterize the epistemic status of true identity sentences without appeal to Frege’s theoretical commitments, then what initially seemed puzzling largely dissolves. It turns out that, in order to generate puzzlement, Frege must invoke the theoretical account that he uses the puzzle to establish the purported necessity of. (shrink)

This paper will critically examine two solutions to Frege’s puzzle: the Millian-Russellian solution proposed by Salmon and Braun, which invokes non-semantic modes of presentation (guises, ways of believing or the like); and Fine’s relationalist solution, which appeals to semantic coordination. Special attention will be devoted to discussing the conception of modes of presentation as mental files and to elucidating the nature of coordination. A third solution to Frege’s puzzle will be explored which, like Salmon’s and Braun’s, adopts the (...) Millian-Russellian semantics but, like Fine’s, involves coordination instead of modes of presentation; however, coordination will not be conceived as a semantic relation but as a cognitive and subjective relation, which provides no contribution to semantic content. This novel Millian-Russellian account involving cognitive coordination will be labelled cognitive relationism. (shrink)

ABSTRACT In this paper, I argue that a number of influential Millian responses to Frege’s puzzle, which consist in denying that Frege’s data apply to natural languages, are not viable if logic is to play its role in legitimizing the logical appraisal of rational subjects. A notion of validity which does justice to the normativity of logic must make room for a distinction between valid inferences and enthymemes. I discuss the prospects of formal, relevant and manifest validity as candidates (...) for a notion which complies with this desideratum. Their success, or failure is argued to hang on the viability of a semantical account of de jure co-reference, which is in tension with standard Millian tenets. I conclude that these Millian theories face the following dilemma: either accept that there is no notion of logical validity which makes logic normative for reasoning, thus jeopardizing our well entrenched practices of rational appraisal; or accept that de jure co-reference is a real semantical relation. (shrink)

Bohmian mechanics, a hydrodynamic formulation of the quantum theory, constitutes a useful tool to understand the role of the phase as the mechanism responsible for the dynamical evolution displayed by quantum systems. This role is analyzed and discussed here in the context of quantum interference, considering to this end two well-known scenarios, namely Young’s two-slit experiment and Wheeler’s delayed choice experiment. A numerical implementation of the first scenario is used to show how interference in a coherent superposition of two counter-propagating (...) wave packets can be seen and explained in terms of an effective model consisting of a single wave packet scattered off an attractive hard wall. The outcomes from this model are then applied to the analysis of Wheeler’s delayed choice experiment, also recreated by means of a reliable realistic simulation. Both examples illustrate quite well how the Bohmian formulation helps to explain in a natural way aspects of the quantum theory typically regarded as paradoxical. In other words, they show that a proper understanding of quantum phase dynamics immediately removes any trace of unnecessary artificial wave-particle arguments. (shrink)

Millians sometimes claim that we can explain the fact that sentences like "If Hesperus exists, then Hesperus is Phosphorus" seem a posteriori to speakers in terms of the fact that utterances of sentences of this sort would typically pragmatically convey propositions which really are a posteriori. I argue that this kind of pragmatic explanation of the seeming a posterioricity of sentences of this sort fails. The main reason is that for every sentence like the above which (by Millian lights) is (...) a priori, seems a posteriori to most speakers, and would typically be used to convey a posteriori propositions, there is another which (again, by Millian lights) is a priori, seems a posteriori to most speakers, but can only typically be used to convey a priori propositions. (shrink)

When I first began to study philosophy I was introduced to the discipline in that magically traditional way by being assured that what lay before me was the love of wisdom. Why this had any adolescent appeal still puzzles me, but, like many others, I joined in as spectator to and occasionally as a removed participant in all the rough and tumble of a Socratic sparring match in the Athenian marketplace. There was some talk of wisdom, to be sure, which (...) seemed to link it with a humble admission of ignorance or a pitch against yielding to temptation, but neither was ever deeply revealing. I waited for more. My next encounter a few years later turned up little more than the surname of an English disciple of Wittgenstein. Somehow the trail had gone to brush, despite the apparent health and energy of philosophy. (shrink)

Many people feel the pull of both creationism and evolution as explanations for the origin of species, despite the direct contradiction. Some respond by endorsing theistic evolution, integrating the scientific and religious explanations by positing that God initiated or guided the process of evolution. Others, however, simultaneously endorse both evolution and creationism despite the contradiction. Here, we illustrate this puzzling phenomenon with interviews with a diverse sample. This qualitative data reveals several approaches to coping with simultaneous inconsistent explanations. For example, (...) some people seem to manage this contradiction by separating out ideological claims, which prioritize identity expression, from fact claims, which prioritize truth. Fitting with this interpretation, ambivalent individuals tended to call explanations “beliefs”, avoid mention of truth or falsity, and ground one or both beliefs in identity and personal history. We conclude with a brief discussion of the affordances of this distinction. (shrink)

Frege’s puzzling remarks on the beginning of On Sense and Reference challenge us to explain how true identity sentences of the form a = a can differ in cognitive value from sentences of the form a = b when they are made true by the same object’s self-identity. Some philosophers (e.g. Almog, Glezakos and Paganini) suggest that the puzzle cannot be set up in the context of natural languages since natural sentences, unlike those of regimented formal ones, do not (...) wear their logical properties on their sleeves. In this paper we argue that, on the contrary, there exists a notion of coordination between names which is apt to track the relevant logical properties of natural sentences and therefore to set up the puzzle in natural languages. Frege’s puzzle is here to stay. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given (...) this enrichment, we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

There is no doubt that social interaction plays an important role in language-learning, as well as in concept acquisition. In surprising contrast, social interaction makes only passing appearance in our most promising naturalistic theories of content. This is particularly true in the case of mental content (e.g., Cummins, 1996; Dretske, 1981, 1988; Fodor, 1987, 1990a; Millikan, 1984); and insofar as linguistic content derives from mental content (Grice, 1957), social interaction seems missing from our best naturalistic theories of both.1 In this (...) paper, I explore the ways in which even the most individualistic of theories of mental content can, and should, accommodate social effects. I focus especially on the way in which inferential relations, including those that are socially taught, influence language-learning and concept acquisition. I argue that these factors affect the way subjects conceive of mental and linguistic content. Such effects have a dark side: the social and inferential processes in question give rise to misleading intuitions about content itself. They create the illusion that content and inferential relations are more deeply intertwined than they actually are. This illusion confounds an otherwise attractive solution to what is known as ‘Frege’s puzzle’ (Salmon, 1986). I.. (shrink)

This paper is concerned with the notion of ambiguity—or what I shall refer to more generally as homonymy—and its bearing upon various familiar puzzles about intensional contexts. It would hardly of course be a novel claim that the unravelling of such puzzles may well involve recourse to something like ambiguity. After all, Frege, who bequeathed to us one of the most enduring of the puzzles, proposed as part of his solution an analysis of intensional contexts according to which all expressions (...) change their sense when embedded in such contexts. And many contemporary philosophers who have discussed the puzzles, while not perhaps endorsing Frege's own somewhat extreme view, nevertheless take ambiguities in the contained sentences to be the key to the puzzles. In this paper, however, I wish to follow those who take the crucial source of homonymy, at least in the most difficult of the puzzles, to lie primarily not in the embedded sentences, but rather in the intensional verbs that embed them. I begin with a brief examination of certain aspects of ambiguity and homonymy. (shrink)

This paper is concerned with the notion of ambiguity—or what I shall refer to more generally as homonymy—and its bearing upon various familiar puzzles about intensional contexts. It would hardly of course be a novel claim that the unravelling of such puzzles may well involve recourse to something like ambiguity. After all, Frege, who bequeathed to us one of the most enduring of the puzzles, proposed as part of his solution an analysis of intensional contexts according to which all expressions (...) change their sense when embedded in such contexts. And many contemporary philosophers who have discussed the puzzles, while not perhaps endorsing Frege's own somewhat extreme view, nevertheless take ambiguities in the contained sentences to be the key to the puzzles. In this paper, however, I wish to follow those who take the crucial source of homonymy, at least in the most difficult of the puzzles, to lie primarily not in the embedded sentences, but rather in the intensional verbs that embed them. I begin with a brief examination of certain aspects of ambiguity and homonymy. (shrink)

"The Hardest Logic Puzzle Ever" was first described by the late George Boolos in the Spring 1996 issue of the Harvard Review of Philosophy. Although not dissimilar in appearance from many other simpler puzzles involving gods (or tribesmen) who always tell the truth or always lie, this puzzle has several features that make the solution far from trivial. This paper examines the puzzle and describes a simpler solution than that originally proposed by Boolos.

Incompletely understood medical texts, like other kinds of technical writing, pose problems that require a multi-disciplinary approach. In addition, the etymological writings of ancient commentators hint at their own cultures priorities and limitations. Progress today, therefore, also depends partly upon how well we can harmonize our own thinking with the beliefs and practices of an alien culture, whose medicine may overlap with culinary and other social uses. A puzzling word may have been reshaped to reflect the supposed properties (...) of the entity denoted or the use made of it. Plant names, which figure strongly in such texts, are particularly liable to be passed from language to language as ‘culture borrowings’ and are thus especially vulnerable to this false rationalization process, commonly known as ‘folk etymology’. In a personal exploration I analyse some modern vocabulary and identify several varieties of the process and then illustrate its effects by means of toponyms and medicinal plant names from mediaeval Italy and ancient Mesopotamia, Anatolia, Greece and Italy. Since no known language seems immune from etymologizing, the generic points that emerge are offered as a contribution to the decipherers craft. (shrink)