Today's climate models are supported in a couple of ways that receive little attention from philosophers or climate scientists. In addition to standard 'model fit', wherein a model's simulation is compared to observational data, there is an additional type of confirmation available through the variety of instances of model fit. When a model performs well at fitting first one variable and then another, the probability of the model under some standard confirmation function, say, likelihood, goes up more than under each (...) individual case of fit alone. Thus, two instances of fit of distinct variables of a global climate model using distinct data sets considered collectively will provide stronger evidence for a model than either one of the instances considered individually. This has consequences for model robustness. Sets of models that produce robust results will, if their assumptions vary enough and they each are observationally sound, provide reasons to endorse common structures found in those models. Finally, independent empirical support for aspects and assumptions of the model provides an additional confirmational virtue for climate models, contrary to what is implied by some current philosophical writing on this topic. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

A number of philosophers and logicians have argued for the conclusion that maps are logically tractable modes of representation by analyzing them in propositional terms. But in doing so, they have often left what they mean by "propositional" undefined or unjustified. I argue that propositions are characterized by a structure that is digital, universal, asymmetrical, and recursive. There is little positive evidence that maps exhibit these features. Instead, we can better explain their functional structure by taking seriously the observation that (...) maps arrange their constituent elements in a non-hierarchical, holistic structure. This is compatible with the more basic claim advanced by defenders of a propositional analysis: that (many) maps do have formal semantics and logic. (shrink)

Two main approaches can be discerned in the literature on agentive self-awareness: a top-down approach, according to which agentive self-awareness is fundamentally holistic in nature and involves the operations of a central-systems narrator, and a bottom-up approach that sees agentive self-awareness as produced by lowlevel processes grounded in the very machinery responsible for motor production and control. Neither approach is entirely satisfactory if taken in isolation; however, the question of whether their combination would yield a full account of agentive self-awareness (...) remains very much open. In this paper, I contrast two disorders affecting the control of voluntary action: the anarchic hand syndrome and utilization behavior. Although in both conditions patients fail to inhibit actions that are elicited by objects in the environment but inappropriate with respect to the wider context, these actions are experienced in radically different ways by the two groups of patients. I discuss how top-down and bottom-up processes involved in the generation of agentive self-awareness would have to be related in order to account for these differences. (shrink)

The objective of this paper is to characterize the rich interplay between automatic and cognitive control processes that we propose is the hallmark of skill, in contrast to habit, and what accounts for its flexibility. We argue that this interplay isn't entirely hierarchical and static, but rather heterarchical and dynamic. We further argue that it crucially depends on the acquisition of detailed and well-structured action representations and internal models, as well as the concomitant development of metacontrol processes that can be (...) used to shape and balance it. (shrink)

