Recent research into how musicians coordinate their expressive timing, phrasing, articulation, dynamics, and other stylistic characteristics during performances has highlighted the role of predictive processes, as musicians must anticipate how their partners will play in order to be together. Several studies have used information flow techniques such as Granger causality to show that upcoming movements of a musician can be predicted from immediate past movements of fellow musicians. Although musicians must move to play their instruments, a major goal of music (...) making is to create a joint interpretation through the sounds they produce. Yet, information flow techniques have not been applied previously to examine the role that fellow musicians' sound output plays in these predictive processes and whether this changes as they learn to play together. In the present experiment, we asked professional violinists to play along with recordings of two folk pieces, each eight times in succession, and compared the amplitude envelopes of their performances with those of the recordings using Granger causality to measure information flow and cross-correlation to measure similarity and synchronization. In line with our hypotheses, our measure of information flow was higher from the recordings to the performances than vice versa, and decreased as the violinists became more familiar with the recordings over trials. This decline in information flow is consistent with a gradual shift from relying on auditory cues to predict the recording to relying on an internally-based (learned) model built through repetition. There was also evidence that violinists became more synchronized with the recordings over trials. These results shed light on the planning and learning processes involved in the aligning of expressive intentions in group music performance and lay the groundwork for the application of Granger causality to investigate information flow through sound in more complex musical interactions. (shrink)

Throughout history, dance has maintained a critical presence across all human cultures, defying barriers of class, race, and status. How dance has synergistically co-evolved with humans has fueled a rich debate on the function of art and the essence of aesthetic experience, engaging numerous artists, historians, philosophers, and scientists. While dance shares many features with other art forms, one attribute unique to dance is that it is most commonly expressed with the human body. Because of this, social scientists and neuroscientists (...) are turning to dance and dancers to help answer questions of how the brain coordinates the body to perform complex, precise, and beautiful movements. In the present paper, we discuss how recent advances in neuroscientific methods provide the tools to advance our understanding of not only the cerebral phenomena associated with dance learning and observation but also the neural underpinnings of aesthetic appreciation associated with watching dance. We suggest that future work within the fields of dance neuroscience and neuroaesthetics have the potential to provide mutual benefits to both the scientific and artistic communities. (shrink)

In this open access book, the Community of Practice led by the VPH Institute, the Avicenna Alliance, and the In Silico World consortium has brought together 138 experts in In Silico Trials working in academia, the medical industry, regulatory bodies, hospitals, and consulting firms. Through a consensus process, these experts produced the first attempt to define some Good Simulation Practices on how to develop, evaluate, and use In Silico Trials. Good Simulation Practice constitutes an indispensable guide for anyone who is (...) planning to engage at any title with In Silico Trials. (shrink)

Pursuant to the aims and scope of the Special Issue it is part of, this invited contribution seeks to shed new light on the nature and working logic of legal reasoning. It does so by engaging with two of the most authoritative views on the subject which have recently been put forward in the Common law world—namely, Lord Hoffmann’s, and Larry Alexander and Emily Sherwin’s. A key-concern of the Anglophone debate on legal reasoning is whether it is a specialistic type (...) of reasoning requiring ad hoc education and training, or ordinary reasoning subject to ordinary rules of language (i.e. sentence construction, interpretation, etc.). The article argues that compelling though they are, these sorts of enquiries do not help to understand what legal reasoning really is and how it operates. In particular, it argues that if we are to understand what legal reasoning is and how it works, we ought to examine the propositions it aims to craft and support. In so arguing, the article further shows that exploring law’s nature and operations as an intellectual means for social ordering also helps to understand how law works as a regulatory phenomenon more generally. (shrink)

