The question at issue is to develop a computational interpretation of Girard's Linear Logic [Girard, 1987] and to obtain efficient decision algorithms for this logic, based on the bottom-up approach. It involves starting with the simplest natural fragment of linear logic and then expanding it step-by-step. We give a complete computational interpretation for the Horn fragment of Linear Logic and some natural generalizations of it enriched by the two additive connectives: and &. Within the framework of this interpretation, it becomes (...) possible to explicitly formalize and clarify the computational aspects of the fragments of Linear Logic in question and establish exactly the complexity level of these fragments. In particular, the simplest natural Horn fragment of Linear Logic is proved to be NP-complete. As a corollary, we obtain the affirmative solution for the problem ): whether the multiplicative fragment of linear logic is NP-complete. (shrink)

Diderot's dream of a rapprochement between the fragments of reality, between existence and thought, and over the abyss between them, was essentially that of the poet.

The question at issue is to develop a computational interpretation of Linear Logic [8] and to establish exactly its expressive power. We follow the bottom-up approach. This involves starting with the simplest of the systems we are interested in, and then expanding them step-by-step. We begin with the !-Horn fragment of Linear Logic, which uses only positive literals, the linear implication ⊸, the tensor product ⊗, and the modal storage operator !. We give a complete computational interpretation for the !-Horn (...) fragment of Linear Logic and for some natural generalizations of it formed by introducing additive connectives. Here we use the well-known ‘ or ’-like connective ⊕, and, for the sake of the computational duality, we introduce a new ‘ and ’-like connective @ For !-Horn sequents, we prove that their derivability problem is directly equivalent to the reachability problem for Petri nets, which is known to be decidable [19]. For the -Horn fragment of Linear Logic, which uses only positive literals, the linear implication ⊸, the tensor product ⊗, the modal storage operator!, and the additive ‘disjunction’ ⊕, we prove that standard Minsky machines [21] can be directly encoded in this -Horn fragment. Standard Minsky machines can be directly encoded in the corresponding ‘dual’ -Horn fragment of Linear Logic, as well. As a corollary, both these fragments of Linear Logic are proved to be undecidable. (shrink)

Linear Logic was introduced by Girard as a resource-sensitive refinement of classical logic. In this paper we establish strong connections between natural fragments of Linear Logic and a number of basic concepts related to different branches of Computer Science such as Concurrency Theory, Theory of Computations, Horn Programming and Game Theory. In particular, such complete correlations allow us to introduce several new semantics for Linear Logic and to clarify many results on the complexity of natural fragments of Linear Logic. As (...) a main corollary, any non-deterministic and concurrent computation is proved to be simulated directly within the framework of each of these systems. (shrink)

A Linear Logic automaton is a hybrid of a finite automaton and a non-deterministic Petri net. LL automata commands are represented by propositional Horn Linear Logic formulas. Computations performed by LL automata directly correspond to cut-free derivations in Linear Logic.A programming language of LL automata is developed in which typical sequential, non-deterministic and parallel programming constructs are expressed in the natural way.All non-deterministic computations, e.g. computations performed by programs built up of guarded commands in the Dijkstra's approach to non-deterministic programming, (...) are directly simulated within the framework of Linear Logic automata, and thereby within the Horn framework of Linear Logic. (shrink)

Wallace, Max 1215 - Magna Carta raises the principle of equality through a 'fair trial for all', leading to the notion of the rule of law. 1517 - Martin Luther posts a document on the front door of the Catholic Church in Wittenberg, Germany. It contains 95 theses attacking church indulgences. Luther later spreads his ideas through the newly invented printing press. It is the start of the Reformation.

Wallace, Max In trying to find an accurate way to describe the relationship between government and religion, I devised the term 'soft theocracy' and defined it as a 'state where church and government purposes coincide to garnishee taxpayers' money and resources, structurally through tax exemptions and functionally through grants and privileges'.

