It is a common criticism of presentism – the view according to which only the present exists – that it errs against truthmaker theory. Recent attempts to resolve the truthmaker objection against presentism proceed by restricting truthmaker maximalism (the view that all truths have truthmakers), maintaining that propositions concerning the past are not made true by anything, but are true nonetheless. Support for this view is typically garnered from the case for negative existential propositions, which some philosophers contend are exceptions (...) to truthmaker maximalism. In this article, we argue that a ‘no truthmakers’ approach to the truthmaker objection is critically flawed. (shrink)

This paper argues that everyday practices crucial for ensuring politically engaged citizens such as sharing news articles or deliberating about potential laws can also be responsible for undermining the state’s efforts to publicize the law. Theorists view publicity—a requirement that laws should be public and accessible—as having crucial normative and practical importance in liberal democracy and, more broadly, in ensuring the rule of law. Due to egalitarian concerns, laws are often long, complex, and specific to ensure that street-level bureaucrats exercise (...) low levels of discretion in applying the law. This—what I deem the institutional publicity problem—means that the law is so inaccessible that busy, everyday citizens must turn to third-party sources to understand policymaking. These intermediaries often make mistakes promulgating the law. Misinformation is hard to counteract, and pre-existing beliefs affect information acceptance. This all represents a behavioral publicity problem: morally and legally permissible actions can complicate and undermine reasonable efforts of citizens to learn about the law. I argue that the state is caught between a rock and a hard place. While there are benefits to having the state fight against misinformation, it also raises serious concerns about democratic engagement. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

We prove that the problem of determining the minimum propositional proof length is NP- hard to approximate within a factor of 2 log 1 - o(1) n . These results are very robust in that they hold for almost all natural proof systems, including: Frege systems, extended Frege systems, resolution, Horn resolution, the polynomial calculus, the sequent calculus, the cut-free sequent calculus, as well as the polynomial calculus. Our hardness of approximation results usually apply to proof length measured either by (...) number of symbols or by number of inferences, for tree-like or dag-like proofs. We introduce the Monotone Minimum (Circuit) Satisfying Assignment problem and reduce it to the problems of approximation of the length of proofs. (shrink)

Time is woven into the fabric of our lives. Everything we do, we do in and across time. It is not just that our lives are stretched out in time, from the moment of birth to the moment of our death. It is that our lives are stories. We make sense of ourselves, today, by understanding who we were yesterday, and the day before, and the day before that; by understanding what we did and why we did it. Our memories (...) shape our present selves, since we are the product of who we were, and who we remember being. Yet who we are lasts for but a moment. It is who we will be that demands attention. We are forever projecting ourselves into the future. We painstakingly plan for the needs of our future selves, all the while knowing that while what we do will make those future selves who they are, still, our future selves are elusive. So it is not simply that we happen to live our lives in time, the way, say, one might happen to live in Australia, or Singapore. It is hard to fathom how things could be otherwise. What would it be to live a life without time? Yet time itself is intangible. Though we are keenly aware of what has been ‒ of pain and loss, regret and pride ‒ and of what might be ‒ of anticipation, and dread, and longing ‒ time itself seems unaffected by anything we do. Though we can anticipate a future birthday cake, time itself cannot be tasted. Though we can dread a future dentist’s appointment, time itself cannot be touched. Though we remember the crunching of leaves this past autumn, time itself cannot be heard. How can it be that something so central to each of us, to who we are, and what we care about, can be so spectral? What, in the end, is time? Is time real, like a substance in which each of us, like insects in amber, finds ourselves trapped? Is time a dimension through which we can move? Is time not a thing at all, but some connection between events? If time is real, what is it like? Does it flow like a river, taking each of us prisoner in its current, washing us ever closer to the end of our lives? Is time like a cresting wave, coming ever closer to each of us from the future, engulfing us, and then receding into the past? Or is time static? Like a one-way road that each of us might wander, with no chance to turn back? Or perhaps time is like none of these things. Perhaps time is more like space; something we can navigate freely, so that we can visit different times just like we visit different places. Perhaps we can we travel in time the way we can travel in space. These questions, and many more, are the focus of this book. Now, you might wonder what philosophers are doing writing a book about time. Surely that’s a job for physicists! It is true: a great deal of what we know about time stems from our understanding of physics. However, even in physics we find that there are questions about time that go unanswered. Moreover, increasingly, physicists are turning to philosophers for help in understanding the role that time plays in current physical theories. Our goal is to get the reader up to speed on some of the central issues that influence our understanding of time so that they too may play a role in this ongoing discussion between science and philosophy. We hope that in doing so it will become clear what philosophy can bring to the study of time. There is a natural narrative in philosophy regarding the study of time, and we have chosen to organise this book according to that narrative. However, the book may also be approached in a ‘choose-your-own adventure’ spirit. While later chapters build on material introduced in earlier chapters, you can skip around, reading the book in any order you choose. For the instructor, this means that she can design her course around this book in any number of ways, depending on the particular topic she wishes to focus on. (shrink)

