Showing papers in "Synthese in 2008"

Patterns of abduction

Abstract: This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture (conclusion) and thus serves as an abductive search strategy (Sect. 1). A classifica- tion of different patterns of abduction is provided which intends to be as complete as possible (Sect. 2). An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations (Sects. 3-4), and creative abductions, which introduce new theoretical models or con- cepts (Sects. 5-7). While selective abduction has dominated the literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by vari- ous real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification (Sect. 7.1).

Responsibility for believing

Abstract: Many assume that we can be responsible only what is voluntary. This leads to puzzlement about our responsibility for our beliefs, since beliefs seem not to be voluntary. I argue against the initial assumption, presenting an account of responsibility and of voluntariness according to which, not only is voluntariness not required for responsibility, but the feature which renders an attitude a fundamental object of responsibility (that the attitude embodies one's take on the world and one's place in it) also guarantees that it could not be voluntary. It turns out, then, that, for failing to be voluntary, beliefs are a central example of the sort of thing for which we are most fundamentally responsible.

Moderate structural realism about space-time

Abstract: This paper sets out a moderate version of metaphysical structural realism that stands in contrast to both the epistemic structural realism of Worrall and the—radical—ontic structural realism of French and Ladyman. According to moderate structural realism, objects and relations (structure) are on the same ontological footing, with the objects being characterized only by the relations in which they stand. We show how this position fares well as regards philosophical arguments, avoiding the objections against the other two versions of structural realism. In particular, we set out how this position can be applied to space-time, providing for a convincing understanding of space-time points in the standard tensor formulation of general relativity as well as in the fibre bundle formulation.

A Defence of Informational Structural Realism

Abstract: This is the revised version of an invited keynote lecture delivered at the 1st Australian Computing and Philosophy Conference (CAP@AU; the Australian National University in Canberra, 31 October–2 November, 2003). The paper is divided into two parts. The first part defends an informational approach to structural realism. It does so in three steps. First, it is shown that, within the debate about structural realism (SR), epistemic (ESR) and ontic (OSR) structural realism are reconcilable. It follows that a version of OSR is defensible from a structuralist-friendly position. Second, it is argued that a version of OSR is also plausible, because not all relata (structured entities) are logically prior to relations (structures). Third, it is shown that a version of OSR is also applicable to both sub-observable (unobservable and instrumentally-only observable) and observable entities, by developing its ontology of structural objects in terms of informational objects. The outcome is informational structural realism, a version of OSR supporting the ontological commitment to a view of the world as the totality of informational objects dynamically interacting with each other. The paper has been discussed by several colleagues and, in the second half, ten objections that have been moved to the proposal are answered in order to clarify it further.

Linguistic communication and the semantics/pragmatics distinction

Abstract: Most people working on linguistic meaning or communication assume that semantics and pragmatics are distinct domains, yet there is still little consensus on how the distinction is to be drawn The position defended in this paper is that the semantics/pragmatics distinction holds between (context-invariant) encoded linguistic meaning and speaker meaning Two other ‘minimalist’ positions on semantics are explored and found wanting: Kent Bach’s view that there is a narrow semantic notion of context which is responsible for providing semantic values for a small number of indexicals, and Herman Cappelen and Ernie Lepore’s view that semantics includes the provision of values for all indexicals, even though these depend on the speaker’s communicative intentions Finally, some implications are considered for the favoured semantics/pragmatics distinction of the fact that there are linguistic elements (lexical and syntactic) which do not contribute to truth-conditional content but rather provide guidance on pragmatic inference

Classifying emotion: a developmental account

