We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study (...) some variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions (...) of the form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

In a recent paper Horsten embarked on a journey along the limits of the domain of the unknowable. Rather than knowability simpliciter, he considered a priori knowability, and by the latter he meant absolute provability, i.e. provability that is not relativized to a formal system. He presented an argument for the conclusion that it is not absolutely provable that there is a natural number of which it is true but absolutely unprovable that it has a certain property. The argument depends (...) on a description principle. I will argue that the latter principle implies the knowability of all arithmetical truths. Therefore, Horsten's argument is either sound but its conclusion is trivial, or his argument is unsound. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics (...) for concept combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

La logique peut-elle se détacher des facteurs environnementaux et opérer indépendamment des états mentaux des locuteurs ? Dans cette article, nous montrons comment on est passé d’une réponse positive à une réponse négative à cette question. La critique de la formalisation logique des descriptions définies amorcée par Strawson, a été critiquée et étendue par Donnellan, qui distingue les usage référentiels et attributifs du langage et montre que la formalisation des énoncés en langue naturelle est inextricable de facteurs pragmatiques non automatisables. (...) Nous terminons cet article en abordant brièvement les conséquences d’une telle position sur les développements récents de l’Intelligence Artificielle. Mots clé : Logique, Descriptions définies, Russell, Strawson, Donnellan //////////////////////////////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////// -/- Abstract Can logic operate independently of environmental factors and of the mental states of speakers? In this article, we show how we went from a positive to a negative answer to this question. The critique of the logical formalization of definite descriptions initiated by Strawson, was extended by Donnellan, who distinguishes the referential and attributive uses of language and shows that the formalization of statements in natural language is inextricable from pragmatic factors. We end this article by briefly addressing the consequences of such a position on recent developments in Artificial Intelligence. Keywords: Logic, Definite descriptions, Russell, Strawson, Donnellan . (shrink)

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or are they definite descriptions (...) with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)

Emotion terms such as “sad”, “happy” and “joyful” apply to a wide range of entities. We use them to refer to mental states of sentient beings, and also to describe features of non-mental things such as comportment, nature, events, artworks and so on. Drawing on the literature on polysemy, this paper provides an in-depth analysis of emotion descriptions. It argues that emotion terms are polysemous and distinguishes seven related senses. In addition, the paper applies the analysis to shed light on (...) a long-standing debate in philosophy of music concerning emotion descriptions of music. (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 (classical) 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)

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)

How to think a unique and determinative turn in analytic philosophy of mind? To answer this question this article first presents an attempt to render clear that analytic phenomenology, by contrast with conceptions of phenomenology of the XXth century, beneficially dispenses with several methodological and conceptual assumptions that were assumed to be compulsory, as phenomenological reduction, a notion of synthesis, and a philosophical notion of the a priori. It then presents some eventual difficulties to the achievement of a phenomenological turn (...) within analytic philosophy, which are, the neglect of historicity, abstractionism, the acknowledgement of the place of language in our lives, and solipsism. It finally presents several demands that concern the felicity of contemporary analytic phenomenologies, namely, anti-abstractionism, fallibilism, attention to polyadic relations, and the integration of ecological and decolonial concerns of our cultures. (shrink)

In this study, I intend to show how and why, in the Port-Royal Logic, a singular term can reveal the nature of the logical judgment in the handbook. As I argue, the treatment given to one of thee singular terms, namely, the defined descriptions, in the terminology introduced by Russell, leads to an opening to langage that sounds unexpected and unjustified. Considering the privilege of thinking over langage and also that judgment is the mental act that defines logic, however, we (...) may understand how the authors regard langage, in relation to the epistemic constituents, namely, the mental acts within the terms. In doing so we are compelled to recognize the implications of this step towards pragmatism in fixing the meaning of defined descriptions to the nature of judgment in the handbook. This opening to langage reveals the conception of judgment as a twofold mental act: a formal and a practical (moral and theological) one. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...) (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After presenting (...) these arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his (...) pocket shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (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)

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)

