This book offers the first comparative account of the changes and stabilities of public perceptions of science within the US, France, China, Japan, and across Europe over the past few decades. The contributors address the influence of cultural factors; the question of science and religion and its influence on particular developments (e.g. stem cell research); and the demarcation of science from non-science as well as issues including the incommensurability versus cognitive polyphasia and the cognitive (in)tolerance of different systems of knowledge.

This article responds to recent debates in critical algorithm studies about the significance of the term “algorithm.” Where some have suggested that critical scholars should align their use of the term with its common definition in professional computer science, I argue that we should instead approach algorithms as “multiples”—unstable objects that are enacted through the varied practices that people use to engage with them, including the practices of “outsider” researchers. This approach builds on the work of Laura Devendorf, Elizabeth Goodman, (...) and Annemarie Mol. Different ways of enacting algorithms foreground certain issues while occluding others: computer scientists enact algorithms as conceptual objects indifferent to implementation details, while calls for accountability enact algorithms as closed boxes to be opened. I propose that critical researchers might seek to enact algorithms ethnographically, seeing them as heterogeneous and diffuse sociotechnical systems, rather than rigidly constrained and procedural formulas. To do so, I suggest thinking of algorithms not “in” culture, as the event occasioning this essay was titled, but “as” culture: part of broad patterns of meaning and practice that can be engaged with empirically. I offer a set of practical tactics for the ethnographic enactment of algorithmic systems, which do not depend on pinning down a singular “algorithm” or achieving “access,” but which rather work from the partial and mobile position of an outsider. (shrink)

In this paper, we argue that Midjourney—a generative AI program that transforms text prompts into images—should be understood not as an agent or a tool, but as a new type of artistic medium. We first examine the view of Midjourney as an agent, considering whether it could be seen as an artist or co-author. This perspective proves unsatisfactory, as Midjourney lacks intentionality and mental states. We then explore the notion of Midjourney as a tool, highlighting its unpredictability and the limited (...) fine-grained control users have over its outputs, which sets it apart from traditional artistic tools. We propose that creating images with Midjourney parallels a gardener's interaction with natura naturans—nature's autonomous generative processes. Similarly, Midjourney acts as machina naturans, where users engage with its dynamic recalcitrance to influence, but not fully control, the creative process. This approach presents Midjourney as an artistic medium shaped by its inherent unpredictability. (shrink)

The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form a Boolean (...) algebra. We prove without choice principles that any Boolean algebra arises from a special spectral space X via the compact regular open sets of X; these sets may also be described as those that are both compact open in X and regular open in the upset topology of the specialization order of X, allowing one to apply to an arbitrary Boolean algebra simple reasoning about regular opens of a separative poset. Our representation is therefore a mix of Stone and Tarski, with the two connected by Vietoris: the relevant spectral spaces also arise as the hyperspace of nonempty closed sets of a Stone space endowed with the upper Vietoris topology. This connection makes clear the relation between our point-set topological approach to choice-free Stone duality, which may be called the hyperspace approach, and a point-free approach to choice-free Stone duality using Stone locales. Unlike Stone’s representation of Boolean algebras via Stone spaces, our choice-free topological representation of Boolean algebras does not show that every Boolean algebra can be represented as a field of sets; but like Stone’s representation, it provides the benefit of a topological perspective on Boolean algebras, only now without choice. In addition to representation, we establish a choice-free dual equivalence between the category of Boolean algebras with Boolean homomorphisms and a subcategory of the category of spectral spaces with spectral maps. We show how this duality can be used to prove some basic facts about Boolean algebras. (shrink)

In recent years, many qualitative sociologists, anthropologists, and social theorists have critiqued the use of algorithms and other automated processes involved in data science on both epistemological and political grounds. Yet, it has proven difficult to bring these important insights into the practice of data science itself. We suggest that part of this problem has to do with under-examined or unacknowledged assumptions about the relationship between the two fields—ideas about how data science and its critics can and should relate. Inspired (...) by recent work in Science and Technology Studies on interventions, we attempted to stage an encounter in which practicing data scientists were asked to analyze a corpus of critical social science literature about their work, using tools of textual analysis such as co-word and topic modelling. The idea was to provoke discussion both about the content of these texts and the possible limits of such analyses. In this commentary, we reflect on the planning stages of the experiment and how responses to the exercise, from both data scientists and qualitative social scientists, revealed some of the tensions and interactions between the normative positions of the different fields. We argue for further studies which can help us understand what these interdisciplinary tensions turn on—which do not paper over them but also do not take them as given. (shrink)

We review the various factors that limit adaptation by natural selection. Recent discussion of constraints on selection and, conversely, of the factors that enhance “evolvability”, have concentrated on the kinds of variation that can be produced. Here, we emphasise that adaptation depends on how the various evolutionary processes shape variation in populations. We survey the limits that population genetics places on adaptive evolution, and discuss the relationship between disparate literatures. BioEssays 22:1075–1084, 2000. © 2000 John Wiley & Sons, Inc.

