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)

Since their introduction by Partee and Rooth (1983) into linguistic theory, type shifting principles have been extensively employed in various linguistic domains, including nominal predicates (Partee 1987), kind denoting NPs (Chierchia 1998), interrogatives (Groenendijk and Stokhof 1989), scrambled definites (De Hoop and Van der Does 1998) and plurals (Winter 2001,2002). Most of the accounts that use type shifting principles employ them as ``last resort'' mechanisms, which apply only when other compositional mechanisms fail. This failure is often sloppily (...) referred to as type mismatch . The motivation for introducing type mismatch into the compositional mechanism is twofold: on the one hand it allows lexical items to be assigned the minimal types that are needed for describing their denotation; on the other hand, it has been argued that the ``last resort'' strategy of type shifting prevents derivation of undesired meanings. The first goal of this paper is to define a simple notion of type mismatch, which will rather closely follow Partee and Rooth's original proposal but will be expressed within more familiar terms of categorial semantics. After introducing this implementation of traditional type mismatch, it will be argued that in fact, it covers only one possible kind of trigger for type shifting principles. Partee and Rooth's notion of mismatch is ``external'' in that the type of an expression is changed only when it combines with another type to which it cannot compose using the ``normal'' compositional mechanism. It will be argued that, within an appropriate type system, another notion of mismatch is also useful. This is the kind of mismatch in which the semantic type of an expression does not match its syntactic category. Two such cases will be explored: mismatch between morpho-syntactic number (singular or plural) and semantic number (a denotation ranging over atoms or sets), and mismatch between syntactic category (noun, DP, adjective etc.) and semantic role (predicate, quantifier, predicate modifier etc.).. (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 paper investigates a certain puzzling argument concerning number expressions and their meanings, the Easy Argument for Numbers. After finding faults with previous views, I offer a new take on what’s ultimately wrong with the Argument: it equivocates. I develop a semantics for number expressions which relates various of their uses, including those relevant to the Easy Argument, via type-shifting. By marrying Romero ’s :687–737, 2005) analysis of specificational clauses with Scontras ’ semantics for Degree Nouns, I (...) show how to extend Landman ’s Adjectival Theory to numerical specificational clauses. The resulting semantics can explain various contrasts observed by Moltmann, but only if Scontras’ contention that degrees and numbers are sortally distinct is correct. At the same time, the Easy Argument can establish its intended conclusion only if numbers and degrees are mistakenly assumed to be identical. (shrink)

‘The following sentence is true only if numbers exist: The number of planets is eight. It is true; hence, numbers exist.’ So runs a familiar argument for realism about mathematical objects. But this argument relies on a controversial semantic thesis: that ‘The number of planets’ and ‘eight’ are singular terms standing for the number eight, and the copula expresses identity. This is the ‘Fregean analysis’.I show that the Fregean analysis is false by providing an analysis of sentences such as that (...) best explains the available linguistic data, and according to which no terms in purport to stand for numbers. (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)

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)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity (...) criterion for senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

In the paper, I discuss a possibility of defending the Direct Reference theory from its most dangerous threaten which is the notorious Frege's puzzle. I discuss two possible ways of doing that. First is based on King's theory of propositions as facts. I show that tools provided by King's theory are not enough to solve the puzzle. More promising is a method supported by new Soames's theory of propositions as cognitive event-types. I try to show that this framework allows us (...) to develop a satisfying solution of the puzzle, which focuses​ on the notion of the cognitive value of the sentence. (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)

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)

The paper deals with the general peculiarities of numerals. Cases where the sense of numeral cannot simply be explained by the idea of counting, of number, or of order are considered. Special types of texts folklore on the one band, propaganda on the other hand - are analyzed. For the latter the examples from two Soviet central official newspapers - Pravda and lzvestija of May 1986 have been chosen. These texts partially reflect common stylistic features of Soviet propagandistic discourse (...) of the "period of stagnation"; their specificity is caused by the special situation, which obtained in the country in those days - the catastrophe in the atomic power station in Chemobyl. It is claimed that all the considered examples reflect several aspects of meaning of numerals contained in their general semantics. Thus, the development of the evaluative meaning is explained by the semantics of degree contained in the numerals. These data contribute to Frege's idea of relativity of number, but from another, purely linguistic, point of view. (shrink)

The traditional understanding of abstraction operates on the basis of the assumption that only entities are subject to thought processes in which particulars are disregarded and commonalities are lifted out (the so-called method of genus proximum and differentia specifica). On this basis Frege criticized the notion of abstraction and convincingly argued that (this kind of) “entitary- directed” abstraction can never provide us with any numbers. However, Frege did not consider the alternative of “property- abstraction.” In this article an argument for (...) this alternative kind of abstraction is formulated by introducing a notion of the “modal universality” of the arithmetical and by developing it in terms of the distinction between type-laws (laws for entities – applicable to a limited class of entities) and modal laws (obtaining for every possible entity without any restriction). In order to substantiate this argument a case is made for the acceptance of an ontic foundation for the arithmetical (and other modes or functions of reality – with special reference to Cassirer, Bernays, Gödel and Wang), which, in the final section, serves to give an ontological account of (i) the connections between the arithmetical and other aspects of reality and (ii) the applicabality of arithmetic. In the course of the argument the impasse of logicism is briefly highlighted, while a few remarks are made with regard to the logical subject- object relation in connection with Frege's view that number attaches to a concept. S. Afr. J. Philos. Vol.22(1) 2003: 63-80. (shrink)

