We give an account of some relationships between the principles of Constant and Atom Exchangeability and various generalizations of the Principle of Instantial Relevance within the framework of Inductive Logic. In particular we demonstrate some surprising and somewhat counterintuitive dependencies of these relationships on ostensibly unimportant parameters, such as the number of predicates in the overlying language.

In this paper we consider a natural generalization of the Principle of Instantial Relevance and give a complete characterization of the probabilistic belief functions satisfying this principle as a family of discrete probability functions parameterized by a single real δ ∊ [0, 1).

Journal of Experimental and Theoretical Artificial Intelligence What is the difference between a simulation of X and simply another instance of X? Is there a point at which the ‘‘virtual reality’’ of a model becomes the real thing? This paper examines these questions using cases taken from recent developments in evolutionary engineering and artificial life research. By implementing the Darwinian mechanism and setting it to work on a design problem, scientists and engineers find that evolution not only can improve prior (...) designs, but also produce novel technological solutions. Artificial life systems Tierra and Avida which operate at a higher level of abstraction than evolutionary engineering applications. I analyze simulation as a rational concept ‘‘S simulates R’’ and argue that it always includes some relevant property P, of R, that is captured but that there is always also some other that it omits, and that pragmatic factors fix what counts as relevant. The border between a simulation and an instance can change depending upon the context. I show that in one sense, evo-technology and artificial life simulate organic evolution, but in another relevant sense they are instances of evolution itself. Biologists can use such systems to experimentally test evolutionary hypotheses such as those involving the evolution of complex features and altruism. This analysis suggests lines for future research on broader questions about models classification and confirmation. (shrink)

It is widely accepted that there is a distinction to be made between the explicit content and the implicit import of an utterance. There is much less agreement about the precise nature of this distinction, how it is to be drawn, and whether any such two-way distinction can do justice to the levels and kinds of meaning involved in utterance interpretation. Grice’s distinction between what is said by an utterance and what is implicated is probably the best known instantiation of (...) the explicit/implicit distinction. His distinction, along with many of its post-Gricean heirs, is closely entwined with another distinction: that between semantics and pragmatics. Indeed, on some construals they are seen as essentially one and the same; “what is said” is equated with the truthconditional content of the utterance which in turn is equated with (context-relative) sentence meaning, leaving implicatures (conventional and conversational) as the sole domain of pragmatics. (shrink)

The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p -instantiations of A . It is also shown that without the admissibility qualification many of the systems considered are (...) semantically incomplete, including all those that are sub-logics of the quantified version of Anderson and Belnap’s system E of entailment, extended by the mingle axiom and the Ackermann constant t . The incompleteness proof involves an algebraic semantics based on atomless complete Boolean algebras. (shrink)

The quantified relevant logic RQ is given a new semantics in which a formula for all xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of 'extensional confinement': for all x(A V (...) B) -> (A V for all xB). with x not free in A. Validity of EC requires an additional model condition involving the boolean difference of propositions. A QR-model falsifying EC is constructed by forming the disjoint union of two natural arithmetical structures in which negation is interpreted by the minus operation. (shrink)

Our understanding of body ownership largely relies on the Rubber Hand Illusion (RHI) paradigm where synchronous stroking of the real and fake hands leads to an illusion of ownership of RH provided its physical, anatomical, and spatial plausibility. Self-attribution of a fake hand also occurs during visuomotor synchrony, when the visual feedback of self-initiated movements follows the trajectory of the instantiated motor command. In both cases, the experience of ownership is established through bottom-up integration and top-down prediction of multisensory (proximodistal) (...) cues within the peripersonal space. It seems, however, that depending on whether the signals are externally or self-generated, top-down expectation signals are qualitatively different. On the one hand, in RHI, the sensory correlations are modulated by empirically induced priors about the internal model of the body. On the other hand, in mRHI, body ownership is actively shaped by processes allowing for continuous comparison between the actual and predicted sensory consequences of the actions. Ample research demonstrates that the differential processing of the predicted and the actual reafferent information is addressed by the central nervous system via an internal Forward Model (FM). Indeed, results from mRHI suggest that in action-contexts mechanism underlying body ownership could be similar to the FM. Crucially FMs integrate across all sensory input including not only proximodistal (visuomotor) but also purely distal sensory signals (visuoauditory). Thus if body ownership results from a consistency of FM, it would be affected by the (in)congruency of purely distal signals provided that they inform about the action-consequences relevant to the task. Here we explicitly address this question. To test our hypothesis, we devise an embodied VR-based task where action outcomes were signaled by distinct auditory cues. By manipulating the cues with respect to their spatial, temporal and semantic congruency, we show that purely distal feedback violating predictions about action outcomes compromises both body ownership and performance. These results demonstrate that body ownership is influenced by cues which not only pertain to the body itself but also those arising outside of the body, and suggest that in goal-oriented tasks body ownership might result from the consistency of forward models. (shrink)