There seem to be topics on which people can disagree without fault. For example, you and I might disagree on whether Picasso was a better artist than Matisse, without either of us being at fault. Is this a genuine possibility or just apparent? In this paper I pursue two aims: I want to provide a systematic map of available responses to this question. Simultaneously, I want to assess these responses. I start by introducing and defining the notion of a faultless (...) disagreement. Then I present a simple argument to the conclusion that faultless disagreement is not possible. Those who accept the argument have to explain away apparent cases of faultless disagreement. Those who want to maintain the possibility of faultless disagreement must deny one of the argument's premisses. The position I want to promote belongs to the latter category and is a form of genuine relativism. (shrink)

Wallace, Max I respond here to David Nicholls November 2012 Facebook posting in response to my article 'Non-religious tax avoidance' in the Summer issue of AH, No. 108, 2012 where I reviewed how it was the Atheist Foundation of Australia came to have tax-exempt status and whether that was appropriate.

I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes and (...) Gödel incompleteness. I hypothesize that only computable and decidable (in Gödel’s sense) structures exist, which alleviates the cosmological measure problem and may help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems. (shrink)

Introductory Remarks IN A MAJOR WORK planned for the near future I will attempt to develop a non-formal ethics of Values on the broadest possible basis of ...

Explanation is a perennially hot topic in philosophy of science. Yet philosophers have exhibited a curious blind spot to the questions of how explanatory projects develop over time, as well as what processes are involved in generating their developmental trajectories. This paper examines these questions using research into the end-Permian mass extinction as a case study. It takes as its jumping-off point the observation that explanations of historical events tend to grow more complex over time, but it goes beyond this (...) observation by scrutinizing the processes responsible for generating this pattern. Surveying several decades of research into the end-Permian extinction, I suggest that the principal “driver” of explanation in geohistory is non-explanatory work: work that is undertaken to increase our descriptive understanding of a phenomenon, not to test a particular explanatory claim. Non-explanatory work drives explanation by imposing or eliminating demands on explanation, and by furnishing new resources for constructing explanatory models. Explanations grow more complex because the demands on explanation tend to increase with ongoing characterization of the target phenomenon, and characterization tends grows the roster of explanatory resources. However, the fact that non-explanatory work sometimes eliminates demands on explanation means that this trend is not irreversible. I suggest that to achieve a more rounded view of the dynamics of explanation, philosophers should ask how research into complex phenomena is organized, as well as how explanatory progress depends upon the coordination of different kinds of material and epistemic resources. (shrink)

Max Weber: Die protestantische Ethik und der Geist des Kapitalismus Edition Holzinger. Taschenbuch Berliner Ausgabe, 2016, 4. Auflage Vollständiger, durchgesehener Neusatz bearbeitet und eingerichtet von Michael Holzinger In: Archiv für Sozialwissenschaft und Sozialpolitik, 20. Bd., Heft 1, S. 1-54, 1904; 21. Bd., Heft 1, S. 1-110, 1905. Erstdruck der vorliegenden, umgearbeiteten Fassung in: Gesammelte Aufsätze zur Religionssoziologie, Bd. I, Tübingen (Mohr Siebeck) 1920, S. 17-206. Textgrundlage ist die Ausgabe: Max Weber: Gesammelte Aufsätze zur Religionssoziologie. 8., photomechanisch gedruckte Auflage; Band 1, (...) Tübingen: J. C. B. Mohr (Paul Siebeck), 1986 (1. Auflage 1920) Herausgeber der Reihe: Michael Holzinger Reihengestaltung: Viktor Harvion Gesetzt aus der Minion Pro, 11 pt. (shrink)