Students of classical Chinese philosophy are quite justly puzzled by the debates and paradoxes in the "School of Names" and the extant logico-semantic texts of the Later Mohists. The latter has received an incisive and extensive treatment in A. C. Graham's Later Mohist Logic, Ethics and Science. Thus far, no larger systematic work on Chinese logic and philosophy of language is available in English. Hansen's book is a good attempt to deal in the large scale with classical Chinese philosophy of (...) language. This book consists of five carefully written chapters. The first expounds a methodology which starts from the premise that interpretation is a theory--"an attempt to explain a text--to render it understandable. As such it is inescapably relative to the intended audience, and appropriately wedded to the critical, rational, logical evaluation procedures appropriate to other theories. The main evaluative features on which we have concentrated is the coherence of the theory." The text at issue is that ascribed to Kung-sun Lung discussed in chapter 5. In terms of its announced aim, it succeeds well in rendering a plausible though by no means uncontroversial explication of the text. The attempted explication is, however, mediated by a number of chapters which raise interesting philosophical issues that repay closer examination by students and philosophical scholars of Chinese philosophy of language. Chapter 2, for example, proposes a bold hypothesis on Chinese philosophy in terms of the logic of mass nouns. It is claimed that a "stuff-like ontology and semantics were implicitly operating as a background assumption behind pre-Han philosophy," and a negative corrollary: "an hypothesis that an abstract or mentalistic ontology and semantics of the type common to Western thinkers were not implicit assumptions behind pre-Han philosophy." For the reviewer, the negative thesis is highly plausible independently of the adequacy of the first. (shrink)

Abstract Though it has been claimed that Frege's commitment to expressions in indirect contexts not having their customary senses commits him to an infinite number of semantic primitives, Terrence Parsons has argued that Frege's explicit commitments are compatible with a two-level theory of senses. In this paper, we argue Frege is committed to some principles Parsons has overlooked, and, from these and other principles to which Frege is committed, give a proof that he is indeed committed to an infinite (...) number of semantic primitives?an intolerable result. (shrink)

Gottlob Frege’s Grundgesetze der Arithmetik (Basic Laws of Arithmetic, Vol. I/II; 1893/1903) is a modern classic. Since the 1930s it has belonged to an exclusive class of only eleven works in the history of symbolic logic, which contain the ‘first appearance of a new idea of fundamental importance’ [Church, 1936, p. 122], and its author is the only one whose other major works — Begriffsschrift (1879) and Die Grundlagen der Arithmetik (1884) — also belong to this distinguished group. (...) Together with the seminal paper ‘Über Sinn und Bedeutung’ these three monographs represent the essential contributions to one of the most fascinating foundational projects in mathematics, then and now. For decades Frege struggled with the question, ‘how are we to apprehend logical objects, in particular, the numbers? What justifies us in acknowledging numbers as objects?’ [Frege, 2013, ‘Afterword’, p. 265]. His favourite answer, for a long time, was that arithmetic is a complex branch of logic. But since there is no logicism without logic, Frege started in Begriffsschrift with the invention of a nearly perfect formalization of higher-order classical predicate logic. To discover how far we can get in arithmetic by analytic means alone, it was even necessary to clarify the semantic character of the concept of number. This was done in a marvellous way by Frege five years later, in Grundlagen. The next step was nothing less than the complete execution of his logicist project, a monumental undertaking; and it is well known that here Frege failed, due to Russell’s derivation of the antinomy in 1902. But, despite the contradiction, Grundgesetze contains Frege’s legacy to logicism, which became more and more attractive. (shrink)

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)

Communication and content presents a comprehensive and foundational account of meaning based on new versions of situation theory and game theory. The literal and implied meanings of an utterance are derived from first principles assuming little more than the partial rationality of interacting agents. New analyses of a number of diverse phenomena – a wide notion of ambiguity and content encompassing phonetics, syntax, semantics, pragmatics, and beyond, vagueness, convention and conventional meaning, indeterminacy, universality, the role of truth in communication, (...) semantic change, translation, Frege’s puzzle of informative identities – are developed. Communication, speaker meaning, and reference are defined. Frege’s context and compositional principles are generalized and reconciled in a fixed-point principle, and a detailed critique of Grice, several aspects of Lewis, and some aspects of the Romantic conception of meaning are offered. Connections with other branches of linguistics, especially psycholinguistics, sociolinguistics, historical linguistics, and natural language processing, are explored. -/- The book will be of interest to scholars in philosophy, linguistics, artificial intelligence, and cognitive science. It should also interest readers in related fields like literary and cultural theory and the social sciences. (shrink)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, (...) NY 14260-4150 E-mail: [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

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)

This is a book about sensory states and their apparent characteristics. It confronts a whole series of metaphysical and epistemological questions and presents an argument for type materialism: the view that sensory states are identical with the neural states with which they are correlated. According to type materialism, sensations are only possessed by human beings and members of related biological species; silicon-based androids cannot have sensations. The author rebuts several other rival theories, and explores a number of (...) important issues: the forms and limits of introspective awareness of sensations, the semantic properties of sensory concepts, knowledge of other minds, and unity of consciousness. The book is a significant contribution to the philosophy of mind, and has much to say to psychologists and cognitive scientists. (shrink)

In this article I contrast in two ways those conceptions of semantic theory deriving from Richard Montague's Intensional Logic (IL) and later developments with conceptions that stick pretty closely to a far weaker semantic apparatus for human first languages. IL is a higher-order language incorporating the simple theory of types. As such, it endows predicates with a reference. Its intensional features yield a conception of propositional identity (namely necessary equivalence) that has seemed to many to be too coarse to be (...) acceptable. In the most usual expositions, it takes the object of linguistic explication to be the sentence in a context, as in Kaplan, 1977. This last has led to recent speculations about 'shifted' contexts. IL may be contrasted with a more linguistically (representationally) bound conception of propositions and interpretation of their predicational and functional parts, and with the explication, not of sentences in contexts, but of potential utterances, relative to the antecedent referential intentions of their speakers. We may then advance, as an empirical hypothesis about all human languages, that contexts never shift, and propose that apparent counterexamples stem from the misconstrual of linguistically coded anaphoric relations, relations that are wanted independently anyway. Donald Davidson's posthumous volume Truth and Predication mounts a sustained criticism of the notion of predicate reference. This criticism is not decisive. However, it may put the ball in the other court, insofar as it asks for a justification of what IL takes as given. Elaborations of IL using structured propositions, recently defended in King, 2007, recognize the problem of predicate reference, and the correlative issue of the 'unity of the proposition'; but I do not see that they can do better than bite the bullet already bitten in IL. I agree with Frege's insight that full justification of predicate reference pushes the boundaries of natural language, and to that extent may not be found within the semantic (as opposed to general scientific) enterprise. (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)

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)

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)

