Feminism is sensational -- On being directed -- Willfulness and feminist subjectivity -- Trying to transform -- Being in question -- Brick walls -- Fragile connections -- Feminist snap -- Lesbian feminism -- Conclusion 1: A killjoy survival kit -- Conclusion 2: A killjoy manifesto.

The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...) different property theorists in the love literature. However, even this more sophisticated property view falls short in accounting for unrequited love's reasons. In response, I develop a new version of the property view that I call the experiential view. On this view, we love a person not only in virtue of properties shaped by and experienced in a reciprocal loving relationship, but also in virtue of perspectival properties, whose value can be properly assessed also outside of a reciprocal loving relationship. The experiential view is the only view that can account not only for reciprocated love's reasons, but also for unrequited love's reasons. (shrink)

This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) causal (...) counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

Episodic and semantic memory are often taken to be fundamentally different mental systems, and contemporary philosophers often pursue research questions about episodic memory, in particular, in isolation from semantic memory. This paper challenges that assumption, and puts pressure on philosophical approaches to memory that break off episodic memory as its own standalone topic. I present and systematize psychological and neuroscientific theories of semanticization, the thesis that memory content tends to drift from episodic to semantic in structure over time and exposure (...) to an environment. Semanticization, I argue, is a long-term interconnection between episodic and semantic systems that requires approaching both the content and function of these two memory systems as a whole. Thus we have a reason to reject projects by Michael Martin, which aims to carve out a uniquely episodic memory content, and Kourken Michaelian, which pairs episodic memory to its own unique function. Instead, seeing declarative memory as a single system with two facets or even a continuum of features allows for deeper insight into both content and function. (shrink)

The paper suggests that we can usefully approach whiteness through the lens of phenomenology. Whiteness could be described as an ongoing and unfinished history, which orientates bodies in specific directions, affecting how they `take up' space, and what they `can do'. The paper considers how whiteness functions as a habit, even a bad habit, which becomes a background to social action. The paper draws on experiences of inhabiting a white world as a non-white body, and explores how whiteness becomes worldly (...) through the noticeability of the arrival of some bodies more than others. A phenomenology of whiteness helps us to notice institutional habits; it brings what is behind to the surface in a certain way. (shrink)

Proponents of grounding often describe the notion as "metaphysical causation" involving determination and production relations similar to causation. This paper argues that the similarities between grounding and causation are merely superficial. I show that there are several sorts of causation that have no analogue in grounding; that the type of "bringing into existence" that both involve is extremely different; and that the synchronicity of ground and the diachronicity of causation make them too different to be explanatorily intertwined.

Sometimes, we face choices between actions most likely to lead to valuable outcomes, and actions which put us in a better position to learn. These choices exemplify what is called the exploration/exploitation trade-off. In computer science and psychology, this trade-off has fruitfully been applied to modulating the way agents or systems make choices over time. This article extends the trade-off to belief. We can be torn between two ways of believing, one of which is expected to be more accurate in (...) light of current evidence, whereas the other is expected to lead to more learning opportunity and accuracy in the long run. Further, it is sometimes rationally permissible to choose the latter. The article breaks down the features of action which give rise to the trade-off, and then argues that each feature applies equally well to belief. This conclusion is an instance of a systematic, foreseeable way in which what is rational to believe now depends on what one expects to be doing in the future. That is, epistemic rationality fundamentally concerns time. (shrink)

What does it mean to hold a belief? Some of our ways of speaking in English suggest that to hold a belief is to have something in your mind: beliefs are things we acquire, defend, recover, and so on (Abelson, 1986). That is, believing is a matter of being in a state of having a thing. In this paper, I will argue for an alternative: believing is something we do. This is not a new suggestion. For instance, Matthew Boyle (2011) (...) defends a theory of belief as an activity, which he traces back to Aristotle. This paper, however, makes two new contributions: first, I argue for an analogy between belief and planning that fleshes out what it would mean to understand belief as an activity, and second, I aim to show how the resulting view can help sense of a variety of theories in cognitive psychology that suggest cognitive information storage is dynamic and reconstructive. (shrink)