Few of Stephen Jay Gould’s accomplishments in evolutionary biology have received more attention than his hierarchical theory of evolution, which postulates a causal discontinuity between micro- and macroevolutionary events. But Gould’s hierarchical theory was his second attempt to supply a theoretical framework for macroevolutionary studies—and one he did not inaugurate until the mid-1970s. In this paper, I examine Gould’s first attempt: a proposed fusion of theoretical morphology, multivariate biometry and the experimental study of adaptation in fossils. This early “macroevolutionary synthesis” (...) was predicated on the notion that parallelism and convergence dominate the history of higher taxa, and moreover, that they can be explained in terms of adaptation leading to mechanical improvement. In this paper, I explore the origins and contents of Gould’s first macroevolutionary synthesis, as well as the reasons for its downfall. In addition, I consider how various developments during the mid-1970s led Gould to identify hierarchy and constraint as the leading themes of macroevolutionary studies—and adaptation as a macroevolutionary red herring. (shrink)

I argue that Nietzsche’s thinking, contrary to the interpretation of Martin Heidegger, is compatible with an ecologically oriented, environmentally concemed philosophizing. In support of this contention, I show that Nietzsche’s critique of traditional Western thinking closely parallels the critique of this tradition by environmentalist writers such as Lynn White, Ir. I also show that one of the principal thrusts of Nietzsche’s own philosophizing consists of the attempt to overcome the kind of thinking that has provided a theoretical foundation for the (...) technological control and exploitation of the natural world. Finally, I show that Nietzsche’s notion of the will to power, at least in several of its fonnulations, has certain affinities to the ecosystem approach of modem ecologists. (shrink)

Stefan Sorgner (2009) says that on becoming familiar with transhumanism, he “immediately thought that there were many fundamental similarities between transhumanism and Nietzsche’s philosophy, especially concerning the concept of the posthuman and that of Nietzsche’s overhuman.” In contrast to Bostrom (2005), Sorgner sees significant and fundamental similarities between the posthuman and the overhuman. (I will adopt his use of “overhuman” in place of “overman” or Übermensch.) This overall view seems to me highly plausible. I agree with most of Sorgner’s comments (...) in this respect. My intent is to give further support to the conceptual parallels. In addition, I argue that these are not merely parallels: transhumanist ideas were directly influenced by Nietzsche. (shrink)

What, in essence, characterizes the mind? According to Searle, the potential to be conscious provides the only definitive criterion. Thus, conscious states are unquestionably "mental"; "shallow unconscious" states are also "mental" by virtue of their capacity to be conscious (at least in principle); but there are no "deep unconscious mental states" - i.e. those rules and procedures without access to consciousness, inferred by cognitive science to characterize the operations of the unconscious mind are not mental at all. Indeed, according to (...) Searle, they have no ontological status - they are simply ways of describing some interesting facets of purely physiological phenomena. (shrink)

Over the past century or more, cognitive neuropsychologists have discussed many of the issues raised in this volume. On the basis of this literature, we argue that autism is not a single homogeneous condition, and so can have no single cause. Instead, each of its symptoms has a cause, and the proper study of autism is the separate study of each of these symptoms and its cause. We also offer evidence to support the radical view advanced by Stoljar and Gold (...) in this volume, namely, that in explaining such syndromes the cognitive level of explanation has priority over the neuroscientific. (shrink)

Mona Simion has recently argued for a function-first norm of moral assertion. According to function-first accounts, the norm of any kind of assertion is determined by the function of that kind of assertion. She argues that, on the assumption that moral understanding is the goal of moral inquiry, the function of moral assertion is reliably generating moral understanding in others and that the norm of moral assertion should fall out of that function. In particular, she thinks the norm should be (...) such that satisfying it is the most reliable way for one’s moral assertions to generate moral understanding in others—at least when all else goes well. With this in mind, she proposes The Explanation Proffering Account of Moral Assertion. First, I argue that satisfying EPNMA is not the only or most reliable way for one’s moral assertion to generate moral understanding in one’s audience. I propose an alternative norm on which one must accompany one’s moral assertions with a maieutic speech act, i.e., an utterance in the form of a question or assertion that aims to elicit knowledge or other epistemic states from an audience. Second, I present counterexamples to EPNMA wherein speakers make moral assertions that violate EPNMA and yet they are not intuitively epistemically criticizable for their assertion. I conclude by briefly sketching an alternative account that avoids the pitfalls of EPNMA. (shrink)