In 1995 Visser, van Benthem, de Jongh, and Renardel de Lavalette introduced NNIL-formulas, showing that these are exactly the formulas preserved under taking submodels of Kripke models. In this article we show that NNIL-formulas are up to frame equivalence the formulas preserved under taking subframes of frames, that NNIL-formulas are subframe formulas, and that subframe logics can be axiomatized by NNIL-formulas. We also define a new syntactic class of ONNILLI-formulas. We show that these are the formulas preserved in monotonic images (...) of frames and that ONNILLI-formulas are stable formulas as introduced by Bezhanishvili and Bezhanishvili in 2013. Thus, ONNILLI is a syntactically defined set of formulas axiomatizing all stable logics. This resolves a problem left open in 2013. (shrink)

Many studies find reflective thinking predicts less belief in God or less religiosity — so-called analytic atheism. However, the most widely used tests of reflection confound reflection with ancillary abilities such as numeracy, some studies do not detect analytic atheism in every country, experimentally encouraging reflection makes some non-believers more open to believing in God, and one of the most common sources of online research participants seems to produce lower data quality. So analytic atheism may be less than universal or (...) partially explained by confounding factors. To test this, we developed better measures, controlled for more confounds, and employed more recruitment methods. All four studies detected signs of analytic atheism above and beyond confounds (N > 70,000 people from five of six continental regions). We also discovered analytic apostasy: the better a person performed on reflection tests, the greater their odds of losing their religion since childhood — even when controlling for confounds. Analytic apostasy even seemed to explain analytic atheism: apostates were more reflective than others and analytic atheism was undetected after excluding apostates. Religious conversion was rare and unrelated to reflection, suggesting reflection’s relationships to conversion and deconversion are asymmetric. Detected relationships were usually small, indicating reflective thinking is a reliable albeit marginal predictor of apostasy. (shrink)

In this paper we define the notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, subframe formulas and cofinal subframe formulas, are all particular cases of the frame based formulas. We give a criterion for an intermediate logic to be axiomatizable by frame based formulas and use this criterion to obtain a simple proof that every locally tabular intermediate logic is axiomatizable by Jankov-de Jongh formulas. (...) We also show that not every intermediate logic is axiomatizable by frame based formulas. (shrink)

This is a draft of a chapter of a book that I was writing (in the early 2000s) on the philosophy of spacetime. It responds to Kant's argument of the lone hand, proposing a relational 'fitting' account of handedness. I plan to revise it as a stand-alone paper, but it is deposited now so that a soon to be published paper can cite a public version.

We introduce new algebraic and topological semantics for inquisitive logic. The algebraic semantics is based on special Heyting algebras, which we call inquisitive algebras, with propositional valuations ranging over only the ¬¬-fixpoints of the algebra. We show how inquisitive algebras arise from Boolean algebras: for a given Boolean algebra B, we define its inquisitive extension H(B) and prove that H(B) is the unique inquisitive algebra having B as its algebra of ¬¬-fixpoints. We also show that inquisitive algebras determine Medvedev’s logic (...) of finite problems. In addition to the algebraic characterization of H(B), we give a topological characterization of H(B) in terms of the recently introduced choice-free duality for Boolean algebras using so-called upper Vietoris spaces (UV-spaces). In particular, while a Boolean algebra B is realized as the Boolean algebra of compact regular open elements of a UV-space dual to B, we show that H(B) is realized as the algebra of compact open elements of this space. This connection yields a new topological semantics for inquisitive logic. (shrink)

We show that every proper normal extension of the bi-modal system S5 2 has the poly-size model property. In fact, to every proper normal extension L of S5 2 corresponds a natural number b(L) - the bound of L. For every L, there exists a polynomial P(·) of degree b(L) + 1 such that every L-consistent formula is satisfiable on an L-frame whose universe is bounded by P(||), where || denotes the number of subformulas of . It is shown that (...) this bound is optimal. (shrink)

The purpose of this investigation is to develop a ranking of academic business ethics journals. For this, a revealed preference approach, also known as a citation impact method, was employed. The citation data were generated by using Google Scholar; h-index, g-index and hc-index were utilised to obtain a ranking. It was observed that the scores of these three indices correlated almost perfectly. This study also demonstrates that business ethics is a well-established discipline that should have its own set of recognised (...) academic outlets. (shrink)

I develop a broadly reliabilist theory of non-ideal epistemic rationality and argue that if it is correct we should reject the recently popular idea that the standards of non-ideal epistemic rationality are mere social conventions.

We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n -universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.

We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n-universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.

We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.

We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudomonadic algebras serve as algebraic models of doxastic modal system KD45. The main results of the paper are: Characterization of subdirectly irreducible and simple pseudomonadic algebras, as well as Tokarz's proper filter algebras; Ordertopological representation of pseudomonadic algebras; Complete description of the lattice of subvarieties of the variety of pseudomonadic algebras.

