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.

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)

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)

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.

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)

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)

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.

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 this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

We use a neutrosophic set, instead of an intuitionistic fuzzy because the neutrosophic set is more general, and it allows for independent and partial independent components, while in an intuitionistic fuzzy set, all components are totally dependent. In this article, we present and demonstrate the concept of neutrosophic invariant subgroups. We delve into the exploration of this notion to establish and study the neutrosophic quotient group. Further, we give the concept of a neutrosophic normal subgroup as a novel concept.

There are many things—call them ‘experts’—that you should defer to in forming your opinions. The trouble is, many experts are modest: they’re less than certain that they are worthy of deference. When this happens, the standard theories of deference break down: the most popular (“Reflection”-style) principles collapse to inconsistency, while their most popular (“New-Reflection”-style) variants allow you to defer to someone while regarding them as an anti-expert. We propose a middle way: deferring to someone involves preferring to make any decision (...) using their opinions instead of your own. In a slogan, deferring opinions is deferring decisions. Generalizing the proposal of Dorst (2020a), we first formulate a new principle that shows exactly how your opinions must relate to an expert’s for this to be so. We then build off the results of Levinstein (2019) and Campbell-Moore (2020) to show that this principle is also equivalent to the constraint that you must always expect the expert’s estimates to be more accurate than your own. Finally, we characterize the conditions an expert’s opinions must meet to be worthy of deference in this sense, showing how they sit naturally between the too-strong constraints of Reflection and the too-weak constraints of New Reflection. (shrink)

The evidential value of moral intuitions has been challenged by psychological work showing that the intuitions of ordinary people are affected by distorting factors. One reply to this challenge, the expertise defence, claims that training in philosophical thinking confers enhanced reliability on the intuitions of professional philosophers. This defence is often expressed through analogy: since we do not allow doubts about folk judgments in domains like mathematics or physics to undermine the plausibility of judgments by experts in these domains, we (...) also should not do so in philosophy. In this paper I clarify the logic of the analogy strategy, and defend it against recent challenges by Jesper Ryberg. The discussion exposes an interesting divide: while Ryberg’s challenges may weaken analogies between morality and domains like mathematics, they do not affect analogies to other domains, such as physics. I conclude that the expertise defence can be supported by analogical means, though care is required in selecting an appropriate analog. I discuss implications of this conclusion for the expertise defence debate and for study of the moral domain itself. (shrink)

This paper describes one style of functional analysis commonly used in the neurosciences called task-bound functional analysis. The concept of function invoked by this style of analysis is distinctive in virtue of the dependence relations it bears to transient environmental properties. It is argued that task-bound functional analysis cannot explain the presence of structural properties in nervous systems. An alternative concept of neural function is introduced that draws on the theoretical neuroscience literature, and an argument is given to show that (...) this alternative concept of may help to overcome the explanatory limitations of task-bound functional analysis. (shrink)

Some philosophers oppose recent arguments for the Knowledge Norm of Assertion by claiming that assertion, being an act much like any other, will be subject to norms governing acts generally, such as those articulated by Grice for the purpose of successful, cooperative endeavours. But in fact, Grice is a traitor to their cause; or rather, they are his dissenters, not his disciples. Drawing on Grice's unpublished papers, I show that he thought of asserting as a special linguistic act in need (...) of its own norm, and he tied his maxim of Quality to knowledge. I also develop a simple Gricean-inspired argument showing that the Quality maxim is not dependent on the Cooperative Principle. If it is not thus dependent, then the Cooperative Principle cannot be the explanation of, or source of normativity for, the Quality maxim. Thus, leveraging the insights informing the maxim of Quality actually provides the resources for a distinctive positive case that knowledge is the constitutive norm of assertion. (shrink)