In this paper I develop a theory of 'function' and function as a deontic modal word and phenomenon. Kratzer’s account of the semantics for the deontic modals is invoked and using her approach a formal schema for the semantics of 'function'-sentences is proposed. My account of function is a modalized and extended version of Cummins’ systems-type account of function. In the biological and physical sciences, on this account, function is a complex empirical deontic modal property. It is (...) built on the property of X’s doing Y well enough to enable Z, which is implicitly deontic because of the evaluative but nonetheless empirical in its biological and physical applications. This account of function resolves many of the traditional puzzles about biological and physical function, and extends naturally to include the other types of function. With a variant treatment of the semantics, this account is argued also to apply to mathematical function, where it is shown to be interestingly related to Frege’s account of function. (shrink)

With the aid of some results from current linguistic theory I examine a recent anti-Fregean line with respect to hybrid talk of numbers and ordinary things, such as ‘the number of moons of Jupiter is four’. I conclude that the anti-Fregean line with respect to these sentences is indefensible.

There are two major semantic theories of proper names: Semantic Descriptivism and Direct Reference. According to Semantic Descriptivism, the semantic content of a proper name N for a speaker S is identical to the semantic content of a definite description “the F” that the speaker associates with the name. According to Direct Reference, the semantic content of a proper name is identical to its referent. As is well known, Semantic Descriptivism suffers from a number of drawbacks first pointed out by (...) Donnellan (1970) and Kripke (1972).1 The first difficulty is semantic: in many cases, the definite description that S associates with N (if it denotes) denotes an entity other than the referent of N. The second difficulty is epistemic: in many cases, contrary to what Semantic Descriptivism predicts, an utterance of “N=the F” does not semantically express a proposition that is knowable a priori. And the third difficulty is modal: although Semantic Descriptivism entails that the proposition semantically expressed by an utterance of “N=the F” is metaphysically necessary, in many cases the relevant proposition is actually metaphysically contingent. Direct Reference faces three main difficulties of its own. First, there is the problem of cognitive significance (or, as it has come to be known, Frege’s Puzzle): if the content of a proper name is its referent, then different proper names have the same content, and hence utterances of “N=M” and “N=N” semantically express the same proposition; yet these two utterances differ in cognitive significance, and it would seem 1 that utterances semantically expressing the same proposition should not differ in cognitive significance. Second, there is the problem of substitution: if the content of a proper name is its referent, then co-referential proper names should be intersubstitutable in propositional attitude contexts salva veritate; yet linguistic intuitions suggest that substitution of co-referential proper names in such contexts often fails to preserve truthvalue.. (shrink)

One of the main criteria for an adequate semantic theory is that it solve the problem of substitution into intensional contexts, otherwise known as Frege's Puzzle. Given common-sense assumptions about how natural language functions, a contradiction arises in explaining attitude reports. For example, Lisa might believe that Twain is tall, but not believe that Clemens is tall. Lisa is perhaps unaware that the names "Twain" and "Clemens" corefer. But Twain's being tall is just Clemens' being tall, so one and the (...) same state of affairs is either believed or not. The tasks are to specify what Lisa believes and to accurately and consistently describe the situation given certain foundational semantic principles. ;I argue that of three main semantic frameworks: Davidsonian Semantics, Model-Theoretic Semantics and Propositional Semantics , PS has the best chance to provide a complete, consistent and natural solution. On my view, dynamic propositions are complex states of affairs where things stand in the propositional relation of having expressions of a certain type which pick them out as semantic values and where those expressions stand in appropriate syntactic relations. The propositional relation crucially involves restricted quantification over expression types which are logical features of the language. The sentences "Twain is tall" and "Clemens is tall" express different DP's because even though their constituents are identical, they stand in distinct propositional relations in virtue of the different syntactic expressions. This explains how Lisa could believe one and not the other. These fine-grained propositions successfully serve as both the truth-conditions of sentences and the objects of propositional attitudes. The solution leads to the surprising result that the question of whether singular terms are Fregean or directly referential is actually irrelevant to Frege's Puzzle. ;While DP's are naturalistic and theoretically well-motivated, they face apparent difficulty accounting for translation and being the objects of mental content. The logical form of DP's limits their possible interpretation and thus sheds light on the conceptual framework of its user. I argue that DP's are not beliefs, but cognitive models that serve as interpretations of beliefs in communication. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 9.2 (2002) 123-125 [Access article in PDF] The Self as Relatum in Life and Language Grant Gillett THE STUDY REPORTED by van Staden is extremely interesting to any psychological theorist influenced by Jacques Lacan because of Lacan's insistence that the unconscious is not only structured like a language but actually reflects and is produced by linguistic interactions between the subject and others.The distinction he draws, (...) on the basis of Frege's analysis of logical and grammatical structure, is not straightforwardly evident on a superficial inspection of the sentences concerned. It is also less clear than the agent-patient or subject-object distinction that one might look for on the basis of considering the action being performed. van Staden makes both of these points in the course of illustrating the relevant deep grammatical property on which the study turns. In doing so he engages with the subtle work on subject and object by Strawson (1959) who was one of the first, in the "descriptive metaphysics" of Individuals, to explore the resonance between what we might call (after Frege) "logical grammar" and the deep metaphysical structure of our thought. Strawson noted that the position of grammatical subject in a sentence was typically occupied by a particular or individual substance rather than the accident or property of a substance so that the subject predicate structure of language reflects a basic feature of our world picture whereby the world is seen to be populated by particular objects that instance universal features.Chomsky is the other player whose thought is important in this area in that he argues that we have an innate sense of deep structure, which allows us to disambiguate any sentence so as to reveal the state of affairs that is being represented. Thus we discern that what is denoted by "John loves Mary" is the same thought as that conveyed by "Mary is loved by John." van Staden focuses on something more general—the deep structure that expresses semantic relations or positions. This is not the same as the agent or the simply grammatical subject and van Staden calls it the owner of the relation involved as distinct from the accident of that relation. The terms are well chosen because ownership is a term a la mode in postmodern thought to express the relationship of a human being to the events and attributes associated with him or her. When we look at this subtle grammatological or semantic feature of language we see that the linguistic feature in question is the kind of thing that could easily be overlooked were it not for a post-Fregean analysis of the type van Staden offers.The content that van Staden identifies in relation to what is signified or represented by an utterance is difficult to characterize. It is not what Frege would call logical content in that it does not contribute to the truth value of any of the propositions concerned. It is also problematic to call it psychological content because it is not part of the conscious message conveyed by the utterance. Nevertheless, the study concerned raises [End Page 123] the possibility that it is psychic in a very significant way, which is best approached by considering the relationships between language and the unconscious.Chomsky is regarded as having defined a number of linguistic operations that take propositional or meaningful content and transform it into the form in which it is uttered. The relevant cognitive operations are usually regarded as being performed by the cognitive unconscious, which in some sense applies the rules of grammar to yield well-formed utterances on the basis of speaker intentions. In any event, nobody would seriously question the idea that there are unconscious operations that underpin the production of grammatically structured utterances.If we add to this the possibility that a more dynamic aspect to the unconscious has a role to play in the semantic content of our utterances, then a fruitful line of thought begins to emerge. The dynamic unconscious has to do with self-image and those influences that form the psyche... (shrink)

