Linear logic is a new logic which was recently developed by Girard in order to provide a logical basis for the study of parallelism. It is described and investigated in Gi]. Girard's presentation of his logic is not so standard. In this paper we shall provide more standard proof systems and semantics. We shall also extend part of Girard's results by investigating the consequence relations associated with Linear Logic and by proving corresponding str ong completeness theorems. Finally, we shall investigate (...) the relation between Linear Logic and previously known systems, especially Relevance logics. (shrink)

Recently, various philosophers have argued that we can obtain knowledge via the imagination. In particular, it has been suggested that we can come to know concrete, empirical matters of everyday significance by appropriately imagining relevant scenarios. Arguments for this thesis come in two main varieties: black box reliability arguments and constraints-based arguments. We suggest that both strategies are unsuccessful. Against black-box arguments, we point to evidence from empirical psychology, question a central case-study, and raise concerns about a (claimed) evolutionary rationale (...) for the imagination's reliability. Against the constraints-based account, we argue that to the extent that it works, this does not give rise to knowledge that is distinctively from the imagination. We conclude by suggesting that the imagination's role in raising possibilities, traditionally seen as part of the context of discovery, can in fact play a role in justification, including as a bulwark against certain sorts of skepticism. (shrink)

Moral realism is often taken to have common sense and initial appearances on its side. Indeed, by some lights, common sense and initial appearances underlie all the central positive arguments for moral realism. We offer a kind of debunking argument, taking aim at realism’s common sense standing. Our argument differs from familiar debunking moves both in its empirical assumptions and in how it targets the realist position. We argue that if natural selection explains the objective phenomenology of moral deliberation and (...) judgement, then this undermines arguments from that phenomenology. This results in a simpler, and in some ways more direct, challenge to realism. It is also less vulnerable to the main objections that have been leveled against such arguments. If accepted, our conclusion should make a real difference to the dialectic in this area. It means that neither realism nor its denial is the default, to-be-refuted, position. (shrink)

This chapter gives an account of epistemic trust. It argues that trust in general is a matter of declining to take precautions against the trustee’s failing to come through, and that this amounts in the epistemic case to declining to rely on evidence for the testified proposition, instead relying solely on the testifier. But if this is so, how can trust play a positive role in securing knowledge? The key, it is argued, lies in recognizing that trust is preemptive: Trusting (...) someone entails believing that she is trustworthy, and this belief preempts other evidence about whether she will come through. In other words, this belief gives the truster himself a good reason to desist from relying on evidence other than the trustee’s word. But if trust is preemptive, how is it compatible with epistemic responsibility, which seems to involve relying on your own evidence? Because, it is claimed, preempting your own evidence in favor of the testifier’s say-so enables your belief to be supported by her evidence – which, we may assume, is superior to your own. Far from forfeiting epistemic responsibility, then, epistemic trust on the preemptive account gives you justificatory access to a swathe of evidence that you would not otherwise have had. (shrink)

This book looks at the role of the imagination in science, from both philosophical and psychological perspectives. These contributions combine to provide a comprehensive and exciting picture of this under-explored subject.

Modest pessimism about philosophical progress is the view that while philosophy may sometimes make some progress, philosophy has made, and can be expected to make, only very little progress (where the extent of philosophical progress is typically judged against progress in the hard sciences). The paper argues against recent attempts to defend this view on the basis of the pervasiveness of disagreement within philosophy. The argument from disagreement for modest pessimism assumes a teleological conception of progress, according to which the (...) attainment of true answers to the big philosophical questions, or knowledge of them, is the primary goal of philosophy. The paper argues that this assumption involves a misconception of the goal of philosophy: if philosophy has a primary goal, its goal is the understanding of philosophical problems rather than knowledge of answers to philosophical questions. Moreover, it is argued that if the primary goal of philosophy is such understanding, then widespread disagreement within philosophy does not indicate that philosophy makes little progress. (shrink)

According to doxastic accounts of trust, trusting a person to \(\varPhi \) involves, among other things, holding a belief about the trusted person: either the belief that the trusted person is trustworthy or the belief that she actually will \(\varPhi \) . In recent years, several philosophers have argued against doxastic accounts of trust. They have claimed that the phenomenology of trust suggests that rather than such a belief, trust involves some kind of non-doxastic mental attitude towards the trusted person, (...) or a non-doxastic disposition to rely upon her. This paper offers a new account of reasons for trust and employs the account to defend a doxastic account of trust. The paper argues that reasons for trust are preemptive reasons for action or belief. Thus the Razian concept of preemptive reasons, which arguably plays a key role in our understanding of relations of authority, is also central to our understanding of relations of trust. Furthermore, the paper argues that acceptance of a preemptive account of reasons for trust supports the adoption of a doxastic account of trust, for acceptance of such an account both neutralizes central objections to doxastic accounts of trust and provides independent reasons supporting a doxastic account. (shrink)

