The differences between classes and individuals are profound and the fact that biological species are individuals rather than classes provides the basis for organizing knowledge on a causal basis. The class of species is a natural kind and there are laws of nature for this and other classes of natural kinds such as the organism and the molecule. Particular species, like other individuals, function in historical narratives by virtue of laws of nature applying to them. The notion that species can (...) evolve by changing their members is a category mistake. Darwin believed that there is no “essential” difference between species and subspecies in the sense that there is only a quantitative difference between them. The concept of biological species is defined on the basis of a qualitative difference. The rank of taxa can be used to distinguish between important natural kinds. Without such kinds language would become purely referential, and have no “sense” as Frege had put it. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

In Objectivity, Daston and Galison argue that scientific objectivity has a history. Objectivity emerged as a distinct nineteenth-century “epistemic virtue,” flanked in time by other epistemic virtues. The authors trace the origins of scientific objectivity by identifying changes in images from scientific atlases from different periods, but they emphasize that the same history could be narrated using different sorts of scientific objects. One could, for example, focus on the changing uses of “type specimens” in biological taxonomy. Daston :153–182, 2004) indeed (...) provides a detailed account of the history of the type specimen which purports to show this. I argue that this attempt hinges on a conceptual confusion and therefore fails. I show that the actual history of the type specimen does not reinforce the account of epistemic virtues from Objectivity, but rather threatens to subvert it. (shrink)

At the center of Gauker's book stands two inter-connected theses: First, that concepts are dependent on language; second, that this requires rejecting the traditional idea that linguistic communication involves a transmission of thoughts. I argue that we cannot afford to reject the traditional conception of communication and that Gauker's alternative ‘cooperative' conception is unsatisfactory. However, I also argue that Gauker is wrong to suggest that the language dependency thesis of concepts is incompatible with the traditional view of communication.

Psychoontology is a philosophical theory of the cognizing subject and various related matters. In this article. I present two approaches to the discipline—the first proposed by Jerzy Perzanowski, the second by Jesse Prinz and Yoram Hazony. I then undertake to bring these into unity using certain ideas from Husserl and Frege. Applying the functor qua, psychoontology can be described as a discipline concerned with: (a) the cognizing subject qua being—this leads to the question: what kind of being is the subject (...) (is it an object?, simple or complex?, a process?) and what makes him/her/it possible; (b) being qua cognized, this leads to the question: under what conditions can we access the world? Since the notion of being qua cognized might seem peculiar, I present its context and discuss it in detail in the last section. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

The present paper addresses Molnar’s problem :72–86, 2000): that of finding positive truthmakers for negative truths. The proposed solution, called, is to hold truth and falsity to be primitive and positive features of propositions and to take every literal negative truth to be made true by the falsity of the atomic proposition that it embeds. The solution is shown to be compatible with Maximalism, Necessitarianism and with the Entailment Thesis, as well as with most if not all possible variants of (...) truthmaking theory. Other advantages of are noted: it doesn’t require the inclusion of exotic objects in one’s ontology; it doesn’t require any revision of one’s logic or of one’s theory of modality. The solution also allows one to eschew negative facts, tropes and properties while providing a definition of negativity for certain literal propositions. The paper ends by rebutting several objections that may be levelled against. (shrink)

Despite attending Husserl’s classes, participating in the discussions of the Göttingen phenomenological circle, and writing prolifically on phenomenology, Eugen Enyvvari seems to have been virtually ignored by phenomenological scholarship. I use an array of unpublished sources and a survey of his juvenilia to reconstruct Enyvvari’s biography and intellectual formation, including his confrontation with Melchior Palagyi’s critique of Husserl and Bolzano. Based on both his reports and records from the Göttingen University Archives, I attempt to establish the influences to which he (...) could have been exposed in Göttingen. I rely on a careful micro-analysis of the development of Husserl’s notion of noematical meaning at the time of Enyvvari’s stay in Göttingen in order to asses Enyvvari’s specific contribution to phenomenology and his significance from the point of view of the general historiography of phenomenology. (shrink)