Presentism faces a serious challenge from truthmaker theory. Standard solutions to the truthmaker objection against presentism proceed in one of two ways. Easy road presentists invoke new entities to satisfy the requirements of truthmaker theory. Hard road presentists, by contrast, flatly refuse to give in to truthmaker demands. Recently, a third way has been proposed. This response seeks to address the truthmaking problem by tensing our truthmaker principles. These views, though intuitive, are under-developed. In this paper, I get serious about (...) a fundamentally tensed approach to truthmaking by sketching out the underlying ontological picture needed to make sense of tensed truthmaker theory. (shrink)

In this paper, I will present and advocate a view about what we are doing when we attribute delusion, namely, say that someone is delusional. It is an “expressivist” view, roughly analogous to expressivism in meta-ethics. Just as meta-ethical expressivism accounts for certain key features of moral discourse, so does this expressivism account for certain key features of delusion attribution. And just as meta-ethical expressivism undermines factualism about moral properties, so does this expressivism, if correct, show that certain attempts to (...) objectively define delusion are misguided. I proceed as follows. I start by examining different attempts at defining delusion, separating broadly psychiatric attempts from epistemic ones. I then present a change of approach, according to which we question whether the term “delusion” is in the business of (merely) describing reality. I then support this proposal, first, by borrowing standard lines of argument from meta-ethics (including ontological reluctance, intrinsic motivation, and deep disagreement) but also, by inference to the best explanation of some the features we see when we try to theorise about delusion (namely that it is hard to define, and that our delusion attributions are elicited by a plurality of norms). (shrink)

Number Nativism is the view that humans innately represent precise natural numbers. Despite a long and venerable history, it is often considered hopelessly out of touch with the empirical record. I argue that this is a mistake. After clarifying Number Nativism and distancing it from related conjectures, I distinguish three arguments which have been seen to refute the view. I argue that, while popular, two of these arguments miss the mark, and fail to place pressure on Number Nativism. Meanwhile, a (...) third argument is best construed as a challenge: rather than refuting Number Nativism, it challenges its proponents to provide positive evidence for their thesis and show that this can be squared with apparent counterevidence. In response, I introduce psycholinguistic work on The Tolerance Principle (not yet considered in this context), propose that it is hard to make sense of without positing precise and innate representations of natural numbers, and argue that there is no obvious reason why these innate representations couldn’t serve as a basis for mature numeric conception. (shrink)

Jerry Fodor wrote the following assessment of Danto’s importance in 1993: “Danto has done something I’ve been very much wanting to do: namely, reconsider some hard problems in aesthetics in the light of the past 20 years or so of philosophical work on intentionality and representation” (Fodor 1993, p. 41). Fodor is absolutely right: some of Danto’s work could be thought of as the application of some influential ideas about perception that Fodor also shared. The problem is that these ideas (...) have turned out to be false. Both Danto and Fodor are modularist: they both think that perception is an encapsulated process that is in no way influenced by any kind of non-perceptual processing (see, e.g., Fodor 1983, Pylyshyn 1984). Many of Danto’s famous and influential arguments rely very directly on this modularist assumption. There is now, however, a wealth of evidence against modularism of the strong kind held to by Danto and Fodor. We now know that perceptual experience is not determined entirely by the retinal input: our visual processing is influenced at various point in a top-down manner. What we know and what kinds of visual stimuli we have encountered previously deeply influence how the retinal input is processed. The empirical literature on this is vast and conclusive (for an overview, see Teufel and Nanay 2017 but see also the references in the last section of this paper). What does this mean for Danto’s views on art and perception? While one of Danto’s premises may turn out to be false, the history and examples he gave are valuable and bear repeating. Even more importantly, Danto’s aesthetics can in part be separated out from his modularism, leading us to draw slightly different but arguably even more interesting conclusions from famous thought experiments such as the Gallery of Indiscernibles. (shrink)