Walton's book is a study of several fallacies in informal logic. Focusing on question-answer dialogues, and committed to a pragmatic rather than a semantic approach, he attempts to generate criteria for evaluating good and bad questions and answers. The book contains a discussion of such well-recognized fallacies as many questions, black-or-white questions, loaded questions, circular arguments, question-begging assertions and epithets, ad hominem and tu quoque arguments, ignoratio elenchi, and replying to a question with a question. In addition, Walton develops several (...) artificial dialogue games and has an excellent discussion of burden of proof in nonlegal contexts. The discussion is for the most part nontechnical and does not presuppose any training in formal logic. It is illustrated with many (sometimes overlong) examples of fallacies drawn from real life--mostly debates in the Canadian House of Commons. . . . Walton's book breaks new ground on a number of issues. Choice This first full-length study of logical fallacies, errors, faults, illicit attacks, blunders, and other critical deficiencies in interrogation and reply has been written in the tradition of informal fallacies in logic. It is especially valuable, readable, and interesting because of the 139 case studies it presents, many of these case studies come from political debates and some from interviews, legal cross-examinations, and other sources. Walton uses these challenging examples of tricky, aggressive, argumentative, or fallacious questions to develop coherent and pragmatic guidelines for criticizing questionable questions (and in some cases their replies) on logical grounds. Among the types of problematic questions analyzed are: the traditional so-called fallacy of many questions, illustrated by the famous Have you stopped beating your wife?; black and white questions; terminologically loaded questions; and questions containing personal attacks. These and other types of problematic questions as well as evasive replies and replying to a question with a question are studied. Critical errors of reasoning are identified and analyzed by developing context-based, normative models of reasonable dialogue in which a questioner must have freedom to ask informative and probing questions, and the respondent must be constrained to give reasonably direct, not overly evasive answers. In this era of negative and evasive political campaigning, with candidates employing skillful tactics of manipulating public opinion to assure election rather than taking clear stands and seriously debating issues in an informed and sincere manner, Question-Reply Argumentation is especially relevant reading for those who take democracy seriously. The methods used reflect a significant shift from earlier semantically based theories to current pragmatic, dialogue-based models, and will be of interest to logicians and linguists. The volume's conclusions should challenge some current preconceptions. Recommended reading for courses in logic, speech communications, linguistics, philosophy of language, areas of political science relating to political discourse and debate, courses on questioning in cognitive psychology, and courses on critical thinking in education. (shrink)

The nature of reference, or the relation of a word to the object to which it refers, has been perhaps the dominant concern of twentieth-century analytic philosophy. Extremely influential arguments by Gottlob Frege around the turn of the century convinced the large majority of philosophers that the meaning of a word must be distinguished from its referent, the former only providing some kind of direction for reaching the latter. In the last twenty years, this Fregean orthodoxy has been vigorously challenged (...) by those who argue that certain important kinds of words, at least, refer directly without need of an intermediate meaning or sense. The essays in this volume record how a long-term study of Frege has persuaded the author that Frege's pivotal distinction between sense and reference, and his attendant philosophical views about language and thought, are unsatisfactory. Frege's perspective, he argues, imposes a distinctive way of thinking about semantics, specifically about the centrality of cognitive significance puzzles for semantics. Freed from Frege's perspective, we will no longer find it natural to think about semantics in this way. (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.

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)

The standard argument for the existence of distinctively mathematical objects like numbers has two main premises: some mathematical claims are true, and the truth of those claims requires the existence of distinctively mathematical objects. Most nominalists deny. Those who deny typically reject Quine’s criterion of ontological commitment. I target a different assumption in a standard type of semantic argument for. Benacerraf’s semantic argument, for example, relies on the claim that two sentences, one about numbers and the other about (...) cities, have the same grammatical form. He makes this claim on the grounds that the two sentences are superficially similar. I argue that these grounds are not sufficient. Other sentences with the same superficial form appear to have different grammatical forms. I offer two plausible interpretations of Benacerraf’s number sentence that make use of plural quantification. These interpretations appear not to incur ontological commitments to distinctively mathematical objects, even assuming Quine’s criterion. Such interpretations open a new, plural strategy for the mathematical nominalist. (shrink)