Ethics education remains in high demand in business schools. Meta-analyses published in the last two decades show that ethics instruction with certain characteristics produce more desirable moral outcomes than other characteristics do. Acknowledging the vast accumulated knowledge on this topic, we believe that the existing evidence base could be overwhelming for ethics educators designing and delivering their courses. Thus, we review the research evidence on the effectiveness of ethics instruction and translate the findings into evidence-led best practices. Adopting the meta-science (...) approach and using a model of training evaluation, we synthesized 8 meta-analyses and 3 quantitative reviews that examine the extent to which ethics instruction types, course duration, instructional techniques and activities, and instructor and student characteristics affect the effectiveness of ethics education. We conclude by making specific recommendations to ethics educators who are interested in designing and delivering evidence-based ethics courses. (shrink)

In this essay we attempt to accomplish two things related to the work of G.K. Chesterton. The first is to use one of his favorite ploys to articulate the nature of play. We discuss several paradoxical characteristics of play and attempt to show how seemingly contradictory features actually help us to understand play’s allure and other values. We introduce the second topic of theological analyses of work and play with a review of the Christian literature on these subjects. We then (...) employ Chesterton’s paradoxical theology to see how these two aspects of living might come to life and how people of faith should experience them. (shrink)

What is the relation between moral and natural properties? And how do we conceive of this relation? By ‘moral’ properties I will mean properties such as being evil, just or virtuous or having duties or rights; and by ‘natural’ properties I will mean properties such as psychological, sociological and physical properties.1 Suppose we judge that Queen Isabella of Spain was evil in 1492, or at least that many of her actions in 1492 were evil. Then we do not think that (...) she had various natural properties in 1492  such as being a torturer, a bigot and desiring other’s pain  and by an astounding coincidence she or her actions also had the moral property of evil. Rather, we think that she or her.. (shrink)

Music is elusive. describing it is problematic. In particular its aesthetic properties cannot be captured in literal description. Beyond very simple terms, they cannot be literally described. In this sense, the aesthetic description of music is essentially nonliteral. An adequate aesthetic description of music must have resort to metaphor or other nonliteral devices. I maintain that this is because of the nature of the aesthetic properties being described. I defend this view against an apparently simple objection put by Malcolm Budd. (...) dealing with this objection will take us into some surprising terrain. We are led to consider issues concerning privacy and the language for describing sensations. In the light of these considerations, I develop the essentially nonliteralist thesis and explore some of its consequences. (shrink)

Metaphysics-—the enquiry into the constitution of reality-seems like the very crown of philosophy. What could be more exciting, more important, and more substantive than the pursuit of such a discipline? The majority of philosophers have been content to assume that metaphysics is a viable enterprise; they have held various metaphysical views and engaged in metaphysical arguments. But there has always been a small but persistent maverick minority of philosophers who have cast aspersions on the whole undertaking. Metaphysics, they tell us, (...) cannot be what it seems. There is something desperately wrong at the heart of the discipline. The jewel is a fake; it is in fact worthless glass. Philosophers make a lot of noise about metaphysics, but perhaps there are really no genuine metaphysical issues—only a lot of bogus hot air. Perhaps metaphysics is a meaningless tale told by idiot philosophers—full of sound and fury, signifying nothing. These pessimistic philosophers may have been few, but they rank among their numbers no less than Wittgenstein, the positivists, and perhaps Kant. So the attitude is to be taken seriously. (shrink)

This article describes and analyses the social network of key actors involved in the `inner circle' of the early UK punk movement in London. It is argued that the network and its structural properties are important if we wish to explain both the emergence of the movement and certain key conflicts within it. The article is empirically based and utilizes the methods of formal social network analysis. A further argument of the paper is that the concept of networks and these (...) formal methods for analysing them are both important for a sociological analysis of culture and cultural movements in particular. (shrink)

This two volume works provides a comprehensive history of philosophy in Australia and New Zealand. Volume one provides a chronological history, with one chapter devoted to the early years in which idealism dominated Australasian philosophy, and then chapters that cover each of the decades from the second world war. Volume two provides a thematic history, with treatment of most of the major areas to which Australasian philosophers have made significant contributions.

With the rise of the internet and the proliferation of technology to gather and organize data, our era has been defined as "the information age." With the prominence of information as a research concept, there has arisen an increasing appreciation of the intertwined nature of fields such as logic, linguistics, and computer science that answer the questions about information and the ways it can be processed. The many research traditions do not agree about the exact nature of information. By bringing (...) together ideas from diverse perspectives, this book presents the emerging consensus about what a conclusive theory of information should be. The book provides an introduction to the topic, work on the underlying ideas, and technical research that pins down the richer notions of information from a mathematical point of view. The book contains contributions to a general theory of information, while also tackling specific problems from artificial intelligence, formal semantics, cognitive psychology, and the philosophy of mind. There is focus on the dynamics of information flow, and also a consideration of static approaches to information content; both quantitative and qualitative approaches are represented. (shrink)

L’avenir a besoin d’être construit. Il a été démoli par le capitalisme néolibéral pour être réduit à une promesse à prix réduit d’inégalités croissantes, de conflits et de chaos. L’effondrement de l’idée d’avenir est symptomatique du statut historique régressif de notre époque, bien davantage que d’une maturité sceptique, comme les cyniques essaient de nous le faire croire de tous les bords du champ politique. Il faut casser la coquille de l’avenir une fois encore, pour libérer nos horizons en les ouvrant (...) vers les possibilités universelles du Dehors. (shrink)