The aim of this paper is to examine the kind of evidence that might be adduced in support of relativist semantics of a kind that have recently been proposed for predicates of personal taste, for epistemic modals, for knowledge attributions and for other cases. I shall concentrate on the case of taste predicates, but what I have to say is easily transposed to the other cases just mentioned. I shall begin by considering in general the question of what kind of (...) evidence can be offered in favour of some semantic theory or framework of semantic theorizing. In other words, I shall begin with the difficult question of the empirical significance of semantic theorizing. In Sect. 2, I outline a relativist semantic theory, and in Sect. 3, I review four types of evidence that might be offered in favour of a relativistic framework. I show that the evidence is not conclusive because a sophisticated form of contextualism can stand up to the evidence. However, the evidence can be taken to support the view that either relativism or the sophisticated form of contextualism is correct. (shrink)

Steffen Koch raises several objections to my critique of conceptual engineering. Here, I reply to these objections, arguing that Koch fails to adequately defend the “standard rationale” for conceptual engineering, and that the dilemma I have posed for “conceptual re-engineering”, a dilemma that presents this practice as either infeasible or else trivial, survives Koch’s objections unscathed. I conclude that conceptual engineering, both in terms of its conception and rationale, remains problematic.

The main purpose of this paper is to characterize and compare two forms any relativist thesis can take: indexical relativism and genuine relativism. Indexical relativists claim that the implicit indexicality of certain sentences is the only source of relativity. Genuine relativists, by contrast, claim that there is relativity not just at the level of sentences, but also at propositional level. After characterizing each of the two forms and discussing their difficulties, I argue that the difference between the two is significant.

This paper replies to the first 36 commentaries on my target article on “Is human information processing conscious?” (Behavioral and Brain Sciences,1991, pp.651-669). The target article focused largely on experimental studies of how consciousness relates to human information processing, tracing their relation from input through to output, while discussion of the implications of the findings both for cognitive psychology and philosophy of mind was relatively brief. The commentaries reversed this emphasis, and so, correspondingly, did the reply. The sequence of topics (...) in the reply roughly follows that of the target article. The discussion begins with a reconsideration of the details of the empirical findings, whether they can be extrapolated to non-laboratory settings, and the extent to which one can rely on their use of subjective reports. This is followed by an in-depth discussion of what is meant by “conscious processing” and of how phenomenal consciousness relates to attentional processing. We then turn to broader philosophical and theoretical issues. I point out some of the reasons why I do not support epiphenomenalism, dualist-interactionism, or reductionism, and elaborate on how first- and third-person views of the mind can be regarded as complementary and mutually irreducible. I suggest how the relation of conscious experiences to their neural correlates can be understood in terms of a dual-aspect theory of information,and how this might be used to resolve some of the paradoxes surrounding the causal interactions of consciousness and brain. I also suggest that, viewed from a first-person perspective, consciousness gives purpose to existence, which allows a different way of viewing its role in evolution. (shrink)

Dualist and Reductionist theories of mind disagree about whether or not consciousness can be reduced to a state of or function of the brain. They assume, however, that the contents of consciousness are separate from the external physical world as-perceived. According to the present paper this assumption has no foundation either in everyday experience or in science. Drawing on evidence for perceptual projection in both interoceptive and exteroceptive sense modalities, the case is made that the physical world as-perceived is a (...) construct of perceptual processing and, therefore, part of the contents of consciousness. A finding which requires a Reflexive rather than a Dualist or Reductionist model of how consciousness relates to the brain and the physical world. The physical world as-perceived may, in turn be thought of as a biologically useful model of the world as described by physics. Redrawing the boundaries of consciousness to include the physical world as-perceived undermines the conventional separation of the 'mental' from the physical', and with it the very foundation of the Dualist-Reductionist debate. The alternative Reflexive model departs radically from current conventions, with consequences for many aspects of consciousness theory and research. Some of the consequences which bear on the internal consistency and intuitive plausibility of the model are explored, e.g. the causal sequence in perception, representationalism, a suggested resolution of the Realism versus Idealism debate, and the way manifest differences between physical events as-perceived and other conscious events are to be construed. In the present paper I wish to challenge some of our most deeply-rooted assumptions about what consciousness is, by re-examining how consciousness, the human brain, and the surrounding physical world relate to each other. (shrink)

