An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic (...) information, that is, we propose to tackle both syntactic and semantic underspecification using descriptions. (shrink)

In “Naming and Necessity” Saul Kripke describes some cases which, he claims, provide counterexamples both to cluster theories and, more generally, to description theories of proper names. My view of these cases is that while they do not provide counterexamples to cluster theories, they can be used to provide evidence against single-description theories. In this paper I shall defend both of the claims involved in my view.

The theory of the organism-environment system starts with the proposition that in any functional sense organism and environment are inseparable and form only one unitary system. The organism cannot exist without the environment and the environment has descriptive properties only if it is connected to the organism. Although for practical purposes we do separate organism and environment, this common-sense starting point leads in psychological theory to problems which cannot be solved. Therefore, separation of organism and environment cannot be (...) the basis of any scientific explanation of human behavior. The theory leads to a reinterpretation of basic problems in many fields of inquiry and makes possible the definition of mental phenomena without their reduction either to neural or biological activity or to separate mental functions. According to the theory, mental activity is activity of the whole organism-environment system, and the traditional psychological concepts describe only different aspects of organisation of this system. Therefore, mental activity cannot be separated from the nervous system, but the nervous system is only one part of the organism­environment system. This problem will be dealt with in detail in the second part of the article. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to (...) be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

The desire-satisfaction theory of welfare says that what is basically good for a subject is the satisfaction of his desires. One challenge to this view is the existence of quirky desires, such as a desire to count blades of grass. It is hard to see why anyone would desire such things, and thus hard to believe that the satisfaction of such desires could be basically good for anyone. This suggests that only some desires are basically good when satisfied, and (...) that desire satisfactionists owe us an account of which desires these are, and why. In "Quirky Desires and Well-Being," Donald Bruckner proposes such an account: a desire is welfare-relevant (i.e., such that its satisfaction would be basically good for its subject) if and only if and because its subject could describe its object in a way that makes it comprehensible what about the object attracts him or appeals to him. We are inclined to view quirky desires as welfare-irrelevant because we assume that their objects cannot be described in such a way. But if there were a quirky desire whose object could be so described by the subject whose desire it is, then this desire would be relevant to that subject's welfare. I will argue that while Bruckner's view delivers plausible verdicts about the cases to which it is meant to apply, its account of what makes a desire welfare-relevant is unmotivated and implausible. Desire satisfactionists can retain what is plausible about his view while endorsing a better explanation of why welfare-relevant desires have that status if they accept the following account instead: a desire is welfare-relevant if and only if and because something about its object attracts, or appeals to, the subject who has the desire. (shrink)

The paper revisits Sharvy's theory of plural definite descriptions. An alternative account of plural definite descriptions building on the ideas of plural quantification and non-distributive plural predication is developed. Finally, the alternative is extrapolated to account for generic uses of definite descriptions.

Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.

