BackgroundThe ARRIVE (Animal Research: Reporting of In Vivo Experiments) guidelines are widely endorsed but compliance is limited. We sought to determine whether journal-requested completion of an ARRIVE checklist improves full compliance with the guidelines.MethodsIn a randomised controlled trial, manuscripts reporting in vivo animal research submitted to PLOS ONE (March–June 2015) were randomly allocated to either requested completion of an ARRIVE checklist or current standard practice. Authors, academic editors, and peer reviewers were blinded to group allocation. Trained reviewers performed outcome adjudication (...) in duplicate by assessing manuscripts against an operationalised version of the ARRIVE guidelines that consists 108 items. Our primary outcome was the between-group differences in the proportion of manuscripts meeting all ARRIVE guideline checklist subitems.ResultsWe randomised 1689 manuscripts (control: n = 844, intervention: n = 845), of which 1269 were sent for peer review and 762 (control: n = 340; intervention: n = 332) accepted for publication. No manuscript in either group achieved full compliance with the ARRIVE checklist. Details of animal husbandry (ARRIVE subitem 9b) was the only subitem to show improvements in reporting, with the proportion of compliant manuscripts rising from 52.1 to 74.1% (X2 = 34.0, df = 1, p = 2.1 × 10−7) in the control and intervention groups, respectively.ConclusionsThese results suggest that altering the editorial process to include requests for a completed ARRIVE checklist is not enough to improve compliance with the ARRIVE guidelines. Other approaches, such as more stringent editorial policies or a targeted approach on key quality items, may promote improvements in reporting. (shrink)

Marianne Dashwood was well able to imagine circumstances both favourable and unfavourable to her. But for all her romantic sensibility she was not able to imagine these things from anything other than her own point of view. ‘She expected from other people the same opinions and feelings as her own, and she judged of their motives by the immediate effect of their actions on herself.’ Unlike her sister, she could not see how the ill-crafted attentions of Mrs. Jennings could derive (...) from a good nature. And when Elinor had to explain her troubles with Edward Ferrars, she knew that Marianne would feel it as a reminder of her own relations to Willoughby, judging Edward's behaviour as equivalent to that of Willoughby himself. Without the capacity to shift her point of view, Marianne can get no ironic distance from herself; she cannot see the unrealism of her later determination ‘to live solely for my family’. (shrink)

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...) rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism, via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction. (shrink)

We present a categorical/denotational semantics for the Lambek Syntactic Calculus , indeed for a λlD-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product corresponds to a noncommutative bi-endofunctor into a category, which encloses all categories (...) of such hierarchical structure. A soundness theorem for LSC is shown with respect to this semantical framework. (shrink)

One of the main problems in computer science is to ensure that programs are implemented in such a way that they satisfy a given specification. There are many studies about methods to prove correctness of programs. This work presents a method, belonging to the constructive synthesis or proofs-as-programs paradigm, that comes from the Curry-Howard isomorphism and extracts the computational contents of intuitionist proofs. The synthesis process proposed produces a program in an imperative language from a proof in many-sorted intuitionist (...) logic, where the axioms define the abstract data types, using Natural Deduction as deductive system. It is proved the correctness, as well as the completeness of the method regarding the Heyting arithmetic with ω-rule . A discussion about the use of the finitary induction instead of computational ω-rule concludes the work. (shrink)

“Curry’s paradox”, as the term is used by philosophers today, refers to a wide variety of paradoxes of self-reference or circularity that trace their modern ancestry to Curry (1942b) and Löb (1955). The common characteristic of these so-called Curry paradoxes is the way they exploit a notion of implication, entailment or consequence, either in the form of a connective or in the form of a predicate. Curry’s paradox arises in a number of different domains. Like Russell’s (...) paradox, it can take the form of a paradox of set theory or the theory of properties. But it can also take the form of a semantic paradox, closely akin to the Liar paradox. Curry’s paradox differs from both Russell’s paradox and the Liar paradox in that it doesn’t essentially involve the notion of negation. Common truth-theoretic versions involve a sentence that says of itself that if it is true then an arbitrarily chosen claim is true, or—to use a more sinister instance—says of itself that if it is true then every falsity is true. The paradox is that the existence of such a sentence appears to imply the truth of the arbitrarily chosen claim, or—in the more sinister instance—of every falsity. In this entry, we show how the various Curry paradoxes can be constructed, examine the space of available solutions, and explain some ways Curry’s paradox is significant and poses distinctive challenges. (shrink)