Recent theories of cognition have argued that embodied experience is important for conceptual processing. Embodiment can be contrasted with linguistic factors such as the typical order in which words appear in language. Here, we report four experiments that investigated the conditions under which embodiment and linguistic factors determine performance. Participants made speeded judgments about whether pairs of words or pictures were semantically related or had an iconic relationship. The embodiment factor was operationalized as the degree to which stimulus pairs were (...) presented in the spatial configurations in which they usually occur (i.e., an iconic configuration, e.g., attic presented above basement). The linguistic factor was operationalized as the frequency of the stimulus pairs in language. The embodiment factor predicted error rates and response time better for pictures, whereas the linguistic factor predicted error rates and response time better for words. These findings were modified by task, with the embodiment factor being strongest in iconicity judgments for pictures and the linguistic factor being strongest in semantic judgments for words. Both factors predicted error rates and response time for both semantic and iconicity judgments. These findings support the view that conceptual processing is both linguistic and embodied, with a bias for the embodiment or the linguistic factor depending on the nature of the task and the stimuli. (shrink)

Metaphysics should follow science in postulating laws alongside properties. I defend this claim against the claim that natural properties conceived as powers make laws of nature redundant. Natural properties can be construed in a “thin” or a “thick” way. If one attributes a property in the thin sense to an object, this attribution does not conceptually determine which other properties the object possesses. The thin construal is underlying the scientific strategy for understanding nature piecemeal. Science explains phenomena by cutting reality (...) conceptually in properties attributed to space-time points, where these properties are conceived of independently of each other, to explore then, in a separate step, how the properties are related to each other; those determination relations between properties are laws. This is compatible with the thesis that laws are metaphysically necessary. According to the thick conception, a property contains all its dependency relations to other properties. The dependency relationships between properties (which appear as laws in the thin conception) are parts of the properties they relate. There are several reasons to resist the thick conception of properties. It makes simple properties “holistic”, in the sense that each property contains many other properties as parts. It cannot account for the fact that properties constrain each other’s identity; it can neither explain why natural properties are linked to a unique set of dispositions, nor why and how this set is structured nor why the truth-maker of many disposition attributions is relational although the disposition is grounded on a monadic property. (shrink)

In the pair of articles of which this is the second, I present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. These problems are related to the question of how we should represent thought and speech about certain topics. The main issue is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness should be thought (...) of as varying with some (more or less surprising) factor. In the first article, “Relativism 1: Representational Content”, I discussed the general issue of relativism about representational content. I argued for the conciliatory view that both relativist and absoutist conceptions of representational content can be legitimate. In the present continuation, I look in more detail at a special case of the general issue, namely the question of whether semantic contents, i.e. the contents assigned to linguistic utterances in the semantics of natural language, should be construed in an absolutist or in a relativist way. (shrink)

Why should I be rational? -- Reasonableness-- Scientific objectivity -- Is scientific neutrality a myth? -- Humaneness -- The prevalence of humbug -- The rationality of voting -- Newcomb's problem demystified.

Philosophers think that there is something fishy about moral deference. The most common explanation of this fishiness is that moral deference doesn’t yield the epistemic states necessary for certain moral achievements. First, I argue that this explanation overgeneralizes. It entails that using many intuitively kosher belief-formation methods should be off-putting. Second, I argue that moral deference is sometimes superior to these other methods because it puts one in a better position to gain the relevant moral achievements.

