The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

According to the received view, genuine mathematical justification derives from proofs. In this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to deduction from the axioms but rather is tailored to human agents. Secondly, I identify a tension between the received view and mathematical practice. In some cases, cognitively diligent, well-functioning mathematicians go wrong. In these cases, it is plausible to think that proof sets the bar for justification too high. I then (...) propose a fallibilist account of mathematical justification. I show that the main function of mathematical justification is to guarantee that the mathematical community can correct the errors that inevitably arise from our fallible practices. (shrink)

Although traditionally neglected, mathematical diagrams have recently begun to attract attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and justification. Certain preliminary questions have, however, been mostly bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of most importance for a (...) taxonomy of diagrams in the context of a practice-based philosophy of mathematics, privileging examples from contemporary mathematics. In doing so, I move away from vague, ordinary notions. I define mathematical diagrams as forming notational systems and as being geometric/topological representations or two-dimensional representations. I also examine the relationship between mathematical diagrams and spatiotemporal intuition. By proposing an explication of diagrams, I explain certain controversies in the existing literature. Moreover, I shed light on why mathematical diagrams are so effective in certain instances, and, at other times, dangerously misleading. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (shrink)

Criteria of acceptability for mathematical proofs are field-dependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this article, I (...) address two criticisms that have been raised in Tatton-Brown against our approach: that it leads to a form of relativism according to which validity is equated with social agreement and that it implies an antiformalizability thesis according to which it is not the case that all rigorous mathematical proofs can be formalized. I reject both criticisms and suggest that our previous case studies provide insight into the plausibility of two related but quite different theses. (shrink)

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

The distinction between propositional and doxastic justification is well-known among epistemologists. Propositional justification is often conceived as fundamental and characterized in an entirely apsychological way. In this chapter, I focus on beliefs based on deductive arguments. I argue that such an apsychological notion of propositional justification can hardly be reconciled with the idea that justification is a central component of knowledge. In order to propose an alternative notion, I start with the analysis of doxastic justification. I then offer a notion (...) of propositional justification, intersubjective propositional justification, that is neither entirely apsychological nor idiosyncratic. To do so, I argue that to be able to attribute propositional justification to a subject, we have to consider her social context as well as broad features of our human cognitive architecture. (shrink)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive conception of (...) rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

Mathematical diagrams are frequently used in contemporary mathematics. They are, however, widely seen as not contributing to the justificatory force of proofs: they are considered to be either mere illustrations or shorthand for non-diagrammatic expressions. Moreover, when they are used inferentially, they are seen as threatening the reliability of proofs. In this paper, I examine certain examples of diagrams that resist this type of dismissive characterization. By presenting two diagrammatic proofs, one from topology and one from algebra, I show that (...) diagrams form genuine notational systems, and I argue that this explains why they can play a role in the inferential structure of proofs without undermining their reliability. I then consider whether diagrams can be essential to the proofs in which they appear. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

According to a widely held view in the philosophy of mathematics, direct inferential justification for mathematical propositions (that are not axioms) requires proof. I challenge this view while accepting that mathematical justification requires arguments that are put forward as proofs. I argue that certain fallacious putative proofs considered by the relevant subjects to be correct can confer mathematical justification. But mathematical justification doesn’t come for cheap: not just any argument will do. I suggest that to successfully transmit justification an argument (...) must satisfy specific standards, some of which are social. I contrast my view with Huemer’s inferential conservatism, which makes mathematical justification too easy to get. Although in this article I focus on mathematical inferential beliefs, the view on offer generalizes to other inferential beliefs. (shrink)

If there is an area of discourse in which disagreement is virtually absent, it is mathematics. After all, mathematicians justify their claims with deductive proofs: arguments that entail their conclusions. But is mathematics really exceptional in this respect? Looking at the history and practice of mathematics, we soon realize that it is not. First, deductive arguments must start somewhere. How should we choose the starting points (i.e., the axioms)? Second, mathematicians, like the rest of us, are fallible. Their ability to (...) recognize whether a putative proof is correct is not infallible. In most cases, disagreement over the correctness of a putative proof is, however, evanescent. Once an error is spotted and communicated, the disagreement disappears. But this is not always the case. Sometimes it is recalcitrant; that is, it persists over time. In order to zoom in on this type of disagreement and explain its very possibility, we focus on a single case study: a decades-long (1921-1949) controversy between Federigo Enriques and Francesco Severi, two prominent exponents of the Italian school of algebraic geometry. We suggest that the instability of the mathematical community to which they belonged can be explained by the gap between an abstract criterion of rigor and local criteria of acceptability. It is this instability that made the existence of recalcitrant disagreement over putative proofs possible. We do not condemn speculative mathematics but rather its pretense of being rigorous mathematics. In this respect, we show that the overly self-confident Severi and the more intuitive, visionary Enriques had a completely different attitude. (shrink)