Church’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. It also plays an important role in the study of the formal semantics (...) of natural language. When utilizing it as a meta-logic to semantically embed expressive non-classical logics further topical applications are enabled in artificial intelligence and philosophy. A great wealth of technical knowledge can be expressed very naturally in it. With possible enhancements, Church’s type theory constitutes an excellent formal language for representing the knowledge in automated information systems, sophisticated automated reasoning systems, systems for verifying the correctness of mathematical proofs, and a range of projects involving logic and artificial intelligence. Some examples and further references are given in Sections 1.2.2 and 5 below. Type theories are also called higher-order logics, since they allow quantification not only over individual variables, but also over function, predicate, and even higher order variables. Type theories characteristically assign types to entities, distinguishing, for example, between numbers, sets of numbers, functions from numbers to sets of numbers, and sets of such functions. As illustrated in Section 1.2.2 below, these distinctions allow one to discuss the conceptually rich world of sets and functions without encountering the paradoxes of naive set theory. Church’s type theory is a formulation of type theory that was introduced by Alonzo Church in Church 1940. In certain respects, it is simpler and more general than the type theory introduced by Bertrand Russell in Russell 1908 and Whitehead & Russell 1927a. Since properties and relations can be regarded as functions from entities to truth values, the concept of a function is taken as primitive in Church’s type theory, and the λ-notation which Church introduced in Church 1932 and Church 1941 is incorporated into the formal language. Moreover, quantifiers and description operators are introduced in a way so that additional binding mechanisms can be avoided, λ-notation is reused instead. λ-notation is thus the only binding mechanism employed in Church’s type theory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:April 3, 2010 (11:17 am) C:\Users\Milt\Desktop\backup copy of Ken's G\WPData\TYPE2902\russell 29,2 050 red.wpd 1 Gabbay and Woods, eds., The Rise of Modern Logic from Leibniz to Frege, Vol. 3 of the Handbook of the History of Logic (Amsterdam, etc.: North-Holland, 2004). russell: the Journal of Bertrand Russell Studies n.s. 29 (winter 2009–10): 167–90 The Bertrand Russell Research Centre, McMaster U. issn 0036-01631; online 1913-8032 eviews BERTRAND RUSSELL IN RECENT (...) BOOKS ON LOGIC HISTORY Irving Anellis Peirce Edition / Indiana U.–Purdue U. Indianapolis, in 46202–5157, usa [email protected] Dov M. Gabbay and John Woods, eds. Logic from Russell to Church. Vol. 5 of The Handbook of the History of Logic. Amsterdam, etc.: North-Holland, 2009. Pp. xii + 1056. us$260; £157.99; ¤185.95. Leila Haaparanta, ed. The Development of Modern Logic. Oxford and New York: Oxford U. P., 2009. Pp. x + 904. us$150.00. The essay “Bertrand Russell’s Logic” by Andrew D. Irvine in Volume 5 of the Handbook of the History of Logic is one of the shortest in the volume (pp. 1–28). But something of Russell pervades many of the other essays as well, as we might expect given the centrality that Principia Mathematica has occupied in the historiography of logic through much of the twentieth century. This is especially evident in the lengthiest of the essays, Andrea Cantini’s “Paradoxes, Self-reference and Truth in the 20th Century” (pp. 875–1013), and more than tangentially in Dale Jacquette’s “Logic for Meinongian Object Theory Semantics” (pp. 29–76) and Michael Potter’s “The Logic of the Tractatusz” (pp. 255–304). In their preface, the editors of the Handbook explain (p. vii) the rationale for treating Frege and Russell in separate volumes.1 One reason is that it was a matter of simple conveniencez—zto keep the volume covering logic from Leibniz to Frege of manageable size. The other is historical: while admitting that Frege and Russell shared important goals and the philosophical position of logicism, it is noted that Frege’s most important work in logic and foundations was carried out prior to his learning of Russell’s paradox, whereas the entire corpus of Russell’s work, Principiaz included, was designed to a considerable extent in eTorts to deal with the paradox, as was much of the work in logic, set theory, and philosophy of logic that came as a consequence of the discovery of that paradox. Gabbay April 3, 2010 (11:17 am) C:\Users\Milt\Desktop\backup copy of Ken's G\WPData\TYPE2902\russell 29,2 050 red.wpd 168 Reviews and Woods also make explicit the philosophical diTerences between Frege and Russell regarding the epistemological status of axioms as one of the signiWcant diTerences between these two. More particularly, the editors assert (p. viii) that, in the very brief period between publication of the second volume of Frege’s Grundgesetze (1903) and Russell’s Principles of Mathematics (1903), there was a pronounced shift initiated in the goals of mathematical logic, away from naïve apriority of axiom systems, towards study of the limits and properties of formal systems.Thecontributors to these metalogical concerns, Herbrand, Hilbert, and Gödel, among others, are the subject of the bulk of the essays included in Volume 5 of the Handbook. The task that Irvine undertakes is initiated by the eTort to understand the unity of Russell’s technical body of work in mathematics, logic, metaphysics, and epistemology. Thus the discrepancy between the neo-Hegelian concept of relations, inherited from Bradley, with certain types of relationsz—zlogical, spatial, temporal, for examplez—zwith the mathematical understanding of relations, is given as the ground for Russell’s abandonment of idealism in favour of realism (pp. 4–5). For example, there is nothing inherent in two relata, say Abelard and Héloise, which contributes to the relation of love between the pair; rather, its root is found in the mental states of one or the other of the lovers, so that the relation itself is not an intrinsic property of one of the pair. Likewise, Russell reaches this position... (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)

In this paper, I argue that a number of recent Russell interpreters, including Evans, Davidson, Campbell, and Proops, mistakenly attribute to Russell what I call ‘the received view of acquaintance’: the view that acquaintance safeguards us from misidentifying the objects of our acquaintance. I contend that Russell’s discussions of phenomenal continua cases show that he does not accept the received view of acquaintance. I also show that the possibility of misidentifying the objects of acquaintance should be unsurprising given underappreciated aspects (...) of Russell’s overall theory of knowledge and acquaintance. Finally, I consider the radical impact that Russell’s actual views on acquaintance have for our understanding of his well-known George IV case in ‘On Denoting’. In particular, I argue that Russell’s treatment of the George IV case is not a one-size-fits-all solution to Frege’s Puzzle and provides no support for the received view of acquaintance. (shrink)