Despite its enormous popularity, Russell’s theory of definite descriptions has received various criticisms. Two of the most important objections against this theory are those arising from the Argument from Incompleteness and the Argument from Donnellan’s Distinction. According to the former although a speaker may say something true by assertively uttering a sentence containing an incomplete description , on the Russellian analysis such a sentence expresses a false proposition; so, Russell’s theory cannot adequately deal with such sentences. (...) According to the latter objection a descriptive sentence is actually ambiguous—it expresses a general proposition when the description contained in it is used attributively, and a singular proposition when the description in question is used referentially; Russell’s theory is inadequate as it fails to capture this ambiguity and offers an analysis according to which a descriptive sentence expresses only a general proposition. These objections are examined in the present dissertation. It is shown here that these objections arise from: (i) ignoring the distinction between the meaning of a sentence and the assertions made by using it, (ii) the failure to distinguish between the semantic meaning of a sentence and the pragmatic meaning with which it is used on a particular occasion. To make the distinction mentioned in (i), a significant part of Scott Soames’ theory concerning meaning and assertions has been adopted in this dissertation; and, to make the distinction mentioned in (ii), a test, namely the cancellability test, and two Distinguishing Criteria, namely DC-1 and DC-2, have been developed here. It has been argued here that if we properly make the relevant distinctions, then we will find that: (a) the phenomenon cited by the Argument from Incompleteness can be well explained keeping the Russellian analysis of descriptive sentences intact, (b) the phenomenon arising from the Argument from Donnellan’s Distinction raises an issue of pragmatics and is irrelevant to Russell’s semantic analysis of descriptive sentences. So, none of the above criticisms poses a genuine threat to Russell’s theory of definite descriptions; his theory actually provides, to a large extent, a correct semantic analysis of descriptive sentences. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical (...) theory of reference is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. In this paper, I propose a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with a fundamental level at the bottom? (...) And what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? (2) Are there emergent properties? (3) Are higher-level descriptions reducible to lower-level ones? (4) Can the relationship between normative and non-normative domains be viewed as one involving levels? Although I use the terminology of “levels”, the proposed framework can also represent “scales”, “domains”, or “subject matters”, where these are not linearly but only partially ordered by relations of supervenience or inclusion. (shrink)

The first aim of this paper is to elucidate Russell’s construction of spatial points, which is to be <br>considered as a paradigmatic case of the "logical constructions" that played a central role in his epistemology and theory of science. Comparing it with parallel endeavours carried out by Carnap and Stone it is argued that Russell’s construction is best understood as a structural representation. It is shown that Russell’s and Carnap’s representational constructions may be considered as incomplete and sketchy harbingers (...) of Stone’s representation theorems. The representational program inaugurated by Stone’s theorems was one of the success stories of 20th century’s mathematics. This suggests that representational constructions à la Stone could also be important for epistemology and philosophy of science. More specifically it is argued that the issues proposed by Russellian definite descriptions, logical constructions, and structural representations still have a place on the agenda of contemporary epistemology and philosophy of science. Finally, the representational interpretation of Russell’s logical constructivism is used to shed some new light on the recently vigorously discussed topic of his structural realism. (shrink)

Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.

In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the unificationist “explicit” approach (...) given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning. (shrink)

Decision theory has at its core a set of mathematical theorems that connect rational preferences to functions with certain structural properties. The components of these theorems, as well as their bearing on questions surrounding rationality, can be interpreted in a variety of ways. Philosophy’s current interest in decision theory represents a convergence of two very different lines of thought, one concerned with the question of how one ought to act, and the other concerned with the question of what (...) action consists in and what it reveals about the actor’s mental states. As a result, the theory has come to have two different uses in philosophy, which we might call the normative use and the interpretive use. It also has a related use that is largely within the domain of psychology, the descriptive use. This essay examines the historical development of decision theory and its uses; the relationship between the norm of decision theory and the notion of rationality; and the interdependence of the uses of decision theory. (shrink)

This chapter identifies a novel family of metaethical theories that are non-descriptive and that aim to explain the action-guiding qualities of normative thought and language. The general strategy is to consider different relations language might bear to a given content, where we locate descriptivity (or lack of it) in these relations, rather than locating it in a theory that begins with the expression of states of mind, or locating it in a special kind of content that is not way-things-might-be (...) content. One such view is sketched, which posits two different content-fixing cognitive roles for bits of language. One role fixes a descriptive relation to content and another role fixes a non-descriptive relation to content. In addition to non-descriptivity and action guidance, the chapter briefly considers the appearance of mind-independent authoritative force, disagreement, and Frege–Geach concerns. (shrink)

This paper shows that Russell’s theory of descriptions gives the wrong se-mantics for definite descriptions occurring in questions and imperatives. Depending on how that theory is applied, it either assigns nonsense to per-fectly meaningful questions and assertions or it assigns meanings that di-verge from the actual semantics of such sentences, even after all pragmatic and contextual variables are allowed for. Given that Russell’s theory is wrong for questions and assertions, it must be wrong for assertoric state-ments; for (...) the semantics of ‘the phi’ obviously doesn’t vary depending on whether it occurs in a question or an assertion or a command. (shrink)

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if (...) logic is used as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.