It is often said that the ontological argument fails because it wrongly treats existence as a first-level property or predicate. This has proved a controversial claim, and efforts to evaluate it are complicated by the fact that the words ‘existence is not a property/predicate’ have been used by philosophers to make at least three different negative claims: (a) one about a first-level phenomenon possessed by objects like horses, stones, you and me; (b) another about the logical form of assertions of (...) existence; and (c) still another about a second-level phenomenon possessed by concepts when they are instantiated. I argue that only the last of these claims, originally voiced by Kant, is both plausible and relevant to the ontological argument. And I try to show that the relevance of the Kantian version comes from its providing the underlying justification for a different, and far less controversial, criticism of the ontological argument. (shrink)

It is often said that the ontological argument fails because it wrongly treats existence as a first-level property or predicate. This has proved a controversial claim, and efforts to evaluate it are complicated by the fact that the words ‘existence is not a property/predicate’ have been used by philosophers to make at least three different negative claims: (a) one about a first-level phenomenon possessed by objects like horses, stones, you and me; (b) another about the logical form of assertions of (...) existence; and (c) still another about a second-level phenomenon possessed by concepts when they are instantiated. I argue that only the last of these claims, originally voiced by Kant, is both plausible and relevant to the ontological argument. And I try to show that the relevance of the Kantian version comes from its providing the underlying justification for a different, and far less controversial, criticism of the ontological argument. (shrink)

Technical hitches mar van Gelder's proposed map of the conceptual landscape, particularly with respect to descriptive levels and the trio of instantiation, realisation, and implementation. However, for all the formal quibbles, van Gelder is onto something important; the tension he notes between computationalism and a dynamical alternative threatens to transform the way we conduct cognitive science research.

We give a unified account of some results in the development of Polyadic Inductive Logic in the last decade with particular reference to the Principle of Spectrum Exchangeability, its consequences for Instantial Relevance, Language Invariance and Johnson's Sufficientness Principle, and the corresponding de Finetti style representation theorems.

This paper is a sequel to the joint publication of Scott and Krauss in which the first aspects of a mathematical theory are developed which might be called "First Order Probability Logic". No attempt will be made to present this additional material in a self-contained form. We will use the same notation and terminology as introduced and explained in Scott and Krauss, and we will frequently refer to the theorems stated and proved in the preceding paper. The main objective of (...) this study is to show that the probability of symmetric probability systems may be represented as a "weighted average" of what might be called "product probabilities". We then discuss some applications of our results to Carnap's "Principle of instantial relevance", which plays an important role in his system of inductive logic. (shrink)

We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with applications to Non-splitting, Language Invariance, extensions with Equality and Instantial Relevance.

This paper presents a new account of Hume’s “probability of causes”. There are two main results attained in this investigation. The first, and perhaps the most significant, is that Hume developed – albeit informally – an essentially sound system of probabilistic inductive logic that turns out to be a powerful forerunner of Carnap’s systems. The Humean set of principles include, along with rules that turn out to be new for us, well known Carnapian principles, such as the axioms of semiregularity, (...) symmetry with respect to individuals (exchangeability), predictive irrelevance and positive instantial relevance. The second result is that Hume developed an original conception of probability, which is subjective in character, although it differs from contemporary personalistic views because it includes constraints that are additional to simple consistency and do not vary between different persons. The final section is a response to Gower’s thesis, by which Hume’s probability of causes is essentially non-Bayesian in character. It is argued that, on closer examination, Gower’s reading of the relevant passages is untenable and that, on the contrary, they are in accordance with the Bayesian reconstruction presented in this paper. (shrink)

Most instantiations of the inference ‘y; so if x, y’ seem intuitively odd, a phenomenon known as one of the paradoxes of the material conditional. A common explanation of the oddity, endorsed by Mental Model theory, is based on the intuition that the conclusion of the inference throws away semantic information. We build on this explanation to identify two joint conditions under which the inference becomes acceptable: (a) the truth of x has bearings on the relevance of asserting y; (...) and (b) the speaker can reasonably be expected not to be in a position to assume that x is false. We show that this dual pragmatic criterion makes accurate predictions, and contrast it with the criterion defined by the mental model theory of conditionals, which we show to be inadequate. (shrink)

This paper examines from a cognitive perspective the rhetorical and epistemic advantages that can be gained from the use of (extended) metaphors in political discourse. We defend the assumption that extended metaphors can be argumentatively exploited, and provide two arguments in support of the claim. First, considering that each instantiation of the metaphorical mapping in the text may function as a confirmation of the overall relevance of the main core mapping, we argue that extended metaphors carry self-validating claims that (...) increase the chances of their content being accepted. Second, we show how the recognition of an extended metaphor’s sophistication and relevance (on behalf of the addressee) can benefit the speaker’s perceived competence (ethos). We then assess whether these two arguments measure against the dual epistemic monitoring postulated in the notion of epistemic vigilance (i.e., assessment of the source of a message and assessment of the message) and conclude that extended metaphors may fulfil the requirements of epistemic vigilance and lead to the stabilisation of a belief. We illustrate our account with an analysis of the extended metaphor of the USA as an empire found in a political pamphlet written by the Swiss politician Oskar Freysinger. (shrink)

