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)

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)

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.

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)

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)

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.

Where does the mind begin and end? Most philosophers and cognitive scientists take the view that the mind is bounded by the skull or skin of the individual. Robert Wilson, in this provocative and challenging 2004 book, provides the foundations for the view that the mind extends beyond the boundary of the individual. The approach adopted offers a unique blend of traditional philosophical analysis, cognitive science, and the history of psychology and the human sciences. The companion volume, Genes and the (...) Agents of Life, explores the theme in the biological sciences. Written with verve and clarity, this ambitious book will appeal to a broad swathe of professionals and students in philosophy, psychology, cognitive science, and the history of the behavioural and human sciences. You can download the table of contents here. (shrink)

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)

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)

I argue that a standard formulation of hinge epistemology is host to epistemic relativism and show that two leading hinge approaches (Coliva’s acceptance account and Pritchard’s nondoxastic account) are vulnerable to a form of incommensurability that leads to relativism. Building on both accounts, I introduce a new, minimally epistemic conception of hinges that avoids epistemic relativism and rationally resolves hinge disagreements. According to my proposed account, putative cases of epistemic incommensurability are rationally resolvable: hinges are propositions that are the objects (...) of our belief-like attitudes and are rationally revisable in virtue of our overarching commitment to avoid systematic deception in our epistemic practices. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

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.

Abstract: Online book review platforms generate vast user data, making accurate rating prediction crucial for personalized recommendations. This research explores neural networks as simple models for predicting book ratings without complex algorithms. Our novel approach uses neural networks to predict ratings solely from user-book interactions, eliminating manual feature engineering. The model processes data, learns patterns, and predicts ratings. We discuss data preprocessing, neural network design, and training techniques. Real-world data experiments show the model's effectiveness, surpassing traditional methods. This research can (...) enhance user experience, book catalog organization, and aid publishers, simplifying recommendation processes and providing tailored suggestions based on user preferences. (shrink)

According to the fitting attitude (FA) analysis of value concepts, to conceive of an object as having a given value is to conceive of it as being such that a certain evaluative attitude taken towards it would be fitting. Among the challenges that this analysis has to face, two are especially pressing. The first is a psychological challenge: the FA analysis must call upon attitudes that shed light on our value concepts while not presupposing the mastery of these concepts. The (...) second challenge is normative: the FA analysis must account for the fittingness of the relevant attitudes in terms of a kind of normativity intimately related to these attitudes, but again without presupposing the mastery of the relevant value concepts. In this paper, we show that real progress is possible if we pay close attention to the nature of the attitudes recruited by the analysis. More specifically, we claim that an FA analysis that appeals to emotions conceived as evaluative attitudes — as opposed to, for instance, evaluative judgements or evaluative perceptions — has the best prospects of meeting the two challenges and of putting the FA analysis on a strong footing. (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)

We address a long-standing debate over whether classical magnetic forces can do work, ultimately answering the question in the affirmative. In detail, we couple a classical particle with intrinsic spin and elementary dipole moments to the electromagnetic field, derive the appropriate generalization of the Lorentz force law, show that the particle's dipole moments must be collinear with its spin axis, and argue that the magnetic field does mechanical work on the particle's elementary magnetic dipole moment. As consistency checks, we calculate (...) the overall system's energy-momentum and angular momentum, and show that their local conservation equations lead to the same force law and therefore the same conclusions about magnetic forces and work. We also compute the system's Belinfante-Rosenfeld energy-momentum tensor. (shrink)

In this paper, we illustrate some serious difficulties involved in conveying information about uncertain risks and securing informed consent for risky interventions in a clinical setting. We argue that in order to secure informed consent for a medical intervention, physicians often need to do more than report a bare, numerical probability value. When probabilities are given, securing informed consent generally requires communicating how probability expressions are to be interpreted and communicating something about the quality and quantity of the evidence for (...) the probabilities reported. Patients may also require guidance on how probability claims may or may not be relevant to their decisions, and physicians should be ready to help patients understand these issues. (shrink)

Assertion is governed by an epistemic norm requiring knowledge. This idea has been hotly debated in recent years, garnering attention in epistemology, philosophy of language, and linguistics. This chapter presents and extends the main arguments in favor of the knowledge norm, from faulty conjunctions, several conversational patterns, judgments of permission, excuse, and blame, and from showing how. (Paired with a chapter by Peter J. Graham and Nikolaj J. L. L. Pedersen, "Knowledge is Not Our Norm of Assertion.").