What is an object? A prior question: What is objecthood? Au fond, and to logic’s eye, object is a role to be played with respect to a thought. It is to be a countable which that thought represent as being some way for such a countable to be; what restores the business of truth-of to that of truth outright. What plays that role for some given thought is then an object with respect to that thought. Given this, there are corresponding (...) absolute notions, to be fit for this role, and to be fit only for this role. So the fundamental task here is identifying the conditions on playing this role at all. All this is a contribution, however limited, to a topic called ‘ontology’. This last word also occurs in the plural in several contexts. The end of this essay considers how these notions might relate, and what assumptions underlie what some have seen them to. (shrink)

The historical debate on representation in cognitive science and neuroscience construes representations as theoretical posits and discusses the degree to which we have reason to posit them. We reject the premise of that debate. We argue that experimental neuroscientists routinely observe and manipulate neural representations in their laboratory. Therefore, neural representations are as real as neurons, action potentials, or any other well-established entities in our ontology.

We study the computational complexity of polyadic quantifiers in natural language. This type of quantification is widely used in formal semantics to model the meaning of multi-quantifier sentences. First, we show that the standard constructions that turn simple determiners into complex quantifiers, namely Boolean operations, iteration, cumulation, and resumption, are tractable. Then, we provide an insight into branching operation yielding intractable natural language multi-quantifier expressions. Next, we focus on a linguistic case study. We use computational complexity results to investigate semantic (...) distinctions between quantified reciprocal sentences. We show a computational dichotomy<br>between different readings of reciprocity. Finally, we go more into philosophical speculation on meaning, ambiguity and computational complexity. In particular, we investigate a possibility to<br>revise the Strong Meaning Hypothesis with complexity aspects to better account for meaning shifts in the domain of multi-quantifier sentences. The paper not only contributes to the field of the formal<br>semantics but also illustrates how the tools of computational complexity theory might be successfully used in linguistics and philosophy with an eye towards cognitive science. (shrink)

Yablo gives us an account of subject-matter - a characterization of what declarative sentences are about. I argue that this account can be seen as a way of adjusting Frege’s theory of meaning, so as it no longer carries the implausible commitment that declarative sentences refer to their truth-values. I also point out that Yablo’s approach faces an unpleasant choice: give up a uniform compositional semantics for interrogative sentences or abandon the idea that ordinary characterizations of subject matter are literally (...) and unambiguously true. (shrink)

A detailed chronology is offered for the writing of Frege's central philosophical essays from the early 1890s. Particular attention is given to (the distinction between) Sinn and Bedeutung. Suggestions are made as to the origin of the examples concerning the Morning Star/Evening Star and August Bebel's views on the return of Alsace-Lorraine. Likely sources are offered for Frege's use of the terms Bestimmungsweise, Art des Gegebenseins and Sinn und Bedeutung.