Mental simulation — such as imagining tilting a glass to figure out the angle at which water would spill — can be a way of coming to know the answer to an internally or externally posed query. Is this form of learning a species of inference or a form of observation? We argue that it is neither: learning through simulation is a genuinely distinct form of learning. On our account, simulation can provide knowledge of the answer to a query even (...) when the basis for that answer is opaque to the learner. Moreover, through repeated simulation, the learner can reduce this opacity, supporting self-training and the acquisition of more accurate models of the world. Simulation is thus an essential part of the story of how creatures like us become effective learners and knowers. (shrink)

In "Changing the Past" (2010), Peter van Inwagen argues that a time traveler can change the past without paradox in a growing block universe. After erasing the portion of past existence that generates paradox, a new, non-paradox-generating block can be "grown" after the temporal relocation of the time traveler. -/- I articulate and explore the underlying mechanism of Van Inwagen's model: the time traveler's control over the location of the objective present. Van Inwagen's model is aimed at preventing paradox by (...) changing the past, but it achieves something broader than paradox avoidance: it gives tools for a new model of time travel. I use van Inwagen's tools to develop a new kind of time travel in which in which the location of the objective present is shifted by the time traveler. I call this type of time travel Movable Objective Present, or MOP. After defining MOP, I argue that it is compatible with any theory of time that accepts hypertime, including presentism and moving spotlight theory. (shrink)

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...) consequence relations, with which we can maintain uniqueness in a bilateralist setting. (shrink)

The increasing application of network models to interpret biological systems raises a number of important methodological and epistemological questions. What novel insights can network analysis provide in biology? Are network approaches an extension of or in conflict with mechanistic research strategies? When and how can network and mechanistic approaches interact in productive ways? In this paper we address these questions by focusing on how biological networks are represented and analyzed in a diverse class of case studies. Our examples span from (...) the investigation of organizational properties of biological networks using tools from graph theory to the application of dynamical systems theory to understand the behavior of complex biological systems. We show how network approaches support and extend traditional mechanistic strategies but also offer novel strategies for dealing with biological complexity. (shrink)

This paper aims to reconfigure the place of memory in epistemology. I start by rethinking the problem that memory systems solve; rather than merely functioning to store information, I argue that the core function of any memory system is to support accurate and relevant retrieval. This way of specifying the function of memory has consequences for which structures and mechanisms make up a memory system. In brief, memory systems are modeling systems. This means that they generate, update and manage a (...) series of overlapping, simplified, relational representations that map out features of the world. Succeeding at building and maintaining models requires the kind of active knowledge generation traditionally associated only with deliberative reasoning. (shrink)

Many philosophers hypothesize that our concept of personal identity is partly constituted by the one-person-one-place rule, which states that a person can only be in one place at a time. This hypothesis has been assumed by the most influential contemporary work on personal identity. In this paper, we report a series of studies testing whether the hypothesis is true. In these studies, people consistently judged that the same person existed in two different places at the same time. This result undermines (...) some widely held philosophical assumptions, supports others, and fits well with recent discoveries on identity judgments about inanimate objects and non-human animals. (shrink)

Evolutionary systems biology (ESB) aims to integrate methods from systems biology and evolutionary biology to go beyond the current limitations in both fields. This article clarifies some conceptual difficulties of this integration project, and shows how they can be overcome. The main challenge we consider involves the integration of evolutionary biology with developmental dynamics, illustrated with two examples. First, we examine historical tensions between efforts to define general evolutionary principles and articulation of detailed mechanistic explanations of specific traits. Next, these (...) tensions are further clarified by considering a recent case from another field focused on developmental dynamics: stem cell biology. In the stem cell case, incompatible explanatory aims block integration. Experimental approaches aim at mechanistic explanation while dynamical system models offer explanation in terms of general principles. We then discuss an ESB case in which integration succeeds: search for general attractors using a dynamical systems framework synergizes with the experimental search for detailed mechanisms. Contrasts between the positive and negative cases suggest general lessons for achieving an integrated understanding of developmental and evolutionary dynamics. The key integrative move is to acknowledge two complementary aims, both relevant to explanation: identifying the space of possible dynamic states and trajectories, and mechanistic understanding of causal interactions underlying a specific phenomenon of interest. These two aims can support one another in a joint project characterizing dynamic aspects of evolving lineages. This more inclusive project can lead to insights that cannot be reached by either approach in isolation. (shrink)

