According to Utilitarian Generalization an act is right or wrong depending on what would happen if everyone were to do acts of that kind. One chief difficulty in applying UG is to determine which acts share the same relevant properties and are therefore acts of the same kind. In focusing on this problem I first examine the criteria of relevance proposed by Jonathan Harrison and by David Lyons. I show that each of their proposals is inadequate because each allows us (...) to designate as relevant some properties we noncontroversially take to be irrelevant. I next propose a criterion which not only allows us to designate as irrelevant every property that we noncontroversially take to be irrelevant, but which also expresses the underlying causal and generalization features of UG. Since the acid test of any such proposal will be its response to the highly controversial issue of whether the behavior of others is relevant for applications of UG, I turn to this important issue. (shrink)

A unified theory is offered to account for three types of definite descriptions: with singular, plural, & mass predicates, & to provide an account for the word the in descriptions. It is noted that B. Russell's analysis ("On Denoting," Mind, 1905, 14, 479-493) failed to account for plural & mass descriptions. The proposed theory differs from Russell's only by the substitution of the notation (less than or equal to) for Russell's =. It is suggested that for every predicate G there (...) is an appropriate "part of" or "some of" relation on the extension of G. For singular predicates, (less than or equal to) becomes just the identity relation =. The predicate G is formulated as "the G" & analyzed with the formula ((schwa)x) (Gx . (Gy (includes) yy (less than or equal to) x)), which accounts for all cases of definite descriptions. It is suggested that the primary use of the is not to indicate uniqueness, but totality. C. Ornatowski. (shrink)

This article suggests that there are systematic ways in which the identity of the ‘self’, as created and performed through first-person markers, can be made relevant and consequential in particular episodes of interaction. More specifically, the study looks at generalizations that people present about themselves in local interactional contexts: displays of the types of people they are and the ways in which they always or never behave. It will be shown that such self-generalizations are typically used to account for one’s (...) behavior, and that this tendency is tied to the epistemic and moral rights provided by the first-person perspective, having the primary rights to one’s own experience. The study suggests that speakers’ personal characteristics or habitual behavior can be offered as a locally produced micro-identity, which can come to have interactional significance. (shrink)

In his target article, Yarkoni prescribes descriptive research as a potential antidote for the generalizability crisis. In our commentary, we offer four guiding principles for conducting descriptive research that is generalizable and enduring: prioritize context over control; let naturalistic observations contextualize structured tasks; operationalize the target phenomena rigorously and transparently; and attend to individual data.