In this paper, I first consider a famous objection that the standard interpretation of the Lockean account of diachronicity (i.e., one’s sense of personal identity over time) via psychological connectedness falls prey to breaks in one’s personal narrative. I argue that recent case studies show that while this critique may hold with regard to some long-term autobiographical self-knowledge (e.g., episodic memory), it carries less warrant with respect to accounts based on trait-relevant, semantic self-knowledge. The second issue I address concerns the (...) question of diachronicity from the vantage point that there are (at least) two aspects of self—the self of psychophysical instantiation (what I term the epistemological self) and the self of first person subjectivity (what I term the ontological self; for discussion, see Klein SB, The self and its brain, Social Cognition, 30, 474–518, 2012). Each is held to be a necessary component of selfhood, and, in interaction, they are appear jointly sufficient for a synchronic sense of self (Klein SB, The self and its brain, Social Cognition, 30, 474–518, 2012). As pertains to diachronicity, by contrast, I contend that while the epistemological self, by itself, is precariously situated to do the work required by a coherent theory of personal identity across time, the ontological self may be better positioned to take up the challenge. (shrink)

A chemical substance is instantiated in the material world by a number of quantities of such substance, placed in different locations. A change of location implies a change in the net of relationships entertained by the QCS with the region wherein it is found. This fact entails changes of the ontological status of the CS, as this is not fully determined by the inherent features of the CS and includes a relevant relational contribution. In order to demonstrate this thesis, we (...) have chosen to analyse the status of quantities of a same CS that are synchronically located in different spacetime regions: a synthetic lab, a lab where the QCS is turned into a material, an industrial plant, the market where the QCS gets a price and a dump waste where the QCS is discarded, respectively: Chemical substance Open image in new window material Open image in new window product Open image in new window goods Open image in new window wasteThe use of first-order predicate logic, mereology and locative logic allows carrying out a regimentation process that highlights the ontological commitments implied by the formal expressions through which each element of the aforementioned series can be described. The presence of relational properties discloses the systemic nature of the CS instantiated within a spacetime region. The implications of such an aspect are discussed. (shrink)

This paper explores the relationship between a prominent version of the relational view of memory and recent work on forms of unsuccessful remembering or memory errors. I argue that unsuccessful remembering poses an important challenge for the relational view. Unsuccessful remembering can be divided into two kinds: misremembering and confabulating. I discuss each of these cases in light of a recent relational account, according to which remembering is characterized by an experiential relation to past events, and I argue that experiential (...) relations do not adequately distinguish between remembering and unsuccessful remembering. This is because there are, on the one hand, cases of remembering that do not instantiate the relevant experiential relations, and, on the other hand, cases of confabulation and misremembering that do instantiate the relevant experiential relations. I conclude by suggesting that any successful relationalist attempt to explain remembering needs to come to grips with unsuccessful remembering. (shrink)

Doxastic involuntarism—the thesis that we lack direct voluntary control (in response to non-evidential reasons) over our belief states—is often touted as philosophical orthodoxy. I here offer a novel defense of doxastic voluntarism, centered around three key moves. First, I point out that belief has two central functional roles, but that discussions of voluntarism have largely ignored questions of control over belief's guidance function. Second, I propose that we can learn much about doxastic control by looking to cognitive scientific research on (...) control over other relevantly similar mental states. I draw on a mechanistic account of control of the guidance function for “emotion-type states,” and argue that these same cognitive control mechanisms can used to block doxastic guidance. This gives us an account of “back-end” doxastic control which can be deployed for reasons which are not the right kinds of reasons to support “front-end” belief formation—i.e., non-evidential reasons. Third, I argue that comprehensive, self-directed exercises of this kind of control can amount to an underappreciated kind of voluntarism. This form of voluntarism is available to any account of belief that takes guidance-instantiation to be at least partly constitutive of believing. Finally, I discuss objections to, and upshots of, the view. (shrink)