The idea that fictions may educate us is an old one, as is the view that they distort the truth and mislead us. While there is a long tradition of passionate assertion in this debate, systematic arguments are a recent development, and the idea of empirically testing is particularly novel. Our aim in this chapter is to provide clarity about what is at stake in this debate, what the options are, and how empirical work does or might bear on its (...) resolution. We distinguish between merely influencing people’s opinions and providing genuine learning, where the latter requires that the source of the change in opinion should be reliable. Other important ideas here are the extent to which authors of fiction may be considered to provide testimony, or something like it, and the possibility of recognizing an unstated purpose in the project of the fictional work. We ask whether fictions can furnish us not merely with ideas but with reasons for believing them, perhaps by constituting thought experiments. We consider whether the focus should be on understanding rather than on knowledge, and whether fictions can inform us about the qualities of another’s experiences. We briefly describe some experimental work of recent decades and suggest that the evidence for learning from fiction is currently meagre. (shrink)

Ideally, science would indeed be focused entirely on facts, truth, and objectivity. But the reality is different. Science cannot be separated from the human experience. As long as science is a human endeavor, it will carry with it the biases of society.

Do not ask for the definition of deconstruction; ask for its history. What needs and desires did it meet at the time of its emergence? What kind of threat did it represent? How has our understanding of deconstruction changed over time? This book offers an account of the invention and reinvention of deconstruction in literary studies and the humanities more generally. Focusing on the work of Jacques Derrida and Paul de Man, it argues that the early impact of deconstruction was (...) connected to its perceived assault upon truth. After de Man's death there is a steady insistence in Derrida's work on questions about time - invention, advent, event - and on the distance between them. This book tells the story of this transition from truth to time against a background of some of the most divisive debates of the late-twentieth and early twenty-first century, about politics, history and ethics. (shrink)

The Stanford Encyclopedia of Philosophy is an open access, dynamic reference work designed to organize professional philosophers so that they can write, edit, and maintain a reference work in philosophy that is responsive to new research. From its inception, the SEP was designed so that each entry is maintained and kept up to date by an expert or group of experts in the field. All entries and substantive updates are refereed by the members of a distinguished Editorial Board before they (...) are made public. (shrink)

An argument that we should be optimistic about the capacity of “methodologically omnivorous” geologists, paleontologists, and archaeologists to uncover truths about the deep past. -/- The “historical sciences”—geology, paleontology, and archaeology—have made extraordinary progress in advancing our understanding of the deep past. How has this been possible, given that the evidence they have to work with offers mere traces of the past? In Rock, Bone, and Ruin, Adrian Currie explains that these scientists are “methodological omnivores,” with a variety of strategies (...) and techniques at their disposal, and that this gives us every reason to be optimistic about their capacity to uncover truths about prehistory. Creative and opportunistic paleontologists, for example, discovered and described a new species of prehistoric duck-billed platypus from a single fossilized tooth. Examining the complex reasoning processes of historical science, Currie also considers philosophical and scientific reflection on the relationship between past and present, the nature of evidence, contingency, and scientific progress. -/- Currie draws on varied examples from across the historical sciences, from Mayan ritual sacrifice to giant Mesozoic fleas to Mars's mysterious watery past, to develop an account of the nature of, and resources available to, historical science. He presents two major case studies: the emerging explanation of sauropod size, and the “snowball earth” hypothesis that accounts for signs of glaciation in Neoproterozoic tropics. He develops the Ripple Model of Evidence to analyze “unlucky circumstances” in scientific investigation; examines and refutes arguments for pessimism about the capacity of the historical sciences, defending the role of analogy and arguing that simulations have an experiment-like function. Currie argues for a creative, open-ended approach, “empirically grounded” speculation. (shrink)

How can I give you a reason to believe what I tell you? I can influence the evidence available to you. Or I can simply invite your trust. These two ways of giving reasons work very differently. When a speaker tells her hearer that p, I argue, she intends that he gain access to a prima facie reason to believe that p that derives not from evidence but from his mere understanding of her act. Unlike mere assertions, acts of telling (...) give reasons directly. They give reasons by inviting the hearer’s trust. This yields a novel form of anti-reductionism in the epistemology of testimony. The status of testimony as a sui generis source of epistemic warrant is entailed by the nature of the act of telling. We can discover the nature of this illocution, and its epistemic role, by examining how it functions in the real world of human relations. (shrink)

