The goal of the present paper is to construct a formal explication of the pluralistic ignorance explanation of the bystander effect. The social dynamics leading to inaction is presented, decomposed, and modeled using dynamic epistemic logic augmented with ‘transition rules’ able to characterize agent behavior. Three agent types are defined: First Responders who intervene given belief of accident; City Dwellers, capturing ‘apathetic urban residents’ and Hesitators, who observe others when in doubt, basing subsequent decision on social proof. It is shown (...) how groups of the latter may end in a state of pluralistic ignorance leading to inaction. Sequential models for each agent type are specified, and their results compared to empirical studies. It is concluded that only the Hesitator model produces reasonable results. (shrink)

Hintikka’s Knowledge and Belief from 1962 is considered the seminal treatise on epistemic logic. It provides the nuts and bolts of what is now a flourishing paradigm of significance to philosophy, economics, mathematics and theoretical computer science—in theory as well as practice. And in theory and for practice epistemic logic has been extensively articulated, refined and developed especially with respect to capturing the dynamics of reasoning about knowledge. But although the robust narrative about Hintikka’s epistemic logic is rather static, the (...) leap to dynamic epistemic logic is right there back in 1962 as this paper will show. (shrink)

Threshold models and their dynamics may be used to model the spread of ‘behaviors’ in social networks. Regarding such from a modal logical perspective, it is shown how standard update mechanisms may be emulated using action models – graphs encoding agents’ decision rules. A small class of action models capturing the possible sets of decision rules suitable for threshold models is identified, and shown to include models characterizing best-response dynamics of both coordination and anti-coordination games played on graphs. We conclude (...) with further aspects of the action model approach to threshold dynamics, including broader applicability and logical aspects. Hereby, new links between social network theory, game theory and dynamic ‘epistemic’ logic are drawn. (shrink)

This thesis is on information dynamics modeled using *dynamic epistemic logic*. It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. The introduction situates DEL in the field of formal epistemology, exemplifies its use and summarizes the main contributions of the papers.Paper I models the information dynamics of the *bystander effect* from social psychology. It shows how augmenting the standard (...) machinery of DEL with a decision making framework yields mathematically self-contained models of dynamic processes, a prerequisite for rigid model comparison.Paper II extrapolates from Paper I's construction, showing how the augmentation and its natural peers may be construed as maps. It argues that under the restriction of dynamics produced by DEL dynamical systems still falls a collection rich enough to be of interest. Paper III compares the approach of Paper II with *extensional protocols*, the main alternative augmentation to DEL. It concludes that both have benefits, depending on application. In favor of the DEL dynamical systems, it shows that extensional protocols designed to mimic simple, DEL dynamical systems require infinite representations. Paper IV focuses on *topological dynamical systems*. It argues that the *Stone topology* is a natural topology for investigating logical dynamics as, in it, *logical convergence* coinsides with topological convergence. It investigates the recurrent behavior of the maps of Papers II and III, providing novel insigths on their long-term behavior, thus providing a proof of concept for the approach.Paper V lays the background for Paper IV, starting from the construction of metrics generalizing the Hamming distance to infinite strings, inducing the Stone topology. It shows that the Stone topology is unique in making logical and topological convergens coinside, making it the natural topology for logical dynamics. It further includes a metric-based proof that the hitherto analyzed maps are continuous with respect to the Stone topology. Paper VI presents two characterization theorems for the existence of *reduction laws*, a common tool in obtaining complete dynamic logics. In the compact case, continuity in the Stone topology characterizes existence, while a strengthening is required in the non-compact case. The results allow the recasting of many logical dynamics of contemporary interest as topological dynamical systems. (shrink)

We take a logical approach to threshold models, used to study the diffusion of opinions, new technologies, infections, or behaviors in social networks. Threshold models consist of a network graph of agents connected by a social relationship and a threshold value which regulates the diffusion process. Agents adopt a new behavior/product/opinion when the proportion of their neighbors who have already adopted it meets the threshold. Under this diffusion policy, threshold models develop dynamically towards a guaranteed fixed point. We construct a (...) minimal dynamic propositional logic to describe the threshold dynamics and show that the logic is sound and complete. We then extend this framework with an epistemic dimension and investigate how information about more distant neighbors’ behavior allows agents to anticipate changes in behavior of their closer neighbors. Overall, our logical formalism captures the interplay between the epistemic and social dimensions in social networks. (shrink)

