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 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)

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)

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 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)

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)

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)

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)

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.

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)

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 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 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)

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)

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)

El presente artículo analiza la técnica del fracking como una solución a la problemática que en materia hidrocarburos se había dado en las últimas dos décadas, y los impactos negativos que conlleva para la salud y el ambiente. Se plantea como solución la aplicación del principio de precaución que le permite al Estado actuar ante una situación de riesgo e incertidumbre. La metodología escogida fue de corte analítico-deductivo a partir de la normatividad vigente y de los postulados teóricos de algunos (...) autores que son referentes en la materia. Como resultados se presentan algunas reflexiones que invitan a considerar la aplicación de este principio, hasta tanto no se tengan estudios suficientes que garanticen que esta práctica preservará el ambiente y no afectará la salud humana. (shrink)

Quadruple Helix Collaborations (QHCs) is a cooperation model in which industry, government, academia, and the public interact to innovate. This paper analyses the impact of a training intervention to provide specific knowledge, skills, and attitudes to deal with barriers commonly found in the progress of QHCs. We designed, implemented, and evaluated three training programs in Austrian, Colombian, Danish, and Spanish institutions. We analysed trainees’ (n = 66) and trainers’ (n = 9) perceptions to identify the competencies acquired with the intervention (...) and the approach’s limitations. We used online questionnaires (35 trainees; 9 trainers), semi-structured interviews (10 trainees), and a focus group (6 trainers). Trainees answered positively regarding their self-perception about the impact of the course and highlighted the acquisition of inspiration for their practice (score 4.1 out of 5.0) and knowledge (3.7). In contrast, they perceived that a deeper interaction with other participants (2.7) was challenging. After the courses, 74% of respondents indicated that they know more about how QHCs work in practice, and 86% about collaboration or engagement methods. Moreover, participants plan to be more sensitive towards setting common goals (71%) and power imbalances (63%). Trainers’ perceptions align with those expressed by participants, except that they considered that the interaction amongst participants during the course was higher. Qualitative analysis of interviews with participants and the focus group with trainers provides more detail about the strengths and weaknesses of the intervention. Our study shows that the collaborative design and implementation of training impact the participant’s learning competencies, with potential implications in their medium- to long-term practice. (shrink)

Mindset plays a vital role in tackling the barriers to improving the preservice mathematics teachers’ (PMTs) conceptual understanding of problem-solving. As the COVID-19 pandemic has continued to pose a challenge, online learning has been adopted. This led this study to determining the PMTs’ mindset and level of conceptual understanding in problem-solving in an online learning environment utilising Google Classroom and the Khan Academy. A quantitative research design was employed specifically utilising a descriptive, comparative, and correlational design. Forty-five PMTs were chosen (...) through simple random sampling and willingly took part in this study. The data was gathered using validated and reliable questionnaires and problem-solving tests. The data gathered was analysed using descriptive statistics, analysis of variance, and simple linear regression. The results revealed that the college admission test, specifically numerical proficiency, influences a strong mindset and a higher level of conceptual understanding in problem-solving. Additionally, this study shows that mindset predicts the levels of conceptual understanding in problem-solving in an online environment where PMTs with a growth mindset have the potential to solve math problems. The use of Google Classroom and the Khan Academy to aid online instruction is useful in the preparation of PMTs as future mathematics teachers and problem-solvers. Further studies may be conducted to validate these reports and to address the limitations of this study. (shrink)

Artificial intelligence (AI) is increasingly expected to disrupt the ordinary functioning of society. From how we fight wars or govern society, to how we work and play, and from how we create to how we teach and learn, there is almost no field of human activity which is believed to be entirely immune from the impact of this emerging technology. This poses a multifaceted problem when it comes to designing and understanding regulatory responses to AI. This article aims to: (i) (...) defend the need for a novel conceptual model for understanding the systemic legal disruption caused by new technologies such as AI; (ii) to situate this model in relation to preceding debates about the interaction of regulation with new technologies (particularly the ‘cyberlaw’ and ‘robolaw’ debates); and (iii) to set out a detailed model for understanding the legal disruption precipitated by AI, examining both pathways stemming from new affordances that can give rise to a regulatory ‘disruptive moment’, as well as the Legal Development, Displacement or Destruction that can ensue. The article proposes that this model of legal disruption can be broadly generalisable to understanding the legal effects and challenges of other emerging technologies. (shrink)

Temporality and Spatiality have been extensively addressed in philosophy, and their disturbances have been extensively studied in psychopathology (e.g. Wyllie 2005). Mental health patients: (1) describe pathological experiences of Time and Space (Gallagher and Varela 2003); (2) show disturbed timing (Tysk 1984); (3) experience psychopathological phenomena that could be the cause of changes in temporality and spatiality. These topics will be discussed in the case of mood disorders, in particular euphoric and dysphoric mania episodes. Any phenomenological study in mood disorders (...) is delicate as affective disorders are in themselves phenomenologically diverse, because they have obscure meaning, multitude of criteria and inconsistent reference norms. Also, psychoanalytical, colloquial and cognitive psychologies keep instilling comprehensive and epistemological structures onto both mood and time/space notions. Nevertheless, bridging philosophical phenomenology and epistemology on time and temporality with mood psychopathology and taxonomy constitutes an on-going project. Theories by Heidegger, Husserl and Merleau-Ponty as well as by Minkowsky, Binswanger, Fuchs, Parnas, and Sass could help to describe this relation deepened into many other Twentieth-Century philosophical papers. A similar account of space and spatiality will be brought about. We will reason about the concept that they provide evidence to address current conceptualization of “bipolar” disorder and the hierarchical grouping of dysphoric and euphoria mania. (shrink)

