We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to extend several prominent results in recursion theory (e.g. the Shore-Slaman Join Theorem) to the setting of Polish spaces. As a by-product we give both positive and negative results on (...) the Martin Conjecture on the degree preserving Borel functions between Polish spaces. Additionally we prove results about the transfinite version as well as the computable version of the Decomposability Conjecture. (shrink)

Let X be a separable Banach space and Q be a coanalytic subset of . We prove that the set of sequences in X which are weakly convergent to some eX and is a coanalytic subset of . The proof applies methods of effective descriptive set theory to Banach space theory. Using Silver’s Theorem [J. Silver, Every analytic set is Ramsey, J. Symbolic Logic 35 60–64], this result leads to the following dichotomy theorem: if X is a Banach space, is (...) a regular method of summability and is a bounded sequence in X, then there exists a subsequence iL such that either there exists eX such that every subsequence iH of iL is weakly summable w.r.t. to e and QiH,e); or for every subsequence iH of iL and every eX with QiH,e)the sequence iH is not weakly summable to e w.r.t. . This is a version for weak convergence of an Erdös–Magidor result, see [P. Erdös, M. Magidor, A note on Regular Methods of Summability, Proc. Amer. Math. Soc. 59 232–234]. Both theorems obtain some considerable generalizations. (shrink)

We prove a recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory by using tools from effective descriptive set theory and by revisiting the result of Miller that orbits in Polish G‐spaces are Borel sets.

Selectionist evolutionary theory has often been faulted for not making novel predictions that are surprising, risky, and correct. I argue that it in fact exhibits the theoretical virtue of predictive capacity in addition to two other virtues: explanatory unification and model fitting. Two case studies show the predictive capacity of selectionist evolutionary theory: parallel evolutionary change in E. coli, and the origin of eukaryotic cells through endosymbiosis.

A map is not its territory. Taking a map too seriously may lead to pernicious reification: map and world are conflated. As one family of cases of such reification, I focus on maps exuding the omphalos syndrome, whereby a centred location on the map is taken to be the world navel of, for instance, an empire. I build on themes from my book _When Maps Become the World_, in which I analogize scientific theories to maps, and develop the tools of (...) assumption archaeology and integration platforms. Here I argue that excavating assumptions helps fill cartographic silences, showing the limitations of perspectives often at war. Furthermore, integrating perspectives permits resisting imperial central or master images. A worthwhile future project would be a repository of world-navel maps, critically annotated with cultural context and imperial information. Mutual understanding may result from such an integration platform, perhaps implemented online or in a museum. (shrink)

Evo-Devo exhibits a plurality of scientific “cultures” of practice and theory. When are the cultures acting—individually or collectively—in ways that actually move research forward, empirically, theoretically, and ethically? When do they become imperialistic, in the sense of excluding and subordinating other cultures? This chapter identifies six cultures – three /styles/ (mathematical modeling, mechanism, and history) and three /paradigms/ (adaptationism, structuralism, and cladism). The key assumptions standing behind, under, or within each of these cultures are explored. Characterizing the internal structure of (...) the cultures is necessary for understanding how they collaborate or compete, and how they are fragmented or integrated, in the rich interdisciplinary /trading zone/ (Galison 1997) of Evo-Devo. Evo-Devo is an important example of how science can progress through a radical plurality of perspectives and cultures. (shrink)

Geographic Information Science (GIS) is an interdisciplinary science aiming to detect and visually represent patterns in spatial data. GIS is used by businesses to determine where to open new stores and by conservation biologists to identify field study locations with relatively little anthropogenic influence. Products of GIS include topographic and thematic maps of the Earth’s surface, climate maps, and spatially referenced demographic graphs and charts. In addition to its social, political, and economic importance, GIS is of intrinsic philosophical interest due (...) to its methodological richness and because it is an instructive analogue to other sciences. This chapter works towards a philosophy of GIS and cartography, or PGISC. In particular, it examines practices of classifying geographic space, objects, and relations. By focusing on the use of natural kinds in data modeling and map generalization practices, I show how the making and using of kinds is contextual, fallible, plural, and purposive. (shrink)