Names like ‘Neptune’ and ‘Vulcan’ have lead some Millians to countenance a class of descriptive names. This is so, as, first, the closeness of the association between a descriptive name and its associated descriptive condition seems to show that the link between the name and the description must be semantic, and, second, as Millianism implies that names without bearers make no direct contribution to the propositions expressed by the sentences in which such names occur. In this paper we use (...) the notion of an object-dependent convention to offer a novel motivation for Millianism. We then show that our way of motivating Millianism implies that the above two reasons for treating names like ‘Neptune’ and ‘Vulcan’ as descriptive have little force. (shrink)

This paper observes that P. F. Strawson’s distinction between descriptive and revisionary metaphysics is a baffling one from the perspective of traditional metaphysics. If one thinks of metaphysics as the study of the fundamental nature of reality, it is bewildering to divide up metaphysics in this way. The paper then tries to show how the distinction is no longer bewildering if we deny that such study is possible.

Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is not used referentially, (...) says Strawson, since it is used not to mention an individual, but only “to say something about an individual already mentioned” (p. 320). This is an example of what we may call a predicative use of a definite description, though such uses might be better illustrated by considering the false sentence.. (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)

In “Descriptions as Predicates” (Fara 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-aspredicates view, one that concerns the interaction of descriptions with adverbs of quantification.

What did Wittgenstein take description to involve ? What are the objects of his descriptions ? What did he think he was doing in and by describing what he described ? In order to answer these three questions it will be useful to appeal to an object of comparison. But which ? First we need an answer to another question.

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)

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)

Although Wilhelm Dilthey and Franz Brentano apparently were pursuing roughly the same objective—to offer a description of our mental functions and of their relations to objects—and both called their respective research programs ‘descriptive psychology’, they seem to have used the term to refer to two different methods of psychological research. In this article, I compare analyses of these differences. Against the reading of Orth but also against a possible application of recent relativist accounts of the epistemology of peer disagreement (...) to this case, I argue that their apparent shared objective is not enough to support an understanding of their views as two alternatives within a given historical or scientific context, or as a mutual peer disagreement. I show that the impression of a shared objective can be explained away as stemming from the influence of their teacher Adolf Trendelenburg, and I stress that the case of introspection strongly suggests that an account in terms of peer disagreement is not plausible. Finally, I conclude that the opposition between two traditions, Austrian philosophy and historicism, might be better suited to account for the dispute and its apparent common historical context. (shrink)