El Foro Global de Bioética en Investigación (GFBR por sus siglas en inglés) se reunió el 3 y 4 de noviembre en Buenos Aires, Argentina, con el objetivo de discutir la ética de la investigación con mujeres embarazadas. El GFBR es una plataforma mundial que congrega a actores clave con el objetivo de promover la investigación realizada de manera ética, fortalecer la ética de la investigación en salud, particularmente en países de ingresos bajos y medios, y promover colaboración entre países (...) del norte y del sur.a Los participantes en el GFBR provenientes de Latinoamérica incluyeron a eticistas, investigadores, miembros de comités de ética y representantes de autoridades sanitarias provenientes de Argentina, Brasil, Chile, Colombia, Ecuador, El Salvador, Guatemala, Honduras, Panamá, Perú, Nicaragua y la República Dominicana. Una legítima preocupación por la protección de las mujeres embarazadas y sus embriones o fetos ha llevado a la mayoría de los países de la Región de las Américas a limitar la realización de estudios con mujeres embarazadas exclusivamente a aquellos estudios específicos sobre el embarazo, y a requerir la exclusión sistemática de las mujeres embarazadas o de las mujeres que quedan embarazadas en el curso del estudio. Ciertamente, a lo largo de la historia de la ética de la investigación, se ha creído erróneamente que proteger a una población es sinónimo de excluirla de los estudios. Se sabe ahora que proceder así implica exponer a riesgos mucho mayores a la población que se busca proteger. El embarazo implica cambios fisiológicos sustantivos e impacta profundamente la manera como el cuerpo metaboliza los medicamentos. Sin embargo, por evitar hacer investigación con mujeres embarazadas, no se ha producido la evidencia científica necesaria para tomar decisiones sobre tratamientos e intervenciones preventivas con dosis eficaces y seguras para ellas y sus embriones o fetos. A manera de ilustración, en el 2001 había en los Estados Unidos apenas más de una docena de medicamentos aprobados para uso en el embarazo (1) y en el 2011 la Food and Drug Administration (FDA) aprobó por primera vez en 15 años un medicamento para su uso en el embarazo (2). Como consecuencia de no haber producido la evidencia necesaria, se pone en riesgo la salud de las mujeres embarazadas cada vez que se les da atención médica. Las mujeres embarazadas se enferman y las mujeres enfermas se embarazan, y no se sabe si los medicamentos que se les da son eficaces o siquiera seguros para ellas y sus embriones o fetos. (shrink)

El presente texto presenta los resultados de un estudio exploratorio de las interacciones entre el sistema de gobernanza y de los actores como causa de la contaminación del arroyo de San Basilio de Palenque en Colombia. Lo anterior, a partir de la validación de la metodología de enfoque de sistemas socio-ecológicos como método de caracterización de conflictos ambientales con impactos culturales.

A review of Maria Luisa Ardizzone's Reading as the Angels Read: Speculation and Politics in Dante’s Banquet. Toronto: University of Toronto Press, 2016. xii 1 454 pp. $95.

Esta entrevista retoma la experiencia de enseñanza de la profesora María Luisa Roel en función de la producción literaria de España. El objetivo es interiorizar sobre cómo esta se ha transferido en el ámbito de educación universitaria. A partir de la trayectoria de la docente, se brinda un panorama de cómo los estudiantes de la carrera profesional de Literatura acatan el conocimiento y la lectura de autores españoles, como Miguel de Cervantes. De igual forma, se mencionan dos momentos históricos (...) en los que se vería la presencia o la ausencia de esta producción: en la Literatura del Virreinato y la creación literaria contemporánea. (shrink)

É muitas vezes aceite que certas categorias, tipicamente as de género, raça, orientação sexual ou doença mental, são construções sociais e não divisões naturais no mundo. A distinção entre categorias naturais e categorias sociais, como pretende ser a distinção entre o sexo e o género, tem servido no âmbito da crítica e ciência social para advogar a abolição de certas normas sociais, e para a implementação de políticas mais equitativas. Contudo, há aspectos centrais do construtivismo que são pouco claros. O (...) que é que se nega ao rejeitar que as categorias construídas socialmente são naturais? E o que significa dizer que essas categorias são construções sociais? E será de todo verdade que certas categorias, como o género, são sociais e não naturais? Não tenho a pretensão de responder a todas estas complexas questões neste artigo, mas espero pelo menos iluminar parte do debate contemporâneo sobre estes problemas. Por uma questão de espaço, concentrar-me-ei na noção de género. (shrink)