A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the general Game Description Language (GDL), a variant of Datalog with function symbols that uses a few game-specific keywords. A recent extension of basic GDL allows the description of nondeterministic games with any number of players who may have incomplete, asymmetric information. In this paper, we analyse the epistemic structure and expressiveness of this language (...) in terms of modal epistemic logic and prove two main results: (1) The operational semantics of GDL entails that the situation at any stage of a game can be characterised by a multi-agent epistemic (i.e., S5-) model; (2) GDL is sufficiently expressive to model any situation that can be described by a (finite) multi-agent epistemic model. (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 expository paper presents a general framework for representing levels and inter-level relations. The framework is intended to capture both epistemic and ontological notions of levels and to clarify the sense in which levels of explanation might or might not be related to a levelled ontology. The framework also allows us to study and compare different kinds of inter-level relations, especially supervenience and reduction but also grounding and mereological constitution. This, in turn, enables us to explore questions such as (...) whether supervenience implies explanatory reducibility and whether there can be irreducible higher-level explanations or even “emergent” higher-level properties. The paper finally discusses some further philosophical applications: to the free-will debate, the determinism-indeterminism distinction, indexicality and consciousness, and the relationship between positive and normative facts. (shrink)

Context: There is an ongoing debate about the possibility of identifying autopoietic systems in non-biological domains. In other words, whether autopoiesis can be conceived as a domain-free rather than domain-specific concept – regardless of Maturana’s and Varela’s opinions to the contrary. In previous parts my focus was, among other matters, on the rules defined by Varela, Maturana, and Uribe (“VM&U rules”). These rules were viewed as a validation test to assess if an observed system is autopoietic by referring to Maturana’s (...) ontological-epistemological frame. I concluded that identifying possible non-biological autopoietic systems is harder than merely identifying self-organized dynamic systems that are provided with boundaries and some observable autonomous behavioral capabilities in a given observational domain. This is because no assessment could be valid without examining such systems’ “intra-boundaries” phenomenology and proving actual compliance with the VM&U component production rules. Problem: Any rigorous approach to investigating possible self-production capabilities within a given dynamic system needs to drill down on the composition and physical conditions of the system’s core dynamics. My aim now is to discuss the problem of choosing the adequate spatial and temporal scales to be applied when observing and describing dynamic systems in general. When trying to detect an autopoietic system in a given observational domain, the observer needs conceptual tools to apply rigorously the VM&U rules and decide on the matter. This is particularly useful when dealing with systems with spatially distributed components interacting through cause-effect couplings that are independent of the distance between them, as is the case of social systems. Results: For observing dynamic systems, the choice of appropriate spatial and temporal scales of description is not a trivial operation. The observer needs to distinguish between “instantaneous” phenomena and phenomena possessing extended “durations.” I argue that the observer can easily extend the notions discussed by Maturana and Varela to observational domains where the system’s components do not constitute an entity showing a topological “form” in physical space. Furthermore, I show that a diachronic perspective must be applied by observers to explain component production/destruction mechanisms as the outcomes of processes involving structure-determined coordination over relatively long time intervals. Finally, these considerations lead to establishing a link with Varela’s fundamental concept of autonomy. Implications: The adequate choice of spatial and temporal scales of observation and description are essential (a) to discuss the problem of a possible identification of social autopoietic systems, and (b) to analyze the possibility of designing virtual simulated autopoietic systems in software domains (“computational autopoiesis”). (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)

Natural kind terms have exercised philosophical fancy ever since Kripke, in Naming and Necessity, claimed them to be rigid designators. He there drew attention to the peculiar, name-like behavior of a family of prima facie loosely related general terms of ordinary English: terms such as ‘water’, ‘tiger’, ‘heat’, and ‘red’. Just as for ordinary proper names, Kripke argued that such terms cannot be synonymous with any of the definite descriptions ordinary speakers associate with them. Rather, the name-like behavior of (...) these so-called natural kind terms is to be explained, just as in in the case of proper names, by the doctrine of rigid designation. And as a consequence of thus extending the notion of rigid designation to general terms, he famously endorsed the claim that so-called ‘theoretical identifications’, i.e. statements like (1) Water is H2O, are necessary, if true. (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. This paper presents a framework for studying levels. I give a general definition of a system of levels and discuss several applications, some of which refer to descriptive or explanatory levels while others refer to ontological levels. I illustrate the usefulness of this framework by bringing it to bear on some familiar philosophical questions. Is there a 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? Are there emergent higher-level properties? Are higher-level descriptions reducible to lower-level ones? Can the relationship between normative and non-normative domains be viewed as one involving levels? And might a levelled framework shed light on the relationship between third-personal and first-personal phenomena? (shrink)

The implicit content associated with incomplete definite descriptions is contributed in the form of definite descriptions of situations. A definite description of this kind is contributed by a small structure in the syntax, which is interpreted, in general terms, as ‘the situation that bears R to s’.

After a discussion of the different treatments in the literature of vacuous descriptions, the notion of descriptor is slightly generalized to function descriptor Ⅎ $\overset \rightarrow \to{y}$, so as to form partial functions φ = Ⅎ $y.A$ which satisfy $\forall \overset \rightarrow \to{x}z\leftrightarrow y=z))$. We use logic with existence predicate, as introduced by D. S. Scott, to handle partial functions, and prove that adding function descriptors to a theory based on such a logic is conservative. For theories with quantification over (...) functions, the situation is different: there the addition of Ⅎ yields new theorems in the Ⅎ-free fragment, but an axiomatisation is easily given. The proofs are syntactical. (shrink)

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC (...) is that it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)

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

Definite descriptions, I shall argue, have two possible functions. 1] They are used to refer to what a speaker wishes to talk about, but they are also used quite differently. Moreover, a definite description occurring in one and the same sentence may, on different occasions of its use, function in either way. The failure to deal with this duality of function obscures the genuine referring use of definite descriptions. The best known theories of definite descriptions, those of Russell and Strawson, (...) I shall suggest, are both guilty of this. Before discussing this distinction in use, I will mention some features of these theories to which it is especially relevant. (shrink)

We show that it is impossible in quantum mechanics to describe two separated physical systems. This is due to the mathematical structure of quantum mechanics. It is possible to give a description of two separated systems in a theory which is a generalization of quantum mechanics and of classical mechanics, in the sense that this theory contains both theories as special cases. We identify the axioms of quantum mechanics that make it impossible to describe separated systems. One of these axioms (...) is equivalent to the superposition principle. We show how these findings throw a different light on the paradox of Einstein, Podolsky, and Rosen. (shrink)