Maps and mapping raise questions about models and modeling and in science. This chapter archives map discourse in the founding generation of philosophers of science (e.g., Rudolf Carnap, Nelson Goodman, Thomas Kuhn, and Stephen Toulmin) and in the subsequent generation (e.g., Philip Kitcher, Helen Longino, and Bas van Fraassen). In focusing on these two original framing generations of philosophy of science, I intend to remove us from the heat of contemporary discussions of abstraction, representation, and practice of science and thereby (...) see in a more distant and neutral light the many productive ways in which maps can stand in analytically for scientific theories and models. The chapter concludes by complementing the map analogy – i.e., a scientific theory is a map of the world – with a model analogy, viz., a scientific model is a vehicle for understanding. (shrink)

The ocean terrain spanning the globe is vast and complex—far from an immense flat plain of mud. To map these depths accurately and wisely, we must understand how cartographic abstraction and generalization work both in analog cartography and digital GIS. This chapter explores abstraction practices such as selection and exaggeration with respect to mapping the oceans, showing significant continuity in such practices across cartography and contemporary GIS. The role of measurement and abstraction—as well as of political and economic power, and (...) sexual and personal bias—in these sciences is illustrated by the biographies of Marie Tharp and Bruce Heezen, whose mapping of the Mid-Atlantic Ridge precipitated a paradigm shift in geology. (shrink)

Gillian Russell has recently proposed counterexamples to such elementary argument forms as Conjunction Introduction and Identity. These purported counterexamples involve expressions that are sensitive to linguistic context—for example, a sentence which is true when it appears alone but false when embedded in a larger sentence. If they are genuine counterexamples, it looks as though logical nihilism—the view that there are no valid argument forms—might be true. In this paper, I argue that the purported counterexamples are not genuine, on the grounds (...) that they equivocate. Having defused the threat of logical nihilism, I argue that the kind of linguistic context sensitivity at work in Russell’s purported counterexamples, if taken seriously, far from leading to logical nihilism, reveals new, previously undreamt-of valid forms. By way of proof of concept I present a simple logic, Solo-Only Propositional Logic, designed to capture some of them. Along the way, some interesting subtleties about the fallacy of equivocation are revealed. (shrink)

This paper introduces two languages and associated logics designed to afford perspicuous representations of a range of natural language arguments involving adverbs and the like: first-order logic with basic adverbs (FOL-BA) and first-order logic with scoped adverbs (FOL-SA). The guiding logical idea is that an adverb can come between a term and the rest of the statement it is a part of, resulting in a logically stronger statement. I explain various interesting challenges that arise in the attempt to implement the (...) guiding idea, and provide solutions for some but not all of them. I conclude by outlining some directions for further research. (shrink)

The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in its extension. (...) After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms. (shrink)

Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is valid when (...) it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples. (shrink)

The essays in Invisibility in Visual and Material Culture contribute pioneering and revelatory insights into the phenomenon of invisibility, forging new and multi-disciplinary approaches at the intersection of aesthetics, technology, representation and politics. Importantly, they acknowledge the complex interaction between invisibility and its opposite, visibility, arguing that the one cannot be fully grasped without the other. Considering these entanglements across different media forms, the chapters reveal that the invisible affects many cultural domains, from digital communication and operative images to the (...) activism of social movements, as well as to identity, race, gender and class issues. Whether the subject is comic books, photographic provocations, biometric and brainwave sensing technologies, letters, or a cinematic diary, the analyses in this book engage critically and theoretically with the topic of invisibility and thus represent the first scholarly study to identify its importance for the field of visual culture. (shrink)

Two families of mathematical methods lie at the heart of investigating the hierarchical structure of genetic variation in Homo sapiens: /diversity partitioning/, which assesses genetic variation within and among pre-determined groups, and /clustering analysis/, which simultaneously produces clusters and assigns individuals to these “unsupervised” cluster classifications. While mathematically consistent, these two methodologies are understood by many to ground diametrically opposed claims about the reality of human races. Moreover, modeling results are sensitive to assumptions such as preexisting theoretical commitments to certain (...) linguistic, anthropological, and geographic human groups. Thus, models can be perniciously reified. That is, they can be conflated and confused with the world. This fact belies standard realist and antirealist interpretations of “race,” and supports a pluralist conventionalist interpretation. (shrink)