Computational tools might tempt us to renounce complete cer- tainty. By forgoing of rigorous proof, we could get (very) probable results for a fraction of the cost. But is it really true that proofs (as we know and love them) can lead us to certainty? Maybe not. Proofs do not wear their correct- ness on their sleeve, and we are not infallible in checking them. This suggests that we need help to check our results. When our fellow mathematicians will be (...) too tired or too busy to scrutinize our putative proofs, computer proof assistants could help. But feeding a mathematical argument to a computer is hard. Still, we might be willing to undertake the endeavor in view of the extra perks that formalization may bring—chiefly among them, an enhanced mathematical understanding. (shrink)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive conception (...) of rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon –Enriques distinguishes between _ small-scale rigor _ and _ large-scale rigor _ and Severi between _ formal rigor _ and _ substantial rigor _. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we s... (shrink)

John P. Burgess is the John N. Woodhull Professor of Philosophy at Princeton University. He obtained his Ph.D. from the Logic and Methodology program at the University of California at Berkeley under the supervision of Jack H. Silver with a thesis on descriptive set theory. He is a very distinguished and influential philosopher of mathematics. He has written several books: A Subject with No Object (with G. Rosen, Oxford University Press, 1997), Computability and Logic (with G. Boolos and R. Jeffrey, (...) 5th ed., Cambridge University Press, 2007), Fixing Frege (Princeton University Press, 2005), Mathematics, Models, and Modality (Cambridge University Press, 2007), Philosophical Logic (Princeton University Press, 2009), Truth (with A. G. Burgess, Princeton University Press, 2011), Saul Kripke: Puzzles & Mysteries (Polity Press, 2012), Rigor & Structure (Oxford University Press, 2015), and Set Theory (Cambridge Elements, Forthcoming). In this interview, Professor Burgess talks about how his interests in mathematics and philosophy developed and relate to each other. He then answers questions about specific themes of his philosophical work, with a focus on issues pertaining to philosophy of mathematics. (shrink)

Giacomo Leopardi, a major Italian poet of the nineteenth century, was also an expert in evil to whom Schopenhauer referred as a “spiritual brother.” Leopardi wrote: “Everything is evil. That is to say, everything that is, is evil; that each thing exists is an evil; each thing exists only for an evil end; existence is an evil.” These and other thoughts are collected in the Zibaldone, a massive collage of heterogeneous writings published posthumously. Leopardi’s pessimism assumes a polished form in (...) his literary writings, such as Dialogue between Nature and an Islander (1824)—an invective against nature and the suffering of creatures within it. In his last lyric, Broom, or the flower of the desert (1836), Leopardi points to the redeeming power of poetry and to human solidarity as placing at least temporary limits on the scope of evil. (shrink)

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

Driven by interests in workforce planning and patient safety, a growing body of literature has begun to identify the reality and the prevalence of missed nursing care, also specified as care left undone, rationed care or unfinished care. Empirical studies and conceptual considerations have focused on structural issues such as staffing, as well as on outcome issues – missed care/unfinished care. Philosophical and ethical aspects of unfinished care are largely unexplored. Thus, while internationally studies highlight instances of covert rationing/missed care/care (...) left undone – suggesting that nurses, in certain contexts, are actively engaged in rationing care – in terms of the nursing and nursing ethics literature, there appears to be a dearth of explicit decision-making frameworks within which to consider rationing of nursing care. In reality, the assumption of policy makers and health service managers is that nurses will continue to provide full care – despite reducing staffing levels and increased patient turnover, dependency and complexity of care. Often, it would appear that rationing/missed care/nursing care left undone is a direct response to overwhelming demands on the nursing resource in specific contexts. A discussion of resource allocation and rationing in nursing therefore seems timely. The aim of this discussion paper is to consider the ethical dimension of issues of resource allocation and rationing as they relate to nursing care and the distribution of the nursing resource. (shrink)