Logic and Knowledge -/- Editor: Carlo Cellucci, Emily Grosholz and Emiliano Ippoliti Date Of Publication: Aug 2011 Isbn13: 978-1-4438-3008-9 Isbn: 1-4438-3008-9 -/- The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VI–VII of Plato’s Republic and Aristotle’s Prior and Posterior Analytics, to Kant’s Critique of Pure Reason and Mill’s A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers (...) by Bertrand Russell (Logic and Knowledge. Essays, 1901–1950). However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge. -/- This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors. -/- Carlo Cellucci is Emeritus Professor of Philosophy at the University of Rome ‘La Sapienza,’ Italy. He is currently completing a book entitled, Remaking Logic: What is Logic Really? -/- Emily Grosholz is Professor of Philosophy at the Pennsylvania State University, USA. She is the author of Representation and Productive Ambiguity in Mathematics and the Sciences (Oxford University Press, 2007). -/- Emiliano Ippoliti is a Research Fellow at the University of Rome ‘La Sapienza,’ Italy. His main interests are heuristics, the logic of discovery, and problem-solving. He is currently working on a book, Ampliating Knowledge: Data, Hypotheses and Novelty. -/- TABLE OF CONTENTS -/- Foreword .................................................................................................... ix Acknowledgements ................................................................................. xxv -/- Section I: Logic and Knowledge -/- Chapter One................................................................................................. 3 The Cognitive Importance of Sight and Hearing in Seventeenthand Eighteenth-Century Logic (Mirella Capozzi) Discussion .............................................................................................. 26 (Chiara Fabbrizi) Chapter Two .............................................................................................. 33 Nominalistic Content (Jody Azzouni) Discussion ............................................................................................... 52 (Silvia De Bianchi) Chapter Three ............................................................................................ 57 A Garden of Grounding Trees (Göran Sundholm) Discussion.......................................................................................... .. 75 (Luca Incurvati) Chapter Four .............................................................................................. 81 Logics and Metalogics (Timothy Williamson) Discussion.......................................................................................... 101 (Cesare Cozzo) Chapter Five ............................................................................................ 109 Is Knowledge the Most General Factive Stative Attitude? (Cesare Cozzo) Discussion.......................................................................................... 117 (Timothy Williamson) Chapter Six .............................................................................................. 123 Classifying and Justifying Inference Rules (Carlo Cellucci) Discussion.......................................................................................... 143 (Norma B. Goethe) -/- Section II: Logic and Science -/- Chapter Seven.......................................................................................... 151 The Universal Generalization Problem and the Epistemic Status of Ancient Medicine: Aristotle and Galen (Riccardo Chiaradonna) Discussion.......................................................................................... 168 (Diana Quarantotto) Chapter Eight........................................................................................... 175 The Empiricist View of Logic (Donald Gillies) Discussion.......................................................................................... 191 (Paolo Pecere) Chapter Nine............................................................................................ 197 Artificial Intelligence and Evolutionary Theory: Herbert Simon’s Unifying Framework (Roberto Cordeschi) Discussion.......................................................................................... 216 (Francesca Ervas) Chapter Ten ............................................................................................. 221 Evolutionary Psychology and Morality: The Renaissance of Emotivism? (Mario De Caro) Discussion.......................................................................................... 232 (Annalisa Paese) Chapter Eleven ........................................................................................ 237 Between Data and Hypotheses (Emiliano Ippoliti) Discussion.......................................................................................... 262 (Fabio Sterpetti) -/- Section III: Logic and Mathematics -/- Chapter Twelve ....................................................................................... 273 Dedekind Against Intuition: Rigor, Scope and the Motives of his Logicism (Michael Detlefsen) Discussion.......................................................................................... 290 (Marianna Antonutti) Chapter Thirteen...................................................................................... 297 Mathematical Intuition: Poincaré, Polya, Dewey (Reuben Hersh) Discussion.......................................................................................... 324 (Claudio Bernardi) Chapter Fourteen ..................................................................................... 329 On the Finite: Kant and the Paradoxes of Knowledge (Carl Posy) Discussion.......................................................................................... 358 (Silvia Di Paolo) Chapter Fifteen ........................................................................................ 363 Assimilation: Not Only Indiscernibles are Identified (Robert Thomas) Discussion.......................................................................................... 380 (Diego De Simone) Chapter Sixteen ....................................................................................... 385 Proofs and Perfect Syllogisms (Dag Prawitz) Discussion.......................................................................................... 403 (Julien Murzi) Chapter Seventeen ................................................................................... 411 Logic, Mathematics, Heterogeneity (Emily Grosholz) Discussion.......................................................................................... 427 (Valeria Giardino) -/- Contributors........................................................................................ ..... 433 Index............................................................................................... ......... 437 -/- Price Uk Gbp: 49.99 Price Us Usd: 74.99. (shrink)