Frege begins Die Grundlagen der Arithmetik, the work that introduces the project which was to occupy him for most of his professional career, with the question, 'What is the number one?' It is a question to which even mathematicians, he says, have no satisfactory answer. And given this scandalous situation, he adds, there is small hope that we shall be able to say what number is. Frege intends to rectify the situation by providing definitions of the number one and the (...) concept of number. But what, exactly, is required of a definition? Surely it will not do to stipulate that the number one is Julius Caesar - that would change the subject. It seems reasonable to suppose that an acceptable definition must be a true statement containing a description that picks out the object to which the numeral '1' already refers. And, similarly, that an acceptable definition of the concept of number must contain a description that picks out precisely those objects that are numbers - those objects to which our numerals refer. Yet, while Frege writes a great deal about what criteria his definitions must satisfy, the above criteria are not among those he mentions. Nor does he attempt to convince us that his definitions of '1' and the other numerals are correct by arguing that these definitions pick out objects to which these numerals have always referred. Yet, while Frege writes a great deal about what criteria his definitions must satisfy, the above criteria are not among those he mentions. Nor does he attempt to convince us that his definitions of ‘1’ and the other numerals are correct by arguing that these definitions pick out objects to which these numerals have always referred. There is, as we shall see shortly, a great deal of evidence that Frege’s definitions are not intended to pick out objects to which our numerals already refer. But if this is so, how can these definitions teach us anything about our science of arithmetic? And what criteria must these definitions satisfy? To answer these questions, we need to understand what it is that Frege thinks we need to learn about the science of arithmetic. (shrink)

Frege's main contributions to logic and the philosophy of mathematics are, on the one hand, his introduction of modern relational and quantificational logic and, on the other, his analysis of the concept of number. My focus in this paper will be on the latter, although the two are closely related, of course, in ways that will also play a role. More specifically, I will discuss Frege's logicist reconceptualization of the natural numbers with the goal of clarifying two aspects: the (...) motivations for its core ideas; the step-by-step development of these ideas, from Begriffsschrift through Die Grundlagen der Arithmetik and Grundgesetze der Arithmetik to Frege's very last writings, indeed even beyond those, to a number of recent "neo-Fregean" proposals for how to update them. One main development, or break, in Frege's views occurred after he was informed of Russell's antinomy. His attempt to come to terms with this antinomy has found some attention in the literature already. It has seldom been analyzed in connection with earlier changes in his views, however, partly because those changes themselves have been largely ignored. Nor has it been discussed much in connection with Frege's basic motivations, as formed in reaction to earlier positions. Doing both in this paper will not only shed new light on his response to Russell's antinomy, but also on other aspects of his views. In addition, it will provide us with a framework for comparing recent updates of these views, thus for assessing the remaining attraction of Frege's general approach. I will proceed as follows: In the first part of the paper (§1.1 and §1.2), I will consider the relationship of Frege's conception of the natural numbers to earlier conceptions, in particular to what I will call the "pluralities conception", thus bringing into sharper focus his core ideas and their motivations. In the next part (§2.1 and §2.2), I will trace the order in which these ideas come up in Frege's writings, as well as the ways in which his position gets modified along the way, both before and after Russell's antinomy.. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:167. ON McRAE' S HUME Professor McRae's interesting paper may be rather naturally divided into two parts. In the first part he explains what he takes Hume's account of time to be; in the second he advances the bold thesis that Hume's account of time, or perhaps of duration, provides a basis or foundation for his more widely discussed remarks on identity, substance, the self, the necessary connections. In (...) what follows I first reconstruct Professor McRae' s paper, and then I raise some problems, perhaps puzzles, about Hume's view on duration, time and fictions. According to McRae, some philosophers (Descartes, Spinoza, Leibniz) distinguish between time and duration, both of which are taken to be perfectly legitimate notions. Hume, by contrast, takes time and duration to be the same, viz., a succession of moments. What philosophers and the vulgar call 'duration' is something quite different, namely a single unbroken stretch of time which is not composed of successive parts. Of duration taken in this latter way, McRae says, Hume has four things to say, all of them negative: (1) we have no idea of duration; (2) no object has duration; (3) there is no such thing as duration; and (4) duration is a fiction. Properly understood as a succession of moments, however, time certainly exists and is thus not a fiction. Moreover, we have the or at least an idea of time, despite the fact that it is obtained without derivation from a precedent impression. And, while no object can be said to have time, Hume will nonetheless allow that objects exist at certain times and perhaps across a time span. In the second part of his paper, Professor McRae distinguishes two types of Humean fictions. The first arises when one idea is confused with another and mis-applied to some object. The second arises when the imagination creates an "idea" in the attempt to resolve a 168. contradiction which comes up when the first fiction is applied to an object. What I have called McRae' s "bold thesis" in the second part of his paper can now be stated. Duration, or the putative idea thereof, is a fiction of the first type, one that is attributed to what Hume calls "steadfast objects." However, such an object can be considered in two ways. One might consider the object at two stages of this duration and, McRae says, "...this will give us the idea of number" (p. 126); or, one might consider in turn a series of objects, each of them supposedly "steadfast," all along supposing that though time is changing, the objects are not, and "...in this way- we get the idea of unity" (Ibid.). But no object is both a unity and a multiplicity. So, to reconcile these conflicting considerations, the "idea" or fiction of identity is invented. As McRae says: "The idea of identity is a pure product of the imagination invented to mediate between unity and number" (Ibid. ). This invented "idea" is then mis-applied (a fiction of type one) to interrupted appearances of an object. To reconcile the supposed identity of an object with successive appearances of it, the fiction of substance is invented. Quoting both McRae and Hume, In order to reconcile the contradiction between identity and diversity, the imagination is apt to feign something unknown and invisible, which it supposes to continue the same under all these variations ; 2 and this unintelligible something it calls a substance... (p. 128). Related needs to resolve contradictions, on McRae' s account, lead to the fictions of the self (p. 128) and of necessary connections (p. 130), though the latter fiction is of type one. Hence, McRae' s "bold thesis" amounts to this: Duration is a fiction. In the attempt to apply this fiction, one is led to, logically led to, most, if not all, of the other famous Humean fictions. And, if we allow that there are mental acts, for Hume, as well as impressions and ideas, "...then a fictitious duration will be attributed to 169. objects and by a progressive compounding of fictitious mental actions will give the world the ontological structure which it has for the vulgar belief we all share. It... (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)

I take issue with Glezakos’s explanation of why Frege’s puzzle is un-puzzling. On her view, Frege’s statement – how can sentences of the form a=a and a=b, if true, differ in cognitive value if they express the same semantic content/are made true by the same object’s self-identity? – should not be considered any puzzling either because it is on the whole circular, or because, neutrally stated, it cannot even be set up. I argue against this that if, as (...) she takes it, Frege’s statement is “problematic” it is not for the reasons she gives, but because it rests upon a couple of questionable assumptions: i) there is no ambiguity as to which aspect of the sign (in its relation to the referent) is relevant to a neutral statement of the puzzle ii) it is of the (sentence) forms themselves one may sensibly say they differ in cognitive value. (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)