Theories of causation grounded in counterfactual dependence face the problem of profligate omissions: numerous irrelevant omissions count as causes of an outcome. A recent purported solution to this problem is proportionality, which selects one omission among many candidates as the cause of an outcome. This paper argues that proportionality cannot solve the problem of profligate omissions for two reasons. First: the determinate/determinable relationship that holds between properties like aqua and blue does not hold between negative properties like not aqua and (...) not blue. Negative properties are those at stake in omissive causation. Second: proportionality misconstrues the nature of the problem to be solved. (shrink)

We have no interest whatever in minimizing the continuing history of racist, sexist, homophobic, or otherwise abusive biologisms, or the urgency of their exposure, that has made the gravamen of so many contemporary projects of critique. At the same time, we fear — with installation of an automatic antibiologism as the unshifting tenet of `theory' — the loss of conceptual access to an entire thought-realm. I was left wondering what danger had been averted by the exclusion of biology. What does (...) the nominative `biological or anatomical body' actually refer to? And what secures the separation of its inadmissible matter from the proper purview of Irigaray's textual interventions? When I asked a question to this effect it was met with a certain nervous comprehension. Deciding, perhaps, that I must still be immersed in a precritical understanding of the body, the speaker dismissed me with a revealing theatrical gesture. As if to emphasize the sheer absurdity of my question she pinched herself and commented `Well I don't mean this body'. And so it seemed with a gesture so matter of fact that it required no further comment, the fact of matter was both decided and dispatched. Feminism has been as deeply implicated in routinized antiessentialism as any of our critical procedures. Even though questions of `the body' have become increasingly fashionable in all manner of feminist projects, the schedule of feminism's antibiologism has been little altered. In most of these projects on `the body', the body in question is pursued in its socially, experientially, or psychically constituted forms, but rarely in its physiologically, biochemically, or microbiologically constituted form, the idea of biological construction having been rendered either unintelligible or naive. Despite an avowed interest in the body, there is a persistent distaste for biological detail. These feminist theories have usually been reluctant to engage with biological data: they retain, and encourage, the fierce antibiologism that marked the emergence of second wave feminism. That feminist scholars are particularly prone to a `knee jerk constructivism' helps explain the reluctance of those in the humanities to engage seriously with the claims of science. This book functions primarily as a reminder to social, political, and cultural theorists, particularly those interested in feminism, antiracism and questions of the politics of globalisation, that they have forgotten a crucial dimension of research, if not necessary to, then certainly useful for more incisively formulating the concepts on which they so heavily, if implicitly rely. It is written as a remembrance of what we have forgotten — not just the body, but that which makes it possible and which limits its actions: the precarious, accidental, contingent, expedient, striving, dynamic status of life in a messy, complicated, resistant, brute world of materiality, a world regulated by the exigencies, the forces, of space and time. We have forgotten the nature, the ontology, of the body, the conditions under which bodies are encultured, psychologized, given identity, historical location, and agency. We have forgotten where we come from. (shrink)

A comprehensive examination of Kristeva's work from the seventies to the nineties.