Constitutivism argues that the source of the categorical force of the norms of rationality and morality lies in the constitutive features of agency. A systematic failure to be guided by these norms would amount to a loss or lack of agency. Since we cannot but be agents, we cannot but be unconditionally guided by these norms. The constitutivist strategy has been challenged by David Enoch. He argues that our participation in agency is optional and thus cannot be a source of (...) categorical demands. In this paper, I defend the viability of constitutivism by showing that agency is indeed a special ‘inescapable’ enterprise. Agency has the largest jurisdiction, and it is closed under rational assessment. This inescapability does not exempt constitutivism from raising the question whether agents have reason to be agents, but this question has to be taken up within agency. If this question is answered affirmatively, then—I argue—the criteria of practical correctness are self-ratifying in a non-circular way. This is sufficient to show the viability of the constitutivist strategy. Whether agents have conclusive reasons to be agents, however, is a matter to be addressed in the terms of particular versions of constitutivism. (shrink)

It is often argued that future-directed decisions are effective at shaping our future conduct because they give rise, at the time of action, to a decisive reason to act as originally decided. In this paper, I argue that standard accounts of decision-based reasons are unsatisfactory. For they focus either on tie-breaking scenarios or cases of self-directed distal manipulation. I argue that future-directed decisions are better understood as tools for the non-manipulative, intrapersonal division of deliberative labor over time. A future-directed decision (...) to ϕ gives rise to a defeasible exclusionary reason to ϕ. This reason is grounded on the default authority that is normally granted to one’s prior self as an “expert” deliberator. I argue that this kind of exclusionary reason is the only one that can account for the effectiveness of future-directed decisions at shaping our diachronic agency without violating our autonomy over time. (shrink)

In this paper, I argue against the popular philosophical thesis---aka the ‘own action condition’---that an agent can only intend one’s own actions. I argue that the own action condition does not hold for any executive attitude, intentions included. The proper object of intentions is propositional rather than agential (‘I intend that so-and-so be the case’ rather than ‘I intend to do such-and-such’). I show that, although there are some essential de se components in intending, they do not restrict the content (...) of intentions to one’s own actions. I then discuss the special way in which one’s own actions can figure in the content of one’s intentions, which shows that the distinction between intending and acting is less stark than it appears at first. This is a conclusion that many defenders of the own action condition might find appealing but which, I argue, is better supported by rejecting the own action condition. (shrink)

In this paper I investigate whether there are genuine and irreducible pressures of diachronic rationality grounded on the structure of the subject rather than on substantive considerations, such as pragmatic ones. I argue that structural pressures of diachronic rationality have a limited scope. The most important pressure only tells against arbitrary interference with the mechanisms for the retention of attitudes over time. I then argue that in the practical case, a substantial account in terms of the agent's temporal identity appears (...) more promising than a purely structural one, but in the end it still leaves many questions about diachronic practical rationality underdetermined. (shrink)

This chapter discusses the structure of our temporally extended agency. We do not have the power to act directly at a distance, so any of our temporally extended projects must be sustained over its temporal unfolding by momentary actions. We need both the capacity to organize these momentary steps in light of a synoptic overview of the extended activity as a whole and to sustain our motivation to continue to pursue the extended activity. Hence, the distinctive mode in which we (...) act over time is that of ’planning agency,’ which requires a form of temporal identification that goes beyond mere psychological continuity. I then discuss the differences in internal structure between merely continuous and integrated activities, and between telic and atelic ones. I provide a taxonomy of the different kinds of temporal goods and values and how these structures might bear on the risk of crisis of meaning in our temporal existence. I then touch briefly on the issue of how our mortality might make a difference to the structure of what we find valuable and how it relates to the temporal features of our agency. In the closing section, I discuss the effects of the moving temporal location of the agent (with her local executive powers) relative to her extended pursuits, including the asymmetries generated by the distinction between past and future stages of the activity and the moving horizon of what the agent can anticipate and (indirectly) control. (shrink)