Social phenomena—quite like mental states in the philosophy of mind—are often regarded as potential troublemakers from the start, particularly if they are approached with certain explanatory commitments, such as naturalism or social individualism, already in place. In this paper, we argue that such explanatory constraints should be at least initially bracketed if we are to arrive at an adequate non-biased description of social phenomena. Legitimate explanatory projects, or so we maintain, such as those of making the social world fit (...) within the natural world with the help of, e.g., collective intentionality, social individualism, and the like, should neither exclude nor influence the prior description of social phenomena. Just as we need a description of the mental that is not biased, for example, by (anti)physicalist constraints, we need a description of the social that is not biased, for example, by (anti)individualist or (anti)naturalist commitments. Descriptive social ontology, as we shall conceive of it, is not incompatible with the adoption of explanatory frameworks in social ontology; rather, the descriptive task, according to our conception, ought to be recognized as prior to the explanatory project in the order of inquiry. If social phenomena are, for example, to be reduced to nonsocial (e.g., psychological or physical) phenomena, we need first to understand clearly what the social candidates for the reduction in question are. While such descriptive or naive approaches have been influential in general metaphysics (see Fine 2017), they have so far not been prominent in analytic social ontology (though things are different outside of analytic philosophy, see esp. Reinach (1913). In what follows, we shall outline the contours of a descriptive approach by arguing, first, that description and explanation need to be distinguished as two distinct ways of engaging with social phenomena. Secondly, we defend the claim that the descriptive project ought to be regarded as prior to the explanatory project in the order of inquiry. We begin, in Section 2, by considering two different ways of engaging with mental phenomena: a descriptive approach taken by descriptive psychology and an explanatory approach utilized in analytic philosophy of mind. We take these two ways of approaching the study of the mind to be analogous to the distinction we want to draw in social ontology between a descriptive and an explanatory approach to the study of social phenomena. We consider next, in Section 3, how our approach compares to neighboring perspectives that are familiar to us from general metaphysics and philosophy more broadly, such as Aristotle’s emphasis on “saving the appearances”, Strawson’s distinction between descriptive and revisionary metaphysics, as well as Fine’s contrast between na¨ive and foundational metaphysics. In Section 4, we apply the proposed descriptive/explanatory distinction to the domain of social ontology and argue that descriptive social ontology ought to take precedence in the order of inquiry over explanatory social ontology. Finally, in Section 5, we consider and respond to several objections to which our account might seem to be susceptible. (shrink)

Descriptive realism holds that T is true, while normative realism holds that T is warranted. Descriptive pessimism holds that T is false, while normative pessimism holds that T is unwarranted. We should distinguish between descriptive and normative realism because some arguments against scientific realism require that scientific realism be interpreted as descriptive realism, and because scientific realists can retreat from descriptive to normative realism when descriptive realism is under attack. We should also distinguish between descriptive and normative pessimism because some (...) arguments against scientific pessimism require that it be interpreted as descriptive pessimism, and because scientific pessimists can retreat from descriptive to normative pessimism when descriptive pessimism is under attack. -/- . (shrink)

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy of (...) language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (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)

Gaetano commented on the problems that exist in diagnosing schizophrenia and argues that more effort should be devoted to understanding relevant subjective experiences. I am not convinced that this is necessarily so. I have argued previously that diagnosis of clinical disorders is unlikely to work well in the absence of a theory on which the diagnostic system can be based. At present, there is very little theory concerning schizophrenic disorders, or at least very little theory that elicits wide agreement and (...) has definitive empirical support. (shrink)

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.

Machery et al. presented data suggesting the existence of cross-cultural variation in judgments about the reference of proper names. In this paper, we examine a previously overlooked confound in the subsequent studies that attempt to replicate the results of Machery et al. using East Asian languages. Machery et al. and Sytsma et al. claim that they have successfully replicated the original finding with probes written in Chinese and Japanese, respectively. These studies, however, crucially rely on uses of articleless, ‘bare noun (...) phrases’ in Chinese and Japanese, which according to the linguistic literature are known to be multiply ambiguous. We argue that it becomes questionable whether the extant studies using East Asian languages revealed genuine cross-cultural variation when the probes are reevaluated based on a proper linguistic understanding of Chinese and Japanese bare noun phrases and English definite descriptions. We also present two experiments on native Japanese speakers that controlled the use of ambiguous bare noun phrases, the results of which suggest that the judgments of Japanese speakers concerning the reference of proper names may not diverge from those of English speakers. (shrink)

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)

Some comments on descriptive and normative aspects of Kuhn's account of science.

In some sentences, demonstratives can be substituted with definite descriptions without any change in meaning. In light of this, many have maintained that demonstratives are just a type of definite description. However, several theorists have drawn attention to a range of cases where definite descriptions are acceptable, but their demonstrative counterparts are not. Some have tried to account for this data by appealing to presupposition. I argue that such presuppositional approaches are problematic, and present a pragmatic account of the (...) target contrasts. On this approach, demonstratives take two arguments and generally require that the first, covert argument is non-redundant with respect to the second, overt argument. I derive this condition through an economy principle discussed by Schlenker (2005). (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.

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)

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)