In a recent paper, Christian List has argued for the compatibilism of free will and determinism. Drawing on a distinction between physical possibility and agential possibility, List constructs a formal two-level model in which the two concepts are consistent. This paper's first contribution is to show that though List's model is formally consistent, philosophically it falls short of establishing a satisfactory compatibilist position. Ensuingly, an analysis of the shortcomings of the model leads to the identification of a controversial epistemological assumption (...) implicit in the statements of both compatibilist and incompatibilist positions. Arguing that this assumption is not currently satisfied, the paper's second contribution is to show that neither the compatibilist nor the incompatibilist position is presently well-founded. (shrink)

We take a logical approach to threshold models, used to study the diffusion of e.g. new technologies or behaviors in social net-works. In short, threshold models consist of a network graph of agents connected by a social relationship and a threshold to adopt a possibly cascading behavior. Agents adopt new behavior when the proportion of their neighbors who have already adopted it meets the threshold. Under this adoption policy, threshold models develop dynamically with a guaranteed fixed point. We construct a (...) minimal dynamic propositional logic to describe the threshold dynamics and show that the logic is sound and complete. We then extend this framework with an epistemic dimension and investigate how information about more distant neighbors’ behaviors allows agents to anticipate changes in behavior of their closer neighbors. It is shown that this epistemic prediction dynamics is equivalent to the non-epistemic threshold model dynamics if and only if agents know exactly their neighbors’ behavior. We further show results regarding fixed points and convergence speed,and provide a partial set of reduction laws, venues for further research, and graphical representations of the dynamics. (shrink)

The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We show maps induced by action (...) model transformations continuous with respect to the Stone topology and present results on the recurrent behavior of said maps. (shrink)

In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic, called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal (...) comparison with the only other formal protocol framework in dynamic epistemic logic, namely the extensional ‘DEL protocols’. The paper concludes with a conceptual comparison, highlighting modeling tasks where DEL dynamical systems are natural. (shrink)

The paper introduces a broad family of metrics applicable to finite and countably infinite strings, or, by extension, to formal structures serving as semantics for countable languages. The main focus is on applications to sets of pointed Kripke models, a semantics for modal logics. For the resulting metric spaces, the paper classifies topological properties including which metrics are topologically equivalent, providing sufficient conditions for compactness, characterizing clopen sets and isolated points, and characterizing the metrical topologies by a concept of logical (...) convergence. We then apply the approach to maps from dynamic epistemic logic, showing that product updates with action models yield continuous maps, hence allowing for an interpretation of the iterated updates as discrete time dynamical systems. (shrink)

When information grows abundant, attention becomes a scarce resource. As a result, agents must plan wisely how to allocate their attention in order to achieve epistemic efficiency. Here, we present a framework for multi-agent epistemic planning with attention, based on Dynamic Epistemic Logic. We identify the framework as a fragment of standard DEL, and consider its plan existence problem. While it is undecidable in the general case, we show that when attention is required for learning, all instances of the problem (...) are decidable. (shrink)

In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic (DEL), called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a (...) formal comparison with the only other formal protocol framework in dynamic epistemic logic, namely the extensional ‘DEL protocols’. The paper concludes with a conceptual comparison, highlighting modeling tasks where DEL dynamical systems are natural. (shrink)

It has become a truism that we live in so-called information societies where new information technologies have made information abundant. At the same time, information science has made us aware of many phenomena tied to the way we process information. This article explores a series of socio-epistemic information phenomena resulting from processes that track truth imperfectly: pluralistic ignorance, informational cascades, and belief polarization. It then couples these phenomena with the hypothesis that modern information technologies may lead to their amplification so (...) as to give rise to what are called “infostorms.” This points to the need for studying further the exact relations between information technologies and such infostorms, as well as the ways we may design technologies to avoid being misled away from what we have good reasons to believe. (shrink)

The European Summer School in Logic, Language and Information is organized every year by the Association for Logic, Language and Information in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. The 16 papers presented in this volume have (...) been selected among 44 papers presented by talks or posters at the Student Sessions of the 24th and 25th editions of ESSLLI, held in 2012 in Opole, Poland, and 2013 in Düsseldorf, Germany. The papers are extended versions of the versions presented, and have all been subjected to a second round of blind peer review. (shrink)