Pessimists think that there is something wrong with relying on deference for one’s moral beliefs—at least if one is morally mature. Call this no deference. They also tend to think that what explains our aversion to cases of moral deference is the fact that they involve deference about moral claims. Call this moral explanation. Recently, both no deference and moral explanation have come under attack. Against no deference, some philosophers offer purported counterexamples involving moral advice. I argue that proponents of (...) this objection face a trilemma depending on how they spell out the details of their counterexamples. Against moral explanation, some philosophers offer debunking explanations of our aversion to moral deference. They present cases of non-moral deference that are troubling and argue that the feature that explains our aversion to this non-moral deference also explains our aversion to moral deference. I argue that none of these explanations (nor their conjunction) can explain all troubling cases of moral deference and that they face objections of their own. I conclude that we should be optimistic about the prospects of moral deference pessimism. (shrink)

Many theorists have defended the claim that collective entities can attain genuine agential status. If collectives can be agents, this opens up a further question: can they be conscious? That is, is there something that it is like to be them? Eric Schwitzgebel argues that yes, collective entities, may well be significantly conscious. Others, including Kammerer, Tononi and Koch, and List reject the claim. List does so on the basis of Tononi’s Integrated Information Theory of consciousness. I argue here that (...) List’s rejection is too quick, and that groups can, at least in principle, display the kind of informational integration we might think is necessary for consciousness. However, group consciousness will likely differ substantially from the individual experiences that give rise to it. This requires the defender of group consciousness to face up to a similar combination problem as the panpsychist. (shrink)

Theodor Adorno's concept of 'natural history' [Naturgeschichte] was central for a number of Adorno's theoretical projects, but remains elusive. In this essay, I analyse different dimensions of the concept of natural history, distinguishing amongst (a) a reflection on the normative and methodological bases of philosophical anthropology and critical social science; (b) a conception of critical memory oriented toward the preservation of the memory of historical suffering; and (c) the notion of 'mindfulness of nature in the subject' provocatively asserted in Max (...) Horkheimer and Adorno's Dialectic of Enlightenment. These strands are united by the notion of transience and goal of developing a critical theory sensitive to the transient in history. The essay concludes by suggesting some implications of an expanded concept of natural history for issues in the discourse theory of Jürgen Habermas. (shrink)

It was the explicit aim of my paper ‘Indexical Relativism versus Genuine Relativism’ to ‘characterize and compare’ (p. 297) two different forms of relativism. One form, exemplified by Harman’s and Dreier’s moral relativism (Harman, 1975 and Dreier, 1990), involves the claim that certain sentences express different propositions in different contexts of utterance, much like indexical sentences – hence the name ‘indexical relativism’. The other form involves the claim that the truth-value of certain contents or propositions depends on certain non-standard parameters, (...) i.e. depends not just on a possible world. The explicit conclusion of the paper was that the two forms differ significantly. Dan López de Sa (2007) seems quite happy to grant my main conclusion, namely that there is a significant difference between these two forms of relativism. However, López de Sa raises two worthwhile issues. First, he proposes a taxonomy of relativist views, one on which my ‘genuine relativism’ turns out to be the disjunction of two distinct views. Secondly, he offers an answer to a difficulty I raised for some forms of indexical relativism. I shall comment on each point. (shrink)