This thesis examines procedures for ascribing ambiguity to particular sentences and words of a language. My discussion focuses on theories advanced by Keith Donnellan, Saul Kripke and David Kaplan regarding the alleged referential/attributive ambiguity of definite descriptions, and on arguments offered by Paul Ziff, David Wiggins and Jerrold Katz concerning the ambiguity of the word 'good'. I distinguish two kinds of semantic ambiguity, which I call "strong" and "weak", and develop a theoretical model of the former. Using this model, I (...) devise and evaluate a number of theoretically related practical tests designed to detect the presence of ambiguity in concrete cases. I argue against direct appeals to our intuitions of meaning, to Occam's Razor, to grammatical analyses and to foreign languages in settling disputed ascriptions of ambiguity. I favor procedures which indirectly test our intuitions of meaning by isolating the linguistic effects of mixing and shifting senses. My tests rely on the assumption that the effects which accompany the use of truly ambiguous expressions are distinguishable from the mere pragmatic uncertainty which permeates general language use. Semantically ambiguous terms are viewed as awkward linguistic devices whose use, for example, will occasionally produce humor, as in the case of a pun, or deceptively bad reasoning. The account I develop rests heavily on the traditional theory of meaning , and to the extent that the standards I erect furnish better evidence for an ascription of semantic ambiguity, to that extent they ratify the classical analysis of meaning. (shrink)