This chapter contains sections titled: Agency and Access to the World Speaking and Seeing Imitation Some Resources of Narration The Varieties of Narrative Imitation.

Thought experiments play a role in science and in some central parts of contemporary philosophy. They used to play a larger role in philosophy of science, but have been largely abandoned as part of the field’s “practice turn”. This chapter discusses possible roles for thought experimentation within a practice-oriented philosophy of science. Some of these roles are uncontroversial, such as exemplification and aiding discovery. A more controversial role is the reliance on thought experiments to justify philosophical claims. It is proposed (...) that if we adopt an underlying empiricist view of concepts, then thought experiments can be seen as affording us contact with scientific practice, despite their seemingly a priori character. The advantages and drawbacks of thought experiments are discussed via comparison with case studies, on the one, and simulations on the other hand. The chapter closes with some remarks on how to combine thought experiments with other methods. (shrink)

The philosopher of Common Sense -- Knowing & doing -- Dreaming -- Knowing, doing, and saying -- Doing science -- Doing psychotherapy -- Gaining self-mastery -- Self-mastery and self-rule -- Rejecting common sense -- Romanticism -- Imposing an alternative to Common Sense -- Misunderstanding Einstein.

Thought experiments play a role in science and in some central parts of contemporary philosophy. They used to play a larger role in philosophy of science, but have been largely abandoned as part of the field’s “practice turn”. This chapter discusses possible roles for thought experimentation within a practice-oriented philosophy of science. Some of these roles are uncontroversial, such as exemplification and aiding discovery. A more controversial role is the reliance on thought experiments to justify philosophical claims. It is proposed (...) that if we adopt an underlying empiricist view of concepts, then thought experiments can be seen as affording us contact with scientific practice, despite their seemingly a priori character. The advantages and drawbacks of thought experiments are discussed via comparison with case studies, on the one, and simulations on the other hand. The chapter closes with some remarks on how to combine thought experiments with other methods. (shrink)

[The version of this paper published by Oxford online in 2019 was not copy-edited and has some sense-obscuring typos. I have posted a corrected (but not the final published) version on this site. The version published in print in 2020 has these corrections.] Which is more fundamental, assertion or testimony? Should we understand assertion as basic, treating testimony as what you get when you add an interpersonal addressee? Or should we understand testimony as basic, treating mere assertion -- assertion without (...) testimony -- as what you get when you subtract that interpersonal relation? In this chapter, I’ll argue for the subtractive approach and for the more general thesis that its treatment of the interpersonal element in assertion makes understanding that interpersonal element the key to understanding how assertion expresses belief. My theory of belief-expression in assertion treats it as internalizing the transmission of belief in testimony. How we understand that internalizing move depends on how we conceptualize the interpersonal element in testimony. Since what I’ll call the Command Model does not give us the conceptual resources to make this move, we should adopt an alternative that I’ll call the Custodial Model, on which a testifier aims not to convince her addressee but to reason with him – to give him reasons to believe what she tells him grounded in her trustworthiness in thus attempting to influence him. The subtractive approach to assertion thus rests on a key distinction between the aims of reasoning and persuasion. (shrink)

An assurance theory of trust begins from the act of assurance – whether testimonial, advisorial or promissory – and explains trust as a cognate stance of resting assured. My version emphasizes the risks and rewards of trust. On trust’s rewards, I show how an assurance can give a reason to the addressee through a twofold exercise of ‘normative powers’: (i) the speaker thereby incurs an obligation to be sincere; (ii) if the speaker is trustworthy, she thereby gives her addressee the (...) reason. Each claim is controversial; my contribution lies in how I defend them together, linking the sincerity obligation to the provision of reasons. On trust’s risks, I defend a popular thesis about the nature of trust – that trust differs from mere reliance in how it risks betrayal – against the objection that the thesis ‘moralizes’ trust. Such betrayal need not be moral, I argue, because it may derive entirely from how the assurance purports to provide a reason. (shrink)