Following an on-line dialogue with Dennett (Velmans, 2001) this paper examines the similarities and differences between heterophenomenology (HP) and critical phenomenology (CP), two competing accounts of the way that conscious phenomenology should be, and normally is incorporated into psychology and related sciences. Dennett’s heterophenomenology includes subjective reports of conscious experiences, but according to Dennett, first person conscious phenomena in the form of “qualia” such as hardness, redness, itchiness etc. have no real existence. Consequently, subjective reports about such qualia should be (...) understood as prescientific attempts to make sense of brain functioning that can be entirely understood in third person terms. I trace the history of this position in behaviourism (Watson, Skinner and Ryle) and early forms of physicalism and functionalism (Armstrong), and summarise some of the difficulties of this view. Critical phenomenology also includes a conventional, third person, scientific investigation of brain and behaviour that includes subjects’ reports of what they experience. CP is also cautious about the accuracy or completeness of subjective reports. However, unlike HP, CP does not assume that subjects are necessarily deluded about their experiences or doubt that these experiences can have real qualities that can, in principle, be described. Such experienced qualities cannot be exhaustively reduced to third-person accounts of brain and behaviour. CP is also reflexive, in it assumes experimenters to have first-person experiences that they can describe much as their subjects do. And crucially, experimenter’s third-person reports of others are based, in the first instance, on their own first-person experiences. CP is commonplace in psychological science, and given that it conforms both to scientific practice and common sense, I argue that there is little to recommend HP other than an attempt to shore up a counterintuitive, reductive philosophy of mind. (shrink)

In a recent paper, Chris Haufe paints a provocative portrait of the late paleontologist Stephen Jay Gould. His principal aim is to resolve a “paradox” arising from a prima facie inconsistent pair of commitments: Gould believed that the biological facts could have been otherwise, and Gould believed that there are evolutionary laws. In order to resolve this paradox, Haufe makes two substantive claims: Gould was aware of the challenges that the Replay Thesis posed for a law-centered science of evolution, even (...) early in his career, and Gould endeavored to meet these challenges by deploying the “species-as-particles approach.” In this paper, I put pressure on both of these claims. By examining the goals and methods of Gould’s first “nomothetic research program,” the science of form, I show that it does not fit the picture of nomothetic science that Haufe illustrates. Additionally, I show that no straightforward connection exists between Gould’s understanding of contingency and his adoption of the species-as-particles approach. I propose that Gould’s career can be usefully split into three periods, each of which employed a distinct strategy for establishing distinctively paleontological contributions to evolutionary theory. (shrink)

Some delusional patients exhibit only a single delusional belief (or several delusional beliefs concerning a single theme): this is monothematic delusion. It contrasts with polythematic delusion, where the patient exhibits a variety of delusions concerning a variety of different themes. The neuropsychological bases of various monothematic delusions are rather well understood, and there is a well-worked-out general neuropsychological theory of monothematic delusion, the two-factor theory. Whether polythematic delusion might be explained in a similar way is an open question: I sketch (...) some possible ways in which a comparable two-factor account might be developed for polythematic (‘psychiatric’) delusional conditions such as delusions of reference. (shrink)

Dove and Machery both argue that recent findings about the nature of numerical representation present problems for Concept Empiricism. I shall argue that, whilst this evidence does challenge certain versions of CE, such as Prinz, it needn’t be seen as problematic to the general CE approach. Recent research can arguably be seen to support a CE account of number concepts. Neurological and behavioral evidence suggests that systems involved in the perception of numerical properties are also implicated in numerical cognition. Furthermore, (...) the discovery of associations between spatial and numerical representations also lends independent support to a CE approach. Although these findings support CE in general, certain versions of the theory may need revising in order to accommodate them. In particular, it may be necessary to either jettison Prinz's Modal Specificity Hypothesis or to revise one’s method for individuating modal representational formats. (shrink)

The simple knowledge norm of assertion holds that one may assert that p only if one knows that p. Turri :37–45, 2011) and Williamson both argue that more is required for epistemically permissible assertion. In particular, they both think that the asserter must assert on the basis of her knowledge. Turri calls this the express knowledge norm of assertion. I defend SKNA and argue against EKNA. First, I argue that EKNA faces counterexamples. Second, I argue that EKNA assumes an implausible (...) view of permissibility on which an assertion is epistemically permissible only if it is made for a right reason, i.e., a reason that contributes to making it the case that it is epistemically permissible to make that assertion. However, the analogous view in other normative domains is both controversial and implausible. This is because it doesn’t make it possible for one to act or react rightly for the wrong reason. I suggest that proponents of EKNA have conflated requirements for φ-ing rightly with requirements for φ-ing well. Finally, I argue that proponents of SKNA can explain the intuitive defectiveness of asserting on the basis of an epistemically bad reason, even when the asserters know the content of their assertion, by arguing that the asserters are epistemically blameworthy. (shrink)