One fundamental divide among philosophers studying the nature of trust concerns the relation between trust and belief. According to doxastic accounts of trust, trust entails a belief about the trustee: either the belief that she is trustworthy with respect to what she is trusted to do, or that she will do what she is trusted to do. Non-doxastic accounts deny that trusting entails holding such a belief. The chapter describes and evaluates the main considerations which have been cited for and (...) against doxastic accounts of trust. It argues that a preemptive reasons account of trust neutralizes some of the key objections to doxastic accounts, and that considerations favoring a doxastic account appear to be stronger than those favoring non-doxastic accounts. The chapter also suggests that the debate about the nature of trust, and the mental state required for trusting can benefit from linking it with the debate about the value of trust. (shrink)

Modeling is an important scientific practice, yet it raises significant philosophical puzzles. Models are typically idealized, and they are often explored via imaginative engagement and at a certain “distance” from empirical reality. These features raise questions such as what models are and how they relate to the world. Recent years have seen a growing discussion of these issues, including a number of views that treat modeling in terms of indirect representation and analysis. Indirect views treat the model as a bona (...) fide object, specified by the modeler and used to represent and reason about some portion of the concrete empirical world. On some indirect views, model systems are abstract entities, such as mathematical structures, while on other views they are concrete hypothetical things. Here I assess these views and offer a novel account of models. I argue that regarding models as abstracta results in some significant tensions with the practice of modeling, especially in areas where non-mathematical models are common. Furthermore, viewing models as concrete hypotheticals raises difficult questions about model-world relations. The view I argue for treats models as direct, albeit simplified, representations of targets in the world. I close by suggesting a treatment of model-world relations that draws on a recent work by Stephen Yablo concerning the notion of partial truth. (shrink)

Analogies to machines are commonplace in the life sciences, especially in cellular and molecular biology — they shape conceptions of phenomena and expectations about how they are to be explained. This paper offers a framework for thinking about such analogies. The guiding idea is that machine-like systems are especially amenable to decompositional explanation, i.e., to analyses that tease apart underlying components and attend to their structural features and interrelations. I argue that for decomposition to succeed a system must exhibit causal (...) orderliness, which I explicate in terms of differentiation among parts and the significance of local relations. I also discuss what makes a model depict its target as machine-like, suggesting that a key issue is the degree of detail with respect to the target’s parts and their interrelations. (shrink)

Many biological investigations are organized around a small group of species, often referred to as ‘model organisms’, such as the fruit fly Drosophila melanogaster. The terms ‘model’ and ‘modelling’ also occur in biology in association with mathematical and mechanistic theorizing, as in the Lotka–Volterra model of predator-prey dynamics. What is the relation between theoretical models and model organisms? Are these models in the same sense? We offer an account on which the two practices are shown to have different epistemic characters. (...) Theoretical modelling is grounded in explicit and known analogies between model and target. By contrast, inferences from model organisms are empirical extrapolations. Often such extrapolation is based on shared ancestry, sometimes in conjunction with other empirical information. One implication is that such inferences are unique to biology, whereas theoretical models are common across many disciplines. We close by discussing the diversity of uses to which model organisms are put, suggesting how these relate to our overall account. 1 Introduction2 Volterra and Theoretical Modelling3 Drosophila as a Model Organism4 Generalizing from Work on Model Organisms5 Phylogenetic Inference and Model Organisms6 Further Roles of Model Organisms6.1 Preparative experimentation6.2 Model organisms as paradigms6.3 Model organisms as theoretical models6.4 Inspiration for engineers6.5 Anchoring a research community7 Conclusion. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

Evolutionary debunking arguments appeal to selective etiologies of human morality in an attempt to undermine moral realism. But is morality actually the product of evolution by natural selection? Although debunking arguments have attracted considerable attention in recent years, little of it has been devoted to whether the underlying evolutionary assumptions are credible. In this paper, we take a closer look at the evolutionary hypotheses put forward by two leading debunkers, namely Sharon Street and Richard Joyce. We raise a battery of (...) considerations, both empirical and theoretical, that combine to cast doubt on the plausibility of both hypotheses. We also suggest that it is unlikely that there is in the vicinity a plausible alternative hypothesis suitable for the debunker’s cause. (shrink)