Presentism faces a familiar objection from truthmaker theory. How can propositions about the past be made true if past entities do not exist? In answering this question, there are, broadly, two roads open to the presentist. The easy road to presentism proceeds by capitulating to the demands imposed by truthmaker theory and finding truthmakers for claims about the past. This road typically involves the invocation of controversial metaphysical posits that must then be defended. The hard road to presentism resists the (...) demands of truthmaker theory by denying that all truths must be truth-made. The road is hard as it requires providing a principled restriction on the scope of truthmaker theory. In this paper, I argue that the hard road collapses back into the easy road; there is no hard road to presentism. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...) as “almost countable”. This reduction of the uncountable to the finite/countable turns out to have a considerable logical and computational cost: we show that the aforementioned lemmas, and many related theorems, are extremely hard to prove, while the associated sub-covers are extremely hard to compute. Indeed, in terms of the standard scale (based on comprehension axioms), a proof of these lemmas requires at least the full extent of second-order arithmetic, a system originating from Hilbert–Bernays’ Grundlagen der Mathematik. This observation has far-reaching implications for the Grundlagen’s spiritual successor, the program of Reverse Mathematics, and the associated Gödel hierarchy. We also show that the Cousin lemma is essential for the development of the gauge integral, a generalization of the Lebesgue and improper Riemann integrals that also uniquely provides a direct formalization of Feynman’s path integral. (shrink)

The visual system adapts to a wide range of visual features, from lower-level features like color and motion to higher-level features like causality and, perhaps, number. According to some, adaptation is a strictly perceptual phenomenon, such that the presence of adaptation licenses the claim that a feature is truly perceptual in nature. Given the theoretical importance of claims about adaptation, then, it is important to understand exactly when the visual system does and does not exhibit adaptation. Here, we take as (...) a case study one specific kind of adaptation: visual adaptation to size. Supported by evidence from four experiments, we argue that, despite robust effects of size adaptation in the lab, (1) size adaptation effects are phenomenologically underwhelming (in some cases, hardly appreciable at all), (2) some effects of size adaptation appear contradictory, and difficult to explain given current theories of size adaptation, and (3) prior studies on size adaptation may have failed to isolate size as the adapted dimension. Ultimately, we argue that while there is evidence to license the claim that size adaptation is genuine, size adaptation is a puzzling and poorly understood phenomenon. (shrink)

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. A basic property of Cantor space$2^ $ is Heine–Borel compactness: for any open covering of $2^ $, there is a finite subcovering. A natural question is: How hard is it to compute such a finite subcovering? We make this precise by analysing the complexity of so-called fan functionals that given any $G:2^ \to $, output a (...) finite sequence $\langle f_0, \ldots,f_n \rangle $ in $2^ $ such that the neighbourhoods defined from $\overline {f_i } G\left$ for $i \le n$ form a covering of $2^ $. A basic property of Cantor space in Nonstandard Analysis is Abraham Robinson’s nonstandard compactness, i.e., that every binary sequence is “infinitely close” to a standard binary sequence. We analyse the strength of this nonstandard compactness property of Cantor space, compared to the other axioms of Nonstandard Analysis and usual mathematics.Our study of yields exotic objects in computability theory, while leads to surprising results in Reverse Mathematics. We stress that and are highly intertwined, i.e., our study is holistic in nature in that results in computability theory yield results in Nonstandard Analysis and vice versa. (shrink)

Cantor’s first set theory paper (1874) establishes the uncountability of ${\mathbb R}$. We study this most basic mathematical fact formulated in the language of higher-order arithmetic. In particular, we investigate the logical and computational properties of ${\mathsf {NIN}}$ (resp. ${\mathsf {NBI}}$ ), i.e., the third-order statement there is no injection resp. bijection from $[0,1]$ to ${\mathbb N}$. Working in Kohlenbach’s higher-order Reverse Mathematics, we show that ${\mathsf {NIN}}$ and ${\mathsf {NBI}}$ are hard to prove in terms of (conventional) comprehension axioms, (...) while many basic theorems, like Arzelà’s convergence theorem for the Riemann integral (1885), are shown to imply ${\mathsf {NIN}}$ and/or ${\mathsf {NBI}}$. Working in Kleene’s higher-order computability theory based on S1–S9, we show that the following fourth-order process based on ${\mathsf {NIN}}$ is similarly hard to compute: for a given $[0,1]\rightarrow {\mathbb N}$ -function, find reals in the unit interval that map to the same natural number. (shrink)

Journal of Mathematical Logic, Ahead of Print. We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory [math] is consistent with the conjecture that [math], i.e. some problem that is solvable in non-deterministic exponential time does not have polynomial size circuits. We suggest this is the best currently available evidence for the truth of the conjecture. The same techniques establish the same results with [math] (...) replaced by the class of problems decidable in non-deterministic barely superpolynomial time such as [math]. Additionally, we establish a magnification result on the hardness of proving circuit lower bounds. (shrink)

We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory [Formula: see text] is consistent with the conjecture that [Formula: see text], i.e. some problem that is solvable in non-deterministic exponential time does not have polynomial size circuits. We suggest this is the best currently available evidence for the truth of the conjecture. The same techniques establish the same results with [Formula: see text] replaced (...) by the class of problems decidable in non-deterministic barely superpolynomial time such as [Formula: see text]. Additionally, we establish a magnification result on the hardness of proving circuit lower bounds. (shrink)