We often lament our limited nature as human beings. Supernatural is certainly no stranger to this theme and often contrasts the many weaknesses of man to the awesome power of angels, demons, and otherworldly creatures. It should be enough to show that angels can reasonably be atheists by showing two things. First, the best arguments in favor of the existence of God are no better if Anna and Cas think about them, and second, that these angels are also in no (...) better position than we are to deny what is perhaps the strongest argument against the existence of God. The cosmological argument for the existence of God begins with a couple of observations about the universe. The first is pretty obvious‐“things exist.” The second is that everything that exists was caused to exist as it is. (shrink)

This book considers the experience of enchantment in art. Considering the essential characteristics, dynamics and conditions of the experience of enchantment in relation to art, including liminality, it offers studies of different kinds of artistic experience and activity, including painting, music, fiction and poetry, before exploring the possibility of a life oriented to enchantment as the activity of art itself. With attention to the complex relationship between wonder in art and the programmatic disenchantment to which it is often subject, the (...) author draws on the thought of a diverse range of philosophers, sociological theorists and artists, to offer an understanding of art through the idea of enchantment, and enchantment through art. An accessible study, richly illustrated with experience - both that of the author and others - Art and Enchantment will appeal to scholars and students of sociology, anthropology, philosophy, and anyone with interests in the nature of aesthetic experience. (shrink)

The biggest obstacle to understanding Aquinas's account of the soul may be the word “soul”. On hearing it, many people are prone to think of ghosts, ectoplasm, or Rene Descartes's notion of res cogitans. None of these has anything to do with the soul as Aquinas understands it. But even the standard one‐line Aristotelian‐Thomistic characterization of the soul as the form of the living body can too easily mislead. As is well known, the word “soul” is in Aristotelian‐Thomistic philosophy essentially (...) a technical term for the substantial form of a living thing. Material substances can be destroyed by other natural objects because they do have an inherent tendency toward corruption. A human being is the kind of substance which, in its mature and normal state, exhibits both the properties and causal powers characteristic of animality and those characteristic of rationality. (shrink)

The first full exploration of the political thought of Jan Patocka, student of Husserl and Heidegger and mentor to Václav Havel.

In the famous Correspondence with Clarke, which took place during the last year of Leibniz's life, Leibniz advanced several arguments purporting to refute the absolute theory of space and time that was held by Newton and his followers. The main aim of this book is to reassess Leibniz's attack on the Newtonian theory in so far as he relied on the principle of the identity of indiscernibles. The theological side of the controversy is not ignored but isolated and discussed in (...) the last three chapters, which deal with problems connected with the notions of omnipotence and omniscience. (shrink)

In this powerful new study Edward Baring sheds fresh light on Jacques Derrida, one of the most influential yet controversial intellectuals of the twentieth century. Reading Derrida from a historical perspective and drawing on new archival sources, The Young Derrida and French Philosophy shows how Derrida's thought arose in the closely contested space of post-war French intellectual life, developing in response to Sartrian existentialism, religious philosophy and the structuralism that found its base at the École Normale Supe;rieure. In a (...) history of the philosophical movements and academic institutions of post-war France, Baring paints a portrait of a community caught between humanism and anti-humanism, providing a radically new interpretation of the genesis of deconstruction and of one of the most vibrant intellectual moments of modern times. (shrink)

Mind and Body in Early China critiques Orientalist accounts of early China as a radical "holistic" other, which saw no qualitative difference between mind and body. Drawing on knowledge and techniques from the sciences and digital humanities, Edward Slingerland demonstrates that seeing a difference between mind and body is a psychological universal, and that human sociality would be fundamentally impossible without it. This book has implications for anyone interested in comparative religion, early China, cultural studies, digital humanities, or science-humanities (...) integration. (shrink)

We identify a species of experiment—Kon-Tiki experiments—used to demonstrate the competence of a cause to produce a certain effect, and we examine their role in the historical sciences. We argue that Kon-Tiki experiments are used to test middle-range theory, to test assumptions within historical narratives, and to open new avenues of inquiry. We show how the results of Kon-Tiki experiments are involved in projective inferences, and we argue that reliance on projective inferences does not provide historical scientists with any special (...) protection against the problem of unconceived alternatives. (shrink)

This original book brings together some of the world's leading critics of economics orthodoxy to debate Lawson's contribution to the economics literature.