Accounts of mechanistic explanation, especially as applied to biology and sometimes going under the heading of “new mechanism,” provided an attractive alternative to nomological accounts that preceded them. These accounts were motivated by selected examples, drawn primarily from cell and molecular biology and neuroscience. However, the range of examples that scientists take to be mechanistic explanations is far broader. We focus on examples that differ from those traditionally recruited by Mechanists. Our contention is that attention to additional examples will lead (...) to a richer conception of mechanistic explanation, prompting a shift from what we refer to as Mechanism 1.0 to Mechanism 2.0. (shrink)

Idealization and abstraction are central concepts in the philosophy of science and in science itself. My goal in this paper is suggest an account of these concepts, building on and refining an existing view due to Jones Idealization XII: correcting the model. Idealization and abstraction in the sciences, vol 86. Rodopi, Amsterdam, pp 173–217, 2005) and Godfrey-Smith Mapping the future of biology: evolving concepts and theories. Springer, Berlin, 2009). On this line of thought, abstraction—which I call, for reasons to be (...) explained, abstractness—involves the omission of detail, whereas idealization consists in a deliberate mismatch between a description and the world. I will suggest that while the core idea underlying these authors’ view is correct, they make several assumptions and stipulations that are best avoided. For one thing, they tie abstractness too close to truth. For another, they do not allow sufficient room to the difference between idealization and error. Taking these points into account leads to a refined account of the distinction, in which abstractness is seen in terms of relative richness of detail, and idealization is seen as closely connected with the knowledge and intentions of idealizers. I lay out these accounts in turn, and then discuss the relationship between the two concepts, and several other upshots of the present way of construing the distinction. (shrink)

ABSTRACTExperimentation is traditionally considered a privileged means of confirmation. However, why and how experiments form a better confirmatory source relative to other strategies is unclear, and recent discussions have identified experiments with various modeling strategies on the one hand, and with ‘natural’ experiments on the other hand. We argue that experiments aiming to test theories are best understood as controlled investigations of specimens. ‘Control’ involves repeated, fine-grained causal manipulation of focal properties. This capacity generates rich knowledge of the object investigated. (...) ‘Specimenhood’ involves possessing relevant properties given the investigative target and the hypothesis in question. Specimens are thus representative members of a class of systems, to which a hypothesis refers. It is in virtue of both control and specimenhood that experiments provide powerful confirmatory evidence. This explains the distinctive power of experiments: although modelers exert extensive control, they do not exert this control over specimens; although natural experiments utilize specimens, control is diminished. (shrink)

Why are children better language learners than adults despite being worse at a range of other cognitive tasks? Here, we explore the role of multiword sequences in explaining L1–L2 differences in learning. In particular, we propose that children and adults differ in their reliance on such multiword units in learning, and that this difference affects learning strategies and outcomes, and leads to difficulty in learning certain grammatical relations. In the first part, we review recent findings that suggest that MWUs play (...) a facilitative role in learning. We then discuss the implications of these findings for L1–L2 differences: We hypothesize that adults are both less likely to extract MWUs and less capable of benefiting from them in the process of learning. In the next section, we draw on psycholinguistic, developmental, and computational findings to support these predictions. We end with a discussion of the relation between this proposal and other accounts of L1–L2 difficulty. (shrink)

I distinguish three theses associated with the new mechanistic philosophy – concerning causation, explanation and scientific methodology. Advocates of each thesis are identified and relationships among them are outlined. I then look at some recent work on natural selection and mechanisms. There, attention to different kinds of New Mechanism significantly affects of what is at stake.

We show by way of example how one can provide in a lot of cases simple modular semantics for rules of inference, so that the semantics of a system is obtained by joining the semantics of its rules in the most straightforward way. Our main tool for this task is the use of finite Nmatrices, which are multi-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set (...) of options. The method is applied in the area of logics with a formal consistency operator (known as LFIs), allowing us to provide in a modular way effective, finite semantics for thousands of different LFIs. (shrink)