Philosophers of biology and biologists themselves for the most part assume that the concept of kin is progenerative: what makes two individuals kin is a direct or indirect function of reproduction. Derivatively, kinship might likewise be presumed to be progenerative in nature. Yet a prominent view of kinship in contemporary cultural anthropology is a kind of constructivism or performativism that rejects such progenerativist views. This paper critically examines an influential line of thinking used to critique progenerativism and support performativism that (...) cites cross-cultural diversity in what I will call kinmaking. I challenge several key assumptions made in moving from this appeal to ethnography to conclusions about kinship and progeneration, arguing that closer scrutiny of both the ethnographic record and inferences that draw on it in fact support progenerative views of both kinship and kinmaking. (shrink)

Academic institutions migrated to modular teaching-learning amid the COVID-19 pandemic. To ensure the quality of the pedagogical innovations employed, the study determined the students’ evaluation of the faculty prepared instructional modules for the courses they enrolled in during the first and second semesters of Academic Year 2020-2021. Employing a descriptive-correlational research design, the study was participated by 644 students from three colleges who were then available during the data gathering. Data gathered through online surveys were then analyzed using descriptive statistics (...) and Spearman's rank correlation coefficient utilizing jamovi software. Results revealed that the faculty-prepared instructional modules were acceptable and satisfactory to the students. Besides, the students' evaluation of the instructional modules was positively related to their level of satisfaction. Still, the students recommended that a review of the modules be done before sending the modules; a more extended time allotment is considered, and sufficient concrete examples are given in the modules. With this, the faculty concerned are encouraged to review the phases involved in the design, development, and distribution of the instructional modules to make them highly acceptable and very satisfactory to the students while maintaining the quality of both the content and aesthetics of the learning materials. Considering the study’s limitations, further endeavors may be carried out to validate this pedagogical innovation. (shrink)

Quality of will accounts of moral responsibility hold that ill will is necessary for blameworthiness. But all such accounts are false to ordinary moral practice, which licenses blame for agents who act wrongly from epistemically unreasonable ignorance even if the act is not ill willed. This should be especially concerning to Strawsonians about moral responsibility, who think the genuine conditions of blameworthiness are derived from the standards internal to our practice. In response, I provide a theory of moral blameworthiness on (...) which ill will is not necessary for blameworthiness. On the view I defend, “Rational Capacitarianism,” agents are blameworthy whenever they act wrongly from an unreasonable attitude which is attributable to them, where an attitude is attributable to an agent just in case she has the capacity to assess reasons for and against the attitude and modulate the attitude in light of these assessments. Acting from unreasonable ignorance is just a special case of acting from an unreasonable attitude. My theory contrasts both with both quality of will accounts of blameworthiness and the Capacitarian view, which specifies that agents who act wrongly from ignorance are culpable if they could and should have known better. On Capacitarianism, a variety of awareness-relevant capacities are pertinent, including memory; on my view it is only failures of rational capacities that render the agent culpable, because only failures of rational capacities are attributable to the agent. (shrink)

The task of visual search is to determine as rapidly as possible whether a target item is present or absent in a display. Rapidly detected items are thought to contain features that correspond to primitive elements in the human visual system. In previous theories, it has been assumed that visual search is based on simple two-dimensional features in the image. However, visual search also has access to another level of representation, one that describes properties in the corresponding three-dimensional scene. Among (...) these properties are three dimensionality and the direction of lighting, but not viewing direction. These findings imply that the parallel processes of early vision are much more sophisticated than previously assumed. (shrink)

This paper begins by saying enough about eugenics to explain why disability is central to eugenics (section 2), then elaborates on why cognitive disability has played and continues to play a special role in eugenics and in thinking about moral status (section 3) before identifying three reasons why eugenics remains a live issue in contemporary bioethics (section 4). After a reminder of the connections between Nazi eugenics, medicine, and bioethics (section 5), it returns to take up two more specific clusters (...) of issues at the intersection of eugenics, disability, and bioethics. These concern questions of life, death, and reproductive value (section 6) and the value of standpoint theory and epistemology for understanding some of the tensions between bioethics and disability in light of a shared eugenic past (section 7). (shrink)