We show that the modal µ-calculus over GL collapses to the modal fragment by showing that the fixpoint formula is reached after two iterations and answer to a question posed by van Benthem in [4]. Further, we introduce the modal µ~-calculus by allowing fixpoint constructors for any formula where the fixpoint variable appears guarded but not necessarily positive and show that this calculus over GL collapses to the modal fragment, too. The latter result allows us a new proof of the (...) de Jongh, Sambin Theorem and provides a simple algorithm to construct the fixpoint formula. (shrink)

Mindreading (or folk psychology, Theory of Mind, mentalizing) is the capacity to represent and reason about others’ mental states. The Simulation Theory (ST) is one of the main approaches to mindreading. ST draws on the common-sense idea that we represent and reason about others’ mental states by putting ourselves in their shoes. More precisely, we typically arrive at representing others’ mental states by simulating their mental states in our own mind. This entry offers a detailed analysis of ST, considers theoretical (...) arguments and empirical data in favour of and against it, discusses its philosophical implications, and illustrates some alternatives to it. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

I review recent work on Phenomenal Conservatism, the position introduced by Michael Huemer according to which if it seems that P to a subject S, in the absence of defeaters S has thereby some degree of justification for believing P.

One of the most pleasurable aspects of video games is their ability to induce immersive experiences. However, there appears to be a tentative conceptualization of what an immersive experience is. In this short review, we specifically focus on the terms of flow and immersion, as they are the most widely used and applied definitions in the video game literature, whilst their differences remain disputable. We critically review the concepts separately and proceed with a comparison on their proposed differences. We conclude (...) that immersion and flow do not substantially differ in current studies and that more evidence is needed to justify their separation. (shrink)

A 'self-refutation argument' is any argument which aims at showing that a certain thesis is self-refuting. This study was the first book-length treatment of ancient self-refutation and provides a unified account of what is distinctive in the ancient approach to the self-refutation argument, on the basis of close philological, logical and historical analysis of a variety of sources. It examines the logic, force and prospects of this original style of argumentation within the context of ancient philosophical debates, dispelling various misconceptions (...) concerning its nature and purpose and elucidating some important differences which exist both within the ancient approach to self-refutation and between that approach, as a whole, and some modern counterparts of it. In providing a comprehensive account of ancient self-refutation, the book advances our understanding of influential and debated texts and arguments from philosophers like Democritus, Plato, Aristotle, Epicurus, the Stoics, the Academic sceptics, the Pyrrhonists and Augustine. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

Timothy Smiley’s wonderful paper ‘Rejection’ (1996) is still perhaps not as well known or well understood as it should be. This note first gives a quick presentation of themes from that paper, though done in our own way, and then considers a putative line of objection – recently advanced by Julien Murzi and Ole Hjortland (2009) – to one of Smiley’s key claims. Along the way, we consider the prospects for an intuitionistic approach to some of the issues discussed in (...) Smiley’s paper. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

In this paper we focus on transmission and failure of transmission of warrant. We identify three individually necessary and jointly sufficient conditions for transmission of warrant, and we show that their satisfaction grounds a number of interesting epistemic phenomena that have not been sufficiently appreciated in the literature. We then scrutinise Wright’s analysis of transmission failure and improve on extant readings of it. Nonetheless, we present a Bayesian counterexample that shows that Wright’s analysis is partially incoherent with our analysis of (...) warrant transmission and prima facie defective. We conclude exploring three alternative lines of reply: developing a more satisfactory account of transmission failure, which we outline; dismissing the Bayesian counterexample by rejecting some of its assumptions; reinterpreting Wright’s analysis to make it immune to the counterexample. (shrink)