Design thinking in general, and optimality modeling in particular, have traditionally been associated with adaptationism—a research agenda that gives pride of place to natural selection in shaping biological characters. Our goal is to evaluate the role of design thinking in non-evolutionary analyses. Specifically, we focus on research into abstract design principles that underpin the functional organization of extant organisms. Drawing on case studies from engineering-inspired approaches in biology we show how optimality analysis, and other design-related methods, play a specific methodological (...) role that is tangential to the study of adaptation. To account for the role of these reasoning strategies in contemporary biology, we therefore suggest a reevaluation of the connection between design thinking and adaptationism. (shrink)

This article examines ‘collective feelings’ by considering how ‘others’ create impressions on the surfaces of bodies. Rather than considering ‘collective feeling’ as ‘fellow feeling’ or in terms of feeling ‘for’ the collective, the article suggests that how we respond to others in intercorporeal encounters creates the impression of a collective body. In other words, how we feel about others is what aligns us with a collective, which paradoxically ‘takes shape’ only as an effect of such alignments. The article considers different (...) examples of racism in which a particular other is held in place by being aligned with other others. The ‘moment of contact’ is shaped by past histories of contact, which allows the proximity of a racial other to be perceived as threatening, at the same time as it re-shapes the bodies in the contact zone of the encounter. Feelings rehearse associations that are already in place, in the way in which they ‘read’ the proximity of others, at the same time as they establish the ‘truth’ of the reading. The article extends its analysis by showing that bodily proximity is not required to create the impressions of others, and offers an analysis of ‘collective feelings’ within virtual communities of global nomads. Proximity does not require physical co-presence: the collective can ‘surface’ through giving up on local attachments (where the screen becomes a substitute for the skin). The article concludes that collective feelings are not feelings that the collective ‘has’, as if the collective was a subject. Rather the collective is an effect of the impressions left by others on the surfaces of skins. (shrink)

People often answer why-questions with what we call experiential explanations: narratives or stories with temporal structure and concrete details. In contrast, on most theories of the epistemic function of explanation, explanations should be abstractive: structured by general relationships and lacking extraneous details. We suggest that abstractive and experiential explanations differ not only in level of abstraction, but also in structure, and that each form of explanation contributes to the epistemic goals of individual learners and of science. In particular, experiential explanations (...) support mental simulation and survive transitions across background theories; as a result, they support learning and help us translate between competing frameworks. Experiential explanations play an irreducible role in human cognition – and perhaps in science. (shrink)

This paper argues that so-called “trumping preemption” is in fact overdetermination or early preemption, and is thus not a distinctive form of redundant causation. I draw a novel lesson from cases thought to be trumping: that the boundary between preemption and overdetermination should be reconsidered.

In this paper, I ask whether there is a defensible philosophical view according to which everybody is beautiful. I review two purely aesthetical versions of this claim. The No Standards View claims that everybody is maximally and equally beautiful. The Multiple Standards View encourages us to widen our standards of beauty. I argue that both approaches are problematic. The former fails to be aspirational and empowering, while the latter fails to be sufficiently inclusive. I conclude by presenting a hybrid ethical–aesthetical (...) view according to which everybody is beautiful in the sense that everybody can be perceived through a loving gaze. I show that this view is inclusive, aspirational and empowering, and authentically aesthetical. (shrink)

We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus $\mathtt{SC2Int}$ for the bi-intuitionistic logic $\mathtt{2Int}$. A distinctive feature of $\mathtt{SC2Int}$ is that it makes use of two kind of sequents, one representing proofs, the other representing refutations. The structural rules of $\mathtt{SC2Int}$, in particular its cut rules, are shown to be admissible. Next, interaction rules are defined that allow transitions from proofs to refutations, and vice versa, mediated through (...) two different negation connectives, the well-known implies-falsity negation and the less well-known coimplies-truth negation of $\mathtt{2Int}$. By assuming that the interaction rules have no impact on the identity of derivations, the concept of inherited identity between derivations in $\mathtt{SC2Int}$ is introduced and the notions of positive and negative synonymy of formulas are defined. Several examples are given of distinct formulas that are either positively or negatively synonymous. It is conjectured that the two conditions cannot be satisfied simultaneously. (shrink)