Propositional justification pertains to propositions: it is the sort of justification that a proposition enjoys for an agent when the agent is epistemically justified to believe it. By contrast, doxastic justification is justification of beliefs, i.e., of doxastic states actually instantiated by an agent. The ‘orthodox’ view of the relationship between propositional and doxastic justification is that the latter should be explained in terms of the former, so that an agent’s belief is (doxastically) justified just in case (i) it is (...) a belief in a proposition that is (propositionally) justified for the agent and (ii) it is held on the basis of that which (propositionally) justifies its content. This view has been challenged by John Turri in his paper ‘On the Relationship between Propositional and Doxastic Justification’ (Philosophy and Phenomenological Research, 80, 2010, pp. 312–326). There he offers two putative counterexamples to the orthodoxy and goes on to argue that the order of explanation should be reversed: it is propositional justification that should be explained in terms of doxastic justification, and not vice versa. Though I share Turri’s feeling that there is something amiss with the way a number of contemporary epistemologists talk of propositional and doxastic justification, I do not believe he has managed to put his finger on the real trouble. So the first point I make is that his counterexamples fall short of refuting the orthodox view, which I argue should be maintained. Then I try to diagnose the real source of the trouble. It lies, I suggest, in the way a number of recent epistemologists talk of propositional justification, a way which commits them to the questionable view that the basis upon which facts concerning propositional justification supervene does not include facts concerning the doxastic states of agents, but only facts concerning the evidence to which agents have access. So I observe that there are different degrees of idealisation involved in judgments of ‘propositional justification’, propose to distinguish what an agent is propositionally justified to believe given his overall doxastic state from what an agent is propositionally justified to believe irrespective of his overall doxastic state, and argue that, whenever it is the former relation that is at stake, an agent can be propositionally justified to believe a proposition p at time t only if it is reasonably easy for him to form a doxastically justified belief in p at t. It is most likely an awareness of this fact, or of some fact in the vicinity, that encourages the belief that propositional justification should be explained in terms of doxastic justification. But I suggest that this fact, far from being evidence that the notion of doxastic justification is in any sense more fundamental than that of propositional justification, can be accounted for by paying attention to the relationship that links the relevant sort of (epistemic) justification to (epistemic) responsibility. So I conclude that there is an important sense in which facts concerning epistemic justification supervene not merely on facts concerning the evidential states of agents, but on facts concerning their overall doxastic states. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.1 (2003) 123-124 [Access article in PDF] Andrew Barker. Scientific Method in Ptolemy's Harmonics. New York: Cambridge University Press, 2001. Pp. viii + 281. Cloth, $69.95. Ptolemy's Harmonics is an important source not only for the history of music, but also for the history and philosophy of science. Two recent monographs, by J. Solomon, and A. Barker, now provide a basis for a (...) more widespread discussion of this much neglected work. Barker focuses on the part that is concerned with musical science proper (I, 1-III, 3), and more specifically on the scientific method it displays.Barker uses an analysis of Ptolemy's programmatic statements in I, 1/2, as a key to a reading of Ptolemy's treatise. His exposition has the format of a commentary, with special emphasis on the methodologically relevant passages. For the most part, he follows the order of Ptolemy's text closely, providing historical background information in excursus form. One needs to read a complete text of Ptolemy's treatise along with Barker's exposition in order to understand some of his arguments. It is preferable to also use Düring's [End Page 123] edition of the Greek text. One is rewarded with a detailed and in-depth analysis of the passages that helps one understand Ptolemy's method in harmonics as it unfolds in his treatise. This is so even if one disagrees with Barker's claims concerning Ptolemy's methodology.These claims are outlined in chapter 2, on the basis of I, 1/2 of the Harmonics. The methodological program Barker filters out of the text remains vague in a number of important respects. One misses, for example, a clear exposition on what will count as a sufficient integration of "empirical and theoretical phases," and on what will count as "empirical." This is a serious drawback, since Barker claims that Ptolemy instantiates a complex scientific methodology with a decisive, fully integrated empiricist trait. The drawback is aggravated by the fact that the already vague terms of the postulated methodology have to be watered down considerably in the subsequent chapters to make them fit with Ptolemy's actual procedures. Ptolemy does not seem to deliver even on the vague terms. One may very well remain unconvinced both by Barker's initial arguments concerning Ptolemy's methodology, and by his attempts to show that Ptolemy's procedure in the Harmonics can count as a satisfactory instantiation. Perhaps Ptolemy's intentions are less ambitious. When he states (5.13 ff. Düring, ed.) that "the aim of the student of harmonics must be to preserve the hupotheseis..., as never in any way conflicting with the perceptions that correspond to most people's estimation," he may just mean that he intends to vindicate an essentially Pythagorean (locally modified) account by showing it does not conflict with the phenomena. In my view, he certainly delivers on this less ambitious program. In fact, it seems to me that the understanding of Ptolemy's argumentative path is impeded by Barker's interpretation of Ptolemy's goal of "saving the hupotheseis" as a commitment to the integration of a genuine empiricist trait.Chapters 7 and 8 give an exposition of Ptolemy's tetrachord divisions. For the reader interested in an evaluation of the theoretical aspect of Ptolemy's scientific method, these are the central chapters of Barker's book. Barker provides a detailed analysis, together with an exposition of the historical and technical information needed for a non-specialist to follow both his and Ptolemy's argument. Barker's analysis reveals inter alia that a considerable part of Ptolemy's theory has no counterpart in the realm of phenomena perceived as musical, and that another part, concerning the single most important division of musical practice, is not justified, and not justifiable, by derivation from the principles. It is difficult to see how Ptolemy's account can nevertheless be viewed as a genuine integration of empirical and theoretical aspects. It appears to be an attempt at showing that an essentially Pythagorean theory... (shrink)