One type of argument to sceptical paradox proceeds by making a case that a certain kind of metaphysically “heavyweight or “cornerstone” proposition is beyond all possible evidence and hence may not be known or justifiably believed. Crispin Wright has argued that we can concede that our acceptance of these propositions is evidentially risky and still remain rationally entitled to those of our ordinary knowledge claims that are seemingly threatened by that concession. A problem for Wright’s proposal is the so-called Leaching (...) worry: if we are merely rationally entitled to accept the cornerstones without evidence, how can we achieve evidence-based knowledge of the multitude of quotidian propositions that we think we know, which require the cornerstones to be true? This paper presents a rigorous, novel explication of this worry within a Bayesian framework, and offers the Entitlement theorist two distinct responses. (shrink)

Crispin Wright maintains that the architecture of perceptual justification is such that we can acquire justification for our perceptual beliefs only if we have antecedent justification for ruling out any sceptical alternative. Wright contends that this principle doesn’t elicit scepticism, for we are non-evidentially entitled to accept the negation of any sceptical alternative. Sebastiano Moruzzi has challenged Wright’s contention by arguing that since our non-evidential entitlements don’t remove the epistemic risk of our perceptual beliefs, they don’t actually enable us to (...) acquire justification for these beliefs. In this paper I show that Wright’s responses to Moruzzi are ineffective and that Moruzzi’s argument is validated by probabilistic reasoning. I also suggest that Wright cannot answer Moruzzi’s challenge without weakening the support available for his conception of the architecture of perceptual justification. (shrink)

Both sustainability and identity are said to be paradoxical issues in organizations. In this study we look at the paradoxes of corporate sustainability at the individual level by studying the identity work of those managers who hold sustainability-dedicated roles in organizations. Analysing 26 interviews with sustainability managers, we identify three main tensions affecting their identity construction process: the business versus values oriented, the organizational insider versus outsider and the short-term versus long-term focused identity work tensions. When dealing with these tensions, (...) some interviewees express a paradoxical perspective in attempting to accept and maintain the two poles of each of them simultaneously. It emerges in particular that metaphorical reasoning can be used by sustainability managers in varied ways to cope with the tensions of identity work. We read these findings in light of the existing literature on the relation between paradoxes and identity work, highlighting and discussing their implications for both research and practice. (shrink)

What can the philosophy of agency learn from Nguyen’s book on games? The most important lesson concerns, to use Nguyen’s terms, the ‘layered’ structure of our agency and the ‘fluidity’ requ...

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not wholly understood— notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using (...) the tools of this semantic paradigm, so as to include for instance paradoxes. The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospects of turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

Crispin Wright has given an explanation of how a first time warrant can fall short of transmitting across a known entailment. Formal epistemologists have struggled to turn Wright’s informal explanation into cogent Bayesian reasoning. In this paper, I analyse two Bayesian models of Wright’s account respectively proposed by Samir Okasha and Jake Chandler. I argue that both formalizations are unsatisfactory for different reasons, and I lay down a third Bayesian model that appears to me to capture the valid kernel of (...) Wright’s explanation. After this, I consider a recent development in Wright’s account of transmission failure. Wright suggests that his condition sufficient for transmission failure of first time warrant also suffices for transmission failure of supplementary warrant. I propose an interpretation of Wright’s suggestion that shield it from objections. I then lay down a fourth Bayesian framework that provides a simplified model of the unified explanation of transmission failure envisaged by Wright. (shrink)

According to Jim Pryor’s dogmatism, when you have an experience with content p, you often have prima facie justification for believing p that doesn’t rest on your independent justification for believing any proposition. Although dogmatism has an intuitive appeal and seems to have an antisceptical bite, it has been targeted by various objections. This paper principally aims to answer the objections by Roger White according to which dogmatism is inconsistent with the Bayesian account of how evidence affects our rational credences. (...) If this were true, the rational acceptability of dogmatism would be seriously questionable. I respond that these objections don’t get off the ground because they assume that our experiences and our introspective beliefs that we have experiences have the same evidential force, whereas the dogmatist is uncommitted to this assumption. I also consider the question whether dogmatism has an antisceptical bite. I suggest that the answer turns on whether or not the Bayesian can determine the priors of hypotheses and conjectures on the grounds of their extra-empirical virtues. If the Bayesian can do so, the thesis that dogmatism has an antisceptical bite is probably false. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