We consider whether given a simple, finite description of a group in the form of an algorithm, it is possible to algorithmically determine if the corresponding group has some specified property or not. When there is such an algorithm, we say the property is recursively recognizable within some class of descriptions. When there is not, we ask how difficult it is to detect the property in an algorithmic sense. We consider descriptions of two sorts: first, recursive presentations in terms of (...) generators and relators, and second, algorithms for computing the group operation. For both classes of descriptions, we show that a large class of natural algebraic properties, Markov properties, are not recursively recognizable, indeed they are \-hard to detect in recursively presented groups and \-hard to detect in computable groups. These theorems suffice to give a sharp complexity measure for the detection problem of a number of typical group properties, for example, being abelian, torsion-free, orderable. Some properties, like being cyclic, nilpotent, or solvable, are much harder to detect, and we give sharp characterizations of the corresponding detection problems from a number of them. We give special attention to orderability properties, as this was a main motivation at the beginning of this project. (shrink)

The disagreement between _sākārajñānavādin_s, followers of the theory that cognitions are endowed with a form, and _nirākārajñānavādin_s, who advocate the theory of formless cognitions, is one of the central disagreements in Indian epistemology. This study focuses on the heretofore understudied position of classical and postclassical Sāṃkhya. The view that can be termed representational realism has been traced by me in all extant classical Sāṃkhya texts. According to these texts, the cognitive subject, be it _puruṣa_ or the intellect (_buddhi_), experiences the (...) object not directly but through the object’s form assumed by the cognitive faculties. The main evidence is found in the _Yuktidīpikā_. It explicitly states that all cognitive organs_—_the senses (_buddhīndriya_), _manas_, _ahaṃkāra_, and _buddhi—_ sequentially, one after another_—_take on the form (_ākāra_, _rūpa_) of the cognitive object; that _puruṣa_ experiences the world through the _buddhi_’s forms; and that these forms can only figuratively be ascribed to changeless _puruṣa_. Also noteworthy is that within Brahmanical _darśana_s, the _Yuktidīpikā_ is one of the earliest texts that shows familiarity with the _nirākāra_–_sākāra_ problem; that the _Yuktidīpikā_ mentions the Buddhist opponent’s view that cognitions have the form of their object without trying to refute it; and that this commentary incites the Naiyāyika Bhaṭṭa Jayanta to say that the Sāṃkhya standpoint does not differ much from the _sākārajñānavāda_ of the Buddhists. Though it is hardly possible to definitely identify the Sāṃkhyas as _sākāravādin_s or _nirākāravādin_s, their strong inclination towards the _sākāravāda_ is conspicuous. According to Sāṃkhya, the _buddhi_’s forms (_ākāra_, _rūpa_) become conscious cognitions due to the proximity of _puruṣa_, from which it follows that cognitions are endowed with a form. The postclassical _Sāṃkhyasūtra_ and _Sāṃkhyasūtravṛtti_, which aimed to revive the classical Sāṃkhya system of thought, confirm that the view that cognitions have a form is Sāṃkhyan. (shrink)

The two sons of Eli, Hophni and Phinehas (1 Sam 2:11-36), served along with their father as priests at Shiloh in the tabernacle, where the ark of the covenant was housed (11am 1:3). While in service, Eli’s children became sons of worthlessness (bənȇ-bəliyyaʿal), dishonest, wicked and corrupt, as well as refused to know the Lord (lō’ yāḏə‘û ՚eṯ-ʾădōnāi) and his teachings. They were unrighteous, greedy, intimidating, immoral, and abusive to women at the entrance of the temple (vv. 12-22). Eli did (...) little to correct them, leading to God’s punishment. Some scholars have examined this narrative with Western historical models, lacking African stories, cultures, customs, and experiences, where there are similar incidences of children’s misbehaviors and challenges of their upbringing in the African context. Using an African Biblical Hermeneutical approach with illustrative stories from Zain E. Asher’s memoir, “Where the Children Take Us: How One Family Achieved the Unimaginable,” this work contextually examines 1 Sam 2:11-17, within the theological contexts of the Books of Samuel and Deuteronomistic History (Josh–2 Kings). It compares Obiajulu’s disciplined and trained children (Obinze, Chiwetel, Zain, Kandibe) and the obedient boy, Samuel (vv. 18-22), with the consequences of the blasphemies and corruption of Eli’s children (vv. 11-17). It proposes lessons that no matter how we perform our duties in the church, schools and families, sadness may still come if we neglect to train our children responsibly in righteousness, integrity, hard work, and in the fear of the Lord. (shrink)

Sandra Harding here develops further the themes first addressed in her widely influential book, The Science Question in Feminism, and conducts a compelling analysis of feminist theories on the philosophical problem of how we know what we ...