There seems a potential tension between Hume's naturalistic project and his normative ambitions. Hume adopts what I call a methodological naturalism: that is, the methodology of providing explanations for various phenomena based on natural properties and causes. This methodology takes the form of introducing ‘the experimental method of reasoning into moral subjects’, as stated in the subtitle of the Treatise; this ‘experimental method’ seems a paradigmatically descriptive one, and it remains unclear how Hume derives genuinely normative prescriptions from this (...) methodology. In resolving this problem, I will argue that Hume's naturalistic methodology – that is, his ‘experimental philosophy’, or what has come to be known as his experimental method – consists of the systematization of phenomena pertaining to human nature. In applying his experimental method to normative subjects, Hume systematizes our normative judgements, deriving general principles of normative justification; he then reflexivel... (shrink)

A Lagrangian description is presented which can be used in conjunction with particle interpretations of quantum mechanics. A special example of such an interpretation is the well-known Bohm model. The Lagrangian density introduced here also contains a potential for guiding the particle. The advantages of this description are that the field equations and the particle equations of motion can both be deduced from a single Lagrangian density expression and that conservation of energy and momentum are assured. After being developed in (...) a general form, this Lagrangian formulation is then applied to the special case of the Bohm model as an example. It is thereby demonstrated that such a Lagrangian description is compatible with the predictions of quantum mechanics. (shrink)

BackgroundThe ability of healthcare to protect sensitive personal data in medical records and registers might influence public trust, which in turn might influence willingness to allow healthcare to use such data. The aim of this study was to examine how the general public’s trust relates to their attitudes towards uses of health data.MethodsA stratified sample from the general Swedish population received a questionnaire about their willingness to share health data. Respondents were also asked about their trust in the (...) management and protection of electronic health data.ResultsA large majority (81.9%) of respondents revealed high levels of trust in the ability of healthcare to protect electronic patient data. Good health was associated with significantly higher levels of trust compared to bad health. Respondents with low levels of trust were significantly less willing to allow personal data to be used for different purposes and were more inclined to insist on being asked for permission beforehand. Those with low levels of trust also perceived risks of unauthorized access to personal data to be higher and the likely damage of such unauthorized access worse, compared to those with high levels of trust.ConclusionsTrust in the ability of healthcare to protect electronic health is generally high in Sweden. Those with higher levels of trust are more willing to let their data be used, including without informed consent. It thus seems crucial to promote trust in order to be able to reap the benefits that digitalization makes possible through increased access and use of data in healthcare. (shrink)

This paper revisits Donnellan’s distinction between referential and attributive uses of definite descriptions and argues that it is not exhaustive. Donnellan characterizes the distinction in terms of two criteria: the speaker’s intentions and the type of content the speaker aims to express. I argue that contrary to the common view, these two criteria are independent and that the distinctive features may be coinstantiated in more than two ways. This leaves room for nonattributive and nonreferential uses of definite descriptions. Kripke’s notions (...) of general and specific intentions provide a framework that accommodates such cases. Additionally, it proves useful for the analysis of the use of proper names with specific nonsingular intentions. The paper also discusses how the interpretation of the use of definite descriptions as attributive or referential (or neither) is sensitive to which theory of singular thoughts one adopts. (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)

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

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)

A Lagrangian formulation is constructed for particle interpretations of quantum mechanics, a well-known example of such an interpretation being the Bohm model. The advantages of such a description are that the equations for particle motion, field evolution and conservation laws can all be deduced from a single Lagrangian density expression. The formalism presented is Lorentz invariant. This paper follows on from a previous one which was limited to the single-particle case. The present paper treats the more general case of (...) many particles in an entangled state. It is found that describing more than one particle while maintaining a relativistic description requires the specification of final boundary conditions as well as the usual initial ones, with the experimenter’s controllable choice of the final conditions thereby exerting a backwards-in-time influence. This retrocausality then allows an important theoretical step forward to be made, namely that it becomes possible to dispense with the usual, many-dimensional description in configuration space and instead revert to a description in space–time using separate, single-particle wavefunctions. (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)

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.