In this paper, I discuss whether there are genuinely *diachronic* constraints of practical rationality, that is, pressures on combinations of practical attitudes over time, which are not reducible to mere synchronic rational pressures. Michael Bratman has recently argued that there is at least one such diachronic rational constraint that governs the stability of intentions over time. *Pace* Bratman, I argue that there are no genuinely diachronic constraints on intentions that meet the stringent desiderata set by him. But I show that (...) there are at least two synchronic rational constraints with distinctive and important, although only indirect, diachronic dimensions. Neither of them, however, supports the practical conservatism in the face of normative underdetermination that, according to Bratman, is part and parcel of the diachronic rationality of intention stability. (shrink)

In this paper, I will discuss the various ways in which intentions can be said to be conditional, with particular attention to the internal conditions on the intentions’ content. I will first consider what it takes to carry out a conditional intention. I will then discuss how the distinctive norms of intention apply to conditional intentions and whether conditional intentions are a weaker sort of commitments than the unconditional ones. This discussion will lead to the idea of what I call (...) the ‘deep structure’ of intentions. Roughly, this is the idea that the conditional nature of our intentions is only partially made explicit in the expressions we use to communicate our intentions and in the explicit form of our thinking about and reasoning with them. Most conditions that qualify our intentions are part of a deep functional structure that can be evinced by observing the actual psychological functioning of intentions and by considering the rational requirements that they engage. I will argue that the deep structure of intentions is characteristically conditional. Genuinely unconditional intentions are only limiting instances of conditional intentions and their contribution to agency can only be understood in light of this fact. I will conclude by showing that the characteristic conditional structure of intentions is intimately related to distinctive features of human agency, especially to its unity over time. (shrink)

How psychopaths and their capacity for moral action are viewed is not only philosophically interesting but is also important and relevant for policy. The philosophical discussion of psychopathy has focussed upon the psychological faculties that are prerequisites for moral responsibility and empirical findings regarding psychopathy that are relevant to philosophical accounts of moral understanding and motivation. However, there are legitimate worries about whether psychopathy is a robust scientific construct, and there are risks attached to reifying psychopathy or other psychiatric constructs. (...) We defend the concept of psychopathy by pointing out the relevance of empirical studies about it for our ordinary practices of ascribing moral responsibility and folk psychological accounts of moral understanding and motivation. (shrink)

In this paper, I discuss Ludwig's systematic and illuminating account of conditional intentions, with particular reference to my own view (presented in "Conditional Intentions", Noûs, 2009). In contrast to Ludwig, I argue that we should prefer a formal characterization of conditional intentions rather than a more substantial one in terms of reasons for action (although the conditions that qualify an intention bear on the reasonableness and justifiability of the intention). I then defend a partially different taxonomy of the conditions that (...) might qualify an intention and discuss how the difference bears on the application of the rational pressures of intention. I go on to acknowledge that Ludwig is correct on insisting on the centrality of the *epistemic* element in the antecedent of conditional intentions. But I argue that even when a condition has been settled (that is, when the agent has ascertained that it holds), the intention remains genuinely conditional. In my view, conditions that have been settled are not just part of the background of planning: they continue to qualify the content of the intention (although they come to play a different role when settled). I then discuss how the settling of a condition does not interrupt the *continuity* of the content and structure of the intention---in contrast to Ludwig's account, where the conditional intention appears to give rise, when the conditions are taken as settled, to a distinct *unconditional* intention. I close by discussing the serious concern that my way of characterizing conditional intentions threatens to swallow most intentions, given that it is unlikely that we have intentions that do not rest on our accepting the obtaining of relevant conditions. (shrink)

In this paper we show how Dummett-Prawitz-style proof-theoretic semantics has to be modified in order to cope with paradoxical phenomena. It will turn out that one of its basic tenets has to be given up, namely the definition of the correctness of an inference as validity preservation. As a result, the notions of an argument being valid and of an argument being constituted by correct inference rules will no more coincide. The gap between the two notions is accounted for by (...) introducing the distinction between sense and denotation in the proof-theoretic-semantic setting. (shrink)