The starting point of this paper is the thought that the phenomenal appearances that accompany mental states are somehow only there, or only real, from the standpoint of the subject of those mental states. The world differs across subjects in terms of which appearances obtain. Not only are subjects standpoints across which the world varies, subjects are standpoints that we can ‘adopt’ in our own theorizing about the world (or stand back from). The picture that is suggested by these claims (...) has an appeal but is at the same time obscure and stands in need of regimentation. This paper explores and motivates a metaphysical account of what it is for subjects to be standpoints, what it is to adopt standpoints in our representations and, most importantly, how these notions might help us better understand the subjective character of conscious mental states. Some well-known observations by Thomas Nagel serve as starting points and the paper concludes by revisiting Nagel’s argument for the inevitable incompleteness of objective accounts of mental states, which will be reframed in terms of the central commitments of the proposed framework. (shrink)

It is widely accepted that there is a visual field, but the analogous notion of an auditory field is rejected by many philosophers on the grounds that the metaphysics or phenomenology of audition lack the necessary spatial or phenomenological structure. In this paper, I argue that many of the common objections to the existence of an auditory field are misguided and that, contrary to a tradition of philosophical scepticism about the spatiality of auditory experience, it is as richly spatial as (...) visual experience—and in some ways even more so. By carefully considering the spatiality and boundedness of audition, along with how sounds or their sources are experienced as occurring within the surrounding acoustic environment, we can gain a better understanding of (i) our auditory experience of space and (ii) the conditions for the existence of spatial sensory fields in general in a way that does not privilege vision over the other senses. (shrink)

My contribution to this Symposium focuses on the links between sexuality and reproduction from the evolutionary point of view.' The relation between women's sexuality and reproduction is particularly importantb ecause of a vital intersectionb etweenp olitics and biology feminists have noticed, for more than a century, that women's identity is often defined in terms of her reproductive capacity. More recently, in the second wave of the feminist movement in the United States, debates about women'si dentityh ave explicitlyi ncludeds exuality;m uch (...) feminist argument in the late 1960's and early 1970's involved an attempt to separate out an autonomous female sexuality from women's reproductive functions. It is especially relevant, then, to examine biological arguments, particularlye volutionarya rgumentst, o see what they say about whether and how women's sexuality is related to reproduction. We shall find that many evolutionarya rgumentss eem to supportt he direct linkingo f female sexualitya nd reproductionY. et I will argue that this supporti s not well-groundedI. n fact, I think evolutionarye xplanationso f female sexuality exemplify how social beliefs and social agendas can influence very basic biological explanations of fundamental physiological processes. In this paper, I shall spend some time spelling out a few examples in which assumptions about the close link between reproduction and sexuality yield misleading results, then I shall conclude with a discussion of the consequences of this case study for issues in the philosophy of science. (shrink)

The conceptualisation of kinship and its study remain contested within anthropology. This paper draws on recent cognitive science, developmental cognitive psychology, and the philosophy of science to offer a novel argument for a view of kinship as progeneratively or reproductively constrained. I shall argue that kinship involves a form of extended cognition that incorporates progenerative facts, going on to show how the resulting articulation of kinship’s progenerative nature can be readily expressed by an influential conception of kinds, the homeostatic property (...) cluster view. Identifying the distinctive role that our extended cognitive access to progenerative facts plays in kinship delivers an integrative, progenerativist view that avoids standard performativist criticisms of progenerativism as being ethnocentric, epistemically naïve, and reductive. (shrink)

In his recent book Physicalism, Daniel Stoljar argues that there is no version of physicalism that is both true and deserving of the name. His argument employs a variation of Hilary Putnam’s famous twin-earth story, which Stoljar calls “the twin-physics world.” In this paper, I challenge Stoljar’s use of the twin-physics world. The upshot of that challenge, I argue, is that Stoljar fails to show, concerning the versions of physicalism for which he grants the possibility of being true, that none (...) of them is deserving of the name. (shrink)