Map making and, ultimately, _map thinking_ is ubiquitous across literature, cosmology, mathematics, psychology, and genetics. We partition, summarize, organize, and clarify our world via spatialized representations. Our maps and, more generally, our representations seduce and persuade; they build and destroy. They are the ultimate record of empires and of our evolving comprehension of our world. This book is about the promises and perils of map thinking. Maps are purpose-driven abstractions, discarding detail to highlight only particular features of a territory. By (...) preserving certain features at the expense of others, they can be used to reinforce a privileged position. -/- _When Maps Become the World_ shows us how the scientific theories, models, and concepts we use to intervene in the world function as maps, and explores the consequences of this, both good and bad. We increasingly understand the world around us in terms of models, to the extent that we often take the models for reality. Winther explains how in time, our historical representations in science, in cartography, and in our stories about ourselves replace individual memories and become dominant social narratives—they become reality, and they can remake the world. -/- Available on The University of Chicago Press website, etc. (shrink)

I analyze the importance of parts in the style of biological theorizing that I call compositional biology. I do this by investigating various aspects, including partitioning frames and explanatory accounts, of the theoretical perspectives that fall under and are guided by compositional biology. I ground this general examination in a comparative analysis of three different disciplines with their associated compositional theoretical perspectives: comparative morphology, functional morphology, and developmental biology. I glean data for this analysis from canonical textbooks and defend the (...) use of such texts for the philosophy of science. I end with a discussion of the importance of recognizing formal and compositional biology as two genuinely different ways of doing biology – the differences arising more from their distinct methodologies than from scientific discipline included or natural domain studied. Ultimately, developing a translation manual between the two styles would be desirable as they currently are, at times, in conflict. (shrink)

The aim of this study was to find out whether ethical leadership has an impact on employees’ organizational identification and the perceptions of organizational politics moderate this process. To this end, to ensure triangulation on findings, two separate researches were made. First, a cross-sectional survey was conducted on 137 employees who worked at the head office of a private bank in Istanbul using self-report questionnaires. Second, 2 years later, a time-lagged survey was conducted on 119 employees who worked at the (...) same organization. Hierarchical regression analyses were performed on the collected data from studies 1 and 2. Findings of both studies indicated that ethical leadership resulted in organizational identification slightly more weakly in employees who perceived organizational politics. Drawing on findings, new researches investigating impacts of organizational politics on managerial processes in other organizations may be conducted in the future. Moreover, organizational leaders, who realized the adverse consequences of organizational politics, may take precautions against such tactics. Finally, findings may be noteworthy, because this research is believed to be the first to investigate empirically the moderating role of organizational politics in the association between ethical leadership and employees’ organizational identification. (shrink)

A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the biological sciences, mechanistic, structuralist, and historical explanations are part-whole explanations. Each expresses different norms, explananda, and aims. Each is associated with a distinct partitioning frame for abstracting kinds of parts. These three explanatory projects can be complemented in order to provide an integrative vision of the whole system, as is shown for a detailed case study: (...) the tetrapod limb. My diagnosis of part-whole explanation in the biological sciences as well as in other domains exploring evolved, complex, and integrated systems (e.g., psychology and cognitive science) cross-cuts standard philosophical categories of explanation: causal explanation and explanation as unification. Part-whole explanation is itself one essential aspect of part-whole science. (shrink)

Scientists use models to understand the natural world, and it is important not to conflate model and nature. As an illustration, we distinguish three different kinds of populations in studies of ecology and evolution: theoretical, laboratory, and natural populations, exemplified by the work of R.A. Fisher, Thomas Park, and David Lack, respectively. Biologists are rightly concerned with all three types of populations. We examine the interplay between these different kinds of populations, and their pertinent models, in three examples: the notion (...) of “effective” population size, the work of Thomas Park on /Tribolium/ populations, and model-based clustering algorithms such as /Structure/. Finally, we discuss ways to move safely between three distinct population types while avoiding confusing models and reality. (shrink)

Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic), and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for groups of (...) formulas whose top rows differ. For them I provide (i) a tree-style system of ‘row tree proofs’, which is shown to be sound and complete, and (ii) an alternative, re-writing strategy. (shrink)