Recent works in epistemology show that the claim that coherence is truth conducive – in the sense that, given suitable ceteris paribus conditions, more coherent sets of statements are always more probable – is dubious and possibly false. From this, it does not follows that coherence is a useless notion in epistemology and philosophy of science. Dietrich and Moretti (Philosophy of science 72(3): 403–424, 2005) have proposed a formal of account of how coherence is confirmation conducive—that is, of how the (...) coherence of a set of statements facilitates the confirmation of such statements. This account is grounded in two confirmation transmission properties that are satisfied by some of the measures of coherence recently proposed in the literature. These properties explicate everyday and scientific uses of coherence. In his paper, I review the main findings of Dietrich and Moretti (2005) and define two evidence-gathering properties that are satisfied by the same measures of coherence and constitute further ways in which coherence is confirmation conducive. At least one of these properties vindicates important applications of the notion of coherence in everyday life and in science. (shrink)

Transmission of justification across inference is a valuable and indeed ubiquitous epistemic phenomenon in everyday life and science. It is thanks to the phenomenon of epistemic transmission that inferential reasoning is a means for substantiating predictions of future events and, more generally, for expanding the sphere of our justified beliefs or reinforcing the justification of beliefs that we already entertain. However, transmission of justification is not without exceptions. As a few epistemologists have come to realise, more or less trivial forms (...) of circularity can prevent justification from transmitting from p to q even if one has justification for p and one is aware of the inferential link from p to q. In interesting cases this happens because one can acquire justification for p only if one has independent justification for q. In this case the justification for q cannot depend on the justification for p and the inferential link from p to q, as genuine transmission would require. The phenomenon of transmission failure seems to shed light on philosophical puzzles, such as Moore's proof of a material world and McKinsey's paradox, and it plays a central role in various philosophical debates. For this reason it is being granted continued and increasing attention. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

According to constitutivism, the objective authority of practical reason is to be grounded in the constitutive features of agency. In this paper, I offer a brief survey of the basic structure of constitutive argument about objectivity and consider how constitutivism might dispel the worry that it can only ground a conditional kind of authority. I then consider David Enoch’s original shmagency challenge and the response in terms of the inescapability of agency. In particular, I revisit the appeal to inescapability in (...) light of Enoch’s restatement of the challenge in 'Shmagency Revisited'. I argue that the revised challenge still fails but that it helps clarify: first, the distinction between external and internal challenges to constitutivism, and, second, the existence of at least different kinds of inescapability of agency (metaphysical, psychological, and dialectical). I argue that only dialectical inescapability is helpful to show that constitutivism is a viable metanormative theory. I conclude by claiming that an internal challenge to constitutivism is still possible in principle but that the burden of proof has shifted once again to the critics of constitutivism. (shrink)

Evaluativism (Carruthers 2018) and reflexive imperativism (Barlassina and Hayward 2019) agree that valence—the (un)pleasantness of experiences—is a natural kind shared across all affective states. But they disagree about what valence is. For evaluativism, an experience is pleasant/unpleasant in virtue of representing its worldly object as good/bad; for reflexive imperativism, an experience is pleasant/unpleasant in virtue of commanding its subject to get more/less of itself. I argue that reflexive imperativism is superior to evaluativism according to Carruthers’s own standards. He maintains that (...) a theory of valence should account for its phenomenology and role in imagination-based decision-making. I show that it is reflexive imperativism, rather than evaluativism, that fits this explanatory bill. (shrink)

According to the perceptual view of language comprehension, listeners typically recover high-level linguistic properties such as utterance meaning without inferential work. The perceptual view is subject to the Objection from Context: since utterance meaning is massively context-sensitive, and context-sensitivity requires cognitive inference, the perceptual view is false. In recent work, Berit Brogaard provides a challenging reply to this objection. She argues that in language comprehension context-sensitivity is typically exercised not through inferences, but rather through top-down perceptual modulations or perceptual learning. (...) This paper provides a complete formulation of the Objection from Context and evaluates Brogaards reply to it. Drawing on conceptual considerations and empirical examples, we argue that the exercise of context-sensitivity in language comprehension does, in fact, typically involve inference. (shrink)