Hart said that analytical jurisprudence is descriptive and general but did not draw an explicit distinction between conceptual questions that are in the main theoretical and others that are in the main practical. In Hart’s account, analytical jurisprudence searches for some kind of clarity about the idea of law and the other basic legal ideas as they occur in our ordinary experience. In the Postscript he explains that jurisprudence is the ‘theoretical or scientific study of law as a (...) social phenomenon’, which may, on occasion, but typically does not, rely on moral deliberation. It is to be contrasted to ‘practical’ questions as to how to live one’s life. I shall call this view ‘descriptivism’. It has been a very influential position in analytical jurisprudence and it is being defended by Hart’s followers even today. In this essay I raise some doubts about its coherence. First, I do not think Hart defended this view consistently —even though he did so in the Postscript. Second, I do not think that the position has been adequately defended, either by Hart or by his followers. There is still a great deal of ambiguity as to the precise position of jurisprudence between theoretical and practical reason.Resumen:Hart sostuvo que la jurisprudencia analítica es descriptiva y general pero no elaboró una distinción explícita entre las preguntas conceptuales que son principalmente teóricas y otras que son principalmente prácticas. En la explicación de Hart, la jurisprudencia analítica busca cierto tipo de claridad acerca de la noción de derecho y las demás ideas básicas tal cual ellas ocurren en nuestra experiencia ordinaria. En el Post Scriptum, él explica que la jurisprudencia es el ‘estudio teórico o científico del derecho como un fenómeno social’, el cual puede, en ocasiones, basarse en la deliberación moral, pero típicamente no lo hace. Esto puede contrastarse con las preguntas “prácticas” acerca de como las personas dirigen su propia vida. Llamo esta tesis “descriptivismo”. Esta ha sido una posición muy influyente en la jurisprudencia analítica y ha sido defendida por los seguidores de Hart hasta hoy. En este ensayo despierto dudas sobre su coherencia. Primero, no creo que Hart defendiera esta tesis de forma consistente. Segundo, no creo que la posición haya sido defendida de forma adecuada, ni por Hart ni por sus seguidores. Aún existe una gran ambigüedad acerca de la posición exacta de la jurisprudencia entre la razón teórica y la razón práctica. (shrink)

On trouvera ce texte en ligne, ainsi que de très nombreux autres travaux de Serge Mouraviev, également ici. Une des particularités de la prose du philosophe grec Héraclite d'Éphèse est sa richesse exceptionnelle en structures poétiques et figures de rhétorique dont il faut tenir compte et comprendre le rôle si on souhaite vraiment s'initier à sa doctrine ou, plus exactement, communier sous le sens profond de sa - Études grecques et latines – Nouvel article.

In this article I give a naturalistic-cum-formal analysis of the relation between beauty, empirical success, and truth. The analysis is based on the one hand on a hypothetical variant of the so-called 'mere-exposure effect' which has been more or less established in experimental psychology regarding exposure-affect relationships in general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989; (Ye 2000). On the other hand it is based on the formal theory of truthlikeness and truth approximation as presented (...) in my From Instrumentalism to Constructive Realism (2000). The analysis supports the findings of James McAllister in his beautiful Beauty and Revolutiorl in Science (1996), by explaining and justifying them. First, scientists are essentially right in regarding aesthetic criteria useful for empirical progress and even for truth approximation, provided they conceive of them as less hard than empirical criteria. Second, the aesthetic criteria of the time, the 'aesthetic canon', may well be based on 'aesthetic induction' regarding nonempirical features of paradigms of successful theories which scientists have come to appreciate as beautiful. Third, aesthetic criteria can play a crucial, schismatic role in scientific revolutions. Since they may well be wrong, they may, in the hands of aesthetic conservatives, retard empirical progress and hence truth approximation, but this does not happen in the hands of aesthetically flexible, 'revolutionary' scientists. (shrink)

Mediation is a process in which two parties agree to resolve their dispute by negotiating over alternative solutions presented by a mediator. In order to construct such solutions, the mediator brings more information and knowledge, and, if possible, resources to the negotiation table. In order to do so, the mediator faces the challenge of determining which information is relevant to the current problem, given a vast database of knowledge. The contribution of this paper is the automated mediation machinery to resolve (...) this issue. We define the concept of a Mediation Problem and show how it can be described in Game Description Language. Furthermore, we present an algorithm that allows the mediator to efficiently determine which information is relevant to the problem and collect this information from the negotiating agents. We show with several experiments that this algorithm is much more efficient than the naive solution that simply takes all available knowledge into account. (shrink)