This article began as a review of a conference, organized by Gerhard Schlosser, entitled “Modularity in Development and Evolution.” The conference was held at, and sponsored by, the Hanse Wissenschaftskolleg in Delmenhorst, Germany in May, 2000. The article subsequently metamorphosed into a literature and concept review as well as an analysis of the differences in current perspectives on modularity. Consequently, I refer to general aspects of the conference but do not review particular presentations. I divide modules into three kinds: structural, (...) developmental, and physiological. Every module fulfills none, one, or multiple functional roles. Two further orthogonal distinctions are important in this context: module-kinds versus module-variants-of-a-kind and reproducer versus nonreproducer modules. I review criteria for individuation of modules and mechanisms for the phylogenetic origin of modularity. I discuss conceptual and methodological differences between developmental and evolutionary biologists, in particular the difference between integration and competition perspectives on individualization and modular behavior. The variety in views regarding modularity presents challenges that require resolution in order to attain a comprehensive, rather than a piecemeal and fragmentary, evolutionary developmental biology. (shrink)

The relation of the special and the general principle of relativity to the principle of covariance, the principle of equivalence and Mach's principle, is discussed. In particular, the connection between Lorentz covariance and the special principle of relativity is illustrated by giving Lorentz covariant formulations of laws that violate the special principle of relativity: Ohm's law and what we call “Aristotle's first and second laws.” An “Aristotelian” universe in which all motion is relative to “absolute space” is considered. The first (...) law: a free particle is at rest. The second law: force is proportional to velocity. Ohm's law: the current density is proportional to the electrical field strength. Neither of these laws fulfills the principle of relativity. The examples illustrate, in the context of Lorentz covariance and special relativity, Kretschmann's critique of founding Einstein's general principle of relativity on the principle of general covariance. A modification of the principle of covariance is suggested, which may serve as a restricted criterium for a physical law to satisfy Einstein's general principle of relativity. Other objections that have been raised to the validity of Einstein's general principle of relativity are based upon the preferred state of inertial frames in the general, as well as in the special theory, the existence of tidal effects in “true” gravitational fields, doubts as to the validity of Mach's principle, whether electromagnetic phenomena obey the principle, and, finally, the anisotropy of the cosmic background radiation. These objections are reviewed and discussed. (shrink)

Darwin's ideas on variation, heredity, and development differ significantly from twentieth-century views. First, Darwin held that environmental changes, acting either on the reproductive organs or the body, were necessary to generate variation. Second, heredity was a developmental, not a transmissional, process; variation was a change in the developmental process of change. An analysis of Darwin's elaboration and modification of these two positions from his early notebooks (1836-1844) to the last edition of the /Variation of Animals and Plants Under Domestication/ (1875) (...) complements previous Darwin scholarship on these issues. Included in this analysis is a description of the way Darwin employed the distinction between transmission and development, as well as the conceptual relationship he saw between heredity and variation. This paper is part of a larger project comparing commitments regarding variation during the latter half of the nineteenth century. (shrink)

August Weismann is famous for having argued against the inheritance of acquired characters. However, an analysis of his work indicates that Weismann always held that changes in external conditions, acting during development, were the necessary causes of variation in the hereditary material. For much of his career he held that acquired germ-plasm variation was inherited. An irony, which is in tension with much of the standard twentieth-century history of biology, thus exists – Weismann was not a Weismannian. I distinguish three (...) claims regarding the germ-plasm: (1) its continuity, (2) its morphological sequestration, and (3) its variational sequestration. With respect to changes in Weismann’s views on the cause of variation, I divide his career into four stages. For each stage I analyze his beliefs on the relative importance of changes in external conditions and sexual reproduction as causes of variation in the hereditary material. Weismann believed, and Weismannism denies, that variation, heredity, and development were deeply intertwined processes. This article is part of a larger project comparing commitments regarding variation during the latter half of the nineteenth century. (shrink)

Reification is to abstraction as disease is to health. Whereas abstraction is singling out, symbolizing, and systematizing, reification is neglecting abstractive context, especially functional, historical, and analytical-level context. William James and John Dewey provide similar and nuanced arguments regarding the perils and promises of abstraction. They share an abstraction-reification account. The stages of abstraction and the concepts of “vicious abstractionism,” “/the/ psychologist’s fallacy,” and “the philosophic fallacy” in the works of these pragmatists are here analyzed in detail. For instance, in (...) 1896 Dewey exposes various fallacies associated with reifying dualistic reflex arc theory. The conclusion prescribes treatments (pluralism and assumption archaeology) for de-reifying ill models (i.e., universalized, narrowed, and ontologized models) in contemporary scientific fields such as cognitive science and biology. (shrink)