MARINA PAOLA BANCHETTI-ROBINO is Associate Professor and Chair of the Philosophy Department at Florida Atlantic University. Her areas of research include phenomenology, philosophy of language, philosophy of science, philosophy of mind, and zoosemiotics. Her publications have appeared in such journals as Synthese, Husserl Studies, Idealistic Studies, Philosophy East and West, and The Review of Metaphysics. She has also contributed essays to The Role of Pragmatics in Contemporary Philosophy (1997), Feminist Phenomenology (2000), and Islamic Philosophy and Occidental Phenomenology on the Perennial (...) Issue of Microcosm and Macrocosm (2006). She co-edited Philosophies of the Environment and Technology (1999) and is currently working on a book-length project entitled The Birth of Science Out of the Spirit of Myth: A Historico-Phenomenological Re-Examination of the Crisis of the European Sciences. BERNARD BOXILL was born in Saint Lucia, West Indies where he received his primary and secondary education. He studied philosophy at the University of New Brunswick, Canada and at the University of California, Los Angeles where he was awarded a doctorate in philosophy in 1971. He has published numerous articles, a book, Blacks and Social Justice (1992), and is professor of philosophy at the University of North Carolina at Chapel Hill. ED BRANDON was born and educated in England, studying philosophy and linguistics at The University of York, England, and later philosophy at The University of Oxford with the late John Mackie. After teaching in Sierra Leone and briefly in England, he went to teach philosophy of education at the University of the West Indies at Mona, Jamaica in 1978. From 1992 he has been attached to a policy unit of the Vice-Chancellery, based at the Cave Hill campus in Barbados, where he has been assisting since 2000 with a new major in philosophy. His academic work can be accessed from http://cavehill.uwi.edu/bnccde/epb/personalpage.html CAROLYN CUSICK is a doctoral candidate in the Department of Philosophy at Vanderbilt University. She is a founding member of the Phenomenology Roundtable. Her research focuses on feminist epistemology, Africana philosophy, and phenomenology. LEWIS GORDON is President of the Caribbean Philosophical Association. He is Laura H. Carnell Professor, the most distinguished chair, at Temple University, where he holds appointments in philosophy, religion, and Judaic studies and directs the Institute for the Study of Race and Social Thought and the Center for Afro-Jewish Studies. He is also Ongoing Visiting Professor of Philosophy and Government at the University of the West Indies at Mona, Jamaica. He is the author of several books, including the award-winning Her Majesty's Other Children: Sketches of Racism from a Neocolonial Age (Rowman and Littlefield, 1997), Disciplinary Decadence: Living Thought in Trying Times (Paradigm, 2006), An Introduction to Africana Philosophy (Cambridge University Press, forthcoming), and co-editor of A Companion to African-American Studies (Blackwell, 2006) and Not Only the Master's Tools: African-American Studies in Theory and Practice (Paradigm, 2005). CLEVIS HEADLEY is currently Associate Professor of Philosophy at Florida Atlantic University, director of the Ethnic Studies Certificate Program, as well as director of the Master's in Liberal Studies. Professionally, he serves as the Vice-President and Treasurer of the Caribbean Philosophical Association. Professor Headley has published widely in the areas of Critical Race Theory and Africana philosophy. He has also published in Analytic philosophy, focusing specifically on Gottlob Frege. PAGET HENRY is Professor of Sociology and Africana Studies at Brown University. He is the author of Caliban's Reason: Introducing Afro-Caribbean Philosophy, Peripheral Capitalism and Underdevelopment in Antigua, and the co-editor of C. L. R. James' Caribbean. Professor Henry also serves as the editor of the C. L. R. James Journal, and has published numerous articles on the political economy of the Caribbean as well as on African, African-American, and Afro-Caribbean philosophy. ESIABA IROBI is Associate Professor of International Theatre/Performance Studies at Ohio University, Athens. His groundbreaking book: A Theatre for Cannibals: Resisting Globalization on the Continent and Diaspora since 1441 will be published by Palgrave Macmillan, London, in 2007. He has been invited to be an External Resident Fellow at the prestigious Dartmouth College Humanities Institute for the 2007-2008 academic year. CHIKE JEFFERS is a graduate student in the Ph.D. program of the Philosophy Department at Northwestern University. His interests are in Africana philosophy, social and political philosophy, ethics, philosophy of religion and aesthetics. He is originally from Toronto, Ontario, Canada. CATHERINE JOHN is Associate Professor of African Diaspora Literary and Cultural Studies at the University of Oklahoma. Her book Clear Word and Third Sight: Folk Groundings and Diasporic Consciousness in African Caribbean Writing was co-published by Duke University Press and UWI Press in 2003. She has published several articles on Caribbean literature and culture and her current book project is entitled The Just Society and the Diasporic Imagination. She spends her summer working in Woodside, St. Mary, Jamaica helping with a summer school for children and participating in the community's emancipation celebration. KENNETH KNIES is a doctoral student in philosophy at Stony Brook University. His areas of focus are phenomenology and ancient philosophy. He is also a contributing editor for Political Affairs magazine. EDIZON LEN is a photographer and coordinator of the Fondo Documental Afro-Andino at the Universidad Andina Simòn Bolivar in Quito, Ecuador. In 2006, he was curator of the photo exhibit "The Color of the Diaspora" presented at the Cultural Center of the Catholic University of Ecuador and the University of Tennessee in Knoxville. He is currently completing his doctorate at the Universidad Andina Simòn Bolivar with a focus on Maroon thought. REKHA MENON is Associate Professor of Art History at State University of New York, Buffalo State. She is the author of Seductive Aesthetics of Post Colonialism (forthcoming). Her area of research focuses on current philosophical investigations in colonial and neocolonial aspects of Indian art, artistic/cultural practices and philosophies and their relationship to Western arts and philosophies. Her manuscripts under review are: Ashamed of Our Nakedness, Is There Ever a Naked Body? Ambivalence in Contemporary Indian Expressive Aesthetics and Insatiable Desire. MICHAEL R. MICHAU is a Ph.D. candidate in the Philosophy and Literature Program at Purdue University, and during the 2006-2007 school year, a lecturer in the Department of Comparative Studies and Department of Philosophy at Ohio State University. He is the co-founder and co-secretary of the North American Levinas Society. CHARLES W. MILLS is Distinguished Professor of Philosophy at the University of Illinois at Chicago. He works in the general area of oppositional political theory, and is the author of numerous articles and three books: The Racial Contract (Cornell University Press, 1997), Blackness Visible: Essays on Philosophy and Race (Cornell University Press, 1998), and From Class to Race: Essays in White Marxism and Black Radicalism (Rowman and Littlefield, 2003). MABOGO P. MORE is currently Associate Professor of Philosophy at the University of KwaZulu-Natal, South Africa. He has published articles on African philosophy and social and political philosophy in a number of academic journals, such as South African Journal of Philosophy, Dialogue and Universalism, Alternation, Theoria, and African Journal of Political Science. MARILYN NISSIM-SABAT, Ph.D., M.S.W. is Professor Emerita and Adjunct Professor of Philosophy, Lewis University. Dr. Nissim-Sabat is also a psychotherapist in private practice. She is the author of numerous book chapters and papers in the fields of philosophy (Husserlian phenomenology), psychoanalysis, feminism, and critical race theory. Citations of her works can be found on her website: marilynnissim-sabat.com. FREDERICK OCHIENG'-ODHIAMBO is a Senior Lecturer of Philosophy and Coordinator of the discipline at The University of the West Indies, Cave Hill, Barbados. His major research areas are African philosophy and social philosophy. He has published several articles on philosophic sagacity. IVAN PETRELLA is an Assistant Professor of Religious Studies at the University of Miami. He is author of The Future of Liberation Theology: An Argument and Manifesto (SCM Press, 2006) and editor of Latin American Liberation Theology: The Next Generation (Orbis Books, 2005) as well as co-editor of the series Reclaiming Liberation Theology (SCM Press) RICHARD PITHOUSE is a research fellow at the University of KwaZulu-Natal in Durban, South Africa. He is editor of Asinamali: University Struggles in Post-Apartheid South Africa (Africa World Press, 2006). SATHYA RAO is Assistant Professor in French translation at the Department of Modern Languages and Cultural Studies, University of Alberta, Canada. His research fields include: theory of translation, continental philosophy, postcolonial studies, discourses on Africa, and Francophone cinema and literature. He has published articles in various peer-reviewed journals and written chapters in several collective books such as: De l'Ecrit Africain a l'Oral le Phenomene Graphique Africain, Simon Battestini (Ed.) (Paris: L'Harmattan, 2006) and Thèorie-rèbellion. Un Ultimatum, Gilles Grelet (Ed.) (Paris: L'Harmattan, 2005). He has a co-edited a book on Francophone African cinema L'Afrique fait son cinema (Montreal: Memoires d'encrier, forthcoming). Sathya Rao is vice-president of the International Non-Philosophical Organisation (INPhO), member of the Canadian Association of Translatology (CATS), coordinator of the research team Poexil, and Secretary of the Caribbean Philosophical Association. He is co-founder of an online journal Alternative Francophone. CATHERINE WALSH is Professor and Director of the doctoral program in Latin American Cultural Studies at the Universidad Andina Simon Bolivar in Quito, Ecuador. Her research interests include the geopolitics of knowledge, interculturality and concerns related to the Afro-Andean Diaspora and the production of decolonial thought. Among her recent publications are Pensamiento crìtico y matriz colonial (Quito: Abya Yala, 2005), "Interculturality and the Coloniality of Power. An 'Other' Thinking and Positioning from the Colonial Difference," in Coloniality of Power, Transmodernity, and Border Thinking, R. Grosfoguel, J.D. Saldivar, and N. Maldonado-Torres (Eds.) (Durham: Duke University Press, forthcoming) and "Shifting the Geopolitics of Critical Knowledge: Decolonial Thought and Cultural Studies 'Others' in the Andes," Cultural Studies (forthcoming). KRISTIN WATERS has published widely in the areas of race and gender. Her anthology Enlightened Conversations: Women and Men Political Theorists (Blackwell, 2000) challenges political theorists to be more inclusive of race and gender in their research and teaching. Her book Black Women's Intellectual Traditions: Speaking Their Minds, co-edited with Carol Conaway (University of Vermont Press, forthcoming), addresses the varied intellectual traditions of black women's thought that spans more than two hundred years in North America. She is currently Professor of Philosophy at Worcester State College and Visiting Research Associate at Brandeis University. (shrink)