In virtue of what do we enjoy episodes of pleasure? According to the phenomenological theory of pleasure, we enjoy pleasures in virtue of having certain kinds of phenomenal experiences. According to the attitude theory of pleasure, we enjoy pleasures in virtue of having a certain kind of pro-attitude. In this chapter, we show that the attitude theory faces a dilemma. The attitude that is relevant to pleasure—the desire, liking, or favoring—is either necessarily co-instantiated with certain phenomenology, or not. If the (...) attitude theorist denies that the relevant attitudes are phenomenologically enriched in this sense, then their theory has the problematic implication that pleasure can come radically apart from phenomenology. This leads to a *problem of hedonic inversion*. If the attitude theorist instead affirms that the relevant attitudes are phenomenologically enriched, then they undermine their main objection to the phenomenological theory of pleasure. This is the so-called *heterogeneity problem*, according to which pleasures do not feel alike. Either way, the attitudinal theorist faces a difficult challenge in their ongoing debate with phenomenological theorists. (shrink)

Theories of quantum gravity generically presuppose or predict that the reality underlying relativistic spacetimes they are describing is significantly non-spatiotemporal. On pain of empirical incoherence, approaches to quantum gravity must establish how relativistic spacetime emerges from their non-spatiotemporal structures. We argue that in order to secure this emergence, it is sufficient to establish that only those features of relativistic spacetimes functionally relevant in producing empirical evidence must be recovered. In order to complete this task, an account must be given of (...) how the more fundamental structures instantiate these functional roles. We illustrate the general idea in the context of causal set theory and loop quantum gravity, two prominent approaches to quantum gravity. (shrink)

This paper develops a dialectical methodology for assessing technoscience during the Anthropocene. How to practice Hegelian dialectics of technoscience today? First of all, dialectics is developed here in close interaction with contemporary technoscientific research endeavours, which are addressed from a position of proximity and from an ‘oblique’ perspective. Contrary to empirical research, the focus is on how basic concepts of life, nature and technology are acted out in practice. Notably, this paper zooms in on a synthetic cell project called BaSyC (...) as a concrete instantiation of converging views of life, nature and technology currently at work in technoscience. While dialectics is used to explore the significance of this project, the synthetic cell as a case study also allows us to demonstrate the remarkable relevance of dialectics for understanding contemporary research, notably because it incites us to see the synthetic cell project as a concrete exemplification of life under Anthropocenic conditions. Should we assess the synthetic cell as the ultimate realisation of the technoscientific will to control and optimise life, or rather as an effort to bridge the disruptive collision between technoscience and nature, or both? (shrink)

The account of natural kinds as stable property clusters is premised on the possibility of separating the epistemic value of natural kinds from their underlying metaphysics. On that account, the co-instantiation of any sub-cluster of the properties associated with a given natural kind raises the probability of the co-instantiation of the rest, and this clustering of property instantiation is invariant under all relevant counterfactual perturbations. We argue that it is not possible to evaluate the stability of a cluster of properties (...) without taking stock of the metaphysical picture used to account for that stability. Thus, even on the stable property cluster account, the epistemic value of natural kinds remains partly grounded in their metaphysical status. (shrink)

Empathy is thought to play a key role in motivating prosocial behavior, guiding our preferences and behavioral responses, and providing the affective and motivational base for moral development. While these abilities have traditionally been examined using behavioral methods, recent work in evolutionary biology, developmental and cognitive neuroscience has begun to shed light on the neural circuitry that instantiate them. The purpose of this article is to critically examine the current knowledge in the field of affective neuroscience and provide an integrative (...) and comprehensive view of the computational mechanisms that underlie empathy. This framework is of general interest and relevance for theory as well as for assisting future research in the domains of affective developmental neuroscience and psychopathology. (shrink)

The gamer’s dilemma :31–36, 2009) asks whether any ethical features distinguish virtual pedophilia, which is generally considered impermissible, from virtual murder, which is generally considered permissible. If not, this equivalence seems to force one of two conclusions: either both virtual pedophilia and virtual murder are permissible, or both virtual pedophilia and virtual murder are impermissible. In this article, I attempt, first, to explain the psychological basis of the dilemma. I argue that the two different action types picked out by “virtual (...) pedophilia” and “virtual murder” set very different expectations for their token instantiations that systematically bias judgments of permissibility. In particular, the proscription of virtual pedophilia rests on intuitions about immoral desire, sexual violations, and a schematization of a powerful adult offending against an innocent child. I go on to argue that these differences between virtual pedophilia and virtual murder may be ethically relevant. Precisely because virtual pedophilia is normally aversive in a way that virtual murder is not, we plausibly expect virtual pedophilia to invite abnormal and immorally desirous forms of engagement. (shrink)