Christian von Ehrenfels was a student of both Franz Brentano and Carl Menger and his thinking on value theory was inspired both by Brentano’s descriptive psychology and by the subjective theory of economic value advanced by Menger, the founder of the Austrian school of economics. Value, for Ehrenfels, is a function of desire, and we ascribe value to those things which we either do in fact desire, or would desire if we were not convinced of their existence. He (...) asserts that the needed theoretical understanding of values is to be achieved by generalizing economic laws of valuation to apply to value in general. The law of marginal utility, for example, is a law to the effect that the n+1st sample of a good which I receive is ceteris paribus less valuable than the nth sample (imagine that the samples in question are, for example, a series of identical ham sandwiches). The essay describes how Ehrenfels provides on this basis an account of the different types of values, both intrinsic and non-intrinsic. It outlines also Ehrenfels views on the problem of interpersonal value-comparisons and on the struggle for survival between different values of different types. (shrink)

“Slingshot Arguments” are a family of arguments underlying the Fregean view that if sentences have reference at all, their references are their truth-values. Usually seen as a kind of collapsing argument, the slingshot consists in proving that, once you suppose that there are some items that are references of sentences (as facts or situations, for example), these items collapse into just two items: The True and The False. This dissertation treats of the slingshot dubbed “Gödel’s slingshot”. Gödel argued that there (...) is a deep connection between these arguments and definite descriptions. More precisely, according to Gödel, if one adopts Russell’s interpretation of definite descriptions (which clashes with Frege’s view that definite descriptions are singular terms), it is possible to evade the slingshot. We challenge Gödel’s view in two manners, first by presenting a slingshot even with a Russellian interpretation of definite descriptions and second by presenting a slingshot even when we change from singular terms to plural terms in the light of new developments of the so-called Plural Logic. The text is divided in three chapters, in the first, we present the discussion between Russell and Frege regarding definite descriptions, in the second, we present Gödel’s position and reconstructions of Gödel’s argument and in the third we prove our slingshot argument for Plural Logic. In light of these results we conclude that we can maintain the validity of slingshot arguments even within a Russellian interpretation of definite descriptions or in the context of Plural Logic. (shrink)

The philosophical conception of mechanistic explanation is grounded on a limited number of canonical examples. These examples provide an overly narrow view of contemporary scientific practice, because they do not reflect the extent to which the heuristic strategies and descriptive practices that contribute to mechanistic explanation have evolved beyond the well-known methods of decomposition, localization, and pictorial representation. Recent examples from evolutionary robotics and network approaches to biology and neuroscience demonstrate the increasingly important role played by computer simulations and mathematical (...) representations in the epistemic practices of mechanism discovery and mechanism description. These examples also indicate that the scope of mechanistic explanation must be re-examined: With new and increasingly powerful methods of discovery and description comes the possibility of describing mechanisms far more complex than traditionally assumed. (shrink)

Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to the (...) negation problems, following some of the original emotivist ideas about the interplay of interests in conversation. We communicate both to share information and coordinate our actions, and we use distinctively normative language like deontic ‘must’ and ‘may’ to negotiate what people are to do. The kinds of disagreement involved in such negotiation can illuminate the issues with negation and inconsistency. This paper outlines a dynamic semantic system in which these ideas can bear fruit, developing the scorekeeping model of conversation. The result is clarification about what Frege-Geach worries can mean for nondescriptive semantics. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as (...) computational models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and his rejection (...) of similar “semantic dualisms” such as Frege’s theory of sense and reference—at least in “On Denoting”—made no explicit mention of any Cantorian paradox. My aim in this paper is to argue that such paradoxes do pose a problem for certain theories such as Frege’s, and early Russell’s, about how definite descriptions are meaningful. My first aim is simply to lay out the problem I have in mind. Next, I shall turn to arguing that the theories of descriptions endorsed by Frege and by Russell prior to “On Denoting” are susceptible to the problem. Finally, I explore what responses a.. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point (...) of view, OccL is a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article---based on our OccL-based definitions of the concepts of `strong implication' and `occurrence value' as well as of the logical concept `identical occurrence constructor (IDOC)' that is the most fundamental logical concept in our formalism---we will model Occurrence Description Logic ($\mathcal{ODL}$). Accordingly, we will formally-logically analyse `occurrence(s) of symbol(s)' within descriptions of the world in $\mathcal{ODL}$. In addition, we will analyse and assess the logical concepts of `occurrence' and `occurrence priority' in $\mathcal{ODL}$. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. (shrink)