Recently, a number of epistemologists have argued that there are no non-conceptual elements in representational content. On their view, the only sort of non-conceptual elements are components of sub-personal organic hardware that, because they enjoy no veridical role, must be construed epistemologically irrelevant. By reviewing a 35-year-old debate initiated by Dagfinn F.

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in this paper (...) have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims atproviding an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic hasfewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic PPC3, with two kinds of falsity and two negations. It introduces the notion of -space for a sentence A as the basis of logical model theory, and the notion of P A /, functioning as a `private' subuniverse for A/A. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. PPC3 and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of PPC3 as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: 1a for the conjoined presuppositions of a, ã for the complement of a within 1a, and â for the complement of 1a within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is (...) considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leaking O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute the effects of U-restriction. (shrink)

This paper proposes an outline for a typology of the different forms that scientific objects can take in the life sciences. The first section discusses preparations (or specimens)—a form of scientific object that accompanied the development of modern biology in different guises from the seventeenth century to the present: as anatomical–morphological specimens, as microscopic cuts, and as biochemical preparations. In the second section, the characteristics of models in biology are discussed. They became prominent from the end of the nineteenth century (...) onwards. Some remarks on the role of simulations—characterising the life sciences of the turn from the twentieth to the twenty-first century—conclude the paper. -/- . (shrink)

In this paper I discuss Frege's distinction between objects and concepts and suggest a solution of Frege's paradox of the concept horse. The expression ''the concept horse'' is not eliminated and the concept is not identified with its extension, but the concept is identified with the sense of the corresponding predicate. This solution fits better into a fregean ontology and philosophy of language than alternative solutions and allows for a general answer to the question why Frege's system is infected with (...) Russell's paradox. Russell's paradox is caused by the reification of a concept. Certain problems of modern set theory seem to have a similar cause.Eine weithin sichtbare Warnungstafel muss aufgerichtet. (shrink)

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature (...) of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories. (shrink)

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...) We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

The idea underlying the Begriffsschrift account of identities was that the content of a sentence is a function of the things it is about. If so, then if an identity a=b is about the content of its contained terms and is true, then a=a and a=b have the same content. But they do not have the same content; so, Frege concluded, identities are not about the contents of their contained terms. The way Frege regarded the matter is that in an (...) identity the terms flanking the symbol for identity do not have their ordinary contents, but instead have themselves as their contents. In ?Uber Sinn und Bedeutung? Frege became convinced that if an identity a=bis about the signs aand b, then it expresses no proper knowledge. So, since it is evident that many such identities do express proper knowledge, Frege concluded that identities are not about their contained signs. So he became convinced that his Begriffsschrift account was incorrect. What was the error in the argument that led Frege to that account? It was thinking that the content of a sentence is a function of the contents of its constituent signs, that is, the things it is about. (shrink)

A dilemma has stymied interpretations of the Stranger’s method of dividing kinds into subkinds in Plato’sSophistandStatesman. The dilemma assumes that the kinds are either extensions or intensions. Now kinds divide like extensions, not intensions. But extensions cannot explain the distinct identities of kinds that possess the very same members. We propose understanding a kind as like an animal body—the Stranger’s simile for division—possessing both an extension and an intension. We find textual support in the Stranger’s paradigmatic four steps for collecting (...) a subkind. (shrink)

Considerable attention has been given to the accessibility of legal documents, such as legislation and case law, both in legal information retrieval (query formulation, search algorithms), in legal information dissemination practice (numerous examples of on-line access to formal sources of law), and in legal knowledge-based systems (by translating the contents of those documents to ready-to-use rule and case-based systems). However, within AI & law, it has hardly ever been tried to make the contents of sources of law, and the relations (...) among them, more accessible to those without a legal education. This article presents a theory about translating sources of law into information accessible to persons without a legal education. It illustrates the theory by providing two elaborated examples of such translation ventures. In the first example, formal sources of law in the domain of exchanging police information are translated into rules of thumb useful for policemen. In the second example, the goal of providing non-legal professionals with insight into legislative procedures is translated into a framework for making available sources of law through an integrated legislative calendar. Although the theory itself does not support automating the several stages described, in this article some hints are given as to what such automation would have to look like. (shrink)

Richard Heck, Jr has recently argued against Russellianism about proper names not in the usual way—by appeal to “intuitions” about the truth conditions of “that”-clause belief ascriptions—but by appeal to our need to specify beliefs in a way that reflects their individuation. Since beliefs are individuated by their psychological roles and not their Russellian contents, he argues, Russellianism is precluded in principle from accounting for our ability to specify beliefs in ordinary language. I argue that Heck thus makes things easier (...) for the Russellian. For by framing the issue as one concerning the specificatory powers of ordinary language in general, rather than just of “that”-clause ascriptions, Heck weakens the implications of any claim about the semantics of that one type of belief-specifying locution. I augment this diagnosis with a positive account of the specificatory usefulness, and attested commonness, of (partly or wholly) quotational belief ascriptions, e.g. “Lois believes that ‘Superman’ is at the meeting.” This proposal is not of the usual sort concerning such locutions since it does not involve the (dubious) claim that they are in some way equivalent to “that”-clause ascriptions. (shrink)

The following well-known problem motivated my handling more general problems. As we surely know, our pupils and even students are confronted with much more trouble when learning mathematics (and even physics) than when they learn ‘empirical’ sciences like biology, mineralogy etc. There are many factors that can at least partially explain this phenomenon. I would however mention one factor that is not too frequently adduced: mathematics, logic, and much of physics use concepts that are abstract while the empirical sciences seem (...) to support understanding by using expressions concerning (denoting? expressing?) concrete objects. Therefore the first topic to be explained (or explicated) is: Abstract vs. concrete. The second point will consist of applying the first point to explanation of the trouble with learning mathematics. The third point will ask Logical Analysis of Natural Language how to tell abstract expressions from concrete ones. The fourth point will confront the concept described in the foregoing point with conceptions trying to abandon the distinction between analytic and empirical expressions. Here it will be shown that the empiricism representing this latter conception deprives semantics as applied to Natural language of important features of expressivity. (shrink)

. David Chalmerss version of two-dimensional semantics is an attempt at setting up a unified semantic framework that would vindicate both the Fregean and the Kripkean semantic intuitions. I claim that there are three acceptable ways of carrying out such a project, and that Chalmerss theory does not coherently fit any of the three patterns. I suggest that the theory may be seen as pointing to the possibility of a double reading for many linguistic expressions (a double reading which, however, (...) is not easily identified with straightforward semantic ambiguity). (shrink)

Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued Fregean quantification logic FQ3 is proposed. This three valued logic differs from Kleene and Łukasiewicz’s three-valued logics. The logic FQ3 is decidable. A sound and complete Hilbert-style axiomatic system for the logic FQ3 is presented.

I argue that common nouns should be analyzed as variables, rather than as predicates which take variables as arguments. This necessitates several unusual features to the analysis, such as allowing variables to be modally non-rigid, and assigning their values compositionally. However, treating common nouns as variables offers a variety of theoretical and empirical advantages over a more traditional analysis: It predicts the conservativity of nominal quantification, simplifies the analysis of articleless languages, derives the weak reading of sentences with donkey anaphora, (...) solves the proportion problem presented by quantifiers like ‘most’, improves the analysis of the temperature paradox, allows a more unified analysis of bare plurals, and regularizes the correspondence between syntactic categories and semantic types. (shrink)

In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected.

I distinguish two notions of agreement in belief: believing the same content versus having beliefs that necessarily coincide/diverge in normative status. The second notion of agreement,, is clearly significant for the communication of beliefs amongst thinkers. Thus there would seem to be some prima facie advantage to choosing the conception of content operative in in such a way that the normative status of beliefs supervenes on their content, and this seems to be the prevailing assumption of many semanticists. I shall (...) argue that de se beliefs and assertions provide a motivation to depart from this assumption, and so do beliefs and assertions concerning what is epistemically possible. I conclude by offering two models of assertoric communication that are compatible with the abandonment of the assumption, and suggesting schematically that each model applies to different cases. (shrink)

In this paper I argue for a non-referential interpretation of some uses of indexicals embedded under epistemic modals. The so-called descriptive uses of indexicals come in several types and it is argued that those embedded within the scope of modal operators do not require non-referential interpretation, provided the modality is interpreted as epistemic. I endeavor to show that even if we allow an epistemic interpretation of modalities, the resulting interpretation will still be inadequate as long as we retain a referential (...) interpretation of indexicals. I then propose an analysis of descriptive indexicals that combines an epistemic interpretation of modality with a non-referential interpretation of indexicals. (shrink)

The objectives of this paper are twofold. The first is to present a differentiation between two kinds of deferred uses of indexicals: those in which indexical utterances express singular propositions (I term them deferred reference proper) and those where they express general propositions (called descriptive uses of indexicals). The second objective is the analysis of the descriptive uses of indexicals. In contrast to Nunberg, who treats descriptive uses as a special case of deferred reference in which a property contributes to (...) the proposition expressed, I argue that examples in which a general proposition is indeed expressed by an indexical cannot be treated by assuming that the property is a deferred referent of the pronoun. I propose an analysis of descriptive uses of indexicals by means of a pragmatic mechanism of ‘descriptive anaphora’, which attempts to explain the special kind of contribution of the property retrieved from the context to the proposition that is characteristic of the descriptive interpretation. (shrink)

Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism and (...) descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy. (shrink)

This essay asks whether there is a relation between action-serving and meaning-serving intentions. The idea that the intentions involved in meaning and action are nominally designated alike as intentionalities does not guarantee any special logical or conceptual connections between the intentionality of referential thoughts and thought-expressive speech acts with the intentionality of doing. The latter category is typified by overt physical actions in order to communicate by engaging in speech acts, but also includes at the origin of all artistic and (...) symbolic expression such cerebral and linguistic doings as thinking propositional thoughts. There are exactly four possibilities by which meaning and action intentionalities might be related to be systematically investigated. Meaning-serving and action-serving intentionalities, topologically speaking, might exclude one another, partially overlap with one another, or subsume one in the other or the other in the one. The theoretical separation of the two ostensible categories of intendings is criticized, as is their partial overlap, in light of the proposal that thinking and artistic and symbolic expression are activities that favor the inclusion of paradigm meaning-serving intentions as among a larger domain of action-serving intentions. The only remaining alternative is then developed, of including action-serving intentions reductively in meaning-serving intentions, and is defended as offering in an unexpected way the most cogent universal reductive ontology in which the intentionality of doing generally relates to the specific intentionality of referring in thought to the objects of predications, and of its artistic and symbolic expression. (shrink)

This paper should be read against the backdrop of three lines of linguistic investigation: the investigation of the Perfect construction, which has received considerable attention, going back to Reichenbach ; the working hypothesis that certain verbal constructions can be described in terms of the semantics of determiners on nominal expressions, with which we are more familiar; the common observation that we talk about time the way we talk about space. The focus of the paper is a particular construction in Greek. (...) As always, however, the search for the solution of a particular question reveals many other questions in the process and this paper should be seen as being also about a number of related puzzles in English and other languages. (shrink)

This paper outlines a framework for the abstract investigation of the concept of canonicity of names and of naming systems. Degrees of canonicity of names and of naming systems are distinguished. The structure of the degrees is investigated, and a notion of relative canonicity is defined. The notions of canonicity are formally expressed within a Carnapian system of second-order modal logic.

Presupposition is the semantic-pragmatic phenomenon whereby a statement contains an implicit precondition that must be taken for granted for that statement to be felicitous. This article discusses the role of presupposition in legislative texts, using examples from Swiss constitutional and administrative law. It illustrates how presuppositions are triggered in these texts and what functions they come to serve, placing special emphasis on their constitutive power. It also demonstrates how legislative drafters can distinguish between “good” presuppositions and “bad” presuppositions by weighing (...) their main advantage, conciseness, against their main flaw, reduced transparency. The present study argues that, if employed carefully, presuppositions can be a useful stylistic means to keep legislative texts free from unnecessary clutter that merely elaborates on the obvious; however, it also suggests that, if applied wrongly, presuppositions can camouflage the duties and obligations placed on the subjects of a law and thus impede its accessibility and its efficient and effective implementation. (shrink)

Propositions represent the entities from which they are formed. This fact has puzzled philosophers and some have put forward radical proposals in order to explain it. This paper develops a primitivist account of the representational properties of propositions that centers on the operation of application. As we will see, this theory wins out over its competitors on grounds of strength, systematicity and unifying power.

We show that, contrary to conventional wisdom, Frege’s distinction between sense and reference does not reconcile a classical logic of identity with apparent counterexamples to it involving proper names embedded under propositional attitude verbs.

This paper formulates a new argument against the received view in the philosophy of poetry. The received view consists of three tenets: the unity of poetic form and poetic content; the impossibility of paraphrasing and translating poetry; and the hyperintensionality of poetry. We will explore the same detour via direct quotation that has been used by proponents of the received view. We will argue that the hyperintensionality and unity of quotation do not guarantee its untranslatability, and thus that the inference (...) of untranslatability from hyperintensionality and unity is not universally valid. As a consequence, the claim that poetry cannot be translated is left without much support, since it relies on the same kind of inference. However, this does not mean that poetry is translatable; it means only that if it is not translatable, this is due to something other than the combination of hyperintensionality and unity. (shrink)

This article consists of replies to three commentaries on the book, Words and Images: An Essay on the Origin of Ideas (Oxford 2011).

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

According to neo-Russellianism, in a sentence such as John believes that Mont Blanc is 4000 m high, any other proper name co-referring with Mont Blanc can be substituted for it without any change in the proposition expressed. Prima facie, our practice of translation shows that this cannot be correct. We will then show that neo-Russellians have a way out of this problem, which consists in holding that actual translations are not a matter of semantics, but also make an attempt at (...) preserving some pragmatic features of the sentences to be translated. We then turn to translations that only preserve the semantic characteristics of the sentences and we argue that, although these translations are unable to show that neo-Russellianism is incorrect, they still show that it relies on some theses that seem to have no justification, apart from saving neo-Russellianism itself. (shrink)

Contrary to a claim made by Kaplan (Mind 114:933–1003, 2005) and Neale (Mind 114:809–871, 2005), the readings available to sentences containing definite descriptions embedded under propositional attitude verbs and conditionals do pose a significant problem for the Russellian theory of definite descriptions. The Fregean theory of descriptions, on the other hand, deals easily with the relevant data.