Introduction:Healthcare workers facing the threatening COVID-19 can experience severe difficulties. Despite the need to evaluate both the psychological distress and positive protective resources, brief and reliable assessment tools are lacking.Aim:Study 1 aimed at developing a new assessment tool to measure psychological distress and esteem in healthcare workers during the COVID-19 pandemic. Study 2 aimed to explore and compare the psychological reactions of healthcare workers of the COVID-19 and the non-COVID-19 wards.Methods:In Study 1, psychologists created 25 items based on their clinical (...) experience. A preliminary qualitative evaluation selected the best 15 items for the new tool assessing the COVID-19 psychological impact with 2 scales: psychological distress and esteem. The CPI-HP was administered to 110 healthcare professionals to study its psychometric properties and the internal structure with exploratory graph analysis and confirmatory factor analysis. Study 2 compared two groups of healthcare professionals of the COVID-19 and non-COVID-19 departments.Results:In Study 1, the CPI-HP showed satisfying psychometric properties, and the two-factor structure was confirmed with good fit indices. In Study 2, the two groups of healthcare workers showed comparable levels of psychological distress and resilient coping, but the COVID-19 group displayed significantly higher esteem and appreciation of the experience.Discussion:All operators showed high psychological distress during the emergency, but the COVID-19 group reported higher resources, probably due to stronger group cohesion and greater esteem, perceived meaning, and own work value.Conclusion:Assessing the psychological distress and resources of healthcare professionals with specific tools is important. Psychological interventions should promote their psychological health. (shrink)

This contribution sheds light on the role of infinite idealization in structural analysis, by exploring how infinite elements and finite element methods are combined in civil engineering models. This combination, I claim, should be read in terms of a ‘complementarity function’ through which the representational ideal of completeness is reached in engineering model-building. Taking a cue from Weisberg’s definition of multiple-model idealization, I highlight how infinite idealizations are primarily meant to contribute to the prediction of structural behavior in Multiphysics approaches.

Gender-based differences in body image dissatisfaction are not conclusive. Women’s body experiences and their impact on sexual satisfaction may advance knowledge on how heterosexual, bisexual, and lesbian women internalize heterosexist values. In this study, we quantitatively examined the degree of body image and sexual dissatisfaction experienced by heterosexual, bisexual, and lesbian women, to determine whether body dissatisfaction can predict sexual dissatisfaction. Three hundred and fifty-four women completed an online survey measuring body and sexual dissatisfaction. No sexual orientation-based differences were observed (...) in body or sexual dissatisfaction; however, body concerns were found to have less influence on sexual dissatisfaction in lesbian women compared to heterosexual and bisexual women. Standards of beauty remain constant among all women, yet removing themselves from the male gaze may be interpreted as a protective factor which shields women from expressing concern about their appearance during sexual activity. (shrink)

In this paper, I examine the role played by the emotion of admiration in formulating moral judgments. First, I discuss whether and when admiration is a reliable source of moral knowledge, or, on the contrary, it misleads the subject, leaving her prey to forms of uncritical devotion to unworthy objects of admiration. To do so, I try to elucidate which underlying theory of emotions best allows one to characterize admiration as a reliable source of moral knowledge. Second, I introduce the (...) notion of transformative moral experience, understood as a subclass of transformative experiences, and I argue that it is precisely admiration that ensures the rationality of the choices made in such experiences. Finally, in light of this analysis, I show how admiration—together with the constellation of positive and negative emotions connected to the perception of moral exemplarity—acts as a central element for the maintenance of moral integrity. I defend, in particular, the idea that integrity should not be understood as mere coherence, nor as a static maintenance of the moral status quo, but as being firmly rooted in one’s own identity yet open to novelty and especially to the novelty represented by transformative moral experiences. (shrink)