Feminist epistemologists who attempt to refigure epistemology must wrestle with a number of dualisms. This essay examines the ways Lorraine Code, Sandra Harding, and Susan Hekman reconceptualize the relationship between self/other, nature/culture, and subject/object as they struggle to reformulate objectivity and knowledge.

Worries about scientific objectivity seem never-ending. Social critics and philosophers of science have argued that invocations of objectivity are often little more than attempts to boost the status of a claim, while calls for value neutrality may be used to suppress otherwise valid dissenting positions. Objectivity is used sometimes to advance democratic agendas, at other times to block them; sometimes for increasing the growth of knowledge, at others to resist it. Sandra Harding is not ready to throw out objectivity (...) quite yet. For all of its problems, she contends that objectivity is too powerful a concept simply to abandon. In Objectivity and Diversity, Harding calls for a science that is both more epistemically adequate and socially just, a science that would ask: How are the lives of the most economically and politically vulnerable groups affected by a particular piece of research? Do they have a say in whether and how the research is done? Should empirically reliable systems of indigenous knowledge count as "real science"? Ultimately, Harding argues for a shift from the ideal of a neutral, disinterested science to one that prizes fairness and responsibility. (shrink)

In the mid-1970s and early 1980s, several feminist theorists began developing alternatives to the traditional methods of scientific research. The result was a new theory, now recognized as Standpoint Theory, which caused heated debate and radically altered the way research is conducted. The Feminist Standpoint Theory Reader is the first anthology to collect the most important essays on the subject as well as more recent works that bring the topic up-to-date. Leading feminist scholar and one of the founders of Standpoint (...) Theory, Sandra Harding brings together the a prestigious list of scholars--Dorothy Smith, Donna Haraway, Patricia Hill Collins, Nancy Hartsock and Hilary Rose--to not only showcase the most influential essays on the topic but to also highlight subsequent developments of these approaches from a wide variety of disciplines and intellectual and political positions. The Reader will be essential reading for feminist scholars. (shrink)

Recent "gender, environment, and sustainable development" accounts raise pointed questions about the complicity of Enlightenment philosophies of science with failures of Third World development policies and the current environmental crisis. The strengths of these analyses come from distinctive ways they link androcentric, economistic, and nature-blind aspects of development thinking to "the Enlightenment dream." In doing so they share perspectives with and provide resources for other influential schools of science studies.

BackgroundImplementation of recommendations from clinical practice guidelines is essential for evidence based clinical practice. However, the most effective methods of implementation are unclear. We conducted a national, cluster-randomised, blinded implementation trial to determine if midwife or doctor local implementation leaders are more effective in implementing a guideline for use of oral dextrose gel to treat hypoglycaemic babies on postnatal wards. To prevent any conscious or unconscious performance bias both the doctor and midwife local implementation leaders were kept unaware of the (...) trial. This paper reports the ethical dilemmas and practical challenges of ensuring clinicians remained unaware of their involvement in an implementation trial.MethodsWe sought approval from the National Health and Disability Ethics committee to keep clinicians unaware of the trial by waiving the standard requirement for locality approval usually required for each district health board. The ethics committee did not approve a waiver of consent but advised that we approach the chief executive of each district health board to ask for provisional locality approval. Ultimately it was necessary to seek ethics approval for three separate study designs to keep clinicians unaware of the trial.ResultsThe median time for chief executive approval was 16 days and for locality approval was 57 days. We completed 21 different locality approval forms for 27 hospitals.ConclusionsKeeping clinicians unaware of their involvement in a national implementation cluster-randomised trial is feasible. However, despite a national ethics committee, significant logistical challenges were time consuming and delayed trial completion. Co-ordination of the locality approval process would help facilitate multi-centre trials. (shrink)

In _Sciences from Below_, the esteemed feminist science studies scholar Sandra Harding synthesizes modernity studies with progressive tendencies in science and technology studies to suggest how scientific and technological pursuits might be more productively linked to social justice projects around the world. Harding illuminates the idea of multiple modernities as well as the major contributions of post-Kuhnian Western, feminist, and postcolonial science studies. She explains how these schools of thought can help those seeking to implement progressive social projects (...) refine their thinking to overcome limiting ideas about what modernity and modernization are, the objectivity of scientific knowledge, patriarchy, and Eurocentricity. She also reveals how ideas about gender and colonialism frame the conventional contrast between modernity and tradition. As she has done before, Harding points the way forward in _Sciences from Below_. Describing the work of the post-Kuhnian science studies scholars Bruno Latour, Ulrich Beck, and the team of Michael Gibbons, Helga Nowtony, and Peter Scott, Harding reveals how, from different perspectives, they provide useful resources for rethinking the modernity versus tradition binary and its effects on the production of scientific knowledge. Yet, for the most part, they do not take feminist or postcolonial critiques into account. As Harding demonstrates, feminist science studies and postcolonial science studies have vital contributions to make; they bring to light not only the male supremacist investments in the Western conception of modernity and the historical and epistemological bases of Western science but also the empirical knowledge traditions of the global South. _Sciences from Below_ is a clear and compelling argument that modernity studies and post-Kuhnian, feminist, and postcolonial sciences studies each have something important, and necessary, to offer to those formulating socially progressive scientific research and policy. (shrink)