The present volume contains articles of well-known representatives of the Meaning-Text Theory (MTT) and other related linguistic theories. Founded by I. Mel'cuk and A. Zholkovsky in the sixties in Moscow, MTT soon became known in the West as a “prominent outsider” theory. The picture changed since then, though. MTT gained importance in several areas of linguistics and computational linguistics. It influenced the design of new grammar formalisms such as Dependency Tree Grammars. Also, specific parts of MTT have been directly overtaken (...) into other theories; consider, for example, the work on integrating Lexical Functions into Pustejovsky's Generative Lexicon. The present volume is a further convincing demonstration of MTT's liveliness and relevance to the field's “burning” issues. The focus of the volume is on semantics, semantic representation and relation of semantics to surface in MTT. Six out of eight articles (Polguère; Escalier & Fournier; Paducheva; St.-Germain; Beck; Bogulavsky) deal with problems related to these topics, while the last two articles of the volume (Sgall and Rambow; Joshi) throw a bridge between MTT, or, more precisely, between dependency-based theories of which MTT is one instantiation, and other linguistic theories. (shrink)

No one in philosophy has paid much attention to the virtue of honesty in recent years. Here is a trait for which it is easy to find consensus that it is a virtue, and furthermore, a very important virtue. It also has obvious relevance to what we see going on in contemporary politics, for instance, or in sports, the entertainment world, and education. Yet as far as I can tell, only one article in a philosophy journal has appeared in (...) several decades which discusses this virtue at any length. -/- In this chapter I have two central aims: (i) to sketch some of the conceptual parameters of the virtue of honesty in general, as well as its subordinate virtues, and then (ii) to draw on leading work in psychology to determine, at least in a preliminary way, whether we should think that most people instantiate this virtue or not. (shrink)

In this paper, I discuss a problem for Kant's strategy of appealing to the agent qua noumenon to undermine the significance of determinism in his theory of free will. I then propose a solution. The problem is as follows: given determinism, how can some agent qua noumenon be 'the cause of the causality' of the appearances of that agent qua phenomenon without being the cause of the entire empirical causal series? This problem has been identified in the literature (Ralph Walker (...) provides what is perhaps the most dramatic presentation of it). But it has never received an adequate solution. In this paper, I argue that Walker’s objection is only decisive if we must understand our responsibility as responsibility for events, but not causal laws. I argue that we need not interpret Kant's theory in this way. I demonstrate that each agent qua noumenon could be responsible for "limited instantiation scope" causal laws which necessitate only the phenomenal actions of that same agent qua phenomenon. Part of this project involves showing that there are relevant constituents of actions which are "rare" enough to instantiate such laws. I demonstrate that, on Kant's view, events in agents’ bodies are not rare enough, but events in agents’ phenomenal souls are. (shrink)

This paper defends a version of Davidson’s demonstrative theory of quotation and against against the Fregean identity theory (IT henceforth) as articulated and defended by Corey Washington (1992). On the Fregean view, when an expression is referred to by means of quotation the quoted material itself is a linguistic referring expression. Quotation-marks are not needed; when they are used, they serve to make clearer the shift in syntactic and semantic properties effected on the quoted material by its occupying that linguistic (...) context: whatever its usual syntactic function, the quoted material functions as a singular term; whatever its usual semantic function, in that linguistic environment the quoted material refers to itself. On DT, in contrast, quotation-marks themselves are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. In the version I argue for the referent is obtained through some contextually suggested relation; in the default case the relation will be: … instantiates the linguistic type __, but there are other possibilities. In this way, the view can deal with the fact that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens. (shrink)

Recently, there has been a resurgence of interest in general, comprehensive models of human cognition. Such models aim to explain higher-order cognitive faculties, such as deliberation and planning. Given a computational representation, the validity of these models can be tested in computer simulations such as software agents or embodied robots. The push to implement computational models of this kind has created the field of artificial general intelligence (AGI). Moral decision making is arguably one of the most challenging tasks for computational (...) approaches to higher-order cognition. The need for increasingly autonomous artificial agents to factor moral considerations into their choices and actions has given rise to another new field of inquiry variously known as Machine Morality, Machine Ethics, Roboethics, or Friendly AI. In this study, we discuss how LIDA, an AGI model of human cognition, can be adapted to model both affective and rational features of moral decision making. Using the LIDA model, we will demonstrate how moral decisions can be made in many domains using the same mechanisms that enable general decision making. Comprehensive models of human cognition typically aim for compatibility with recent research in the cognitive and neural sciences. Global workspace theory, proposed by the neuropsychologist Bernard Baars (1988), is a highly regarded model of human cognition that is currently being computationally instantiated in several software implementations. LIDA (Franklin, Baars, Ramamurthy, & Ventura, 2005) is one such computational implementation. LIDA is both a set of computational tools and an underlying model of human cognition, which provides mechanisms that are capable of explaining how an agent’s selection of its next action arises from bottom-up collection of sensory data and top-down processes for making sense of its current situation. We will describe how the LIDA model helps integrate emotions into the human decision-making process, and we will elucidate a process whereby an agent can work through an ethical problem to reach a solution that takes account of ethically relevant factors. (shrink)