Este artigo explora as relações entre história e literatura considerando a literatura um testemunho que pode ser lido, desconstruído e submetido ao mesmo escrutínio ao qual os historiadores submetem outras fontes que lhes permitam ter acesso à compreensão de redes e tensões sociais mais amplas. Nele são utilizadas poesias publicadas no cancioneiro Trovador: coleção de modinhas, recitativos, árias, lundus, etc.., com o objetivo de mostrar como seus autores estabeleceram um diálogo entre si e com seus leitores acerca de um assunto (...) candente do seu tempo - o progresso e seus desdobramentos para o cotidiano da sociedade – utilizando-se da literatura como instrumento de intervenção na realidade. A partir desses pressupostos, a experiência histórica vivida por escritores é considerada condição básica de análise, bem como texto e contexto são percebidos como dimensões indissociáveis de um fenômeno mais amplo que é ao mesmo tempo, cultural, econômico, social e político devendo ser abordados em conjunto levando-se em conta suas conexões recíprocas. (shrink)

Drug misuse is a complex social and health problem. People who use drugs have very specific profiles according to their life cycle and sociocultural circumstances. For this reason, contextualized approaches are needed in addiction interventions that take on board the particularities of consumption patterns and their circumstances. The storytelling technique as a narrative communication strategy can serve as the main methodological intervention component that enhances this contextualized approach.

Dieses Buch untersucht, was in den jeweiligen Theorieansätzen mit Bildhandeln‹ gemeint ist, indem eine Reihe von philosophischen und kunstwissenschaftlichen Ansätzen zum Verhältnis von Bild und Handlung vorgestellt und systematisiert werden. Vier paradigmatische Handlungstypen werden voneinander differenziert, die spezifische Verwendungsmöglichkeiten von Bildern umfassen. Die ersten zwei – Bildspiele‹ und Bildakte‹ – beruhen auf der sprachphilosophisch motivierten Prämisse, dass die Verwendung von Bildern der Struktur eines Sprachspieles oder eines Sprechaktes entspricht. Diese Prämisse bezieht sich auf Verwendungsweisen, durch die materiellen Gegenständen der Bildstatus (...) zugeschrieben wird. Demgegenüber werden zwei weitere Bildhandlungstypen vorgestellt, wonach Bilder nur dann verwendet werden können, wenn ihr Bildstatus bereits feststeht. Diese Bildhandlungstypen werden mit einem Vergleich von Bildern und Werkzeugen sowie der Kategorie Probehandlungen‹ thematisiert. (shrink)

This essay argues that despite of the feminist critique of Merleau-Ponty his phenomenology can be positively appropriated to the theory of sexual difference. It focuses on three issues: the first one is closely linked to the Phenomenology of Perception and introduces a concept of "difference as differentiation". The second one is concerned with the intersubjective dimension of sexuality and will be called a "sexual syncretism". Finally, I’m referring to Merleau-Ponty's notion of "chiasm" in his late work The Visible and the (...) Invisible in order to apply it to the theory of sexual difference. At this point, the difference between sexual beings will be conceptualized as "chiasmatic intertwining". In doing so, I hope to show that Merleau-Ponty's phenomenology is a helpful resource for philosophical research that is mainly concerned with the questions of sexuality and sexual difference. (shrink)

This article presents the first, systematic analysis of the ethical challenges posed by recommender systems through a literature review. The article identifies six areas of concern, and maps them onto a proposed taxonomy of different kinds of ethical impact. The analysis uncovers a gap in the literature: currently user-centred approaches do not consider the interests of a variety of other stakeholders—as opposed to just the receivers of a recommendation—in assessing the ethical impacts of a recommender system.