A body schema is an agent's model of its own body that enables it to act on affordances in the environment. This paper presents a body schema system for the Learning Intelligent Decision Agent (LIDA) cognitive architecture. LIDA is a conceptual and computational implementation of Global Workspace Theory, also integrating other theories from neuroscience and psychology. This paper contends that the ‘body schema' should be split into three separate functions based on the functional role of consciousness in Global Workspace Theory. (...) There is (1) an online model of the agent's effectors and effector variables (Current Body Schema), (2) a long-term, recognitional storage of embodied capacities for action and affordances (Habitual Body Schema), and (3) "dorsal" stream information feeding directly from early perception to sensorimotor processes (Online Body Schema). This paper then discusses how the LIDA model of the body schema explains several experiments in psychology and ethology. (shrink)

Aristotle is history’s most famous and influential proponent of the view that there are exactly five senses. But was he entitled to hold this view, given his other commitments? In particular, was he entitled to treat touch as a single sense, given the diversity of its correlated objects? In this paper I argue that Aristotle wished to individuate touch on the basis of its correlated objects, just as he had the other four senses. I also argue, contrary to what is (...) often supposed, that he was well-placed to do so, given his other commitments and views. (shrink)

Driven by a sharp increase in claims for reparations, reparative justice has become a topic of academic debate. To some extent this debate has been marred by a failure to realize the complexity of reparative justice. In this essay we try to amend this shortcoming. We do this by developing a taxonomy of different kinds of wrongs that can underwrite claims to reparations. We identify four kinds of wrongs: entitlement violations, unjust exclusions from an otherwise acceptable system of entitlements, and (...) two kinds where a social practice systematically fails to embody an acceptable system of entitlements. In deliberation about what is required to repair a historical injustice the weight of backward- and forward-looking considerations is a function of the distinctive features of the injustice in question. Hence, the first step in adjudicating claims for reparation is to identify what kind of wrong the claim arises from. From the taxonomy of wrongs we are thus able to construct what we call the Field of Reparative Justice, which illustrates how the structure of deliberation for reparative justice tracks the distinctive features of different kinds of wrongs. (shrink)

The dual role of olfaction in both smelling and tasting, i.e. flavour perception, makes it an important test case for philosophical theories of sensory individuation. Indeed, the psychologist Paul Rozin claimed that olfaction is a “dual sense”, leading some scientists and philosophers to propose that we have not one, but two senses of smell: orthonasal and retronasal olfaction. In this paper I consider how best to understand Rozin’s claim, and upon what grounds one might judge there to be one or (...) two distinct olfactory modalities. I conclude that while Rozin may be right that humans have dual occurrences of an olfactory ‘sense’, the concept of a sense-modality, and hence the ‘sense’ of smell, is ambiguous between two different notions: a physiological sensory channel and an experiential modality, along the lines suggested by J. J. Gibson. Furthermore, recognising that these are complementary rather than competing conceptions of a sense-modality enables the formulation of a powerful ‘dual-concept’ framework for posing and addressing questions concerning the complex architecture of human multisensory experience. (shrink)

Number systems differ cross-culturally in characteristics like how high counting extends and which number is used as a productive base. Some of this variability can be linked to the way the hand is used in counting. The linkage shows that devices like the hand used as external representations of number have the potential to influence numerical structure and organization, as well as aspects of numerical language. These matters suggest that cross-cultural variability may be, at least in part, a matter of (...) whether devices are used in counting, which ones are used, and how they are used. (shrink)

John Locke is known within anthropology primarily for his empiricism, his views of natural laws, and his discussion of the state of nature and the social contract. Marilyn Strathern and Marshall Sahlins, however, have offered distinctive, novel, and broad reflections on the nature of anthropological knowledge that appeal explicitly to a lesser-known aspect of Locke’s work: his metaphysical views of relations. This paper examines their distinctive conclusions – Sahlins’ about cultural relativism, Strathern’s about relatives and kinship – both of which (...) concern the objectivity of anthropological knowledge. Although Locke’s own views of relations have been neglected by historians of philosophy in the past, recent and ongoing philosophical discussions of Locke on relations create a productive trading zone between philosophy and anthropology on the objectivity of anthropological knowledge that goes beyond engagement with the particular claims made by Sahlins and Strathern. (shrink)