The complex gestures of artwork remain an under-explored theoretical topos in contemporary visual culture studies. In our turbulent mediasphere where images are constantly mobilized to enact symbolic forms of warfare and where they get entangled in all kinds of cultural conflicts and controversies, a turn to the gestural life of images promises a particularly pertinent avenue of intellectual inquiry. As both a cultural phenomenon and a philosophical concept, the notion of gesture straddles several disciplines, such as anthropology, linguistics, performance, theater, (...) film and visual studies. In this volume, contributors ask: How may one speak not only of the gestures of the body but also of the gestures of the image? What constitutes gesturality in the image and, more broadly, what are the gestures of the aesthetic itself? By thinking about images within this conceptual framework, this volume seeks to renew our understanding of the image. (shrink)

All eyes are turned towards genomic data and models as the source of knowledge about whether human races exist or not. Will genomic science make the final decision about whether racial realism (e.g., racial population naturalism) or anti-realism (e.g., racial skepticism) is correct? We think not. We believe that the results of even our best and most impressive genomic technologies underdetermine whether bio-genomic races exist, or not. First, different sub-disciplines of biology interested in population structure employ distinct concepts, aims, measures, (...) and models, producing cross-cutting categorizations of population subdivisions rather than a single, universal bio-genomic concept of "race." Second, within each sub-discipline (e.g., conservation biology, phylogenetics), genomic results are consistent with, and map multiply to, racial realism and anti-realism. Indeed, racial ontologies are constructed conventionally, rather than discovered. We thus defend a /constructivist conventionalism/ about bio-genomic racial ontology. Choices and conventions must always be made in identifying particular kinds of groups. Political agendas, social programs, and moral questions premised on the existence of naturalistic race must accept that no scientifically grounded racial ontology is forthcoming, and adjust presumptions, practices, and projects accordingly. (shrink)

Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...) full expressive power of first-order logic with identity, I show that this is true of logic more generally. Furthermore, having, in a logical theory, non-trivial valid forms that do not involve logical terms is not merely a technical possibility. As the case of adverbs shows, issues about the range of argument forms logic should countenance can quite naturally arise in such a way that they do not turn on whether we countenance certain terms as logical. (shrink)

This article proposes a way of blocking the zombie argument against materialism. The central idea—which can be motivated in various ways, but which I will motivate by drawing on recent work by Wolfgang Schwarz—is that sentences reporting conscious experience are modally inert, roughly in the sense that adding them to a description of a metaphysically possible scenario always results in a description of a metaphysically possible scenario. This is notable in that it leads to a way of blocking the zombie (...) argument, which is perfectly compatible with modal rationalism and with the view that conceivability entails possibility. (shrink)

There is a line of thought, neglected in recent philosophy, according to which a priori knowable truths such as those of logic and mathematics have their special epistemic status in virtue of a certain tight connection between their meaning and their truth. Historical associations notwithstanding, this view does not mandate any kind of problematic deflationism about meaning, modality or essence. On the contrary, we should be upfront about it being a highly debatable metaphysical idea, while nonetheless insisting that it be (...) given due consideration. From this standpoint, I suggest that the Finean distinction between essence and modality allows us to refine the view. While liberal about meaning, modality and essence, the view is not without bite: it is reasonable to suppose that it is able to ward off philosophical confusions stemming from the undue assimilation of a priori to empirical knowledge. (shrink)

Analytical categories of scientific cultures have typically been used both exclusively and universally. For instance, when styles of scientific research are employed in attempts to understand and narrate science, styles alone are usually employed. This article is a thought experiment in interweaving categories. What would happen if rather than employ a single category, we instead investigated several categories simultaneously? What would we learn about the practices and theories, the agents and materials, and the political-technological impact of science if we analyzed (...) and applied styles, paradigms, and models simultaneously? I address these questions in general and for a specific case study: a brief history of systematics. (shrink)

This paper is about two controversial inference-patterns involving counterfactual or subjunctive conditionals. Given a plausible assumption about the truth-conditions of counterfactuals, it is shown that one can't go wrong in applying hypothetical syllogism (i.e., transitivity) so long as the set of worlds relevant for the conclusion is a subset of the sets of worlds relevant for the premises. It is also shown that one can't go wrong in applying antecedent strengthening so long as the set of worlds relevant for the (...) conclusion is a subset of that for the premise. These results are then adapted to Lewis's theory of counterfactuals. (shrink)