I argue that four of the fundamental claims of those calling themselves `genic pluralists'Philip Kitcher, Kim Sterelny, and Ken Watersare defective. First, they claim that once genic selectionism is recognized, the units of selection problems will be dissolved. Second, Sterelny and Kitcher claim that there are no targets of selection. Third, Sterelny, Kitcher, and Waters claim that they have a concept of genic causation that allows them to give independent genic causal accounts of all selection processes. I argue that each (...) one of these claims is either false or misleading. Moreover, the challenge that arises from the availability of genic causal accounts, namely, the inability to choose on rational grounds among genic and higher-level accounts, is unsupported. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

I discuss two types of evidential problems with the most widely touted experiments in evolutionary psychology, those performed by Leda Cosmides and interpreted by Cosmides and John Tooby. First, and despite Cosmides and Tooby's claims to the contrary, these experiments don't fulfil the standards of evidence of evolutionary biology. Second Cosmides and Tooby claim to have performed a crucial experiment, and to have eliminated rival approaches. Though they claim that their results are consistent with their theory but contradictory to the (...) leading non-evolutionary alternative, Pragmatic Reasoning Schemas theory, I argue that this claim is unsupported. In addition, some of Cosmides and Tooby's interpretations arise from misguided and simplistic understandings of evolutionary biology. While I endorse the incorporation of evolutionary approaches into psychology, I reject the claims of Cosmides and Tooby that a modular approach is the only one supported by evolutionary biology. Lewontin's critical examinations of the applications of adaptationist thinking provide a background of evidentiary standards against which to view the currently fashionable claims of evolutionary psychology. (shrink)

Ten years ago, one of us proposed a dynamic hierarchical model of intentions that brought together philosophical work on intentions and empirical work on motor representations and motor control (Pacherie, 2008). The model distinguished among Distal intentions, Proximal intentions, and Motor intentions operating at different levels of action control (hence the name DPM model). This model specified the representational and functional profiles of each type of intention, as well their local and global dynamics, and the ways in which they interact. (...) A core insight of the model was that action control is the result of integrated, coordinated activity across these levels of intention. Since the proposal of the model, empirical and theoretical works in philosophy and cognitive science have emerged that would seem to support and expand on this central insight. In particular, an updated understanding of the nature of sensorimotor processing and motor representations, as well as of how the different levels of intention and control interface and interact, allows for the further specification and precisification of the original DPM model. (shrink)

Our ordinary and theoretical talk are rife with “framing devices”: expressions that function, not just to communicate factual information, but to suggest an intuitive way of thinking about their subjects. Framing devices can also play an important role in individual cognition, as slogans, precepts, and models that guide inquiry, explanation, and memory. At the same time, however, framing devices are double-edged swords. Communicatively, they can mold our minds into a shared pattern, even when we would rather resist. Cognitively, the intuitive (...) power of a frame can blind us both to known features that don’t fit easily within the frame, and also to “unknown unknowns” we have not yet encountered. Thus, perhaps Locke is right to disavow such “eloquent inventions” as “perfect cheats” that “insinuate wrong ideas, move the passions, and thereby mislead the judgment.” Against this, I argue that while the metaphor of double-edged swords is indeed apt, this is because frames are tools for thought. Like any tool, they can be used well or badly; but they do not fall outside the realm of rationality altogether. I describe how framing devices express open-ended perspectives, which produce structured intuitive characterizations of particular subjects. I argue that frames can make effective, distinctive epistemic contributions in the course of inquiry, and that the cognitive structures that frames produce can contribute to, and constitute, epistemic achievements in their own right, even in highly idealized circumstances at the nominal end of inquiry. Throughout, I focus especially on scientific understanding, because it serves as a paradigm case of rational inquiry, from which frames and perspectives are most likely to be excluded. (shrink)

I propose a distinct type of robustness, which I suggest can support a confirmatory role in scientific reasoning, contrary to the usual philosophical claims. In model robustness, repeated production of the empirically successful model prediction or retrodiction against a background of independentlysupported and varying model constructions, within a group of models containing a shared causal factor, may suggest how confident we can be in the causal factor and predictions/retrodictions, especially once supported by a variety of evidence framework. I present climate (...) models of greenhouse gas global warming of the 20th Century as an example, and emphasize climate scientists’ discussions of robust models and causal aspects. The account is intended as applicable to a broad array of sciences that use complex modeling techniques. (shrink)

This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, to (...) present problems such as the disappearance of evidence, the mishandling of the null hypothesis, and failures in scientific reasoning, exemplified by a case from human behavioral ecology. In conclusion the paper shows that "methodological adaptationism" does not deserve its benign reputation. (shrink)

Recent philosophical attention to climate models has highlighted their weaknesses and uncertainties. Here I address the ways that models gain support through observational data. I review examples of model fit, variety of evidence, and independent support for aspects of the models, contrasting my analysis with that of other philosophers. I also investigate model robustness, which often emerges when comparing climate models simulating the same time period or set of conditions. Starting from Michael Weisberg’s analysis of robustness, I conclude that his (...) approach involves a version of reasoning from variety of evidence, enabling this robustness to be a confirmatory virtue.. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Slurs are incendiary terms so much that many ordinary speakers and theorists deny that sentences containing them can ever be true, and utterances where they occur embedded within normally "quarantining" contexts, like conditionals and indirect reports, are still typically offensive. At the same time, however, many speakers and theorists also find it obvious that sentences containing slurs can be true; and there are clear cases where embedding does inoculate a speaker from the slur's offensiveness. I argue that four standard accounts (...) of the "other" element that differentiates slurs from their more neutral counterparts semantic content, perlocutionary effect, presupposition, and conventional implicature all fail to account for this puzzling mixture of intuitions about truth, and for this mixture of projection and quarantining. Instead, I propose that slurs make two distinct, coordinated contributions to a sentence's conventional communicative role: predication of group membership and endorsement of a derogating perspective on the group. Predication of group membership is "at issue" by default, but different semantic and conversational contexts can alter the relative prominence and scope of the two contributions. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

The emphasis on the limitations of objectivity, in specific guises and networks, has been a continuing theme of contemporary analytic philosophy for the past few decades. The popular sport of baiting feminist philosophers — into pointing to what's left out of objective knowledge, or into describing what methods, exactly, they would offer to replace the powerful objective methods grounding scientific knowledge — embodies a blatant double standard which has the effect of constantly putting feminist epistemologists on the defensive, on the (...) fringes, on the run.This strategy can only work if objectivity is transparent, simple, stable, and clear in its meaning. It most certainly is not. In fact, taking objectivity as a sort of beautiful primitive, self-evident in its value, and all-powerful in its revelatory power, requires careless philosophy, and the best workers in metaphysics, epistemology, and philosophy of science have made reworked definitions of objectivity absolutely central to their own projects. In fact, classic feminist concerns with exploring the impact of sex and gender on knowledge, understanding, and other relations between human beings and the rest of the world fall squarely within the sort of human and social settings thatare already considered central in most current analytic metaphysics, epistemology, and philosophy of science. I argue that the burden of proof is clearly on those who wish toreject the centrality and relevance of sex and gender to our most fundamental philosophical work on knowledge and reality. (shrink)

I distinguish among a range of distinct representational devices, which I call "frames", all of which have the function of providing a perspective on a subject: an overarching intuitive principle or for noticing, explaining, and responding to it. Starting with Max Black's metaphor of metaphor as etched lines on smoked glass, I explain what makes frames in general powerful cognitive tools. I distinguish metaphor from some of its close cousins, especially telling details, just-so stories, and analogies, in ordinary cognition and (...) communication. And I use these distinctions to illustrate different sorts of gaps that frames or models can open up between representation and reality. (shrink)

Climate change assessments rely upon scenarios of socioeconomic developments to conceptualize alternative outcomes for global greenhouse gas emissions. These are used in conjunction with climate models to make projections of future climate. Specifically, the estimations of greenhouse gas emissions based on socioeconomic scenarios constrain climate models in their outcomes of temperatures, precipitation, etc. Traditionally, the fundamental logic of the socioeconomic scenarios—that is, the logic that makes them plausible—is developed and prioritized using methods that are very subjective. This introduces a fundamental (...) challenge for climate change assessment: The veracity of projections of future climate currently rests on subjective ground. We elaborate on these subjective aspects of scenarios in climate change research. We then consider an alternative method for developing scenarios, a systems dynamics approach called ‘Cross-Impact Balance’ (CIB) analysis. We discuss notions of ‘objective’ and ‘objectivity’ as criteria for distinguishing appropriate scenario methods for climate change research. We distinguish seven distinct meanings of ‘objective,’ and demonstrate that CIB analysis is more objective than traditional subjective approaches. However, we also consider criticisms concerning which of the seven meanings of ‘objective’ are appropriate for scenario work. Finally, we arrive at conclusions regarding which meanings of ‘objective’ and ‘objectivity’ are relevant for climate change research. Because scientific assessments uncover knowledge relevant to the responses of a real, independently existing climate system, this requires scenario methodologies employed in such studies to also uphold the seven meanings of ‘objective’ and ‘objectivity.’. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

Mobsters and others engaged in risky forms of social coordination and coercion often communicate by saying something that is overtly innocuous but transmits another message ‘off record’. In both ordinary conversation and political discourse, insinuation and other forms of indirection, like joking, offer significant protection from liability. However, they do not confer blanket immunity: speakers can be held to account for an ‘off record’ message, if the only reasonable interpreta- tions of their utterance involve a commitment to it. Legal liability (...) for speech in the service of criminal behavior displays a similar profile of significant protection from indirection along with potential liability for reasonable interpretations. Specifically, in both ordinary and legal contexts, liability depends on how a reasonable speaker would expect a reasonable hearer to interpret their utterance in the context of utter- ance, rather than on the actual speaker’s claimed communicative intentions. (shrink)

In recent literature, it has been suggested that Lange’s social and political philosophy is separate from his neo-Kantian program. Prima facie, this interpretation makes sense given that Lange argues for an account of social norms that builds on Darwin and Smith rather than on Kant. Still, this paper argues that elements of psychophysiological transcendentalism can be found in Lange’s social and political philosophy. A detailed examination of the second edition of the History of Materialism, Schiller’s Poems, and the second edition (...) of The Worker’s Question reveals that Lange sought to develop a systematic foundation of psychophysiological transcendentalism that is presupposed in his social and political philosophy. This allows for a more detailed understanding of Lange’s practical philosophy and assures him a position in the tradition of neo-Kantian socialism. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...) reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

When natural selection theory was presented, much active philosophical debate, in which Darwin himself participated, centered on its hypothetical nature, its explanatory power, and Darwin's methodology. Upon first examination, Darwin's support of his theory seems to consist of a set of claims pertaining to various aspects of explanatory success. I analyze the support of his method and theory given in the Origin of Species and private correspondence, and conclude that an interpretation focusing on the explanatory strengths of natural selection theory (...) accurately reflects neither Darwin's own self-consciously held views, nor the nature of his support. Darwin's methodological and philosophical arguments were at once consistently empiricist and more sophisticated than such interpretations credit to him. (shrink)

I suggest following Paul Feyerabend's own advice, and interpreting Feyerabend's work in light of the principles laid out by John Stuart Mill. A review of Mill's essay, On Liberty, emphasizes the importance Mill placed on open and critical discussion for the vitality and progress of various aspects of human life, including the pursuit of scientific knowledge. Many of Feyerabend's more unusual stances, I suggest, are best interpreted as attempts to play certain roles--especially the role of "defender of unpopular minority opinion"--that (...) are necessary to fulfilling Mill's conditions for rational exchange and optimal human development. (shrink)

A precise formulation of the structure of modern evolutionary theory has proved elusive. In this paper, I introduce and develop a formal approach to the structure of population genetics, evolutionary theory's most developed sub-theory. Under the semantic approach, used as a framework in this paper, presenting a theory consists in presenting a related family of models. I offer general guidelines and examples for the classification of population genetics models; the defining features of the models are taken to be their state (...) spaces, parameters, and laws. The suggestions regarding the various aspects of the characterization of population genetics models provide an outline for further detailed research. (shrink)

Most models of generational succession in sexually reproducing populations necessarily move back and forth between genic and genotypic spaces. We show that transitions between and within these spaces are usually hidden by unstated assumptions about processes in these spaces. We also examine a widely endorsed claim regarding the mathematical equivalence of kin-, group-, individual-, and allelic-selection models made by Lee Dugatkin and Kern Reeve. We show that the claimed mathematical equivalence of the models does not hold. *Received January 2007; revised (...) April 2008. †To contact the authors, please write to: Elisabeth Lloyd, Department of History and Philosophy of Science, 130 Goodbody Hall, Indiana University, Bloomington, IN 47405; e-mail: [email protected]; Richard Lewontin, Department of Organismic and Evolutionary Biology, Harvard University, 26 Oxford Street, Cambridge, MA 02138; Marcus Feldman, Department of Biological Sciences, Stanford University, Stanford, CA 94305; e-mail: [email protected]. (shrink)

Social contract thought has always contained multiple and mutually conflicting lines of argument; the minimalist contractarianism so influential today represents the weaker of two main constellations of claims. I make the case for a Kantian contract theory that emphasizes the bedrock principle of consent of the governed instead of the mere heuristic device of the exit from the state of nature. Such a shift in emphasis resolves two classic difficulties: tradi- tional contract theory’s ahistorical presumption of a pre-political settlement, and (...) its impossibly high demands on citizens seeking to practice self-rule. Kant’s solutions to these problems of property rights and citizenship are found in his political works, rather than the ethical works through which Kant’s political theory is usually interpreted. (shrink)

My contribution to this Symposium focuses on the links between sexuality and reproduction from the evolutionary point of view.' The relation between women's sexuality and reproduction is particularly importantb ecause of a vital intersectionb etweenp olitics and biology feminists have noticed, for more than a century, that women's identity is often defined in terms of her reproductive capacity. More recently, in the second wave of the feminist movement in the United States, debates about women'si dentityh ave explicitlyi ncludeds exuality;m uch (...) feminist argument in the late 1960's and early 1970's involved an attempt to separate out an autonomous female sexuality from women's reproductive functions. It is especially relevant, then, to examine biological arguments, particularlye volutionarya rgumentst, o see what they say about whether and how women's sexuality is related to reproduction. We shall find that many evolutionarya rgumentss eem to supportt he direct linkingo f female sexualitya nd reproductionY. et I will argue that this supporti s not well-groundedI. n fact, I think evolutionarye xplanationso f female sexuality exemplify how social beliefs and social agendas can influence very basic biological explanations of fundamental physiological processes. In this paper, I shall spend some time spelling out a few examples in which assumptions about the close link between reproduction and sexuality yield misleading results, then I shall conclude with a discussion of the consequences of this case study for issues in the philosophy of science. (shrink)

Prior to Kripke’s seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano–Tarski notion of logical truth. According to this interpretation, ‘it is necessary that A’ is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman’s 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

Ernie Lepore and Herman Cappelen (2005) argue that contextual influences on semantic content are much more restricted than most theorists assume, by presenting three tests for semantic context-sensitivity and concluding that only a very restricted class of expressions pass them. They combine this extreme semantic minimalism with an even more extreme speech-act pluralism, according to which a speaker has said anything that she can be reported as having said. I argue that because Lepore and Cappelen refuse to distinguish what is (...) said from what is claimed, their tests wrongly classify metaphor as semantically context-sensitive. I then argue that our ordinary linguistic practices support a distinction between what is said and what is claimed, and that underwrites a much more moderate form of speech act pluralism. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

Identity labels like “woman”, “Black,” “mother,” and “evangelical” are pervasive in both political and personal life, and in both formal and informal classification and communication. They are also widely thought to undermine agency by essentializing groups, flattening individual distinctiveness, and enforcing discrimination. While we take these worries to be well-founded, we argue that they result from a particular practice of using labels to rigidly label others. We identify an alternative practice of playful self-labelling, and argue that it can function as (...) a tool for combating oppression by expressing and enhancing individual and collective agency. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

In this paper I distinguish various ways in which empirical claims about evolutionary and ecological models can be supported by data. I describe three basic factors bearing on confirmation of empirical claims: fit of the model to data; independent testing of various aspects of the model, and variety of evident. A brief description of the kinds of confirmation is followed by examples of each kind, drawn from a range of evolutionary and ecological theories. I conclude that the greater complexity and (...) precision of my approach, as compared to, for instance, a Popperian approach, can facilitate detailed analysis and comparison of empirical claims. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

Ernie Lepore and Herman Cappelen (2005) argue that contextual influences on semantic content are much more restricted than most theorists assume, by presenting three tests for semantic context-sensitivity and concluding that only a very restricted class of expressions pass them. They combine this extreme semantic minimalism with an even more extreme speech-act pluralism, according to which a speaker has said anything that she can be reported as having said. I argue that because Lepore and Cappelen refuse to distinguish what is (...) said from what is claimed, their tests wrongly classify metaphor as semantically context-sensitive. I then argue that our ordinary linguistic practices support a distinction between what is said and what is claimed, and that underwrites a much more moderate form of speech act pluralism. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

This paper argues that the ‘scientific dispute’ between Hermann Cohen and Rudolf Stammler is symptomatic of a philosophical movement of left-wing Kant interpretations at the turn of the twentieth century. By outlining influential predecessors that shaped Cohen’s and Stammler’s thinking, I show that their Kantian justifications of socialism differ regarding their conception of law, history, and the political implications that follow from their practical philosophies. Against scholars who suggest that the Marburg School’s view on socialism was a coherent school of (...) thought, I introduce the concept of ‘left-Kantianism’ as an open term that includes a wide variety of novel socialist approaches to Kant at the time. (shrink)

A reading of Feyerabend in Against Method, and a comparison of C.S. Peirce.

this requirement for adaptations. Emergent characters are always potential adaptations. Not all selection processes produce adaptations, however. The key issue, in delineating a selection process, is the relationship between a character and fitness. The emergent character approach is more restrictive than alternative schemas that delineate selection..

The conflation of two fundamentally distinct issues has generated serious confusion in the philosophical and biological literature concerning the units of selection. The question of how a unit of selection of defined, theoretically, is rarely distinguished from the question of how to determine the empirical accuracy of claims--either specific or general--concerning which unit(s) is undergoing selection processes. In this paper, I begin by refining a definition of the unit of selection, first presented in the philosophical literature by William Wimsatt, which (...) is grounded in the structure of natural selection models. I then explore the implications of this structural definition for empirical evaluation of claims about units of selection. I consider criticisms of this view presented by Elliott Sober--criticisms taken by some (for example, Mayo and Gilinsky 1987) to provide definitive damage to the structuralist account. I shall show that Sober has misinterpreted the structuralist views; he knocks down a straw man in order to motivate his own causal account. Furthermore, I shall argue, Sober's causal account is dependent on the structuralist account that he rejects. I conclude by indicating how the refined structural definition can clarify which sorts of empirical evidence could be brought to bear on a controversial case involving units of selection. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

Since the fundamental challenge that I laid at the doorstep of the pluralists was to defend, with nonderivative models, a strong notion of genic cause, it is fatal that Waters has failed to meet that challenge. Waters agrees with me that there is only a single cause operating in these models, but he argues for a notion of causal ‘parsing’ to sustain the viability of some form of pluralism. Waters and his colleagues have some very interesting and important ideas about (...) the sciences, involving pluralism and parsing or partitioning causes, but they are ideas in search of an example. He thinks he has found an example in the case of hierarchical and genic selection. I think he has not. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)