بررسی اصلی‌ترین چالش‌های میان دامت و مک داول در باب نظریة معنا و توصیف مناسب رفتار زبانی .

This paper addresses a certain objection to the quantificational theory of definite descriptions. According to this objection, the quantificational account cannot provide correct interpretations of definite descriptions embedded in the non-doxastic attitude ascriptions and therefore ought to be rejected. In brief, the objection says that the quantificational theory is committed to the view that a sentence of the form “The F is G” is equivalent to the claim that there is a unique F and it is G, while (...) the ascription such as, e.g., “S wants the F to be G” is not equivalent to the statement that S wants there to be a F and for it to be G. I argue that this objection is invalid as it rests on a false assumption concerning the substitutivity of the relative clauses in the non-doxastic attitude ascriptions. (shrink)

Standard rigid designator accounts of a name’s meaning have trouble accommodating what I will call a descriptive name’s “shifty” character -- its tendency to shift its referent over time in response to a discovery that the conventional referent of that name does not satisfy the description with which that name was introduced. I offer a variant of Kripke’s historical semantic theory of how names function, a variant that can accommodate the character of descriptive names while maintaining rigidity for (...) proper names. A descriptive name’s shiftiness calls for a semantic account of names that makes their semantic values bipartite, containing both traditional semantic contents and what I call "modes of introduction." Both parts of a name's semantic value are derived from the way a name gets introduced into discourse -- from what I refer to as its "context of introduction." Making a name's semantic value bipartite in this way allows for a definite description to be a part of proper name's meaning without thereby sacrificing that name’s status as a rigid designator. On my view, a definite description is part of descriptive name’s mode of introduction. That is, it is part of what determines the content assigned to that name. As it turns out, making a definite description part of a descriptive name’s mode of introduction allows for that definite description to play the role of a mere reference-fixer regarding that name’s content, as Kripke would have it. However, my account allows a definite description to fix a descriptive name’s content actively over time, thereby explaining its inherent shiftiness. (shrink)

This study examines the concept of “description” and its theoretical foundations. The literature about it is surprisingly limited, and its usage is vague, sometimes even conflicting. Description should be considered in relation to other processes, such as representation, data capturing, and categorizing, which raises the question about what it means to describe something. Description is often used for any type of predication but may better be limited to predications based on observations. Research aims to establish criteria for (...) making optimal descriptions; however, the problems involved in describing something have seldom been addressed. Specific ideals are often followed without examine their fruitfulness. This study provides evidence that description cannot be a neutral, objective activity; rather, it is a theory-laden and interest-based activity. In information science, description occurs in processes such as document description, descriptive metadata assignment, and information resource description. In this field, description has equally been used in conflicting ways that mostly do not evince a recognition of the value- and theory-laden nature of descriptions. It is argued that descriptive activities in information science should always be based on consciously explicit considerations of the goals that descriptions are meant to serve. (shrink)