For twenty years, the renowned philosopher of science Sandra Harding has argued that science and technology studies, postcolonial studies, and feminist critique must inform one another. In The Postcolonial Science and Technology Studies Reader, Harding puts those fields in critical conversation, assembling the anthology that she has long wanted for classroom use. In classic and recent essays, international scholars from a range of disciplines think through a broad array of science and technology philosophies and practices. The contributors reevaluate (...) conventional accounts of the West’s scientific and technological projects in the past and present, rethink the strengths and limitations of non-Western societies’ knowledge traditions, and assess the legacies of colonialism and imperialism. The collection concludes with forward-looking essays, which explore strategies for cultivating new visions of a multicultural, democratic world of sciences and for turning those visions into realities. Feminist science and technology concerns run throughout the reader and are the focus of several essays. Harding provides helpful background for each essay in her introductions to the reader’s four sections. Contributors Helen Appleton Karen Bäckstrand Lucille H. Brockway Stephen B. Brush Judith Carney Committee on Women, Population, and the Environment Arturo Escobar Maria E. Fernandez Ward H. Goodenough Susantha Goonatilake Sandra Harding Steven J. Harris Betsy Hartmann Cori Hayden Catherine L. M. Hill John M. Hobson Peter Mühlhäusler Catherine A. Odora Hoppers Consuelo Quiroz Jenny Reardon Ella Reitsma Ziauddin Sardar Daniel Sarewitz Londa Schiebinger Catherine V. Scott Colin Scott Mary Terrall D. Michael Warren. (shrink)

In this pioneering new book, Sandra Harding and Robert Figueroa bring together an important collection of original essays by leading philosophers exploring an extensive range of diversity issues for the philosophy of science and technology. The essays gathered in this volume extend current philosophical discussion of science and technology beyond the standard feminist and gender analyses that have flourished over the past two decades, by bringing a thorough and truly diverse set of cultural, racial, and ethical concerns to bear (...) on questioning in these areas. Science and Other Cultures charts important new directions in ongoing discussions of science and technology, and makes a significant contribution to both scholarly and teaching resources available in the field. (shrink)

Despite its centrality in the philosophy of cognitive science, there has been little prior philosophical work engaging with the notion of representation in contemporary NLP practice. This paper attempts to fill that lacuna: drawing on ideas from cognitive science, I introduce a framework for evaluating the representational claims made about components of neural NLP models, proposing three criteria with which to evaluate whether a component of a model represents a property and operationalising these criteria using probing classifiers, a popular analysis (...) technique in NLP (and deep learning more broadly). The project of operationalising a philosophically-informed notion of representation should be of interest to both philosophers of science and NLP practitioners. It affords philosophers a novel testing-ground for claims about the nature of representation, and helps NLPers organise the large literature on probing experiments, suggesting novel avenues for empirical research. (shrink)

Previous research indicates that students in engineering self-report cheating in college at higher rates than those in most other disciplines. Prior work also suggests that participation in one deviant behavior is a reasonable predictor of future deviant behavior. This combination of factors leads to a situation where engineering students who frequently participate in academic dishonesty are more likely to make unethical decisions in professional practice. To investigate this scenario, we propose the hypotheses that (1) there are similarities in the decision-making (...) processes used by engineering students when considering whether or not to participate in academic and professional dishonesty, and (2) prior academic dishonesty by engineering students is an indicator of future decisions to act dishonestly. Our sample consisted of undergraduate engineering students from two technically-oriented private universities. As a group, the sample reported working full-time an average of six months per year as professionals in addition to attending classes during the remaining six months. This combination of both academic and professional experience provides a sample of students who are experienced in both settings. Responses to open-ended questions on an exploratory survey indicate that students identify common themes in describing both temptations to cheat or to violate workplace policies and factors which caused them to hesitate in acting unethically, thus supporting our first hypothesis and laying the foundation for future surveys having forced-choice responses. As indicated by the responses to forced-choice questions for the engineering students surveyed, there is a relationship between self-reported rates of cheating in high school and decisions to cheat in college and to violate workplace policies; supporting our second hypothesis. Thus, this exploratory study demonstrates connections between decision-making about both academic and professional dishonesty. If better understood, these connections could lead to practical approaches for encouraging ethical behavior in the academic setting, which might then influence future ethical decision-making in workplace settings. (shrink)