In On Not Expecting Too Much from Narrative, Lamarque (2004) challenges theories of narrative identity. For while narrativity might tell us something of interest about our selves, the requirements for this would be so strong that theories of narrative identity would not be able to meet them. In contrast, he identifies minimal conditions for narrativity, so that our identity could be of a narrative nature as well. But in that case, the concept of narrativity would be so weak that it (...) would hardly be able to tell us anything about ourselves. I first examine Lamarque's criticism of narrative concepts of identity. He shows that stories, understood in a minimal sense, are not found but told and that they establish a temporal relationship between at least two events. I then examine the concept of teleological explanations of action. Considering the problem of deviant causal chains that causalists are confronted with, they are at least a serious alternative to causal explanations of action. By doing that, I also attempt to render plausible the irreducibility of teleological explanations of action to causal ones. Subsequently, I outline some features of teleological explanations of action. Finally, I defend the idea that teleological explanations of action are essentially narrative explanations of action because they meet Lamarque's minimal conditions of narratives. I then make the case that these kinds of narratives are not trivial with respect to our personal identity but, on the contrary, are the prerequisite under which we can perceive ourselves as rational agents. (shrink)

Content disjunctivism is the view that veridical experience involves contents and objects that differ from those of corresponding hallucinations. On one formulation of this view, we are aware of ordinary material things in our surroundings when we experience veridically, and we are aware of mere appearances when we hallucinate. This paper proposes a way of developing this view and offers some considerations in support. Central to the proposed regimentation will be a distinction between different notions of appearance. We distinguish between (...) the notion of something merely appearing to have a property and the notion of mere appearances, which are types of objects that we can refer to and be aware of. Mere appearances are not sense data or Meinongian non-existent objects but existing objects that do not have the properties that they appear to have. These notions of appearance will be elucidated, in particular by characterizing how they are involved in hallucination and illusion. I argue that the resulting view is supported by how our mental life seems to us when we experience our environment. (shrink)

Luck egalitarianism has been criticized for condoning some cases of oppression and condemning others for the wrong reason—namely, that the victims were not responsible for their oppression. Oppression is unjust, however, the criticism says, regardless of whether victims are responsible for it, simply because it is contrary to the equal moral standing of persons. I argue that four luck egalitarian responses to this critique are inadequate. Two address only the first part of the objection and do so in a way (...) that risks making luck egalitarianism inconsistent. A third severely dilutes the luck egalitarian doctrine. A fourth manages to denounce some instances of oppression for the right reason, but at the same time permits other instances of oppression and condemns yet others for the wrong reason. (shrink)

Across various fields it is argued that the self in part consists of an autobiographical self-narrative and that the self-narrative has an impact on agential behavior. Similarly, within action theory, it is claimed that the intentional structure of coherent long-term action is divided into a hierarchy of distal, proximal, and motor intentions. However, the concrete mechanisms for how narratives and distal intentions are generated and impact action is rarely fleshed out concretely. We here demonstrate how narratives and distal intentions can (...) be generated within cognitive agents and how they can impact agential behavior over long time scales. We integrate narratives and distal intentions into the LIDA model,and demonstrate how they can guide agential action in a manner that is consistent with the Global Workspace Theory of consciousness. This paper serves both as an addition to the LIDA cognitive architecture and an elucidation of how narratives and distal intention emerge and play their role in cognition and action. (shrink)

In this chapter we first elucidate the subjective flow of time particularly as developed by Husserl. We next discuss time and timescales in predictive processing. We then consider how the phenomenological analysis of time can be naturalized within a predictive processing framework. In the final section, we develop an analysis of the temporal disturbances characteristic of depression using the resources of both phenomenology and predictive processing.

One of the challenges in secondary schools today is infringements on students’ rights, in a tortious way that may also constitute breach of the Child’s Right Act of 2003 in Nigeria. These breach on rights usually come through the administration of corporal punishments on students, and mainly because the school heads see themselves as loco parentis of the students who can, therefore, enforce any form of punishment on them in the school. This study investigated knowledge, attitude, and infringement of tort (...) law among public secondary school heads on students in Osun State. All the students in Osun State public secondary schools and 723 heads constituted the population. A sample of 54 school heads and 180 students were selected using multi-stage sampling procedure. Two instruments were designed to elicit responses from the respondents. Descriptive and inferential statistics were used to answer the research questions raised for the study. The results showed that school heads do not have adequate knowledge of tort law and that both the school heads and students have poor attitude toward it tort law. The study recommends that short term training on student’s right, how they can be legally protected and tort law be organised for school heads. (shrink)