The Hodgkin–Huxley (HH) model of the action potential is a theoretical pillar of modern neurobiology. In a number of recent publications, Carl Craver ([2006], [2007], [2008]) has argued that the model is explanatorily deficient because it does not reveal enough about underlying molecular mechanisms. I offer an alternative picture of the HH model, according to which it deliberately abstracts from molecular specifics. By doing so, the model explains whole-cell behaviour as the product of a mass of underlying low-level events. The (...) issue goes beyond cellular neurobiology, for the strategy of abstraction exhibited in the HH case is found in a range of biological contexts. I discuss why it has been largely neglected by advocates of the mechanist approach to explanation. 1 Introduction2 A Primer on the HH Model2.1 The basic qualitative picture2.2 The quantitative model3 Interlude: What Did Hodgkin and Huxley Think?4 Craver’s View4.1 Mechanistic explanation4.2 Sketches4.3 Craver's view: The HH model as a mechanism sketch5 An Alternative View of the HH Model5.1 Another look at the equations5.2 The discrete-gating picture5.3 The road paved by Hodgkin and Huxley5.4 Summary and comparison to Craver6 Conclusion: The HH Model and Mechanistic Explanation6.1 Sketches and abstractions6.2 Why has aggregative abstraction been overlooked? (shrink)

Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...) Therefore, ethics, defined as the idea that it is possible to do otherwise than pursue one's own interest, must have its source outside the scope of management. Levinas identifies this source as the call for responsibility from the Other, beyond the reach of managerial control. He also suggests how this idea of ethics is put into practice, especially in economic life: the existence of money makes it both possible and necessary to compare unique and incomparable others. Management tools may be used in the service of always more justice, as it also may be used for the opposite purpose. Instead of trying to draw a normative conclusion from Levinas, we may distinguish between two ways of experiencing reality: one through language and knowledge, covering both descriptive and normative knowledge, including business ethics, and the other through the particular events of encounters, from where this knowledge is continuously questioned through the call for responsibility, and thereby may provide possibilities for continuous improvements towards always more justice. (shrink)

We provide a general investigation of Logic in which the notion of a simple consequence relation is taken to be fundamental. Our notion is more general than the usual one since we give up monotonicity and use multisets rather than sets. We use our notion for characterizing several known logics (including Linear Logic and non-monotonic logics) and for a general, semantics-independent classi cation of standard connectives via equations on consequence relations (these include Girard's \multiplicatives" and \additives"). We next investigate the (...) standard methods for uniformly representing consequence relations: Hilbert type, Natural Deduction and Gentzen type. The advantages and disadvantages of using each system and what should be taken as.. (shrink)

Some philosophers of science – the present author included – appeal to fiction as an interpretation of the practice of modeling. This raises the specter of an incompatibility with realism, since fiction-making is essentially non-truth-regulated. I argue that the prima facie conflict can be resolved in two ways, each involving a distinct notion of fiction and a corresponding formulation of realism. The main goal of the paper is to describe these two packages. Toward the end I comment on how to (...) choose among them. (shrink)

In several areas of Mathematical Logic and Computer Science one would ideally like to use the set F orm(L) of all formulas of some first-order language L for some goal, but this cannot be done safely. In such a case it is necessary to select a subset of F orm(L) that can safely be used. Three main examples of this phenomenon are: • The main principle of naive set theory is the comprehension schema: ∃Z(∀x.x ∈ Z ⇔ A).

I attempt an explication of what it means for an operation across domains to be the same on all domains, an issue that ) took to be central for a successful delimitation of the logical operations. Some properties that seem strongly related to sameness are examined, notably isomorphism invariance, and sameness under extensions of the domain. The conclusion is that although no precise criterion can satisfy all intuitions about sameness, combining the two properties just mentioned yields a reasonably robust and (...) useful explication of sameness across domains. (shrink)

Proponents of mechanistic explanation all acknowledge the importance of organization. But they have also tended to emphasize specificity with respect to parts and operations in mechanisms. We argue that in understanding one important mode of organization—patterns of causal connectivity—a successful explanatory strategy abstracts from the specifics of the mechanism and invokes tools such as those of graph theory to explain how mechanisms with a particular mode of connectivity will behave. We discuss the connection between organization, abstraction, and mechanistic explanation and (...) illustrate our claims by looking at an example from recent research on so-called network motifs. (shrink)

On many science-related policy questions, the public is unable to make informed decisions, because of its inability to make use of knowledge obtained by scientists. Philip Kitcher and James Fishkin have both suggested therefore that on certain science-related issues, public policy should not be decided on by actual democratic vote, but should instead conform to the public’s counterfactual informed democratic decision. Indeed, this suggestion underlies Kitcher’s specification of an ideal of a well-ordered science. This article argues that this suggestion misconstrues (...) the normative significance of CIDDs. At most, CIDDs might have epistemic significance, but no authority or legitimizing force. (shrink)