ABSTRACT Section 1 discusses properties and propositions, and some of the motivation for an account in which property instantiation and propositional truth behave ‘naively’. Section 2 generalizes a standard Kripke construction for naive properties and propositions, in a language with modal operators but no conditionals. Whereas Kripke uses a 3-valued value space, the generalized account allows for a broad array of value spaces, including the unit interval [0,1]. This is put to use in Section 3, where I add to the (...) language a conditional suitable for restricting quantification. The shift from a value space based on the ‘mini-space’ {0,, 1} to one based on the ‘mini-space’ [0,1] leads to more satisfactory results than I was able to achieve in previous work: a vast variety of paradoxical sentences can now be treated very simply. In Section 4 I make a further addition to the language, a conditional modeled on the ordinary English conditional, paying particular attention to how it interacts with the restricted quantifier conditional. This is all done in the [0,1] framework, and two alternatives are considered for how the ordinary conditional is to be handled; one of them results from adding a tweak to a construction by Ross Brady. Section 5 discusses a further alternative, a standard relevance conditional (for the ordinary conditional, perhaps for use with a different quantifier-restricting conditional), but argues that it is not promising. Section 6 discusses the identity conditions of properties and propositions (again in the setting of a value space based on [0,1]); the issue of achieving naivety for coarse-grained properties is seen to be more complicated than some brief remarks in Field [2010] suggested, but a way to get a fair degree of coarse-grainedness is shown. (shrink)

The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...) this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result by Ross Brady, which demonstrates the consistency of something resembling a naive theory of classes. We generalize Brady’s result somewhat and extend it to a recent system developed by Andrew Bacon. All of the theories we prove consistent contain an extensionality rule or axiom. But we argue that given the background logics, the relevant extensionality principles are too weak. For example, in some of these theories, there are universal classes which are not declared coextensive. We elucidate some very modest demands on extensionality, designed to rule out this kind of pathology. But we close by proving that even these modest demands cannot be jointly satisfied. In light of this new impossibility result, the prospects for a naive theory of classes are bleak. (shrink)

The frame problem is the difficulty of explaining how non-magical systems think and act in ways that are adaptively sensitive to context-dependent relevance. Influenced centrally by Heideggerian phenomenology, Hubert Dreyfus has argued that the frame problem is, in part, a consequence of the assumption (made by mainstream cognitive science and artificial intelligence) that intelligent behaviour is representation-guided behaviour. Dreyfus' Heideggerian analysis suggests that the frame problem dissolves if we reject representationalism about intelligence and recognize that human agents realize the (...) property of thrownness (the property of being always already embedded in a context). I argue that this positive proposal is incomplete until we understand exactly how the properties in question may be instantiated in machines like us. So, working within a broadly Heideggerian conceptual framework, I pursue the character of a representation-shunning thrown machine. As part of this analysis, I suggest that the frame problem is, in truth, a two-headed beast. The intra-context frame problem challenges us to say how a purely mechanistic system may achieve appropriate, flexible and fluid action within a context. The inter-context frame problem challenges us to say how a purely mechanistic system may achieve appropriate, flexible and fluid action in worlds in which adaptation to new contexts is open-ended and in which the number of potential contexts is indeterminate. Drawing on the field of situated robotics, I suggest that the intra-context frame problem may be neutralized by systems of special-purpose adaptive couplings, while the inter-context frame problem may be neutralized by systems that exhibit the phenomenon of continuous reciprocal causation. I also defend the view that while continuous reciprocal causation is in conflict with representational explanation, special-purpose adaptive coupling, as well as its associated agential phenomenology, may feature representations. My proposal has been criticized recently by Dreyfus, who accuses me of propagating a cognitivist misreading of Heidegger, one that, because it maintains a role for representation, leads me seriously astray in my handling of the frame problem. I close by responding to Dreyfus' concerns. (shrink)

I defend a Deferred Ostension view of quotation, on which quotation-marks are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. On this view, the quoted material works like Nunberg’s indexes in his account of deferred ostensión in general. The referent is obtained through some contextually suggested relation; in the default case the relation will be … instantiates the linguistic type __, but there are other possibilities. In this way, the (...) deferred ostension view deals with a problem I pointed out for the identity proposal in my earlier work, that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens (see the examples on p. 261 of García-Carpintero 1994). (shrink)

In his recent article, Ben-Moshe offers an account of conscientious objection in terms of the truth of the underlying moral objections, as judged by the standards of an impartial spectator. He seems to advocate for the view that having a valid moral objection to X is the sole criteria for the instantiation of a right to conscientiously object to X, and seems indifferent to the moral status of the prevailing moral attitudes. I argue that the moral status of the prevailing (...) moral attitudes is relevant, and that a good faith disagreement between those who condone the relevant act and those who object to it is a criterion for CO. In this light, I suggest that CO is a sociopolitical device for managing differing ethical perspectives, particularly in the context of collective moral change. Thus, it is misguided to equate having a valid moral objection with the recognition of a CO. (shrink)