Cet article porte sur la notion de description (Beschreibung) chez Marty. L’article débute par l’étude de la distinction entre psychologie descriptive et génétique chez Brentano, non seulement dans les cours donnés à Vienne dès 1887, mais également dans la Psychologie du point de vue empirique. L’article se concentre ensuite sur la reprise martyienne de cette distinction. Si Marty, fidèle à la pensée de son maître, en reprend les principales conclusions dans ses propres travaux de psychologie, il étend de manière (...) originale la distinction entre recherches descriptives et génétiques à la philosophie du langage, notamment à la « sémasiologie » (Semasiologie) ou « théorie de la signification » (Bedeutungslehre). L’article se clôt sur une discussion des critiques adressées par Husserl à la philosophie du langage de Marty. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing (...) the truth of certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the problems that arise (...) when the postulates about modularity are violated, and propose algorith- mic checks that can help the designer of an action theory to overcome them. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, mod- ular theories have interesting computational properties. Moreover, we also propose a framework for updating domain descriptions and show the importance modularity has in action theory change. (shrink)

While holism and atomism are often treated as mutually exclusive approaches to semantic theory, the apparent tension between the two usually results from running together distinct levels of semantic explanation. In particular, there is no reason why one can’t combine an atomistic conception of what the semantic values of our words are (one’s “descriptive semantics”), with a holistic explanation of why they have those values (one’s “foundational semantics”). Most objections to holism can be shown to apply only to holistic (...) version of descriptive semantics, and do not tell against any sorts of holistic foundational semantics. As Davidson’s work will be used to illustrate, by clearly distinguishing foundational and descriptive semantics, one can capture the most appealing features of both holism and atomism. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in (...) the course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in (...) the course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

The main idea of this thesis is multi-descriptional physicalism. According to it, only physical entities are elements of our ontology, and there are different ways to describe them. Higher-level vocabularies (e.g., mental, neurological, biological) truly describe reality. Sentences about higher-level entities are made true by physical entities. Every chapter will develop multi-descriptional physicalism or defend it from objections. In chapter 1, I will propose a new conceptual reductive account that conceptually reduces higher-level entities to physical entities. This conceptual reductive account (...) combines resources from Heil’s truthmaker theory and either a priori physicalism or a posteriori physicalism. In chapter 2, I apply this conceptual reductive account to various debates. Physicalism, the multiple-realisability argument, the prototype theory of concepts, and truthmaker explanations will be discussed. In chapter 3, I will argue that a major aim of metaphysics should be to discover which entities are fundamental and explain why they suffice for the existence of derivative entities. In chapter 4, I will propose a new way to explain why sentences apparently about composite objects are true even though there are no composite objects. It combines resources from Cameron’s truthmaker theory and van Inwagen’s paraphrase strategy. In chapter 5, I will argue that the intuition that the mind and the body are very different does not show that the mind is distinct from the body. This intuition can be explained away by mentioning our dispositions to give non-physical explanations when we are ignorant of physical facts. In chapter 6, I will examine two arguments for the existence of a metaphysically independent level, and I will argue that only a modified version of one of them succeeds. I will argue that methodological principles support the view that there is a metaphysically independent level. (shrink)

Michael Devitt développe une théorie causale hybride des noms propres non vides et des certains termes singuliers qui leur ressemblent sémantiquement. Il considère que l'utilisation d'un nom désigne un objet non pas en raison des différentes informations que nous connaissons, mais par un réseau causal qui part des premières utilisations du nom pour désigner l'objet, à travers un « prêt de référence » à partir des utilisations précédentes. La théorie développée par Devitt partage avec les théories descriptives la capacité de (...) rendre compte de certaines particularités du langage naturel. DOI: 10.13140/RG.2.2.15794.84161. (shrink)