Bernard Molyneux presents some new arguments against descriptive evidentialism about intuitions. Descriptive evidentialism is the thesis that philosophers use intuitions as evidence. Molyneux's arguments are that: the propositions that intuition putatively supports are treated as having a degree and kind of certainty and justification that they could not have got from being intuited; intuitions influence us in ways we cannot explain by supposing we treat them as evidence; and certain strong intuitions that persuade us of their contents are treated as (...) inadmissible in the context of justification. This article presents a partial defence of descriptive evidentialism against these new arguments. (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)

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 proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by a rule (...) that permits restricting these terms in the rules for $\forall$, $\exists$ and $\invertediota$ to parameters or constants. A restricted subformula property for deductions in systems without $\invertediota$ is considered. It is improved upon by an alternative formalisation of free logic building on an idea of Ja\'skowski's. In the classical system the rules for $\invertediota$ require treatment known from normalisation for classical logic with $\lor$ or $\exists$. The philosophical significance of the results is also indicated. (shrink)

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .

People’s beliefs about normality play an important role in many aspects of cognition and life (e.g., causal cognition, linguistic semantics, cooperative behavior). But how do people determine what sorts of things are normal in the first place? Past research has studied both people’s representations of statistical norms (e.g., the average) and their representations of prescriptive norms (e.g., the ideal). Four studies suggest that people’s notion of normality incorporates both of these types of norms. In particular, people’s representations of what is (...) normal were found to be influenced both by what they believed to be descriptively average and by what they believed to be prescriptively ideal. This is shown across three domains: people’s use of the word ‘‘normal” (Study 1), their use of gradable adjectives (Study 2), and their judgments of concept prototypicality (Study 3). A final study investigated the learning of normality for a novel category, showing that people actively combine statistical and prescriptive information they have learned into an undifferentiated notion of what is normal (Study 4). Taken together, these findings may help to explain how moral norms impact the acquisition of normality and, conversely, how normality impacts the acquisition of moral norms. (shrink)

This rich book, the best I’ve read in consciousness studies, offers more at each encounter. It was a brilliant idea to evaluate Hurlburt’s Descriptive Experience Sampling method through concrete sceptical enquiry by Schwitzgebel, whose role as open-minded but hard-nosed interlocutor makes the debate an intriguing, even gripping read. The radically different views about introspective reports held by the two authors are put to the test in the concrete context of ‘an examination, in unprecedented detail, of random moments of one person’s (...) experience ’.1 In addition to the ongoing central pursuit of the general question ‘Can we believe people’s reports about their inner experience?’, a raft of more specific issues are addressed as they arise in the sampling interviews. The book’s excellent organization, using in-text boxes linked by detailed crossreferencing into indexed threads, reinforces the thrilling sense that our access to the inner life of one person, ‘Melanie’, is bringing real progress on a number of fronts at once. Eric’s robust scepticism remains, but is tempered somewhat by being forced to confront the real constraints and opportunities of gathering information from a live subject. By the end of the project, he accepts that Russ’s ‘beep-andinterview methods’ deserve a central role in introspective science (p. (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

I argue against the claim -- advocated by Albert Einstein, Bernard Williams, and Ted Sider, among others -- that a description is objective only if it says how the world is in itself. Instead, I argue for the claim -- inspired by comments of Niels Bohr -- that a family of descriptions is objective only if they co-vary with their respective descriptive contexts. Moreover, I claim that "there is a shared objective reality" simply means that it is possible to (...) satisfy this kind of covariance requirement. (shrink)

This article outlines a “descriptive animal ethics” based on the study of people’s intuitions about particular cases, in order to determine which moral theories best comport with those intuitions. I suggest that the latter need not be unreliable since they may be endorsed as considered judgments, and that even if they were, knowing them would still provide relevant information for a complete moral theory concerned with what moral agents can do. I describe a survey in descriptive ethics, discuss the results, (...) and introduce prospective experiments. I then set forth hypotheses and propose a dual model of moral status attribution in terms of both intrinsic and extrinsic properties. I rely on recent empirical research in psychology and experimental philosophy, which I confront with the above results, to support my hypotheses. The model predicts that attributions vary depending on the capacities of entities, their context (including relationships), and the context of the attributor. These facts of descriptive ethics, I conclude, are directly relevant to normative ethics insofar as our cognitive apparatus constrains our ability to act morally. Moreover, they suggest ways to improve moral perception, education, and motivation. (shrink)