Answering one of the main questions of [S.-D. Friedman, T. Hyttinen and V. Kulikov, Generalized descriptive set theory and classification theory, Mem. Amer. Math. Soc. 230 80, Chap. 7], we show that there is a tight connection between the depth of a classifiable shallow theory [Formula: see text] and the Borel rank of the isomorphism relation [Formula: see text] on its models of size [Formula: see text], for [Formula: see text] any cardinal satisfying [Formula: see text]. This is achieved (...) by establishing a link between said rank and the [Formula: see text]-Scott height of the [Formula: see text]-sized models of [Formula: see text], and yields to the following descriptive set-theoretical analog of Shelah’s Main Gap Theorem: Given a countable complete first-order theory [Formula: see text], either [Formula: see text] is Borel with a countable Borel rank, or it is not Borel at all. The dividing line between the two situations is the same as in Shelah’s theorem, namely that of classifiable shallow theories. We also provide a Borel reducibility version of the above theorem, discuss some limitations to the possible complexities of [Formula: see text], and provide a characterization of categoricity of [Formula: see text] in terms of the descriptive set-theoretical complexity of [Formula: see text]. (shrink)

Answering one of the main questions of [S.-D. Friedman, T. Hyttinen and V. Kulikov, Generalized descriptive set theory and classification theory, Mem. Amer. Math. Soc. 230 80, Chap. 7]...

There seems a potential tension between Hume’s naturalistic project and his normative ambitions. Hume adopts what I call a methodological naturalism: that is, the methodology of providing explanations for various phenomena based on natural properties and causes. This methodology takes the form of introducing ‘the experimental method of reasoning into moral subjects’, as stated in the subtitle of the Treatise; this ‘experimental method’ seems a paradigmatically descriptive one, and it remains unclear how Hume derives genuinely normative prescriptions from this (...) methodology. -/- In resolving this problem, I will argue that Hume’s naturalistic methodology – that is, his ‘experimental philosophy’ (THN Intro 7), or what has come to be known as his experimental method – consists of the systematisation of phenomena pertaining to human nature. In applying his experimental method to normative subjects, Hume systematises our normative judgments, deriving general principles of normative justification; he then reflexively applies these principles to the pre-philosophical judgments from which they derive, dismissing and/or correcting those that do not accord with his systematised account. I will argue that Hume’s experimental method, far from being wholly descriptive, is in fact thoroughly infused with normativity; furthermore, the very application of this methodology to our normative judgments reveals Hume’s normative ambitions. (shrink)

In this paper I argue that descriptive content associated with a proper name can serve as a truth-conditionally relevant adjunct and be an additional contribution of the name to the truth-conditions. Definite descriptions the so-and-so associated by speakers with a proper name can be used as qualifying prepositional phrases as so-and-so, so sentences containing a proper name NN is doing something could be understood as NN is doing something as NN (which means as so-and-so). Used as an adjunct, the (...) descriptive content of a proper name expresses the additional circumstances of an action (a manner, reason, goal, time or purpose) and constitute a part of a predicate. I argue that qualifying prepositional phrases should be analyzed as predicate modifiers and propose a formal representation of modified predicates. The additional truth-conditional relevance of the descriptive content of a proper name helps to explain the phenomenon of the substitution failure of coreferential names in simple sentences. (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)

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)

The nature of the Plague described by Thucydides in Book 2, chapter 49, has long been discussed both by medical and by classical scholars. Of numerous suggested identifications none has found general approval; and it is doubtful whether any opinion is more prevalent today than that the problem is insoluble. The classical scholar is handicapped by his ignorance of medical science; his medical colleague has often been led astray by translations deficient in exactitude if not disfigured by error. The (...) difficulties are great enough: but there is one indispensable preliminary task which can be undertaken with some prospect of success. If Thucydides' description is to be compared with modern records, it is necessary first to determine what the Greek words mean; and that can only be done by determining how far the Greek is expressed in the technical terms of contemporary medical science. It is obvious that Thucydides required a special vocabulary for this part of his work; and in fact over forty words in chapters 49 and 50 are unexampled elsewhere in his History, and a dozen more are used in meanings unexampled elsewhere. It is certain that a number of medical treatises were in circulation in Thucydides' lifetime, and that a more or less standard vocabulary had been or was being established. Now if it can be shown that the great majority of the terms employed by Thucydides in ch. 49 recur, apparently with the same meanings, as standard terms in the contemporary doctors, our second task—the comparison of Thucydides' description with modern records—will become a more rational undertaking than it was before, no longer the doubtful speculation which many of the modern doctors suppose it to be, thinking as they do that they have to deal with a layman's generalities expressed in literary language. (shrink)