Berkeley’s likeness principle states that only an idea can be like an idea. In this paper, I argue that the principle should be read as a premise only in a metaphysical argument showing that matter cannot instantiate anything like the sensory properties we perceive. It goes against those interpretations that take it to serve also, if not primarily, an epistemological purpose, featuring in Berkeley’s alleged Representation Argument to the effect that we cannot reach beyond the veil of our ideas. First, (...) in section 1, I raise some concerns about the traditional narrative concerning the likeness principle’s role in Berkeley’s argumentation. In section 2, I delineate an alternative narrative, arguing that there is no ‘missing premise’ in his alleged Representation Argument we need to explain simply because he advances no argument like that in the first place. In section 3–4, I provide a close reading of the relevant passages—first from the _Principles_, then the _Dialogues_—and their contexts, supporting textually a purely metaphysical interpretation of the likeness principle arguments. In section 5, I address some possible objections, based on the phrasing of the likeness principle passages and some related texts. (shrink)

The question of the identity or persistence of the self through time may be interesting for philosophers, but it is hardly a burning question for most individuals. On the other hand, the question of who I am, what or who I take myself to be, can be a vital, even burning question for most of us at some time in our lives. This is the notion of personal identity I take up in this paper. It is an identity that is (...) not pre-given a priori but is always in some sense an open question, never completely decided. Here the narrative conception of self is relevant, since it is often a question of what story or kind of story my identity instantiates. This notion of personal identity is inherently temporal, but not in the sense of temporal persistence but of temporal coherence of past, present and future. And here the question of personal identity is inevitably social, since it is largely a question of what group I identify myself with, what social role I take myself to embody. And what complications occur when I identify myself with more than one group? Here many social conflicts and also intrapersonal conflicts have their source. My topic thus turns on ideas of personal identity that are reflected in the popular expressions “identity crisis” and “identity politics.”. (shrink)

Under what conditions does a physical system implement or realize a computation? Structuralism about computational implementation, espoused by Chalmers and others, holds that a physical system realizes a computation just in case the system instantiates a pattern of causal organization isomorphic to the computation’s formal structure. I argue against structuralism through counter-examples drawn from computer science. On my opposing view, computational implementation sometimes requires instantiating semantic properties that outstrip any relevant pattern of causal organization. In developing my argument, I defend (...) anti-individualism about computational implementation: relations to the social environment sometimes help determine whether a physical system realizes a computation. 1 The Physical Realization Relation2 Semantics and Computational Implementation3 Conforming to Instructions4 Implementing a Computer Program4.1 The denotational semantics of Scheme4.2 Worries about intentionality4.3 Worries about the natural numbers5 Implementing a Machine Model6 Bounded Structuralism7 Triviality Arguments8 Anti-individualism about Computational Implementation. (shrink)

Recent experiments have shown that when individuals with a substance use disorder are confronted with drug-related cues, they exhibit an automatically activated tendency to approach these cues. The strength of the drug approach bias has been associated with clinically relevant measures, such as increased drug craving and relapse, and activations in brain reward areas. Retraining the approach bias by means of cognitive bias modification has been demonstrated to decrease relapse rates in patients with an alcohol use disorder and to reduce (...) alcohol cue-evoked limbic activity. Here, we review empirical and theoretical literature on the drug approach bias and explore two distinct models of how the drug approach bias may be embodied. First, we consider the “biological meaning” hypothesis, which grounds the automatic approach bias in the natural meaning of the body. Second, we consider the “sensorimotor hypothesis,” which appeals to the specific sensorimotor loops involved in the instantiation of addictive behaviors as the basis of the automatic approach bias. In order to differentiate between the adequacies of these competing explanations, we present specific, predictions that each model should make. (shrink)

Recent experiments have shown that when individuals with a substance use disorder are confronted with drug-related cues, they exhibit an automatically activated tendency to approach these cues. The strength of the drug approach bias has been associated with clinically relevant measures, such as increased drug craving and relapse, and activations in brain reward areas. Retraining the approach bias by means of cognitive bias modification has been demonstrated to decrease relapse rates in patients with an alcohol use disorder and to reduce (...) alcohol cue-evoked limbic activity. Here, we review empirical and theoretical literature on the drug approach bias and explore two distinct models of how the drug approach bias may be embodied. First, we consider the “biological meaning” hypothesis, which grounds the automatic approach bias in the natural meaning of the body. Second, we consider the “sensorimotor hypothesis,” which appeals to the specific sensorimotor loops involved in the instantiation of addictive behaviors as the basis of the automatic approach bias. In order to differentiate between the adequacies of these competing explanations, we present specific, predictions that each model should make. (shrink)

People’s comfort with and acceptability of artificial intelligence (AI) instantiations is a topic that has received little systematic study. This is surprising given the topic’s relevance to the design, deployment and even regulation of AI systems. To help fill in our knowledge base, we conducted mixed-methods analysis based on a survey of a representative sample of the US population (_N_ = 2254). Results show that there are two distinct social dimensions to comfort with AI: as a peer and as (...) a superior. For both dimensions, general and technological efficacy traits—locus of control, communication apprehension, robot phobia, and perceived technology competence—are strongly associated with acceptance of AI in various roles. Female and older respondents also were less comfortable with the idea of AI agents in various roles. A qualitative analysis of comments collected from respondents complemented our statistical approach. We conclude by exploring the implications of our research for AI acceptability in society. (shrink)