Purpose Prescription stimulant use as “cognitive enhancers” has been described among undergraduate college students. However, the use of prescription stimulants among future health care professionals is not well characterized. This study was designed to determine the prevalence of prescription stimulant misuse among students at an academic health sciences center. -/- Method Electronic surveys were e-mailed to 621 medical, pharmacy, and respiratory therapy students at East Tennessee State University for four consecutive weeks in fall 2011. Completing the survey was voluntary and (...) anonymous. Surveys asked about reasons for, frequency of, and side effects of nonprescription misuse of prescription stimulants. Given the sensitive material, an opportunity to win one of ten $50 gift cards was used as an incentive. -/- Results Three hundred seventy-two (59.9%) students completed the survey from three disciplines (47.6% medical, 70.5% pharmacy, and 57.6% respiratory therapy). Overall, 11.3% of responders admitted to misusing prescription stimulants. There was more misuse by respiratory therapy students, although this was not statistically significant (10.9% medicine, 9.7% pharmacy, 26.3% respiratory therapy; P = .087). Reasons for prescription stimulant misuse included to enhance alertness/ energy (65.9%), to improve academic performance (56.7%), to experiment (18.2%), and to use recreationally/get high (4.5%). -/- Conclusions Prescription stimulant misuse was prevalent among participating students, but further research is needed to describe prevalence among future health care workers more generally. The implications and consequences of such misuse require further study across professions with emphasis on investigating issues of academic dishonesty (e.g., “cognitive enhancement”), educational quality, and patient safety or health care quality. (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.

In men and women sexual arousal culminates in orgasm, with female orgasm solely from sexual intercourse often regarded as a unique feature of human sexuality. However, orgasm from sexual intercourse occurs more reliably in men than in women, likely reflecting the different types of physical stimulation men and women require for orgasm. In men, orgasms are under strong selective pressure as orgasms are coupled with ejaculation and thus contribute to male reproductive success. By contrast, women's orgasms in intercourse are highly (...) variable and are under little selective pressure as they are not a reproductive necessity. The proximal mechanisms producing variability in women's orgasms are little understood. In 1924 Marie Bonaparte proposed that a shorter distance between a woman's clitoris and her urethral meatus (CUMD) increased her likelihood of experiencing orgasm in intercourse. She based this on her published data that were never statistically analyzed. In 1940 Landis and colleagues published similar data suggesting the same relationship, but these data too were never fully analyzed. We analyzed raw data from these two studies and found that both demonstrate a strong inverse relationship between CUMD and orgasm during intercourse. Unresolved is whether this increased likelihood of orgasm with shorter CUMD reflects increased penile–clitoral contact during sexual intercourse or increased penile stimulation of internal aspects of the clitoris. CUMD likely reflects prenatal androgen exposure, with higher androgen levels producing larger distances. Thus these results suggest that women exposed to lower levels of prenatal androgens are more likely to experience orgasm during sexual intercourse. . (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)

I respond to Daniel and Frances Howard-Snyder’s criticisms of my arguments in another place for the conclusion that human supplicants would have little responsibility (if any) for the result of answered petitionary prayer, and criticize their defense of the claim that God would have good reasons for creating an institution of petitionary prayer.

This article defends a version of the Westermarck Effect, integrating existing clinical, biological, and philosophical dimensions to incest avoidance. By focusing on care-based attachment in primates, my formulation of the effect suggests the power of a phylogenetic argument widely accepted by primatologists but not by cultural anthropologists. Identifying postadoption incest as a phenomenon with underexplored evidential value, the article sketches an explanatory strategy for reconciling the effect with the clinical reality of incest, concluding with an explicit argument against culture-first or (...) conventionalist accounts of incest avoidance prevalent in anthropology. (shrink)

In two very influential papers from 2008, Tamar Gendler introduced the concept of “alief” to describe the mental state one is in when acting in ways contrary to their consciously professed beliefs. For example, if asked to eat what they know is fudge, but shaped into the form of dog feces, they will hesitate, and behave in a manner that would be consistent with the belief that the fudge is really poop. They alieve that it is disgusting, while they believe (...) it is not. This paper investigates laughter from self-proclaimed egalitarian, tolerant folk, in response to oppressive jokes that might fit the alief-model. If I merely alieve the content of a joke at which I laugh, will that constitute morally exculpating reasons for such laughter? And what else might it imply? This paper will provide insights at the intersections of humor studies, ethics, epistemology, phenomenology, and the philosophy of mind, all while being moderately and appropriately amusing. (shrink)

The probabilities a Bayesian agent assigns to a set of events typically change with time, for instance when the agent updates them in the light of new data. In this paper we address the question of how an agent's probabilities at different times are constrained by Dutch-book coherence. We review and attempt to clarify the argument that, although an agent is not forced by coherence to use the usual Bayesian conditioning rule to update his probabilities, coherence does require the agent's (...) probabilities to satisfy van Fraassen's [1984] reflection principle (which entails a related constraint pointed out by Goldstein [1983]). We then exhibit the specialized assumption needed to recover Bayesian conditioning from an analogous reflection-style consideration. Bringing the argument to the context of quantum measurement theory, we show that "quantum decoherence" can be understood in purely personalist terms---quantum decoherence (as supposed in a von Neumann chain) is not a physical process at all, but an application of the reflection principle. From this point of view, the decoherence theory of Zeh, Zurek, and others as a story of quantum measurement has the plot turned exactly backward. (shrink)

This commentary continues an exchange on eugenics in Monash Bioethics Review between Anomaly (2018), Wilson (2019), and Veit, Anomaly, Agar, Singer, Fleischman, and Minerva (2021). The eponymous question, “Can ‘Eugenics’ be Defended?”, is multiply ambiguous and does not receive a clear answer from Veit et al.. Despite their stated desire to move beyond mere semantics to matters of substance, Veit et al. concentrate on several uses of the term “eugenics” that pull in opposite directions. I argue, first, that Veit et (...) al. (2021) makes much the same error as does Anomaly (2018) in characterizing eugenics; second, that the paper misunderstands the relationship between eugenics and enhancement; and third, that it distorts the views expressed in my “Eugenics Undefended”. (shrink)

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske develops an (...) analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

This paper presents gesture as an element of aesthetic experience of musical work. It focuses on specific dialectics of gesture in musical works as that which is visual or highlighted and at the same that which speaks to the listener. The difficulty in describing what constitute musical expressive gesture is there to guide us. The gesture stands in way of recognizing meaning and providing communication but at the same time that, which speaks to the listener is the most secluded, intimate (...) part of musical experience. (shrink)

:The study aimed to identify the level of enhancing the competitive advantage of training institutions in Palestine. The study used the descriptive analytical approach. A structured questionnaire was used to collect data that contribute to achieving the objectives of the study. The study population consists of workers in training institutions operating in the southern Palestinian governorates. The random sample for data collection, where (90) applicable questionnaires were retrieved. The results of the study showed that the general estimate for the competitive (...) advantage axis came with a high degree and a relative weight (90.67%). The results also showed that there were no statistically significant differences in enhancing the competitive advantage according to the variables (gender, governorate). As well as the existence of statistically significant differences in enhancing the competitive advantage according to the variables (Educational Qualification, Age Group, Number Of Years of Service). The study presented a set of recommendations, the most important of which are: the need for centers to develop their training systems in line with modern technology, in addition to the need for centers to target new areas in their service by opening other branches in diffe rent geographical locations. (shrink)

This work is about current theories concerning the application of the constitutional rules, on the approach of the efficacy and effectiveness of the fundamental rights. It also suggests an alternative way of logical analysis of the problem, mainly taking in account the phenomena of the application-efficacy-effectiveness of the rules. Therefore, it discusses the dogmatic rules and proposes the logical separation between its applicability and its effectiveness, considering the effectiveness as the potential power to realize the fundamental rights.

The study determined the influence of innate mathematical characteristics on the number sense competencies of junior high school students in a Philippine public school. The descriptive-correlational research design was used to accomplish the study involving a nonrandom sample of sixty 7th-grade students attending synchronous math sessions. Data obtained from the math-specific Learning Style and Self-Efficacy questionnaires and the modified Number Sense Test (NST) were analyzed and interpreted using descriptive statistics, Pearson’s Chi-Square, and Simple Linear Regression analysis. The research instruments and (...) statistics were all validated and tested for reliability. The analysis revealed that the students are visual learners, had no or slight self-efficacy, and their number sense competency level is poor. They encountered difficulty in all the components and domains of the NST. Moreover, the students’ mathematical self-efficacy is significantly related and may influence their number sense competency level. Building upon the learners’ self-efficacy to further their understanding and skills in number sense is necessary. (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 continues developing the theory of everything consistent with the Presentist Fragmentalist interpretation of quantum mechanics.