Where do values live in thought? A straightforward answer is that we (or our brains) make decisions using explicit value representations which are our values. Recent work applying reinforcement learning to decision-making and planning suggests that more specifically, we may represent both the instrumental expected value of actions as well as the intrinsic reward of outcomes. In this paper, I argue that identifying value with either of these representations is incomplete. For agents such as humans and other animals, there is (...) another place where reward can be located in thought: the division of the space of possibilities or ‘state space’. (shrink)

I argue for the view that envy and jealousy are distinct emotions, whose crucial difference is that envy involves a perception of lack while jealousy involves a perception of loss. I start by noting the common practice of using ‘envy’ and ‘jealousy’ almost interchangeably, and I contrast it with the empirical evidence that shows that envy and jealousy are distinct, albeit similar and often co-occurring, emotions. I then argue in favor of a specific way of understanding their distinction: the view (...) that envy is a response to a perceived lack of a valuable object, while jealousy is a response to a perceived loss of a valuable object. I compare such a view with the most compelling alternative theories, and show that it accounts better for paradigmatic cases. I conclude by showing how the lack vs. loss model can handle complications: ambiguous cases, that is, when it is epistemically unclear whether one experiences lack or loss; hybrid cases, that is, when one seems to experience both lack and loss; and borderline cases, that is, when it is metaphysically unclear whether one experiences lack or loss. (shrink)

Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...) is found. The method is a synthesis of a generation of calculi with internalized relational semantics, a Tait–Schütte–Takeuti style completeness proof, and procedures to finitize the countermodel construction. Finitizations for intuitionistic propositional logic are obtained through the search for a minimal derivation, through pruning of infinite branches in search trees by means of a suitable syntactic counterpart of semantic filtration, or through a proof-theoretic embedding into an appropriate provability logic. A number of examples illustrates the method, its subtleties, challenges, and present scope. (shrink)

A classic and fraught question in the philosophy of film is this: when you watch a film, do you experience yourself in the world of the film, observing the scenes? In this paper, we argue that this subject of film experience is sometimes a mere impersonal viewpoint, sometimes a first-personal but unindexed subject, and sometimes a particular, indexed subject such as the viewer herself or a character in the film. We first argue for subject pluralism: there is no single answer (...) to the question of what kind of subjectivity, if any, is mandated across film sequences. Then, we defend unindexed subjectivity: at least sometimes, films mandate an experience that is first-personal but not tied to any particular person, not even to the viewer. Taken together, these two theses allow us to see film experience as more varied than previously appreciated and to bridge in a novel way the cognition of film with the exercise of other imaginative capacities, such as mindreading and episodic recollecting. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

We appreciate Chapman and colleagues’ (2025) advocacy for revising the Common Rule to address the downstream effects of data-centric research, particularly the potential for group harms such as sti...

In recent years, the philosophical focus of the modeling literature has shifted from descriptions of general properties of models to an interest in different model functions. It has been argued that the diversity of models and their correspondingly different epistemic goals are important for developing intelligible scientific theories. However, more knowledge is needed on how a combination of different epistemic means can generate and stabilize new entities in science. This paper will draw on Rheinberger’s practice-oriented account of knowledge production. The (...) conceptual repertoire of Rheinberger’s historical epistemology offers important insights for an analysis of the modelling practice. I illustrate this with a case study on network modeling in systems biology where engineering approaches are applied to the study of biological systems. I shall argue that the use of multiple means of representations is an essential part of the dynamic of knowledge generation. It is because of – rather than in spite of – the diversity of constraints of different models that the interlocking use of different epistemic means creates a potential for knowledge production. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...) do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