This paper tests a theory about the relationship between two important topics in moral philosophy and psychology. One topic is the function of normative language, specifically claims that one “ought” to do something. Do these claims function to describe moral responsibilities, encourage specific behavior, or both? The other topic is the relationship between saying that one “ought” to do something and one’s ability to do it. In what respect, if any, does what one “ought” to do exceed what one (...) “can” do? The theory tested here has two parts: (1) “ought” claims function to both describe responsibilities and encourage people to fulfill them (the dual-function hypothesis); (2) the two functions relate differently to ability, because the encouragement function is limited by the person’s ability, but the descriptive function is not (the interaction hypothesis). If this theory is correct, then in one respect “ought implies can” is false because people have responsibilities that exceed their abilities. But in another respect “ought implies can” is legitimate because it is not worthwhile to encourage people to do things that exceed their ability. Results from two behavioral experiments support the theory that “ought” exceeds but implies “can.” Results from a third experiment provide further evidence regarding an “ought” claim’s primary function and how contextual features can affect the interpretation of its functions. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that (...) are added or subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

This paper deals with two theories Husserl worked out on imagery in order to see if the properties a phenomenological description ascribes to imagery are fit to give meaningful constraints upon theoretical models that guide empirical research. Husserlian descriptions and Kosslyn and colleagues models are hence compared as to their explanatory strategy and implications.

Les théories descriptives ont tenté d'éliminer certaines contradictions logiques si les noms étaient considérés comme des descriptions définitives. Kripke a rejeté la validité de ces théories descriptives en faisant valoir qu'aucune description unique de l'identité n'était nécessaire, les descriptions d'identification peuvent être utilisées même si la référence n'a pas été correctement identifiée, et une description (par opposition à un nom) ne peut pas fonctionner comme un indicateur rigide. DOI: 10.13140/RG.2.2.22215.85920.

Some generic generalizations have both a descriptive and a normative reading. The generic sentence “Philosophers care about the truth”, for instance, can be read as describing what philosophers in fact care about, but can also be read as prescribing philosophers to care about the truth. On Leslie’s account, this generic sentence has two readings due to the polysemy of the kind term “philosopher”. In this paper, I first argue against this polysemy account of descriptive/normative generics. In response, a contextualist semantic (...) theory for generic sentences is introduced. Based on this theory, I argue that descriptive/normative generics are contextually underspecified. (shrink)

In this article, a new, idealizing-hermeneutic methodological approach to developing a theory of philosophical arguments is presented and carried out. The basis for this is a theory of ideal philosophical theory types developed from the analysis of historical examples. According to this theory, the following ideal types of theory exist in philosophy: 1. descriptive-nomological, 2. idealizing-hermeneutic, 3. technical-constructive, 4. ontic-practical. These types of theories are characterized in particular by what their basic types of theses are. (...) The main task of this article is then to determine the types of arguments that are suitable for justifying these types of theses. Surprisingly, practical arguments play a key role here. (shrink)

Descriptive semantic theories purport to characterize the meanings of the expressions of languages in whatever complexity they might have. Foundational semantics purports to identify the kind of considerations relevant to establish that a given descriptive semantics accurately characterizes the language used by a given individual or community. Foundational Semantics I presents three contrasting approaches to the foundational matters, and the main considerations relevant to appraise their merits. These approaches contend that we should look at the contents of speakers’ intuitions; at (...) the deep psychology of users and its evolutionary history, as revealed by our best empirical theories; or at the personal-level rational psychology of those subjects. Foundational Semantics II examines a fourth view, according to which we should look instead at norms enforced among speakers. The two papers aim to determine in addition the extent to which the approaches are really rival, or rather complementary. (shrink)

The hard problem of consciousness is generally approached from the distinct avenues of materialism, dualism or monism. We will examine the structure that is at the core of all matter that exists in the universe. This dynamic, mathematical description of the specific type of field oscillation that generates all particles that have any tactile substance to them amazingly seems to be a physical manifestation of the most fundamental aspects of the experience of being a conscious agent. By adopting this (...) novel description of consciousness where there is a quantum of potential for consciousness intrinsic to all matter particles, the distinctions between materialism, dualism and monism become an arbitrary matter of how this mechanism is described rather than distinct ideologies, competing against one another in a winner-take-all race to the bottom of consciousness. (shrink)