What happens when we glance around a room? How do we trust what we see in fleeting moments? In The World at a Glance, Edward S. Casey describes how glancing counts for more of human perception than previously imagined. An entire universe is perceived in a glance, but our quick and uncommitted attention prevents examination of these rapid acts and processes. While breaking down this paradox, Casey surveys the glance as an essential way by which we acquaint ourselves with (...) the world. This experiential tour-de-force reveals what happens in a blink of an eye. It will become a landmark study in phenomenology, philosophy, environmental philosophy, and the philosophy of mind. (shrink)

This article traces the development of Sartre's metaphysics with three interrelated aims in mind. The first is to situate Sartre's metaphysical views in relation to those of his predecessors, his contemporaries, and current continental philosophy. The second is to show that Sartre's project informs some of the key changes he makes to his existentialism during his career. The third is to bring Sartre the metaphysician into dialogue with key thinkers in the current realism/antirealism debate in Continental philosophy by showing that (...) the defense of materialism he offers in his later work preserves many hard-won insights of phenomenology and has significant advantages over many contemporary articulations of realism. (shrink)

Alethic pluralism is the view that truth requires different treatment in different domains of discourse. The basic idea is that different properties play important roles in the analysis of truth in different domains of discourse, such as discourse about the material world, moral discourse, and mathematical discourse, to take three examples. Alethic disjunctivism is a kind of alethic pluralism, and is the view that truth is to be identified with the disjunctive property that is formed using each of the domain-specific (...) properties as disjuncts (i.e., in the view's simplest form, truth is the property of either having domain-specific property 1, or domain-specific property 2, and so on). This paper evaluates the prospects for alethic disjunctivism. In particular, it outlines the proper formulation of the view, and assesses some concerns that the disjunctive property lacks the pedigree necessary to be considered a truth property. I begin by briefly outlining the motivations for alethic pluralism, before noting four general constraints on formulations of the view. I then consider a ‘simple’ formulation of alethic disjunctivism, and recommend an amendment. I then demonstrate that the candidate truth property specified by this new formulation is able to meet the central constraints required for it to be considered a viable formulation of alethic pluralism. The final part of this demonstration involves making some distinctions between different kinds of disjunctive properties, and arguing that disjunctive properties are not necessarily highly abundant properties: some are more sparse than others. (shrink)

Western scholarship on early Chinese thought has tended to either dismiss the foundational role of metaphor or to see it as a uniquely Chinese mode of apprehending the world. This article argues that, while human cognition is in fact profoundly dependent on imagistic conceptual structures, such dependence is by no means a unique feature of Chinese thought. The article reviews empirical evidence supporting the claims that human thought is fundamentally imagistic; that sensorimotor schemas are often used to structure our understanding (...) of abstract concepts; that these schemas can be selectively combined to result in novel structures; and that there are inextricable connections between body, emotion, and thought in both everyday and philosophical cognition. It also provides a review of a recent trend where, explicitly or not, scholars from a variety of backgrounds have begun to take metaphor more seriously as a foundational bearer of philosophical meaning in early China. (shrink)

Deleuze and jurisdiction : expressionism in jurisprudence -- Personal jurisdiction : the "method of dramatization" in the law of persons -- Minority and personal jurisdiction : judging sex in re alex -- Persons of animal law -- Deleuze, the law of things and subject-matter jurisdiction -- To put to flight : the right of possession -- The activity of judgment : law of actions and the procedural genre of jurisprudence -- Jurisdiction of control : judgment and procedural forms in Thomas (...) v Mowbray -- The locality of law : jurisdiction in Deleuze. (shrink)

RésuméL'authenticité et la diversité font aujourd'hui figure de slogans dans les sociétés contemporaines de part et d'autre de l'Atlantique nord. En revanche, on a peu exploré les liens entre ces deux idées. À cette fin, cet article aborde les écrits tantôt convergents, tantôt divergents de Charles Taylor et Martin Heidegger pour prolonger leurs réflexions respectives sur l'authenticité et montrer en quoi elles peuvent servir defondement à une nouvelle forme de diversité culturelle. Pour tous deux, l'être-au-monde authentique nous permet d'accider au (...) tréfonds du matériel culturel dont nous devons disposer pour que se nouent des rapports fructueux avec les autres cultures. (shrink)