Life scientists increasingly rely upon abstraction-based modeling and reasoning strategies for understanding biological phenomena. We introduce the notion of constraint-based reasoning as a fruitful tool for conceptualizing some of these developments. One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models. Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general dependency-relations and patterning between (...) functions and structures. We describe such situations as constraint-based explanations and argue that these differ from mechanistic strategies in important respects. While mechanistic explanations emphasize change-relating causal features, constraint-based explanations emphasize formal dependencies and generic organizational features that are relatively independent of lower-level changes in causal details. Our distinction between mechanistic and constraint-based explanations is pragmatically motivated by the wish to understand scientific practice. We contend that delineating the affordances and assumptions of different explanatory questions and strategies helps to clarify tensions between diverging scientific practices and the innovative potentials in their combination. Moreover, we show how constraint-based explanation integrates several features shared by otherwise different philosophical accounts of abstract explanatory strategies in biology. (shrink)

The aim of this volume is to offer an updated account of the transcendental character of phenomenology. The main question concerns the sense and relevance of transcendental philosophy today: What can such philosophy contribute to contemporary inquiries and debates after the many reasoned attacks against its idealistic, aprioristic, absolutist and universalistic tendencies—voiced most vigorously by late 20th century postmodern thinkers—as well as attacks against its apparently circular arguments and suspicious metaphysics launched by many analytic philosophers? Contributors also aim to clarify (...) the relations of transcendental phenomenology to other post-Kantian philosophies, most importantly to pragmatism and Wittgenstein’s philosophical investigations. Finally, the volume offers a set of reflections on the meaning of post-transcendental phenomenology. (shrink)

This essay contends that postcolonial migrants have a right to enter their former colonizing nations, and that these should accept them. Our novel argument challenges well-established justifications for restrictions in immigration-policies advanced in liberal nationalism, which links immigration controls to the nation’s self-determination and the legitimate preservation of national identity. To do so, we draw on postcolonial analyses of colonialism, in particular on Edward Said’s notion of “intertwined histories,” and we offer a more sophisticated account of national identity than that (...) of liberal nationalists. In our view, the national identity of former colonizing nations cannot be understood in isolation from their ex-colonies. This entails that liberal nationalists cannot justify the restriction on the entrance of members of the nation’s former colonies by resorting to an argument about the preservation of national identity: the former colonized constitute an inseparable element of that national identity, because they are already historically part of it. (shrink)

In this paper I argue that philosophers of science have an obligation to recognize and engage with the social nature of the sciences they assess if those sciences are morally relevant. Morally-relevant science is science that has the potential to risk harm to humans, non-humans, or the environment. My argument and the approach I develop are informed by an analysis of the philosophy of biology literature on the criticism of evolutionary psychology, the study of the evolution of human psychology and (...) behaviour. From this literature, I tease out two different methods of scientific critique. The first I call the “truth-detectional” approach. Those who take this approach are first and foremost concerned about the truth of EP claims as that truth can be determined by evidence. The second I call the “social-dimensional” approach. Those who take this approach talk about the production and truth of EP claims but within a social framework. On this account, the legitimacy and perceived legitimacy of EP claims are not separate from the institutional and social processes and values that lend to their production. I show that the truth-detectional approach risks harms to society and to the philosophy of science, but that the social-dimensional approach avoids these harms. Philosophers of science, therefore, should take a social-dimensional approach to the assessment of morally-relevant science. (shrink)

This is a comment on a translation of Franz von Kutschera's paper ‘Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle’, which was published in German in 1969. The paper is an important predecessor of what is nowadays called ‘proof-theoretic semantics’, which describes the view that the meaning of logical connectives is determined by the rules governing their use in a proof system. Von Kutschera adopts this view in this paper, and more specifically, a bilateralist view on this subject in that his aim is (...) to give a general framework that provides generalized rule schemata for arbitrary connectives both for proving and refuting and to use this as a reference to prove completeness of certain systems of operators purely proof-theoretically. The main logical system in focus here has been shown to be equivalent to N4, Nelson's constructive logic with strong negation. In order to understand the translated paper better, a contextualizing comment is offered referring and relating it to a preceding paper by von Kutschera. (shrink)

Explores the complex nature of truth in Wittgenstein’s philosophy.