What can contemporary machine learning (ML) models do? Given the proliferation of ML models in society, answering this question matters to a variety of stakeholders, both public and private. The evaluation of models' capabilities is rapidly emerging as a key subfield of modern ML, buoyed by regulatory attention and government grants. Despite this, the notion of an ML model possessing a capability has not been interrogated: what are we saying when we say that a model is able to do something? (...) And what sorts of evidence bear upon this question? -/- In this paper, we aim to answer these questions, using the capabilities of large language models (LLMs) as a running example. Drawing on the large philosophical literature on abilities, we develop an account of ML models' capabilities which can be usefully applied to the nascent science of model evaluation. Our core proposal is a conditional analysis of model abilities (CAMA): crudely, a machine learning model has a capability to X just when it would reliably succeed at doing X if it 'tried'. The main contribution of the paper is making this proposal precise in the context of ML, resulting in an operationalisation of CAMA applicable to LLMs. We then put CAMA to work, showing that it can help make sense of various features of ML model evaluation practice, as well as suggest procedures for performing fair inter-model comparisons. (shrink)

Explores what the last few decades of European/American, feminist, and postcolonial science and technology studies can learn from each other. This book proposes new directions for thinking about objectivity, method, and reflexivity in light of the new understandings developed in the post-World War II world.

Appearing in the feminist social science literature from its beginnings are a series of questions about methodology. In this collection, Sandra Harding interrogates some of the classic essays from the last fifteen years in order to explore the basic and troubling questions about science and social experience, gender, and politics.

In a recent letter, Dillion et. al (2023) make various suggestions regarding the idea of artificially intelligent systems, such as large language models, replacing human subjects in empirical moral psychology. We argue that human subjects are in various ways indispensable.

"The classic and recent essays gathered here will challenge scholars in the natural sciences, philosophy, sociology, anthropology, and women’s studies to examine the role of racism in the construction and application of the sciences. Harding... has also created a useful text for diverse classroom settings." —Library Journal "A rich lode of readily accessible thought on the nature and practice of science in society. Highly recommended." —Choice "This is an excellent collection of essays that should prove useful in a wide (...) range of STS courses." —Science, Technology, and Society "... important and provocative... "—The Women’s Review of Books "The timeliness and utility of this large interdisciplinary reader on the relation of Western science to other cultures and to world history can hardly be overemphasized. It provides a tremendous resource for teaching and for research... "—Ethics "Excellent." —The Reader’s Review "Sandra Harding is an intellectually fearless scholar. She has assembled a bold, impressive collection of essays to make a volume of illuminating power. This brilliantly edited book is essential reading for all who seek understanding of the multicultural debates of our age. Never has a book been more timely." —Darlene Clark Hine These authors dispute science’s legitimation of culturally approved definitions of race difference—including craniology and the measurement of IQ, the notorious Tuskegee syphilis experiments, and the dependence of Third World research on First World agendas. (shrink)

Where the old objectivity question asked, Objectivity or relativism: which side are you on?, the new one refuses this choice, seeking instead to bypass widely recognized problems with the conceptual framework that restricts the choices to these two. It asks, How can the notion of objectivity be updated and made useful for contemporary knowledge-seeking projects? One response to this question is the strong objectivity program that draws on feminist standpoint epistemology to provide a kind of logic of discovery for maximizing (...) our ability to block might makes right in the sciences. It does so by delinking the neutrality ideal from standards for maximizing objectivity, since neutrality is now widely recognized as not only not necessary, not only not helpful, but, worst of all, an obstacle to maximizing objectivity when knowledge-distorting interests and values have constituted a research project. Strong objectivity provides a method for correcting this kind of situation. However, standpoint approaches have their own limitations which are quite different from the misreadings of them upon which most critics have tended to focus. Unfortunately, historically limited epistemologies and philosophies of science are all we get to choose from at this moment in history. (shrink)