In the pair of articles of which this is the first, I shall present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. All these problems and proposals concern the question of how we should represent thought and speech about certain topics. The main issue here is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness (...) should be thought of as varying with some (more or less surprising) factor. In this, first, article, I shall discuss the general issue of relativism about representational content. I shall claim that there are legitimate ways of attributing contents that are absolute truth-bearers, and there are also equally legitimate ways of attributing relativistic representational contents. In the companion piece “Relativism 2: Semantic Content”, I look in more detail at the more specific question whether semantic contents (i.e. the contents assigned to linguistic utterances in the semantics of natural language) should be construed in an absolutist or a relativist way. (shrink)

This paper raises a challenge to Jonathan Schaffer's priority monism. I contend that monism may be true at the actual world but fail to hold as a matter of metaphysical necessity, contrary to Schaffer's view that monism, if true, is necessarily true. My argument challenges Schaffer for his reliance on contingent physical truths in an argument for a metaphysically necessary conclusion. A counterexample in which the actual laws of physics hold but the physical history of the universe is different shows (...) that priority monism is contingently true at best. I suggest some general lessons for discussion of metaphysical dependence. (shrink)

In this paper, I argue (a) that the predicate "true" is ambiguously used to express a deflationary and a substantial concept of truth and (b) that the two concepts are systematically related in that substantial truths are deflationary truths of a certain kind. Claim (a) allows one to accept the main insights of deflationism but still take seriously, and participate in, the traditional debate about the nature of truth. Claim (b) is a contribution to that debate. The overall position is (...) not new and it has previously been defended by supervaluationists about vagueness. However, the position is here motivated in a new, independent way, and an explanation is offered why some uses of "true" do not seem to require disambiguation. (shrink)

The key idea of the interventionist account of causation is that a variable A causes a variable B if and only if B would change if A were manipulated in the appropriate way. This paper raises two problems for Woodward's (2003) version of interventionism. The first is that the conditions it imposes are not sufficient for causation, because these conditions are also satisfied by non-causal relations of nomological dependence expressed in association laws. Such laws ground a relation of mutual manipulability (...) that is incompatible with the asymmetry of causation. Several ways of defending the interventionist account are examined and found unsatisfying. The second problem is that it often seems to be impossible, in a model that contains variables linked by an association law, to satisfy the conditions imposed on interventions on such variables. Various ways to solve this second problem, most importantly the analysis of manipulability in terms of difference making, are examined. Given that none solves the problem, I conclude that the interventionist conditions are neither sufficient nor necessary for causation. It is suggested that they provide an analysis of nomological dependence, which may be supplemented with the notion of a causal process to yield an analysis of causation. (shrink)

Experimental investigation of mechanisms seems to make use of causal relations that cut across levels of composition. In bottom-up experiments, one intervenes on parts of a mechanism to observe the whole; in top-down experiments, one intervenes on the whole mechanism to observe certain parts of it. It is controversial whether such experiments really make use of interlevel causation, and indeed whether the idea of causation across levels is even conceptually coherent. Craver and Bechtel have suggested that interlevel causal claims can (...) be analysed in a causal and a non-causal component. I accept this idea but argue that their account should be modified so as to account of cases of apparent downward causation. First, constitution must be distinguished from identity; second, the analysis of downward causation requires the concept of a partial constraint. An analysis along these lines shows that the possibility of downward causation is not refuted by Kim's argument according to which it is incompatible with the completeness of physics. (shrink)