Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical statements and (...) proofs. Mathematicians have paid little attention to specifying such distance measures precisely because in practice certain methods of proof have seemed self- evidently impure by design: think for instance of analytic geometry and analytic number theory. By contrast, mathematicians have paid considerable attention to whether such impurities are a good thing or to be avoided, and some have claimed that they are valuable because generally impure proofs are simpler than pure proofs. This article is an investigation of this claim, formulated more precisely by proof- theoretic means. After assembling evidence from proof theory that may be thought to support this claim, we will argue that on the contrary this evidence does not support the claim. (shrink)

In this paper I begin by extending two results of Solovay; the first characterizes the possible Turing degrees of models of True Arithmetic (TA), the complete first-order theory of the standard model of PA, while the second characterizes the possible Turing degrees of arbitrary completions of P. I extend these two results to characterize the possible Turing degrees of m-diagrams of models of TA and of arbitrary complete extensions of PA. I next give a construction showing that the conditions Solovay (...) identified for his characterization of degrees of models of arbitrary completions of PA cannot be dropped (I showed that these conditions cannot be simplified in the paper. (shrink)

Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case on which (...) to focus in analyzing mathematical depth. After introducing the theorem, four accounts of mathematical depth will be considered. (shrink)

This article will consider imagination in mathematics from a historical point of view, noting the key moments in its conception during the ancient, modern and contemporary eras.

Over the years many mathematicians have voiced a preference for proofs that stay “close” to the statements being proved, avoiding “foreign”, “extraneous”, or “remote” considerations. Such proofs have come to be known as “pure”. Purity issues have arisen repeatedly in the practice of arithmetic; a famous instance is the question of complex-analytic considerations in the proof of the prime number theorem. This article surveys several such issues, and discusses ways in which logical considerations shed light on these issues.

Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he used (...) several keywords such as "active intuition" and "self-reflection" from Nishida's philosophy. In this paper, we aim to describe a general outline of our project to investigate Takeuti's philosophy of mathematics. In particular, after reviewing Takeuti's proof-theoretic results briefly, we describe some key elements in Takeuti's texts. By explaining these texts, we point out the connection between Takeuti's proof theory and Nishida's philosophy and explain the future goals of our project. (shrink)

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

When mathematicians think of the philosophy of mathematics, they probably think of endless debates about what numbers are and whether they exist. Since plenty of mathematical progress continues to be made without taking a stance on either of these questions, mathematicians feel confident they can work without much regard for philosophical reflections. In his sharp–toned, sprawling book, David Corfield acknowledges the irrelevance of much contemporary philosophy of mathematics to current mathematical practice, and proposes reforming the subject accordingly.

Une preuve est pure si, en gros, elle ne réfère dans son développement qu’à ce qui est « proche » de, ou « intrinsèque » à l’énoncé à prouver. L’infinité des nombres premiers, un théorème classique de l’arithmétique, est un cas d’étude particulièrement riche pour les recherches philosophiques sur la pureté. Deux preuves différentes de ce résultat sont ici considérées, à savoir la preuve euclidienne classique et une preuve « topologique » plus récente proposée par Furstenberg. D’un point de vue (...) naïf, il semblerait que la première soit pure et la seconde impure. Des objections à cette vue naïve sont ici considérées et réfutées. Concernant la preuve euclidienne, la question relève de la logique, notamment de la définissabilité arithmétique de l’addition en termes de successeur et de divisibilité telle que démontrée par Julia Robinson, tandis qu’en ce qui concerne la preuve topologique, la question relève de la sémantique, notamment pour tout ce qui touche au problème de savoir ce qui est « inclus » dans le contenu d’énoncés particuliers.A proof is pure, roughly, if it draws only on what is « close » or « intrinsic » to the statement being proved. The infinitude of prime numbers, a classical theorem of arithmetic, is a rich case study for philosophical investigation of purity. Two different proofs of this result are considered, namely the classical Euclidean proof and a more recent « topological » proof by Furstenberg. Naively the former would seem to be pure and the latter to be impure. Objections to these naive views are considered and met. In the case of the former the issue rests on logical matters, specifically the arithmetic definability of addition in terms of successor and divisibility shown by Julia Robinson, while in the case of the latter the issue rests on semantic matters, specifically with respect to what is « contained » in the content of particular statements. (shrink)

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late nineteenth century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis (in the sense of the infinitesimal calculus) received much attention in the nineteenth century. They helped instigate what Hans Hahn called a “crisis of intuition”, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this “crisis” as (...) follows: Mathematicians had for a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof... (p. 67) Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called “logicization”, “when the discipline requires nothing but purely logical fundamental concepts and propositions for its development.” On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals to visual representations. This would be a radical reformation of past practice, necessary, according to its advocates, for avoiding “unclarities and mistakes” like the one exposed by Peano. (shrink)

This collection of essays explores what makes modern mathematics ‘modern’, where ‘modern mathematics’ is understood as the mathematics done in the West from roughly 1800 to 1970. This is not the trivial matter of exploring what makes recent mathematics recent. The term ‘modern’ (or ‘modernism’) is used widely in the humanities to describe the era since about 1900, exemplified by Picasso or Kandinsky in the visual arts, Rilke or Pound in poetry, or Le Corbusier or Loos in architecture (a building (...) by the latter graces the cover of this book’s dust jacket). (shrink)

La ciudad y los perros ha sido expuesta para el análisis de la comunidad hermenéutica durante más de cincuenta años. En ese sentido, es insoslayable recurrir al criterio sistematizador que fundamenta Hans-Georg Gadamer en su texto Verdad y método, que es de utilidad para catalogar y criticar condicionalmente las propuestas que se han desarrollado en torno a la diversidad de representaciones literarias que han sido manifestadas en este libro. Para la efectividad de este trabajo, se asume que este objeto de (...) estudio está comprendido en función de los siguientes tratamientos: la percepción de la realidad real en la obra literaria, su clasificación autobiográfica, la articulación del lenguaje como estilo, la ironía como estrategia discursiva y canalizadora de la violencia y, para terminar, la técnica del final abierto con respecto a la muerte del personaje Ricardo Arana (el Esclavo). Con estos seis planteamientos enfocados desde lo hermenéutico, se pretende producir la confrontación y el diálogo intertextual con los aportes referenciados, con el propósito de que resulte utópica la configuración de un panorama exégeta de la primera novela de Mario Vargas Llosa. (shrink)

Al final de su libro “La conciencia inexplicada”, Juan Arana señala que la nomología, explicación según las leyes de la naturaleza, requiere de una nomogonía, una consideración del origen de las leyes. Es decir, que el orden que observamos en el mundo natural requiere una instancia previa que ponga ese orden específico. Sabemos que desde la revolución científica la mejor manera de explicar dicha nomología ha sido mediante las matemáticas. Sin embargo, en las últimas décadas se han presentado algunas (...) propuestas basadas en modelos matemáticos que fundamentarían muchos aspectos de la realidad. Dos claros ejemplos provienen de Roger Penrose y Max Tegmark. Esto lleva a pensar en una posición no solo nomológica sino además nomogónica de la matemática. ¿Puede la Naturaleza estar fundada por las matemáticas como señalan algunos físico-matemáticos? Y en ese caso, ¿sería pertinente buscar una nomo-génesis de esta índole en la constitución de la conciencia? -/- At the end of his book “La conciencia inexplicada”, Juan Arana points out that nomology, explanation according to the laws of nature requires a nomogony, an account of the origin of the laws. This means that the order that we can observe in the natural World demands something prior to posit that specific order. Since the scientific revolution we know that the best way to explain that nomology has been through mathematics. Anyway, in recent decades a number of proposals based on mathematical models that found many aspects of reality has been offered. Two clear examples come from Roger Penrose and Max Tegmark. This drives us to think of a position of mathematics as not only nomological but also nomogonical. Can Nature be founded by mathematics as some physicists and mathematicians point out? And, in this case, would be relevant this kind of approach to search a nomo-genesis in the constitution of consciousness? (shrink)

Este artículo cuestiona la composición endógena de los personajes protagónicos de los largometrajes Días de Santiago (2004) y Hombre Araña (2002). Ellos presentarán dos estereotipos distintos de vivencias y coincidirán con el cuestionamiento consuetudinario de sus propias identidades. Esa percepción permitirá precisar en el objetivo de este trabajo, que consiste en fundamentar las transgresiones psicológicas de los involucrados, pese a su configuración definida y reconocible para el espectador. Para lograrlo, se recurrirá al análisis sociológico que propone Iuri Lotman desde la (...) semiótica cultural, que será complementado con la confrontación con los filmes Un perro andaluz (1929), Tiempos modernos (1936), Ahí está el detalle (1940), Gregorio (1984) y La espalda del mundo (2000). Luego, se empleará la semiótica tensiva de Jacques Fontanille para elaborar esquemas afines al desenvolvimiento del superhéroe, así como también se diferenciarán los regímenes de sentido que se asemejan a la lógica de la trama. (shrink)

La configuración del personaje Alberto Fernández (el Poeta) de La ciudad y los perros (1963) es camaleónica en función de la violencia, por el hecho de asumir que su comportamiento, en algunas ocasiones, era agresivo para adquirir un respeto determinado; por el contrario, el personaje tenderá a querer experimentar un poco más su agresividad al tratar de derrotar al Jaguar y al querer vengarse por la muerte de su compañero Ricardo Arana. Asimismo, su lado humano se destaca (con esa (...) actitud, se contrarresta esa violencia, la cual controla mayormente): es pacífico, sabe convivir en aquel espacio violento, no busca pleitos y llega también a convertirse en cobarde y delator (en el momento que es chantajeado por las autoridades del Leoncio Prado al no mencionar nada sobre la muerte del Esclavo, ya que de hacerlo se le expulsará por ser el autor de novelitas pornográficas que ha difundido en toda su sección). (shrink)

Why do mathematics often give several proofs of the same theorem? This is the question raised in this article, introducing the notion of an epistemic ideal and discussing two such ideals, the explanatoriness and purity of proof.

We review Solomon Feferman's 1998 essay collection In The Light of Logic (Oxford University Press).

Review of Dowek, Gilles, Computation, Proof, Machine, Cambridge University Press, Cambridge, 2015. Translation of Les Métamorphoses du calcul, Le Pommier, Paris, 2007. Translation from the French by Pierre Guillot and Marion Roman.

In a recent opinion paper, it was argued that individuals with multiple retractions or a record of academic misconduct should not serve as editors, including as editors-in-chief, on the editorial boards of scholarly or academic journals. As a first step towards appreciating how such a policy could be applied in practice, the presence of 30 individuals listed on the Retraction Watch Leaderboard on editorial boards was screened. Six cases are highlighted to gain an appreciation of the potential reputational risks that (...) journals and publishers might incur by including individuals with a tainted academic record on editorial boards. Given the reputational, legal and other risks associated with this type of assessment and decision, more formal positioning and guidance are needed by global ethics policy-related bodies such as COPE, the ICMJE, and the CSE, even more so in journals that claim to follow these organizations’ ethical guidelines. (shrink)

The COVID-19 pandemic revealed numerous weaknesses in pandemic preparedness and response, including underfunding, inadequate surveillance, and inequitable distribution of countermeasures. To overcome these weaknesses for future pandemics, WHO released a zero draft of a pandemic treaty in February, 2023, and subsequently a revised bureau's text in May, 2023. COVID-19 made clear that pandemic prevention, preparedness, and response reflect choices and value judgements. These decisions are therefore not a purely scientific or technical exercise, but are fundamentally grounded in ethics. The latest (...) treaty draft reflects these ethical considerations by including a section entitled Guiding Principles and Approaches. Most of these principles are ethical—they establish core values that undergird the treaty. Unfortunately, the treaty draft's set of principles are numerous, overlapping, and show inadequate coherence and consistency. We propose two improvements to this section of the draft pandemic treaty. First, key guiding ethical principles should be clearer and more precise than they currently are. Second, the link between ethical principles and policy implementation should be clearly established and define boundaries on acceptable interpretation, ensuring that signatories abide by these principles. (shrink)

This review essay assesses Michael Jackson’s ongoing project of staging an encounter between anthropology and philosophy in two books: Lifeworlds (2013) and As Wide as the World Is Wise (2016). Considering his philosophical enrichment of ethnographic theory and method, this essay addresses foundational questions about the prospects and practices of interdisciplinary engagement. It also suggests future avenues for continued dialogue between philosophy and anthropology.

Who is recognised as a philosopher and what counts as philosophy influence both the content of a philosophical education and academic philosophy’s continuing demographic skew. The “philosophical who” and the “philosophical what” themselves are a partial function of matters that have been passed over in collective silence, even if that now feels to some like a silence belonging to the distant past. This paper discusses some philosophical silences regarding race, gender, and disability in the context of reflection on philosophical education (...) and on philosophical practice in the public sphere. It focuses on Charles Mills’ writings on race, Susan Babbitt’s on race and gender, and on more collaboratively-generated work on eugenics and disability. (shrink)

El Test de Turing es un método tan controvertido como desafiante en Inteligencia Artificial. Se basa en la imitación de la conducta lingüística de humanos, y tiene como objetivo recabar evidencia empírica en favor de la tesis de que las máquinas programadas podrían pensar. Alan Turing, su creador, ha sido catalogado como conductista por la mayor parte de los comentaristas. En este capítulo muestro que no lo es. Por el contrario, Turing es un funcionalista, porque todo el énfasis del juego (...) de la imitación está en el engaño de la máquina hacia los humanos. Por ello el género es importante en dicho juego, al menos en su versión preliminar. (shrink)

We articulate a holistic understanding of hope, going beyond the common conceptualization of hope in terms of positive affect and cognition by considering what hope means for the underprivileged. In the recognition that hope is always situated in a particular place, we explore the perspective of the privileged and the underprivileged, clarifying how spatial contexts shape their goals for the future and their agency toward attaining these goals. Where some people experience precarity due to their disability, race, gender, sexuality, and (...) social class, others enjoy enhanced agency due to their privilege. In our analysis, this loss of agency does not mean the underprivileged are hopeless; instead, it suggests that hope can incorporate negative affect and cognition. In our view, a spatial understanding acknowledges the power of hope in discouraging situations, and it points to practical measures through which hope can be cultivated by marginalized communities. (shrink)

This open-access editorial discusses confronting silences in different disciplinary contexts, such as science and technology studies, cultural anthropology, and philosophy. It has a focus on race and concludes with thoughts about Indigenous expertise, the Australian referendum on the Indigenous Voice, to parliament, and racism.

Advances in neuroscience implicate reentrant signaling as the predominant form of communication between brain areas. This principle was used in a series of masking experiments that defy explanation by feed-forward theories. The masking occurs when a brief display of target plus mask is continued with the mask alone. Two masking processes were found: an early process affected by physical factors such as adapting luminance and a later process affected by attentional factors such as set size. This later process is called (...) masking by object substitution, because it occurs whenever there is a mismatch between the reentrant visual representation and the ongoing lower level activity. Iterative reentrant processing was formalized in a computational model that provides an excellent fit to the data. The model provides a more comprehensive account of all forms of visual masking than do the long-held feed-forward views based on inhibitory contour interactions. (shrink)

This study aimed to trace the 2015 to 2019 MAME graduates in the College of Teacher Education for Graduate Studies of the University of Northern Philippines in terms of their personal profile, their work-related profile before and after taking their master’s degree, reasons of taking up the program, competency level before and after taking the program, appraisal of the most useful courses offered in the program, evaluation on the contribution of the program to their personal and professional growth and assessment (...) on the features of the program and suggestions of how to improve the program. The researcher utilized mixed method of research. The subjects were the MAME graduates, and a questionnaire and open-ended questions were sent to them thru various online flat forms. Based on the findings of the study, the following conclusions are derived: pursuing graduate studies chooses no sex, civil status or age as long as there is a will to improve one's self; students have math- related educational background and finished the program within the prescribed number of years; having master’s degree could contribute greatly in landing a permanent teaching job in public schools; professional and personal growth and development is the strongest drive to pursue advance education; the program offers subjects that are useful which enhanced the teaching competencies of the graduates and consequently contribute to the holistic development of the graduates; and that there are areas needing improvement in the MAME program. (shrink)

This compilation of references includes all references for the knowledge-how chapters included in Bengson & Moffett's edited volume. The volume and the compilation of references may serve as a good starting point for people who are unfamiliar with the philosophical literature on knowledge-how.

This paper offers an overview of "the species problem", arguing for a view of species as homeostatic property cluster kinds, positioning the resulting form of realism about species as an alternative to the claim that species are individuals and pluralistic views of species. It draws on taxonomic practice in the neurosciences, especially of neural crest cells and retinal ganglion cells, to motivate both the rejection of the species-as-individuals thesis and species pluralism.

Observers inspected normal, high quality color displays of everyday visual scenes while their eye movements were recorded. A large display change occurred each time an eye blink occurred. Display changes could either involve "Central Interest" or "Marginal Interest" locations, as determined from descriptions obtained from independent judges in a prior pilot experiment. Visual salience, as determined by luminance, color, and position of the Central and Marginal interest changes were equalized. -/- The results obtained were very similar to those obtained in (...) prior experiments showing failure to detect changes occurring simultaneously with saccades, flicker, or “mudsplashes” in the visual scene: Many changes were very hard to detect, and Marginal Interest changes were harder to detect than Central Interest changes. -/- Analysis of eye movements showed, as expected, that the probability of detecting a change depended on the eye’s distance from the change location. However a surprising finding was that both for Central and Marginal Interest changes, evenwhen observers were directly fixating the change locations (within 1 degree),more than 40% of the time they still failed to see the changes. It seems that looking at something does not guarantee you “ see” it. (shrink)

This collection of newly commissioned essays, edited by NYU philosophers Paul Boghossian and Christopher Peacocke, resumes the current surge of interest in the proper explication of the notion of a priori. The authors discuss the relations of the a priori to the notions of definition, meaning, justification, and ontology, explore how the concept figured historically in the philosophies of Leibniz, Kant, Frege, and Wittgenstein, and address its role in the contemporary philosophies of logic, mathematics, mind, and science. The editors’ Introduction (...) familiarizes the reader with the issues that are to be explored in detail in later parts of the anthology. (shrink)

The ontological turn (OT) is a loose cluster of theoretical approaches within cultural anthropology that advocates a synthetic, overarching way forward for ethnographically oriented cultural anthropology. We argue that in order to contribute substantively to ethnobiology the OT needs to distance itself from a long-standing tradition of thinking within ethnography that assumes some kind of fundamental divide between the natural and the social sciences. This distancing seems especially unlikely in light of the meta-anthropological nature of the OT as primarily a (...) perspective on ethnographic methodology. Instead, we advocate for naturalistic theoretical alternatives for thinking about human sociality, where philosophical innovation develops in concert with ongoing empirical work across the biological, cognitive, and social sciences. We illustrate this perspective by drawing on two naturalistic accounts likely to prove more fruitful for ethnobiological practice, namely, trans-genera models of sociality and progenerative views of kinship. (shrink)

This chapter uncovers a less investigated aspect of the relationship between the two most important scholastic schools of the Renaissance, Thomism and Scotism: the influence of Scotist literature on distinctions as seen in some sixteenth-century Thomists. The chapter has a primary focus on Chrysostomus Javelli’s engagement in his discussion of divine attributes with the Scotist doctrine of distinctions, but also considers other Thomist sources. First, the beginnings of the highly specialised Scotist literature on distinctions are traced back to the start (...) of the fourteenth century; I show how some early followers of Duns Scotus, in particular Francis of Meyronnes and Petrus Thomae, systematised Scotus’ ontology of the various grades of being by compiling lists of subtle distinctions to be applied to various levels of reality. I give some indications as to the later reception of these models of distinctions in the Scotist school. Special attention is paid to Étienne Brulefer, since his summary of Petrus Thomae’s model of seven distinctions was Javelli’s source for the Scotist doctrine. I then investigate how Javelli worked with Brulefer’s summary, and how he sought to integrate the Scotist doctrine into his own discussion of divine attributes. Thomists traditionally allowed only a rational or mental kind of distinction among divine attributes, and between them and the divine essence. Javelli, however, endeavours to show how the Thomist position may be reconciled with the Scotist doctrine of a formal or ex natura rei distinction. He did not always endorse this conciliatory approach; I hypothesise that he changed his mind on the subject over time. Finally, I show how other Renaissance Thomists reacted to the Scotist system of distinctions; in particular, I draw attention to the Thomists Andreas Bodenstein von Karlstadt, Bartolomeo Manzoli, and Mattia Gibboni da Aquario, who all wrote treatises on Thomist distinction theory modelled on the Scotist system of distinctions. In some of this literature, lists of distinctions based on Thomist metaphysics were compiled in order to replace the Scotist system. I argue that Javelli’s approach is more conciliatory and, in fact, has some overlap with the concordist thought of Giovanni Pico della Mirandola, who himself considered Scotus and Aquinas to be in fundamental agreement as regards the distinction between divine attributes. (shrink)

In De Anima II.6, Aristotle divides the objects of perception into three kinds: “special perceptibles" (idia aisthêta) such as colours, sounds and flavours, which can be perceived in their own right by only one sense; “common perceptibles" (koina aisthêta) such as shapes, sizes and movements, which can be perceived in their own right by multiple senses; and “incidental perceptibles,” such as the son of Diares, which can be perceived only “incidentally” (kata sumbebêkos). In this paper, I examine this division of (...) perceptibles and consider what it amounts to. First, I argue that Aristotle’s distinction between perceiving something in its own right (kath' hauto) and perceiving it incidentally marks a causal distinction: what is perceived in its own right causes perception as such, whereas what is perceived incidentally coincides with what is perceived in its own right. Second, I argue that for Aristotle special perceptibles, unlike common perceptibles, belong to homogeneous bodies on account of their chemical composition. Finally, I explain the primacy Aristotle assigns to special perceptibles and his claim that perception of them alone is free from error. I conclude with some brief remarks on Aristotle and the primary/secondary quality distinction. (shrink)

This short article is a “conversation” in which an android, Mort, replies to Richard Marc Rubin’s android named Sol in “The Robot Sol Explains Laughter to His Android Brethren” (The Philosophy of Humor Yearbook, 2022). There Sol offers an explanation for how androids can laugh--largely a reaction to frustration and unmet expectations: “my account says that laughter is one of four ways of dealing with frustration, difficulties, and insults. It is a way of getting by. If you need to label (...) my conception of humor, you might call it an adjustment theory, or perhaps an accommodation theory” (Rubin 256). Mort is intrigued but has his doubts. Mort contends that synesthesia likely has something to do with how humans develop humor. Perhaps, he considers, human designers crossed the androids' sensory wires, allowing them to be able to smash up concepts that do not otherwise seem to fit together, reconstruct incongruities in a manner that is not nonsensical, express the aha-eureka moment of a serendipitous discovery, and even feel blue when they fail at a given task that we were expected to complete. (shrink)

We examine Sophie Gibb’s emergent property-dualist theory of mental causation as double-prevention. Her account builds on a commitment to a version of causal realism based on a powers metaphysic. We consider three objections to her account. We show, by drawing out the implications of the ontological commitments of Gibb’s theory of mental causation, that the first two objections fail. But, we argue, owing to worries about cases where there is no double-preventive role to be played by mental properties, her account, (...) which solely affords mental properties a double-preventive role, is incomplete and vulnerable to a causal exclusion objection. We propose a friendly modification to her theory of mental causation that is consistent with her theory’s ontological commitments. Specifically, we sketch an account on which mental properties have a more pronounced causal-structuring role that is not exhausted by the role Gibb assigns them as double-preventers. The result is a novel emergentist theory of mental causation. (shrink)

Libertarianism about free will conjoins the thesis that free will requires indeterminism with the thesis that we have free will. Here the claim that we have experiential evidence for the libertarian position is assessed. It is argued that, on a straightforward reading, the claim is false, for our experiences as agents don't support the claim that free will requires indeterminism. However, our experiences as agents may still have a role to play in an overall case for libertarianism, insofar as they (...) give us some (defeasible) reason to think that we have free will. This latter claim is defended against a pair of objections that have been leveled against it. (shrink)

[This paper was presented at the APA Eastern Division Conference in New York City, January 2024] -/- Can one reasonably doubt that one is voluntarily making a commitment, even when one is doing so? Given that one voluntarily makes a commitment if and only if one (personally) knows that one is doing so, the answer appears to be “No.” After all, knowing implies justifiably believing, and it seems impossible that one could (synchronically and from a single personal perspective) reasonably doubt (...) what one justifiably believes. Indeed, assuming that one reasonably doubts that P only if one has sufficient evidence to believe that not-P, traditional epistemologists may hold that such “epistemic ambivalence” entails one’s believing a contradiction, while some Bayesians should hold that it entails violating “probabilism” (the norm that credences must conform to the axioms of probability). However, I argue that in at least some cases of romantic commitment-making, such ambivalence may not only be epistemically permissible, but even required, and perhaps best dealt with pragmatically. (shrink)

The German word Destruktion was used by Heidegger in the sense that philosophy should destroy some ontological concepts and the everyday meanings of certain words. Tradition allows the transmission of knowledge and sensations of continuity and connection with the past, but it must be critically evaluated so that it does not perpetuate certain prejudices. According to Heidegger, tradition transmits, but it also conceals. Tradition induces self-evidence and prevents us from accessing the origin of concepts. It makes us believe that we (...) do not need to return to that origin. Making tradition transparent dissolves the concealments it has provoked. Here I will apply this idea to the mental and the physical by suggesting that the mind-body problem has inherited occultations that are born in Descartes himself. As a result, what could be a new philosophical framework for the research in consciousness emerges: That as an individual cognitive being I cannot avoid splitting reality into what I am and what I am not, extending then the individual duality to a collective error transmitted culturally. (shrink)

La noticia de la conclusión del primer pangenoma humano ocurre veinte años después de que se pudo contar con una versión de referencia de la información genética completa de la especie humana. Las limitaciones técnicas de ese tiempo permitieron que esa versión tuviera errores y varias lagunas de la información genética. Ahora es posible contar con un nuevo atlas gigante con información que permite evidenciar la gran diversidad genética de la especie humana. Este trabajo está siendo realizado por el Consorcio (...) Internacional de Referencia del Pangenoma Humano, del que hacen parte cerca de cien investigadores y está financiado por el Instituto Nacional de Investigación del Genoma Humano y por los Institutos Nacionales de Salud de EEUU. En este escrito que describe a grandes rasgos en qué consiste el proyecto, cuáles son sus aplicaciones posibles y las dificultades técnicas que tiene actualmente. Se repasan también algunos aspectos éticos y jurídicos y se dan pautas para su culminación: profundizar en la reflexión ética de los problemas que se generan; cuidar la formación en ética de la investigación, bioética e integridad científica en todos los actores del proceso; no perder de vista la Declaración Universal sobre el genoma humano y los derechos humanos de la UNESCO; orientar los desarrollos de la bioinformática, para que los datos obtenidos se manejen de una mejor manera; extremar la prudencia en el manejo de esos datos; revisar y reajustar las prioridades que se tienen en la investigación de estas temáticas. (shrink)

This paper introduces several new classes of mathematical structures that have close connections with physics and with the theory of dynamical systems. The most general of these structures, called generalized stochastic systems, collectively encompass many important kinds of stochastic processes, including Markov chains and random dynamical systems. This paper then states and proves a new theorem that establishes a precise correspondence between any generalized stochastic system and a unitarily evolving quantum system. This theorem therefore leads to a new formulation of (...) quantum theory, alongside the Hilbert-space, path-integral, and quasiprobability formulations. The theorem also provides a first-principles explanation for why quantum systems are based on the complex numbers, Hilbert spaces, linear-unitary time evolution, and the Born rule. In addition, the theorem suggests that by selecting a suitable Hilbert space, together with an appropriate choice of unitary evolution, one can simulate any generalized stochastic system on a quantum computer, thereby potentially opening up an extensive set of novel applications for quantum computing. (shrink)

I argue that Social Trinitarians can and should conceive of God as a group person. They can by drawing on recent theories of group agency realism that show how groups can be not just agents but persons distinct from their members – albeit, I argue, persons of a different kind. They should because the resultant novel view of the Trinity – that God is three ‘intrinsicist’ persons in one ‘functional’ person – is theologically sound, effectively counters the most trenchant criticisms (...) of Social Trinitarianism, and enjoys independent theological support from the biblical notion of ‘corporate personality’. (shrink)

Problems in normative ethics paradigmatically concern what it is obligatory or permissible for an individual to do. Yet sometimes, each of us ought to do something individually in virtue of what we ought to do together. Unfortunately, traversing these two different levels at which a moral obligation can arise – individual and collective – is fraught with difficulties that easily lure us into conclusions muddying our understanding of collective obligations. This paper seeks to clearly lay out a systematic problem central (...) to the relation between collective and individual duties in view of alleviating some such confusion and facilitating more concerted attempts at resolving it: Collective duties require individuals to act in order for the collective duty to be fulfilled. Yet typically, a collective duty does not entail any one set of individual duties that would prescribe such contributory actions: The work we need to do in order to fulfil a duty can be allocated differently to the individuals collectively bearing it. Much like in matters of distributive justice, then, deriving individual duties from a collective one requires us to employ a distributive scheme, which raises separate normative concerns that have rarely taken centre stage in the debate so far. (shrink)

Epistemologists focus primarily on cases of knowledge, belief, or credence where the evidence which one possesses, or on which one is relying, plays a fundamental role in the epistemic or normative status of one's doxastic state. Recent work in epistemology goes beyond the evidence one possesses to consider the relevance for such statuses of evidence which one does not possess, particularly when there is a sense in which one should have had some evidence. I focus here on Sanford Goldberg's approach (...) ("Should Have Known," Synthese, forthcoming; and "On the Epistemic Significance of Evidence You Should Have Had," Episteme 2016, this issue); but the discussion will interest anyone working on epistemic defeat. (shrink)

The W-defense is among the most prominent arguments for the principle of alternative possibilities (PAP). Here I offer some considerations in support of the W-defense and respond to what I see as the most forceful objections to it to date. My response to these objections invokes the well-known flicker of freedom response to Frankfurt cases. I argue that the W-defense and the flicker response are mutually reinforcing and together yield a compelling defense of PAP.

Scientific literacy is built on critical thinking. The postbaccalaureate workforce enhances our economies and societies by contributing a wealth of knowledge and skill sets to local communities, respective industries, and beyond as our world becomes increasingly interconnected. Education in scientific literacy should teach students how to learn about science and how to cultivate and communicate a positive attitude about science. Learners in a 200-level nonmajors biotechnology course engaged with a series of ethical dilemmas after mastering the basic elements of argument (...) structure and advanced tools in argument evaluation. To introduce collaboration as a constructive process in undergraduate education, student interactions with peers require guidance, flexibility, and compassion to learn from each other. Students gain critical thinking mastery from two modules addressing how we argue and evaluate claims. Students apply these critical thinking skills to various ethical arguments involving responsible conduct of research training. Using our structured and interdisciplinary approach, new scholars learn through practice how to read, analyze, and evaluate research scenarios and respond to potential ethical situations. This strategy allows students to develop important scholarly skills, including a systematic approach to evaluating credibility and applying generosity to theirs and others' understanding of their circumstances. (shrink)

By “pantheism” I mean to pick out a model of God on which God is identical with the totality of existents constitutive of the universe. I assume that, on pantheism, God is an omnispatiotemporal mind who is identical with the universe. I assume that, given divine omnispatiotemporality, God knows everything that can be known in the universe. This includes having knowledge de se of the minds of every conscious creature. Hence, if God has knowledge de se of the minds of (...) every conscious creature, then divine omniscience implies omnisubjectivity. Assuming that eternalism is true, robust temporal passage is an illusion. But, conscious creatures, such as human persons, experience robust temporal passage. If God has the attribute of omnisubjectivity, then God experiences temporal passage. However, God also has a unified experience of the entire spatiotemporal continuum. God’s having these two perspectives creates a tension for pantheism given that God would seem to experience both temporal passage and an absence of temporal passage. I compare non-personal pantheism and personal pantheism and consider which one has better resources to answer the foregoing puzzle. I argue that personal pantheism is better equipped to address this problem than non-personal pantheism. (shrink)