Should scientists value simple theories? Is fruitfulness an important criterion to assess scientific theories? What role moral, social, and political values should have in the assessment of scientific theories? In recent years, there has been an increasing interest among philosophers of science in studying how cognitive and non-cognitive values influence and should influence the assessment and comparison of scientific theories. While cognitive values (such as simplicity and fruitfulness) are features of scientific theories that are indicative of the truth or empirical (...) adequacy of theories, non-cognitive values are moral, political, social, and economic values. Understanding the roles of values in science is a particularly urgent issue. Clarifying the importance of cognitive values is important in order to be able to make accurate comparisons of scientific theories. Understanding the influence of non-cognitive values on science is crucial because moral, social, and political values are involved in many stages of research, such as decisions on methodologies and allocation of funds. Since these decisions affect all the members of the society (scientists, non-experts, and political institutions), understanding the impact of non-cognitive values on these choices is of primary importance. Although a large body of literature has investigated the roles of cognitive and non-cognitive values in theory appraisal, several questions remain to be analysed. In this dissertation, I address four questions by using two main methods, namely the analysis of case studies from evolutionary psychology and the experimental method. First, while philosophers have clarified the importance and roles in theory appraisal of some cognitive values, little or no attention has been paid to other values. In this dissertation, I have started filling this gap by formulating a clear explication and a simple strategy to be employed in theory appraisal for one of the values that have attracted little attention, namely fruitfulness. I have explicated fruitfulness as the ability of programs to extend their content and suggested considering research questions and discovery heuristics to assess this ability. Moreover, I have used my account to assess the fruitfulness of evolutionary psychology. Second, some philosophers of science argue that cognitive values are desirable and relevant to the assessment of theories because they are indicative of the truth or empirical adequacy of theories. However, why is it so? In my dissertation, I develop a context-sensitive approach to values and I argue that in order to understand the ground for the desirability of cognitive values and make an accurate appraisal of theories, we have to consider specific factors of the context in which theories are assessed, such as the availability of methodologies and the way cognitive values are interrelated to each other in that context. Third, philosophers have traditionally argued that the influence of non-cognitive values on scientific reasoning threatens the epistemic authority of science. I have challenged this view and argued that some non-cognitive values can play a cognitive role in science, i.e., they can be epistemically beneficial to the assessment of scientific theories. On the basis of a case study (the account of human mating in evolutionary psychology), I have argued that feminist values have positively contributed to theory appraisal in various ways, such as by raising sensitivity to evidence that was neglected because of gender bias. Fourth, some philosophers have argued that non-cognitive values play a legitimate role in cases of inductive risk, namely cases in which scientists may wrongly assess scientific hypotheses (e.g. accepting a hypothesis that should be rejected) because of some uncertainty due to mixed results or disagreement on the reliability of methodologies. Mistakes can have consequences that can be morally or economically undesirable and non-cognitive values, some philosophers argue, provide the standards to evaluate and compare these possible consequences. However, little is known on how - specifically - non-cognitive values influence this evaluation. To address this issue, I have conducted an experimental study clarifying how personal features, political values, and specific aspects of a risk (e.g. the chance of incurring Type I vs. Type II errors) determine people’s reasoning about cases of inductive risk. On the basis of these results, I have discussed recent institutional calls for the need to align research agendas and technological development to citizens’ values, needs, and expectations. (shrink)

What are the relevant values to the appraisal of research programs? This question remains hotly debated, as philosophers have recently proposed many lists of values potentially relevant to scientific appraisal. Surprisingly, despite being mentioned in many lists, little attention has been paid to fruitfulness. It is unclear how fruitfulness should be explicated, and whether it has any substantial role in scientific appraisal. In this paper, I argue we should explicate fruitfulness as the capacity to develop of research programs. Moreover, I (...) provide a novel strategy to assess and compare the fruitfulness of programs focused on their research questions and heuristics. To illustrate how this strategy would work, I will discuss a case study, namely the adaptationist program in evolutionary psychology. (shrink)

It is well-established that algorithms can be instruments of injustice. It is less frequently discussed, however, how current modes of AI deployment often make the very discovery of injustice difficult, if not impossible. In this article, we focus on the effects of algorithmic profiling on epistemic agency. We show how algorithmic profiling can give rise to epistemic injustice through the depletion of epistemic resources that are needed to interpret and evaluate certain experiences. By doing so, we not only demonstrate how (...) the philosophical conceptual framework of epistemic injustice can help pinpoint potential, systematic harms from algorithmic profiling, but we also identify a novel source of hermeneutical injustice that to date has received little attention in the relevant literature: epistemic fragmentation. Epistemic fragmentation is a structural characteristic of algorithmically-mediated environments that isolate individuals, making it more difficult to develop, uptake and apply new epistemic resources. This, in turn, can impede the identification and conceptualisation of emerging harms in these environments. We trace the occurrence of hermeneutical injustice back to the fragmentation of the epistemic experiences of individuals, who are left more vulnerable by the inability to share, compare, and learn from shared experiences. (shrink)