The field of AI safety seeks to prevent or reduce the harms caused by AI systems. A simple and appealing account of what is distinctive of AI safety as a field holds that this feature is constitutive: a research project falls within the purview of AI safety just in case it aims to prevent or reduce the harms caused by AI systems. Call this appealingly simple account The Safety Conception of AI safety. Despite its simplicity and appeal, we argue that (...) The Safety Conception is in tension with at least two trends in the ways AI safety researchers and organizations think and talk about AI safety: first, a tendency to characterize the goal of AI safety research in terms of catastrophic risks from future systems; second, the increasingly popular idea that AI safety can be thought of as a branch of safety engineering. Adopting the methodology of conceptual engineering, we argue that these trends are unfortunate: when we consider what concept of AI safety it would be best to have, there are compelling reasons to think that The Safety Conception is the answer. Descriptively, The Safety Conception allows us to see how work on topics that have historically been treated as central to the field of AI safety is continuous with work on topics that have historically been treated as more marginal, like bias, misinformation, and privacy. Normatively, taking The Safety Conception seriously means approaching all efforts to prevent or mitigate harms from AI systems based on their merits rather than drawing arbitrary distinctions between them. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Life and Writings of Edmond Pezet (1923–2008)Pierre Gillet and Jonathan A. SeitzIn the context of Buddhist-Christian dialogue in Thailand, the life and writings of Fr. Edmond Pezet (1923–2008) are remarkable. He lived among the poor and in a Buddhist monastery, and he also experienced the eremitic life in the forest. According to the Indian Zen master Ama Samy, “Pezet gained an intimate experience and knowledge of Buddhism by (...) living with Thai monks.” Here I introduce a recent Society of the Auxiliaries of the Mission (SAM)1 work that offers a biography and some writings of Edmond Pezet, Edmond Pezet, a Priest among Buddhist Monks in Thailand.2This publication is a collection of various writings of Edmond Pezet: correspondence and nine articles published in various magazines in French, Thai, and English. It has been edited by Henri Huysegoms, a Zen practitioner in Japan for the last forty-five years, and Pierre Liesse, an activist who worked for a couple of years in Thailand. These authors have been impressed by two characteristics of Pezet. First, because he was born in a very poor family in rural France, Pezet identified himself with poor people working hard to earn their living. Second, he was a very committed scholar who successfully learned to speak English, Thai, Lao, Sanskrit, and Pali.Edmond Pezet did his military service in Vietnam, where he was the helpless wit was the helpless witness of torture committed by his regiment fellows on Vietminh suspects. This led him to return there in the future as a missionary, to compensate for the harm he saw caused to the Vietnamese people. Back in France, he completed his study of theology. In 1947, his father was crushed by a truck in front of his eyes. He managed to combine his study and work on the land to provide for his family’s needs. He served as a priest in the diocese of Cahors (France) for a few years. Afterwards, he joined SAM in Belgium.At the end of 1956, he was sent in the northeastern part of Thailand. Faithful to the objectives of SAM, he wanted to serve the local bishop unconditionally, but he quickly noticed a painful reality. Christians and clergy alike followed “a religion, with a dreamlike heaven, rose-water-scented, as its goal, and, in order to get there without fail, certain ‘tricks,’ recipes, ceremonies and representations accompanied by a goodly number of rags and trimmings, where one cannot very easily see the connection between the two things.”3 He wrote that he was stunned to see the way religion was taught to catechumens. They were asked to assimilate, by memorizing [End Page 195] questions and answers, dogmatic assertions expressed with words borrowed from Sanskrit that nobody understood. This inadequate education went hand in hand with a lack of knowledge of Buddhism, sometimes accompanied by scorn. “The Christians were deliberately uprooted from the spiritual richness and religious experience of their race … especially the clergy! (kept apart from their people from the age of 10 to 27). They were taught to administer on the model of the French parish priest of last century.”4His Thai bishop, to whom he opened his heart, did not see any problem in that situation and advised him to get used to it, but for Pezet it soon became unbearable. In 1970, Pezet’s life took a decisive turn. He went to Bangkok. There, he learned Sanskrit and Buddhism at the university level, and for three years lived in the house of a Buddhist monk, helping him to write introductions to Buddhism for foreigners. It made him discover a world of spiritual wealth he had not suspected.What he learned was not a new doctrine presented as absolute truth, because Buddhism does not present its core teaching that way, but a “doctrine” that is expressed exclusively in existential values, something not to be taught, but experienced. Buddhism, he discovered, does not deal with transcendence, because it does not engage in speculative discussion. In Buddhism, this transcendence can only be perceived in the depth of immanence.In a letter of that time, he noted that his bishop had warned him not... (shrink)

According to a view assumed by many scientists and philosophers of science and standardly found in science textbooks, it is controlled ex perience which provides the basis for distinguishing between acceptable and unacceptable theories in science: acceptable theories are those which can pass empirical tests. It has often been thought that a certain sort of test is particularly significant: 'crucial experiments' provide supporting empiri cal evidence for one theory while providing conclusive evidence against another. However, in 1906 Pierre Duhem argued (...) that the falsification of a theory is necessarily ambiguous and therefore that there are no crucial experiments; one can never be sure that it is a given theory rather than auxiliary or background hypotheses which experiment has falsified. w. V. Quine has concurred in this judgment, arguing that "our statements about the external world face the tribunal of sense experience not indi vidually but only as a corporate body". Some philosophers have thought that the Duhem-Quine thesis gra tuitously raises perplexities. Others see it as doubly significant; these philosophers think that it provides a base for criticism of the foundational view of knowledge which has dominated much of western thought since Descartes, and they think that it opens the door to a new and fruitful way to conceive of scientific progress in particular and of the nature and growth of knowledge in general. (shrink)