The European Summer Schools in Logic, Language and Information (ESSLLI) have been organised every year since 1989 under the auspices of the Association for Logic, Language and Information (FoLLI) in different cities around Europe. The 24th European Summer School in Logic, Language and Information (ESSLLI 2012) took place at the University of Opole, Poland, during August 6-17, 2012. The organisation committee was chaired by Janusz Czelakowski and Urszula Wybraniec-Skardowska (Institute of Mathematics and Informatics, University of Opole) and the programme committee (...) was chaired by Andreas Herzig (University of Toulouse and CNRS). During two weeks, over 340 participants from 36 countries were offered a rich academic program of their choice from 9 foundational, 16 introductory and 17 advanced courses and 6 workshops. Just as in the previous years, the 17th conference on Formal Grammar collocated with ESSLLI. Besides the regular courses, a traditional highlight of the summer school were the 4 evening lectures by distinguished academics: - Johan van Benthem (Institute for Logic, Language & Computation (ILLC), Amsterdam and Department of Philosophy, Stanford University), "Computation as Agency''; - Melvin Fitting (Department of Mathematics and Computer Science, City University of New York), "Reasoning About Games''; - Jonathan Ginzburg (UFR Études anglophones, Université Paris-Diderot (Paris 7)), "False starts, jokes, and music:semantics in the 21st century''; - Adam Przepiórkowski (Institute of Computer Science, Polish Academy of Sciences, Warsaw), "Secret life of corpora''. Another traditional event was the student session, organised by a student programme committee chaired by Rasmus K. Rendsvig (University of Copenhagen): master and doctoral students presented 16 papers and 5 posters, and Michał Zawidzki obtained the best paper award and Raul Fervari obtained the best poster award. Moreover, the Beth Dissertation Prizes were announced at the FoLLI General Meeting and went to Andreas Kapsner (University of Barcelona) and Daniel R. Licata (Carnegie Mellon University). Apart from the busy academic programme, participants of the summer school were offered an exciting social program as well. In addition to the traditional ESSLLI Party and the famous Students vs. Lecturers Soccer Match (also called `Johan van Benthem Cup'), kayaking, and excursions to Kraków and Wrocław were offered. -/- . (shrink)

Seit fast 200 Jahren wird Clausewitz gelesen und interpretiert. Rasmus Beckmann erschließt seine Kriegstheorie den modernen Sozialwissenschaften. Dabei wird deutlich, dass sich Clausewitz keineswegs auf zwischenstaatliche Kriege beschränkt hat. Auch die asymmetrischen Kriege kann man durch seine Theorie besser analysieren und verstehen. Dies zeigt der Autor am Beispiel des Afghanistankrieges.

As biobank research has become increasingly widespread within biomedical research, study-specific consent to each study, a model derived from research involving traditional interventions on human subjects, has for the sake of feasibility gradually given way to alternative consent models which do not require consent for every new study. Besides broad consent these models include tiered, dynamic, and meta-consent. However, critics have pointed out that it is normally not known at the time of enrolment in what ways samples deposited in a (...) biobank may be used in future research and that, for a consent to be informed, exactly this kind of knowledge is required. Therefore, there is an ongoing debate about the ethical acceptability of going for less than study-specific consent. In light of this debate we address the question of how to best protect participants against relevant risks and violations of autonomy. We apply the central aims of the informed consent process to the unique circumstances of biobank research where samples and data in many cases are stored for long periods of time and reused in subsequent studies. Thereby we are able to formulate a set of criteria focusing both on the risk of informational harm and the potential violation of participants’ values. We compare existing models of consent based on their ability to satisfy the criteria, and we find that the broad consent model offers the best level of protection for participants, although, it suffers from a few important deficiencies with regards to protection against participant value violations and long-term protection of autonomy, if it is applied without qualifications. For this reason, we propose modifications to the current broad consent model, in order to ensure that it provides protection of autonomy and participant values through strong ethical review and continuous communication. We conclude that a modified form of broad consent is ethically superior in biobank research, not only because it is most feasible but primarily because it offers the best available protection against the hazards facing research subjects in this form of research. (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)

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)

The dangers of character reification for cladistic inference are explored. The identification and analysis of characters always involves theory-laden abstraction—there is no theory-free “view from nowhere.” Given theory-ladenness, and given a real world with actual objects and processes, how can we separate robustly real biological characters from uncritically reified characters? One way to avoid reification is through the employment of objectivity criteria that give us good methods for identifying robust primary homology statements. I identify six such criteria and explore each (...) with examples. Ultimately, it is important to minimize character reification, because poor character analysis leads to dismal cladograms, even when proper phylogenetic analysis is employed. Given the deep and systemic problems associated with character reification, it is ironic that philosophers have focused almost entirely on phylogenetic analysis and neglected character analysis. (shrink)

I argue that Merleau-Ponty’s use of the case of Schneider in his arguments for the existence of non-conconceptual and non-representational motor intentionality contains a problematic methodological ambiguity. Motor intentionality is both to be revealed by its perspicuous preservation and by its contrastive impairment in one and the same case. To resolve the resulting contradiction I suggest we emphasize the second of Merleau-Ponty’s two lines of argument. I argue that this interpretation is the one in best accordance both with Merleau-Ponty’s general (...) methodology and with the empirical case of Schneider as it was described by Gelb and Goldstein. (shrink)

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.

Naturalized metaphysics questions the epistemic legitimacy of the traditional methods of metaphysics and proposes that a metaphysics motivated by science will do better. The veracity of these two core commitments of naturalized metaphysics have been much debated over to last two decades. Instead of continuing this debate, this thesis investigates from a methodological perspective what follows if one takes these two claims for granted. The thesis argues (1) that, despite claims to the contrary, naturalized metaphysics has no resources with which (...) to answer the concerns that the logical positivists had about metaphysics; (2) that naturalized metaphysics – contrary to what might be expected – is hospitable to certain kinds of resistance to science from metaphysicians; (3) that naturalized metaphysics cannot both be a genuine exercise in metaphysics and inherit the epistemic legitimacy of science; and (4) that even the naturalized metaphysics of fundamental science could have consequences for social ontology. In addition to these concrete interventions, the thesis gives a comprehensive account of the foundational claims of naturalized metaphysics including how they relate to those of other naturalisms and other recent trends in metametaphysics such as neo-Carnapian metaphysics. (shrink)

These notes take their starting point in the question posed by Lawrence Vogel: “Does environmental ethics need a metaphysical grounding?” and answers this question negatively. It is argued that Hans Jonas’ Das Prinzip Verantwortung does not come to an adequate understanding of the historical relation between metaphysics and technology, and that Jonas consequently fails to appreciate the specific role played by environmentalism within this relation. It is also argued that this specific role is more easily understandable if resources present in (...) the work of Martin Heidegger concerning the above mentioned relation are employed. Whereas Jonas conceptualizes environmental ethics as a force to counter the reign of technology, Heidegger’s analysis of the essence of technology lends itself much more readily to an account of environmentalism which sees it as a maturation process within technology itself. Through this account, it becomes clear why environmental ethics never actually needed a metaphysical grounding, and why the strategy of industrial ecology marks a healthy step beyond the moralstrategy envisioned by Jonas. (shrink)

G. A. Cohen argues that egalitarians should compensate for expensive tastes or for the fact that they are expensive. Ronald Dworkin, by contrast, regards most expensive tastes as unworthy of compensation — only if a person disidentifies with his own such tastes (i.e. wishes he did not have them) is compensation appropriate. Dworkinians appeal, inter alia, to the so-called ‘first-person’ or ‘continuity’ test. According to the continuity test, an appropriate standard of interpersonal comparison reflects people's own assessment of their relative (...) standing: Person A can only legitimately demand compensation from person B if he regards himself as worse off, all things considered, than B. The typical bearer of expensive tastes does not regard herself as being worse off than others with less expensive tastes. Hence, in the typical case, pace Cohen, compensation for expensive tastes is inappropriate. The article scrutinizes this rationale for not compensating for expensive tastes. Especially, we try to bolster the continuity test by relating it to Dworkin's distinction between integrated and detached values, pointing out that an argument for the continuity test can be built on the assumption that equality has integrated value. In brief, the point is that a metric of equality should be assessed, partly, in virtue of its consequences for related ideals. One of these is the kind of justificatory community promoted by the continuity test. We defend this view against an objection to the effect that equality is a detached value. We conclude that the continuity test constitutes a strong foothold for the resourcist egalitarian reluctance to compensate people for their expensive tastes. (shrink)

Levins and Lewontin have contributed significantly to our philosophical understanding of the structures, processes, and purposes of biological mathematical theorizing and modeling. Here I explore their separate and joint pleas to avoid making abstract and ideal scientific models ontologically independent by confusing or conflating our scientific models and the world. I differentiate two views of theorizing and modeling, orthodox and dialectical, in order to examine Levins and Lewontin’s, among others, advocacy of the latter view. I compare the positions of these (...) two views with respect to four points regarding ontological assumptions: (1) the origin of ontological assumptions, (2) the relation of such assumptions to the formal models of the same theory, (3) their use in integrating and negotiating different formal models of distinct theories, and (4) their employment in explanatory activity. Dialectical is here used in both its Hegelian–Marxist sense of opposition and tension between alternative positions and in its Platonic sense of dialogue between advocates of distinct theories. I investigate three case studies, from Levins and Lewontin as well as from a recent paper of mine, that show the relevance and power of the dialectical understanding of theorizing and modeling. (shrink)

This paper introduces and examines the prospects of the recent research in a holographic relation between entanglement and spacetime pioneered by Mark van Raamsdonk and collaborators. Their thesis is that entanglement in a holographic quantum state is crucial for connectivity in its spacetime dual. Utilizing this relation, the paper develops a thought experiment that promises to probe the nature of spacetime by monitoring the behavior of a spacetime when all entanglement is removed between local degrees of freedom in its dual (...) quantum state. The thought experiment suggests a picture of spacetime as consisting of robust nodes that are connected by non-robust bulk spacetime that is sensitive to changes in entanglement in the dual quantum state. However, rather than pursuing the thought experiment in further detail, the credibility of the relation between spacetime and entanglement in this zero entanglement limit is questioned. The energy of a quantum system generally increases when all entanglement is removed between subsystems, and so does the energy of its spacetime dual. If a system is subdivided into an infinite number of subsystems and all entanglement between them is removed, then the energy of the quantum system and the energy of its spacetime dual are at risk of diverging. While this is a prima facie worry for the thought experiment, it does not constitute a conclusive refutation. (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)

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)

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)

Paradoxically, explorers of the territory of consciousness seem to be studying consciousness out of existence, from inside the field of "consciousness studies". How? Through their love of the phenomenon/process, they have developed powerful single models or lenses through which to understand consciousness. But in doing so, they also seek to destroy the other /equally useful/ lenses. Our opportunity lies in halting the vendettas and cross-speakings/cross-fire. The imploration is to stop the dichotomous thinking and pernicious reification of single models, and instead (...) search for divisions of labor, complementarities, and legitimate redescriptions among the various extant models. In other words, what would happen if we reimagined the conceptual classifications of the various models of consciousness, classifications based on general philosophical dichotomies (e.g., representational/non-representational and individualist/non-individualist), as a variety of compatible and even complementary perspectives on the same complex phenomenon and process? What would happen if rather than dig in our heels vis-à-vis our favorite theory of consciousness, at the exclusion of all the others, we saw our perceived enemy as an actual, indeed necessary, friend-in-waiting? What would it take to see a battlefield as a collaborative opportunity, to see a promising pluralism rather than an endless state space of conflict? (shrink)

A. W. F. Edwards is one of the most influential mathematical geneticists in the history of the discipline. One of the last students of R. A. Fisher, Edwards pioneered the statistical analysis of phylogeny in collaboration with L. L. Cavalli-Sforza, and helped establish Fisher's concept of likelihood as a standard of statistical and scientific inference. In this book, edited by philosopher of science Rasmus Grønfeldt Winther, Edwards's key papers are assembled alongside commentaries by leading scientists, discussing Edwards's influence on (...) their own research and on thinking in their field overall. In an extensive interview with Winther, Edwards offers his thoughts on his contributions, their legacy, and the context in which they emerged. This book is a resource both for anyone interested in the history and philosophy of genetics, statistics, and science, and for scientists seeking to develop new algorithmic and statistical methods for understanding the genetic relationships between and among species both extant and extinct. (shrink)

Recent contributions in moral philosophy have raised questions concerning the prevalent assumption that moral judgments are typologically discrete, and thereby distinct from ordinary and/or other types of judgments. This paper adds to this discourse, surveying how attempts at defining what makes moral judgments distinct have serious shortcomings, and it is argued that any typological definition is likely to fail due to certain questionable assumptions about the nature of judgment itself. The paper concludes by raising questions for future investigations into the (...) nature of moral judgment. (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)

There has been a recent interest in hierarchical generalizations of classic incompleteness results. This paper provides evidence that such generalizations are readily obtainable from suitably formulated hierarchical versions of the principles used in the original proofs. By collecting such principles, we prove hierarchical versions of Mostowski’s theorem on independent formulae, Kripke’s theorem on flexible formulae, Woodin’s theorem on the universal algorithm, and a few related results. As a corollary, we obtain the expected result that the formula expressing “$\mathrm {T}$is$\Sigma _n$-ill” (...) is a canonical example of a$\Sigma _{n+1}$formula that is$\Pi _{n+1}$-conservative over$\mathrm {T}$. (shrink)

There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, and physiology, which are (...) examples of compositional biology, are in serious need of philosophical attention. For example, the very concept of a "part" is understudied in both philosophy of biology and philosophy of science. ;My dissertation is an attempt to clarify the distinction between formal biology and compositional biology and, in so doing, provide a clear philosophical analysis, with case studies, of compositional biology. Given the social, economic, and medical importance of compositional biology, understanding it is urgent. For my investigation, I draw on the philosophical fields of metaphysics and epistemology, as well as philosophy of biology and philosophy of science. I suggest new ways of thinking about some classic philosophy of science issues, such as modeling, laws of nature, abstraction, explanation, and confirmation. I hint at the relevance of my study of two kinds of biological theorizing to debates concerning the disunity of science. (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)

Let$\left\langle {{W_n}:n \in \omega } \right\rangle$be a canonical enumeration of recursively enumerable sets, and supposeTis a recursively enumerable extension of PA (Peano Arithmetic) in the same language. Woodin (2011) showed that there exists an index$e \in \omega$(that depends onT) with the property that if${\cal M}$is a countable model ofTand for some${\cal M}$-finite sets,${\cal M}$satisfies${W_e} \subseteq s$, then${\cal M}$has an end extension${\cal N}$that satisfiesT+We=s.Here we generalize Woodin’s theorem to all recursively enumerable extensionsTof the fragment${{\rm{I}\rm{\Sigma }}_1}$of PA, and remove the countability restriction (...) on${\cal M}$whenTextends PA. We also derive model-theoretic consequences of a classic fixed-point construction of Kripke (1962) and compare them with Woodin’s theorem. (shrink)

This article examines the prosody and sequential organisation of repeats in French talk-in-interaction. Repeats in French are used for initiating repair, as well as for registering receipt. I show for two sequential contexts – after first pair parts and after second pair parts – that the action import of the repeat depends on its prosodic design; prosody allows participants to differentiate between repair-initiating and receipt-registering repeats. While questioning repeats make a response conditionally relevant, registering repeats do not – however, they (...) do not preclude a response either. Registering repeats are sometimes responded to with confirmation tokens, and sometimes not; when produced, such responses are a contingent possibility rather than an expectable second pair part. In the selection and design of confirmation tokens, participants distinguish between solicited and volunteered confirmations. The article relates these findings to prior research on repetition and sequence organisation in French and also in English, Russian and Finnish. (shrink)

In this essay, I undertake a critical phenomenological exposition of the conditions of ethical community as they present themselves in the light of the Anthropocene. I begin by approaching the present human condition by following Arendt in her considerations of what more recently has been termed the Anthropocene. I will take her notion of the process character of action as a lodestar in a so-called anarcheological reading of Aristotle that opens for a thinking of unbounded possibility and unbounded affinity and (...) that shows how Aristotle’s ethics, like so many other ethical and moral theories, is really a project of metaphysical closure in the face of the poignantly sensed, but theoretically marginalized, anarchic apertures of communitary life. To prepare for an ethics capable of perpetually affirming, rather than closing off, these anarchic apertures of the human condition, I bring the insights won in the anarcheological reading of Aristotle into conversation with accounts of the ethical responses presented by the Native American nation of the Crow towards the end of the 19th century, when they – in a sense not-dissimilar to what we now experience in the Anthropocene – faced the end of the world. I conclude by extracting from this some elements for a thinking of ethics at the end of worlds that affirms the unbounded apertures of human community. (shrink)