Abstract: The aim of this paper is to propose a systematic classification of emotions which can also characterize their nature. The first challenge we address is the submission of clear criteria for a theory of emotions that determine which mental phenomena are emotions and which are not. We suggest that emotions as a subclass of mental states are determined by their functional roles. The second and main challenge is the presentation of a classification and theory of emotions that can account for all existing varieties. We argue that we must classify emotions according to four developmental stages: 1. pre-emotions as unfocussed expressive emotion states, 2. basic emotions, 3. primary cognitive emotions, and 4. secondary cognitive emotions. We suggest four types of basic emotions (fear, anger, joy and sadness) which are systematically differentiated into a diversity of more complex emotions during emotional development. The classification distinguishes between basic and non-basic emotions and our multi-factorial account considers cognitive, experiential, physiological and behavioral parameters as relevant for constituting an emotion. However, each emotion type is constituted by a typical pattern according to which some features may be more significant than others. Emotions differ strongly where these patterns of features are concerned, while their essential functional roles are the same. We argue that emotions form a unified ontological category that is coherent and can be well defined by their characteristic functional roles. Our account of emotions is supported by data from developmental psychology, neurobiology, evolutionary biology and sociology.

A logic of intention and attempt

Abstract: We present a modal logic called $${\mathcal{LIA}}$$ (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of $${\mathcal{LIA}}$$ , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.

Zero tolerance for pragmatics

Abstract: The proposition expressed by a sentence is relative to a context But what determines the content of the context? Many theorists would include among these determinants aspects of the speaker’s intention in speaking My thesis is that, on the contrary, the determinants of the context never include the speaker’s intention My argument for this thesis turns on a consideration of the role that the concept of proposition expressed in context is supposed to play in a theory of linguistic communication To illustrate an alternative approach, I present an original theory of the reference of demonstratives according to which the referent of a demonstrative is the object that adequately and best satisfies certain accessibility criteria Although I call my thesis zero tolerance for pragmatics, it is not an expression of intolerance for everything that might be called “pragmatics”

Appropriateness measures: an uncertainty model for vague concepts

Abstract: We argue that in the decision making process required for selecting assertible vague descriptions of an object, it is practical that communicating agents adopt an epistemic stance. This corresponds to the assumption that there exists a set of conventions governing the appropriate use of labels, and about which an agent has only partial knowledge and hence significant uncertainty. It is then proposed that this uncertainty is quantified by a measure corresponding to an agent’s subjective belief that a vague concept label can be appropriately used to describe a particular object. We then apply Bayesian networks to investigate, in the case when knowledge of labelling conventions is represented by an ordering or ranking of the labels according to their appropriateness, how measure values allocated to basic labels can be used to directly infer the appropriateness measure of compound expressions.

Probabilistic dynamic belief revision

Abstract: We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for knowledge and conditional belief, and comparing them with the more standard plausibility models. We also consider a related notion, that of safe belief, which is a weak (non-negatively introspective) type of "knowledge". We develop a probabilistic version of this concept ("degree of safety") and we analyze its role in games. We completely axiomatize the logic of conditional belief, knowledge and safe belief over conditional probabilistic models. We develop a theory of probabilistic dynamic belief revision, introducing probabilistic "action models" and proposing a notion of probabilistic update product, that comes together with appropriate reduction laws.

The evidential support theory of conditionals

Abstract: According to so-called epistemic theories of conditionals, the assertability/acceptability/acceptance of a conditional requires the existence of an epistemically significant relation between the conditional’s antecedent and its consequent. This paper points to some linguistic data that our current best theories of the foregoing type appear unable to explain. Further, it presents a new theory of the same type that does not have that shortcoming. The theory is then defended against some seemingly obvious objections.

It's in Your Nature: A Pluralistic Folk Psychology

Abstract: I suggest a pluralistic account of folk psychology according to which not all predictions or explanations rely on the attribution of mental states, and not all intentional actions are explained by mental states This view of folk psychology is supported by research in developmental and social psychology It is well known that people use personality traits to predict behavior I argue that trait attribution is not shorthand for mental state attributions, since traits are not identical to beliefs or desires, and an understanding of belief or desire is not necessary for using trait attributions In addition, we sometimes predict and explain behavior through appeal to personality traits that the target wouldn’t endorse, and so could not serve as the target’s reasons I conclude by suggesting that our folk psychology includes the notion that some behavior is explained by personality traits—who the person is—rather than by beliefs and desires—what the person thinks Consequences of this view for the debate between simulation theory and theory theory, as well as the debate on chimpanzee theory of mind are discussed

Inference to the best explanation and mathematical realism

Abstract: Arguing for mathematical realism on the basis of Field’s explanationist version of the Quine–Putnam Indispensability argument, Alan Baker has recently claimed to have found an instance of a genuine mathematical explanation of a physical phenomenon. While I agree that Baker presents a very interesting example in which mathematics plays an essential explanatory role, I show that this example, and the argument built upon it, begs the question against the mathematical nominalist.

Consciousness, context, and know-how

Abstract: In this paper I criticize the most significant recent examples of the practical knowledge analysis of knowledge-how in the philosophical literature: David Carr [1979, Mind, 88, 394–409; 1981a, American Philosophical Quarterly, 18, 53–61; 1981b, Journal of Philosophy of Education, 15(1), 87–96] and Stanley & Williamson [2001, Journal of Philosophy, 98(8), 411–444]. I stress the importance of know-how in our contemporary understanding of the mind, and offer the beginnings of a treatment of know-how capable of providing insight in to the use of know-how in contemporary cognitive science. Specifically, I claim that Carr’s necessary conditions for know-how fail to capture the distinction he himself draws between ability and knowing-how. Moreover, Carr ties knowing-how to conscious intent, and to an explicit knowledge of procedural rules. I argue that both moves are mistakes, which together render Carr’s theory an inadequate account both of common ascriptions of knowledge-how and of widely accepted ascriptions of knowledge-how within explanations in cognitive science. Finally, I note that Carr’s conditions fail to capture intuitions (heshares) regarding the ascription of know-how to persons lacking ability. I then consider the position advocated by Stanley & Williamson (2001), which seems avoid Carr’s commitments to conscious intent and explicit knowledge while still maintaining that “knowledge-how is simply a species of knowledge-that" (Stanley & Williamson, 2001, p. 411). I argue that Stanley and Williamson’s attempt to frame a reductionist view that avoids consciously occurrent beliefs during exercises of knowledge-how and explicit knowledge of procedural rules is both empirically implausible and explanatorily vacuous. In criticizing these theories I challenge the presuppositions of the most pervasive response to Ryle in the philosophic literature, what might be described as “the received view." I also establish several facts about knowing-how. First, neither conscious intent nor explicit representation (much less conscious representation) of procedural rules are necessary for knowing-how given the theory of cognition current in cognitive science. I argue that the discussed analyses fail to capture the necessary conditions for knowledge-how because know-how requires the instantiation of an ability and of the capacities necessary for exploiting an ability—not conscious awareness of purpose or explicit knowledge of rules. Second, one must understand knowledge-how as task-specific, i.e., as presupposing certain underlying conditions. Conceiving of know-how as task-specific allows one to understand ascriptions of know-how in the absence of ability as counterfactual ascriptions based upon underlying competence.

Persons, animals, and identity

Abstract: The paper is concerned with how neo-Lockean accounts of personal identity should respond to the challenge of animalist accounts. Neo-Lockean accounts that hold that persons can change bodies via brain transplants or cerebrum transplants are committed to the prima facie counterintuitive denial that a person is an (biologically individuated) animal. This counterintuitiveness can be defused by holding that a person is biological animal (on neo-Lockean views) if the “is” is the “is” of constitution rather than the “is” of identity, and that a person is identical with an animal in a sense of “animal” different from that which requires the persistence conditions of animals to be biological. Another challenge is the “too many minds problem”: if persons and their coincident biological animals share the same physical properties, and mental properties supervene on physical properties, the biological animal will share the mental properties of the person, and so should itself be a person. The response to this invokes a distinction between “thin” properties, which are shared by coincident entities, and “thick” properties which are not so shared. Mental properties, and their physical realizers, are thick, not thin, so are not properties persons share with their bodies or biological animals. The paper rebuts the objection that neo-Lockean accounts cannot explain how persons can have physical properties. To meet a further problem it is argued that the biological properties of persons and those of biological animals are different because of differences in their causal profiles.

Downward causation in fluid convection

Abstract: Recent developments in nonlinear dynamics have found wide application in many areas of science from physics to neuroscience. Nonlinear phenomena such as feedback loops, inter-level relations, wholes constraining and modifying the behavior of their parts, and memory effects are interesting candidates for emergence and downward causation. Rayleigh–Benard convection is an example of a nonlinear system that, I suggest, yields important insights for metaphysics and philosophy of science. In this paper I propose convection as a model for downward causation in classical mechanics, far more robust and less speculative than the examples typically provided in the philosophy of mind literature. Although the physics of Rayleigh–Benard convection is quite complicated, this model provides a much more realistic and concrete example for examining various assumptions and arguments found in emergence and philosophy of mind debates. After reviewing some key concepts of nonlinear dynamics, complex systems and the basic physics of Rayleigh–Benard convection, I begin that examination here by (1) assessing a recently proposed definition for emergence and downward causation, (2) discussing some typical objections to downward causation and (3) comparing this model with Sperry’s examples.

Internalism, externalism, and transcendental idealism

Abstract: The analyses of the mind–world relation offered by transcendental idealists such as Husserl have often been dismissed with the argument that they remain committed to an outdated form of internalism. The first move in this paper will be to argue that there is a tight link between Husserl’s transcendental idealism and what has been called phenomenological externalism, and that Husserl’s endorsement of the former commits him to a version of the latter. Secondly, it will be shown that key elements in Husserl’s transcendental idealism, including his rejection of representationalism and metaphysical realism, is shared with a number of prominent contemporary defenders of an externalist view on the mind. Ultimately, however, it will be suggested that the very alternative between internalism and externalism—an alternative based on the division between inner and outer—might be inapplicable when it comes to phenomenological conceptions of the mind–world relation.

Phenomenological immanence, normativity, and semantic externalism

Abstract: This paper argues that transcendental phenomenology (here represented by Edmund Husserl) can accommodate the main thesis of semantic externalism, namely, that intentional content is not simply a matter of what is ‘in the head,’ but depends on how the world is. I first introduce the semantic problem as an issue of how linguistic tokens or mental states can have ‘content’—that is, how they can set up conditions of satisfaction or be responsive to norms such that they can succeed or fail at referring. The standard representationalist view—which thinks of the problem in first-person terms—is contrasted with Brandom’s pragmatic inferentialist approach, which adopts a third-person stance. The rest of the paper defends a phenomenological version of the representationalist position (seeking to preserve its first-person stance) but offers a conception of representation that does not identify it with an entity ‘in the head.’ The standard view of Husserl as a Cartesian internalist is undermined by rejecting its fundamental assumption—that Husserl’s concept of the ‘noema’ is a mental entity—and by defending a concept of ‘phenomenological immanence’ that has a normative, rather than a psychological, structure. Finally, it is argued that phenomenological immanence cannot be identified with ‘consciousness’ in Husserl’s sense, though consciousness is a necessary condition for it.

Truthmakers and modality

Abstract: This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 2 I criticise Armstrong’s account of truthmakers for modal truths. In Sect. 3 I examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 4 I discuss, and dismiss, a theistic account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem.

Modelling simultaneous games in dynamic logic

Abstract: We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

Logical dynamics of some speech acts that affect obligations and preferences

Abstract: In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects upon attitudes and actions of agents, and help us understand why saying so can make it so in explicit performative utterances. We will also discuss how acts of commanding give rise to so-called “deontic dilemmas” and how we can accommodate most deontic dilemmas without triggering so-called “deontic explosion”.

Computer simulation through an error-statistical lens

Abstract: After showing how Deborah Mayo's error-statistical philosophy of science might be applied to address important questions about the evidential sta- tus of computer simulation results, I argue that an error-statistical perspective offers an interesting new way of thinking about computer simulation models and has the potential to significantly improve the practice of simulation model evaluation. Though intended primarily as a contribution to the epistemology of simulation, the analysis also serves to fill in details of Mayo's epistemology of experiment.

Believing one’s reasons are good

Abstract: Is it coherent to suppose that in order to hold a belief responsibly, one must recognize something else as a reason for it? This paper addresses this question by focusing on so-called “Inferential Internalist” principles, that is principles of the following form: in order for one to have positive epistemic status O in virtue of believing P on the basis of R, one must believe that R evidentially supports P, and one must have positive epistemic status O in relation to that latter belief as well. While such principles and their close relatives figure centrally in a wide variety of recent epistemological discussions, there is confusion in the literature about what, precisely, Inferential Internalism commits one to and whether it is so much as coherent. This paper (1) articulates a broader framework for understanding the notion of epistemic responsibility, (2) motivates Inferential Internalism on the basis of considerations about the basing relation, epistemic responsibility, and parallels with practical deliberation, (3) defends Inferential Internalism against charges of incoherence leveled by James Van Cleve and Paul Boghossian, and (4) shows that contrary to a currently widespread view, Inferential Internalism is coherent even if foundationalism and the a priori are rejected. The paper closes with a preliminary argument for an affirmative answer to the initiating question about the requirements of epistemic responsibility.

Warrant without truth

Abstract: This paper advances the debate over the question whether false beliefs may nevertheless have warrant, the property that yields knowledge when conjoined with true belief. The paper’s first main part—which spans Sections 2–4—assesses the best argument for Warrant Infallibilism, the view that only true beliefs can have warrant. I show that this argument’s key premise conflicts with an extremely plausible claim about warrant. Sections 5–6 constitute the paper’s second main part. Section 5 presents an overlooked puzzle about warrant, and uses that puzzle to generate a new argument for Warrant Fallibilism, the view that false beliefs can have warrant. Section 6 evaluates this pro-Fallibilism argument, finding ultimately that it defeats itself in a surprising way. I conclude that neither Infallibilism nor Fallibilism should now constrain theorizing about warrant.

Modest deontologism in epistemology

Abstract: Deontologism in epistemology holds that epistemic justification may be understood in terms of "deontological" sentences about what one ought to believe or is permitted to believe, or what one deserves praise for believing, or in some similar way. If deonotologism is true, and people have justified beliefs, then the deontological sentences can be true. However, some say, these deontological sentences can be true only if people have a kind of freedom or control over their beliefs that they do not in fact have. Thus, deontologism in epistemology, combined with anti-skepticism, has implausible implications. I first describe one sort of control that people typically have over ordinary actions but do not have over typical beliefs. I then argue that there is a paradigmatic type of epistemic evaluation that does properly apply to beliefs even though we lack this sort of control over them. Finally, I argue that these paradigmatic epistemic evaluations are sufficient to make true some of the deontological sentences.

Husserl and externalism

Abstract: It is argued that Husserl was an “externalist” in at least one sense. For it is argued that Husserl held that genuinely perceptual experiences—that is to say, experiences that are of some real object in the world—differ intrinsically, essentially and as a kind from any hallucinatory experiences. There is, therefore, no neutral “content” that such perceptual experiences share with hallucinations, differing from them only over whether some additional non-psychological condition holds or not. In short, it is argued that Husserl was a “disjunctivist”. In addition, it is argued that Husserl held that the individual object of any experience, perceptual or hallucinatory, is essential to and partly constitutive of that experience. The argument focuses on three aspects of Husserl’s thought: his account of intentional objects, his notion of horizon, and his account of reality.

Same old, same old: the same-order representation theory of consciousness and the division of phenomenal labor

Abstract: The same-order representation theory of consciousness holds that conscious mental states represent both the world and themselves. This complex representational structure is posited in part to avoid a powerful objection to the more traditional higher-order representation theory of consciousness. The objection contends that the higher-order theory fails to account for the intimate relationship that holds between conscious states and our awareness of them–the theory ‘divides the phenomenal labor’ in an illicit fashion. This ‘failure of intimacy’ is exposed by the possibility of misrepresentation by higher-order states. In this paper, I argue that despite appearances, the same-order theory fails to avoid the objection, and thus also has troubles with intimacy.

Assessing theories, Bayes style

Abstract: The problem addressed in this paper is ``the main epistemic problem concerning science'', viz. ``the explication of how we compare and evaluate theories [...] in the light of the available evidence'' (van Fraassen 1983: 27). Sections 1-3 contain the general plausibility-informativeness theory of theory assessment. In a nutshell, the message is (1) that there are two values a theory should exhibit: truth and informativeness -- measured respectively by a truth indicator and a strength indicator; (2) that these two values are conflicting in the sense that the former is a decreasing and the latter an increasing function of the logical strength of the theory to be assessed; and (3) that in assessing a given theory by the available data one should weigh between these two conflicting aspects in such a way that any surplus in informativeness succeeds, if the shortfall in plausibility is small enough. Particular accounts of this general theory arise by inserting particular strength indicators and truth indicators. In section 4 the theory is spelt out for the Bayesian paradigm of subjective probabilities. It is then compared to incremental Bayesian confirmation theory. Section 4 closes by asking whether it is likely to be lovely. Section 5 discusses a few problems of confirmation theory in the light of the present approach. In particular, it is briefly indicated how the present account gives rise to a new analysis of Hempel's conditions of adequacy for any relation of confirmation (Hempel 1945), differing from the one Carnap gave in §87 of his (1962). Section 6 addresses the question of justification any theory of theory assessment has to face: why should one stick to theories given high assessment values rather than to any other theories? The answer given by the Bayesian version of the account presented in section 4 is that one should accept theories given high assessment values, because, in the medium run, theory assessment almost surely takes one to the most informative among all true theories when presented separating data. The concluding section 8 continues the comparison between the present account and incremental Bayesian confirmation theory.

The virtues of epistemic conservatism

Abstract: Although several important methodologies implicitly assume the truth of epistemic conservatism, the view that holding a belief confers some measure of justification on the belief, recent criticisms have led some to conclude that epistemic conservatism is an implausible view. That conclusion is mistaken. In this article, I propose a new formulation of epistemic conservatism that is not susceptible to the criticisms leveled at earlier formulations of epistemic conservatism. In addition to withstanding these criticisms, this formulation of epistemic conservatism has several benefits. First, this formulation has the benefits of earlier formulations of epistemic conservatism, that is to say it makes sense of our intuitions about justification in regard to both memory beliefs and beliefs for which we have forgotten our evidence. Second, it provides a good way of responding to the skeptic’s challenge concerning the possibility of possessing knowledge of the external world posed by the Alternative Hypotheses argument. Third, it provides responses to both forms of a new skeptical problem plaguing basic knowledge structure theories, the Problem of Easy Knowledge formulated by Stewart Cohen. I argue that given the many benefits of this formulation of epistemic conservatism and the fact that it is not vulnerable to the criticisms that undermine earlier formulations of epistemic conservatism, this formulation of epistemic conservatism is a plausible view to maintain.

Model structure adequacy analysis: selecting models on the basis of their ability to answer scientific questions

Abstract: Models carry the meaning of science. This puts a tremendous burden on the process of model selection. In general practice, models are selected on the basis of their relative goodness of fit to data penalized by model complexity. However, this may not be the most effective approach for selecting models to answer a specific scientific question because model fit is sensitive to all aspects of a model, not just those relevant to the question. Model Structural Adequacy analysis is proposed as a means to select models based on their ability to answer specific scientific questions given the current understanding of the relevant aspects of the real world.