Ibn al-'Arabī (d. 1240) was one of the towering figures of Islamic intellectual history, and among Sufis still bears the title of al-shaykh al-akbar, or "the greatest master." Ibn al-'Arabī and Islamic Intellectual Culturetraces the history of the concept of "oneness of being" (wahdat al-wujūd) in the school of Ibn al- 'Arabī, in order to explore the relationship between mysticism and philosophy in Islamic intellectual life. It examines how the conceptual language used by early mystical writers became increasingly engaged over (...) time with the broader Islamic intellectual culture, eventually becoming integrated with the latter's common philosophical and theological vocabulary. It focuses on four successive generations of thinkers (Sadr al-Dīn al-Qūnawī, Mu'ayyad al-Dīn al-Jandī, 'Abd al-Razzāq al-Kāshānī, and Dāwūd al-Qaysarī), and examines how these "philosopher-mystics" refined and developed the ideas of Ibn al-'Arabī. Through a close analysis of texts, the book clearly traces the crystallization of an influential school of thought in Islamic history and its place in the broader intellectual culture. Offering an exploration of the development of Sufi expression and thought, this book will be a valuable resource for students and scholars of Islamic thought, philosophy, and mysticism. (shrink)

To a large extent, the evidential base of claims in the philosophy of science has switched from thought experiments to case studies. We argue that abandoning thought experiments was a wrong turn, since they can effectively complement case studies. We make our argument via an analogy with the relationship between experiments and observations within science. Just as experiments and ‘natural’ observations can together evidence claims in science, each mitigating the downsides of the other, so too can thought experiments and case (...) studies be mutually supporting. After presenting the main argument, we look at potential concerns about thought experiments, suggesting that a judiciously applied mixed-methods approach can overcome them. (shrink)

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

What must laypersons understand about science to allow them to make sound decisions on science-related issues? Relying on recent developments in social epistemology, this paper argues that scientific education should have the goal not of bringing laypersons' understanding of science closer to that of expert insiders, but rather of cultivating the kind of competence characteristic of “competent outsiders” (Feinstein 2011). Moreover, it argues that philosophers of science have an important role to play in attempts to promote this kind of understanding, (...) but that to successfully fulfill this role, they will have to approach central questions in the field differently. (shrink)

This is a reply to H. Ben-Yami, 'Generalized quantifiers, and beyond' (this journal, 2009), where he argues that standard GQ theory does not explain why natural language quantifiers have a restricted domain of quantification. I argue, on the other hand, that although GQ theory gives no deep explanation of this fact, it does give a sort of explanation, whereas Ben-Yami's suggested alternative is no improvement.

In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. Da Costa’s approach has led to the family of logics (...) of formal (in)consistency (LFIs). In this paper we provide in a modular way simple non-deterministic semantics for 64 of the most important logics from this family. Our semantics is 3-valued for some of the systems, and infinite-valued for the others. We prove that these results cannot be improved: neither of the systems with a three-valued non-deterministic semantics has either a finite characteristic ordinary matrix or a two-valued characteristic non-deterministic matrix, and neither of the other systems we investigate has a finite characteristic non-deterministic matrix. Still, our semantics provides decision procedures for all the systems investigated, as well as easy proofs of important proof-theoretical properties of them. (shrink)

I present an account of what it is to trust a speaker, and argue that the account can explain the common intuitions which structure the debate about the transmission view of testimony. According to the suggested account, to trust a speaker is to grant her epistemic authority on the asserted proposition, and hence to see her opinion as issuing a second order, preemptive reason for believing the proposition. The account explains the intuitive appeal of the basic principle associated with the (...) transmission view of testimony: the principle according to which, a listener can normally obtain testimonial knowledge that p by believing a speaker who testifies that p only if the speaker knows that p. It also explains a common response to counterexamples to this principle: that these counterexamples do not involve normal cases of testimonial knowledge. (shrink)

The paper discusses Linda Zagzebski's account of epistemic authority. Building on Joseph Raz's account of political authority, Zagzebski argues that the basic contours of epistemic authority match those Raz ascribes to political authority. This, it is argued, is a mistake. Zagzebski is correct in identifying the pre-emptive nature of reasons provided by an authority as central to our understanding of epistemic authority. However, Zagzebski ignores important differences between practical and epistemic authority. As a result, her attempt to explain the rationality (...) of belief on authority by applying an analogue of Raz's Normal Justification Thesis to the domain of belief fails. A successful explanation of the rationality of belief on authority will need to be attuned to the differences between political and epistemic authorities. (shrink)

Science and fiction seem to lie at opposite ends of the cognitive-epistemic spectrum. The former is typically seen as the study of hard, real-world facts in a rigorous manner. The latter is treated as an instrument of play and recreation, dealing in figments of the imagination. Initial appearances notwithstanding, several central features of scientific modeling in fact suggest a close connection with the imagination and recent philosophers have developed detailed accounts of models that treat them, in one way or another, (...) as akin to fictions. This chapter will critically discuss the fictions approach as an epistemology of scientific modeling. (shrink)