Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

A classic and fraught question in the philosophy of film is this: when you watch a film, do you experience yourself in the world of the film, observing the scenes? In this paper, we argue that this subject of film experience is sometimes a mere impersonal viewpoint, sometimes a first-personal but unindexed subject, and sometimes a particular, indexed subject such as the viewer herself or a character in the film. We first argue for subject pluralism: there is no single answer (...) to the question of what kind of subjectivity, if any, is mandated across film sequences. Then, we defend unindexed subjectivity: at least sometimes, films mandate an experience that is first-personal but not tied to any particular person, not even to the viewer. Taken together, these two theses allow us to see film experience as more varied than previously appreciated and to bridge in a novel way the cognition of film with the exercise of other imaginative capacities, such as mindreading and episodic recollecting. (shrink)

The timing of this special issue of AJOB probing whether public engagement (PE)1 might help achieve equity in genomics is no coincidence. While many issues discussed by the authors are not entirely...

Writers on collective action are in broad agreement that in order for a group of agents to form a collective intention, the members of that group must have beliefs about the beliefs of the other members. But in spite of the fact that this so-called "interactive knowledge" is central to virtually every account of collective intention, writers on this subject have not offered a detailed account of the nature of interactive knowledge. In this paper, we argue that such an account (...) is necessary for any adequate analysis of collective intention. Furthermore, we argue that an application of Robert Aumann's theory of interactive knowledge may be used to address several puzzling features of collective intention. CiteULike Connotea Del.icio.us What's this? (shrink)

Se analizan las políticas medio ambientales e indígenas durante el período 1990- 2010 de gobiernos de la Concertación, los tratados internacionales sobre el medio ambiente que inciden en el uso de recursos naturales en territorios huilliche. Se concluye que la política pública medioambiental, por su naturaleza reactiva, en el contexto de los mercados globales, se ha visto sobrepasada por la hegemonía del poder de las transnacionales que invierten en los commodities forestal, minero, agropecuario, amparadas por una legislación ambiental débil y (...) un discurso político obsecuente. (shrink)

Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior's research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be (...) familiar with the medieval logicians and their work. In this article we give an overview of Prior's work in ancient and medieval logic. (shrink)

The development of the Area of Freedom, Security and Justice has transformed the European Union and placed fundamental rights at the core of EU integration and its principles of mutual recognition and trust. The impact of the AFSJ in the development of an EU standard of fundamental rights, which has come to the fore since the Treaty of Lisbon, is a topic of great theoretical and practical importance. This is the first systematic academic study of the AFSJ and its implications (...) from the point of view of fundamental rights. The contributions to this collection examine the normative and jurisprudential development of the AFSJ in order to assess its effects on the overall construction of the scope and standards of protection of EU fundamental rights in this particularly complex and sensitive field of integration. The expert contributors systematically map and critically assess this area of EU law, together with the relevant case-law. (shrink)

_ Source: _Volume 23, Issue 2, pp 196 - 235 The role of choice in Gersonides’ theory of miracles, as presented in the Wars of the Lord, is discussed. The theory of miracles in Wars vi.2.10 is shown to be another link in his reconciliation of determinism with choice. After a brief review of his ideas about choice, his astral determinism is elucidated. The third part of the essay reviews his treatment of how miracles occur. Gersonides is shown to have (...) established a “conditional miraculous determinism”; his concern for choice is the key to this solution. (shrink)

Summary Ferdinand von Mueller (1825–96), the German-born Government Botanist of Victoria from 1853 until his death, and concurrently Director of the Melbourne Botanic Garden from 1857 until 1873, was a prolific systematic botanist, but also heavily involved in public educational activities. He conceived of the Garden as an educative place of recreation, but ultimately lost control over it. His loss did not stop his popular writing and lecturing, especially in areas related to the application of botany in horticulture, agriculture, and (...) forestry. The structure of his introductory school text—very different from the intensely logical grammar-like botany texts of the period—owed much to his political masters, but it is characterized by careful attention to language and locality. Mueller's work represents a consistent and pervasive example of attention to the ‘public understanding of science’ that resonates with the concerns of early twenty-first-century funders of scientific research. (shrink)

In this paper, we offer an analysis of ‘group intentions.’ On our proposal, group intentions should be understood as a state of equilibrium among the beliefs of the members of a group. Although the discussion in this paper is non-technical, the equilibrium concept is drawn from the formal theory of interactive epistemology due to Robert Aumann. The goal of this paper is to provide an analysis of group intentions that is informed by important work in economics and formal epistemology.

The creative process has the potential to increase wellbeing and foster human flourishing (Dolan and Metcalfe, 2012 ; Forgeard and Eichner, 2014 ; O’Brien and Murray, 2015 ; Conner et al., 2018 ; Kaufman, 2018 ), yet has received little attention in the humanistic management literature. In this paper, we present three experiments showing that idea originators experience greater relationship conflict with counterparts who have committed perceived “idea theft”, i.e., proposed identical or related ideas. We test a model that identifies (...) a mechanism—self-threat—that mediates the relationship between idea theft and relationship conflict and identifies an intervention to ameliorate that self-threat via self-affirmation. Study 1 demonstrates the idea originator’s attribution of malign attributions to, and negative moral emotions toward, the counterpart. Study 2 demonstrates that idea originators ostracize both those who propose identical ideas and those who propose merely related ideas. In Study 3, evidence for self-threat as the mechanism underlying the negative relational consequences is provided via both a direct test of mediation as well as via moderation by self-affirmation. Our research contributes to the nascent idea theft literature and suggests a way to reduce its negative consequences. (shrink)

Volume 25, Issue 2, February 2025, Page 87-90.

Uno de los principales retos del transhumanismo lo encontramos en su antropología. Nos encontramos ante un reduccionismo en el que el cuerpo aparece despojado de su dignidad y el espíritu no existe. El ejemplo que más me llama la atención de esto es el de la endogénesis: no se valora el hecho de que el ser humano sea gestado dentro del vientre de otro ser humano; para ellos sería preferible tener una máquina que pudiese hacer la misma misión, en lugar (...) de que el embarazo sea un acto de amor que tiene impacto en toda la vida de la persona. Creo que este es el mayor obstáculo en el que nos encontraremos al valorar el transhumanismo, y es especialmente importante: la persona es un edificio de múltiples dimensiones inextricablemente ligadas. Es necesario reconocer la dignidad de nuestro cuerpo, que va más allá de ser sustrato material de nuestra consciencia. El cuerpo forma parte de nuestra naturaleza, en la que cuerpo, emoción, pensamiento y espíritu son dimensiones que están íntimamente ligadas. No podemos renunciar a nuestro cuerpo. Además, me gustaría proponer que dentro del cuerpo existen portales ante la trascendencia. no es lo mismo ser que parecer. Muchos defienden que pronto tendremos robots que estarán dotados de consciencia. Que podrán pasar el test de Turing. Además, la Inteligencia Artificial permite generar mensajes de manera sintética. En algunos casos, estos mensajes son relativamente simples, pero en otros casos, como los chatbots, resultan muy interesantes. Algunos autores estiman que, dentro de poco, estos chatbots podrían llegar a pasar el test de Turing. Una vez tengamos máquinas que pasen el test de Turing, ¿podremos decir que son conscientes? ¿Es lo mismo una máquina que pase el Test de Turing que una máquina consciente? Para algunos, la respuesta es «es indiferente». Yo digo que no, que no es lo mismo. (shrink)

“Beautiful – do not touch” – this phrase, appearing in a seminar on the ethics of psychoanalysis, is one of the ways in which Jacques Lacan describes the operation in the human psyche of the phantasm principle. It is a construct that I will try to introduce the reader to in this article, describing the direct impact of beauty and the transgression of its principle through the lens of clinical experience. My goal in taking up this “beautiful – do not (...) touch” formula is to show how a concept usually associated with aesthetics has non-obvious but important clinical implications, and even defines a certain ethic of the subject towards sexuality. Another important aspect of this study is the juxtaposition of the problem of beauty with the question of femininity. And not only the one played out through the image, but especially the one that goes beyond representation in the feminine modality of pleasure. (shrink)

This book discusses feature films that enrich our understanding of doctor-patient dilemmas. The book comprises general clinical ethics themes and principles and is written in accessible language. Each theme is discussed and illuminated in chapters devoted to a particular film. Chapters start with a discussion of the film itself, which shares details behind the making of the film; critical reception; casting and other facts about production. The chapter situates the film in a history of medicine and medical sociology context, analyzes (...) ethical issues raised in the film from a clinical ethics lens, and explains to readers how to use each film as a teaching aid for clinical ethics. Readers will understand how each film in this collection served to bring particular clinical ethics issues to the public’s attention, or reflected medico-legal issues that were part of the public discourse. The book is a perfect instructor's guide for anyone teaching bioethics, healthcare ethics, medical sociology, medical history, healthcare systems narrative medicine, or nursing ethics. (shrink)

We examined how children's strategy choices in solving complex subtraction problems are related to grade and to variations in problem complexity. In two studies, third- and fifth-grade children (N≈160 each study) solved multi-digit subtraction problems (e.g., 34–18) and described their solution strategies. In the first experiment, strategy selection was investigated by means of a free-choice paradigm, whereas in the second study a discrete-choice approach was implemented. In both experiments, analyses of strategy repertoire indicated that third-grade children were more likely to (...) report less-efficient strategies (i.e., counting) and relied more on the right-to-left solution algorithm compared to fifth-grade children who more often used efficient memory-based retrieval and conceptually-based left-to-right (i.e., decomposition) strategies. Nevertheless, all strategies were reported or selected by both older and younger children and strategy use varied with problem complexity and presentation format for both age groups. These results supported the overlapping waves model of strategy development and provide detailed information about patterns of strategy choice on complex subtraction problems. (shrink)

The paper argues that the philosophical starting point of Simone de Beauvoir's The Second Sex is the phenomenological understanding of the living body, developed by Edmund Husserl and Maurice Merleau-Ponty. It shows that Beauvoir's notion of philosophy stems from the phenomenological interpretation of Cartesianism which emphasizes the role of evidence, self-criticism, and dialogue.

The second-wave feminist critique of privacy defies the liberal opposition between the public-political and the private-personal. Feminist thinkers such as Hanisch, Young or Fraser note that, according to this liberal conception, public institutions often keep asymmetric power relations between private agents away from political discussion and action. The resulting subordination of some agents to others tends, therefore, to be naturalised and redefined as a «personal problem». Drawing on these contributions, this article reviews the social and political implications of big data (...) exploitation and questions whether personal data protection must remain a matter of «privacy self-management». It aims to show that feminist political theory can decidedly help to identify and tackle the root causes of what I call «data domination».La crítica feminista de segunda ola a la privacidad desafía la oposición liberal entre lo público-político y lo privado-personal. Pensadoras feministas como Hanisch, Young o Fraser señalan que, de acuerdo con esta concepción liberal, las instituciones públicas a menudo dejan fuera de la discusión y la acción política las relaciones de poder asimétricas entre agentes privados. La resultante subordinación de unos agentes a otros tiende, por tanto, a ser naturalizada y redefinida como un «problema personal». Basándose en estas contribuciones, este artículo revisa las implicaciones sociales y políticas de la explotación de datos masivos y cuestiona si la protección de los datos personales debe continuar siendo una cuestión de «auto-gestión de la privacidad». Su objetivo es mostrar que la teoría política feminista puede ayudar decididamente a identificar y enfrentar las causas de lo que llamo «dominación a través de los datos». (shrink)

We present Prior's discussion of a puzzle about valditity found in the writings of the fourteenth-century French logician Jean Buridan and show how Prior's study of this puzzle may have provided the conceptual inspiration for his development of hybrid logic.

Children learning to read in two different orthographic systems are exposed to cross-linguistic interferences. We explored the effects of school and grade on phonological activation during a visual word recognition task. Elementary school children from Spain completed a lexical decision task in English. The task included real words and pseudohomophones following Spanish or English phonological rules. Using the mouse-tracking paradigm, we analyzed errors, reaction times, and computer mouse movements. Children in the bilingual school performed better than children in the monolingual (...) school. Children in higher grades performed better than children in lower grades. The interference effect of Spanish phonology was weak and became weaker in higher grades. Spanish children differentiate between first and second language grapheme-to-phoneme correspondences since early on in the educational process. In 6th grade, children from the bilingual school responded better to words and Spanish pseudohomophones, while children from the monolingual school were less distracted by the English pseudohomophones. Children in the bilingual school had stronger inhibition of Spanish phonology and stronger activation of English phonology. Instructional method plays an important role on the processing strategies Spanish children rely on when reading in English. School and grade influence the link between orthographic and phonological representations. (shrink)

This is a selective reading of Love's Labor: Essays on Women, Equality, and Dependency. My aim is twofold: to continue Love Labor's focus on dependency work and relations, adding certain distinctions and questions of my own; and to recognize the conjunction of three perspectives—theoretical, social/political, and personal—that strengthen this focus. I scant particulars of argument and ignore certain issues in the hope of providing a vivid outline of the rewards and demands of dependency as Eva Kittay envisions them.

The contributors to two new anthologies A Mind of One's Own: Feminist Essays on Reason and Objectivity and Feminist Epistemologies are philosophers for whom feminism is an intellectual as well as political commitment and they produce original, valuable feminist and philosophical work. I focus on differences between the anthologies and on two themes: the social character of knowledge and the allegedly oppressive “masculinism” of epistemological ideals.

The sequences produced by the cryptographic sequence generator known as the shrinking generator can be modelled as the output sequences of linear elementary cellular automata. These sequences are composed of interleaved m-sequences produced by linear structures based on feedback shifts. This profitable characteristic can be used in the cryptanalysis of this generator. In this work we propose an algorithm that takes advantage of the inherent linearity of these CA and the interleaved m-sequences. Although irregularly decimated generators have been conceived and (...) designed as non-linear ones, in practice they can be easily analysed in terms of simple linear structures. (shrink)

In this article the authors challenge the hegemonic masculinity of the dominant football discourses on intra-Christian sectarianism in Scotland through a pilot study on women’s everyday experiences of sectarianism. The authors argue that dominant constructions of sectarianism often erase the standpoints of different kinds of women by minimising their roles both as agents for change and/or subjects who also reproduce sectarianism in their own right. The findings offer alternative narratives which problematise sectarianism as a white, male-only, working-class issue. This highlights (...) the need to legitimise different gendered manifestations of sectarian bigotry at the micro-social level of family and kinship networks particularly in relation to the seemingly feminised role of policing ethno-religious identities in marriage and the socialisation and upbringing of children. (shrink)

The text is looking for a political explanation of the turn in Western attitude to pornography which has taken place since the sixties and even more so since the seventies. More surprising than the liberalization of pornography itself appears the massive pornographic self-exposure even by minors since the turn of the millennium. In addition to the reasons for this extraordinary permissiveness, the paper questions the role of technical and audiovisual media in this social development.

This study investigates the complex relationship between the physical and digital spaces of the city of Douala, Cameroon by comparing its online representation with the social representations emerging orally by locals. Using the results of two existing studies reporting on the online image of the city, we investigate the social representations foreigners and locally relevant people have of Douala and uncover similarities and discrepancies of the two resulting representations. Outcomes from the analysis permit reflection on the implications of these and (...) show an unripe, intermediate stage of the “hybrid Douala,” where the virtual space seems still not to be affecting the way the physical space is experienced, as well as where the gaps in the digital divide are perpetuated. At the same time, strong local ownership of certain digital activities suggests how the online image of the city is in the process of being constructed and developed locally. As the spaces of the city start appearing online, the process of hybridization between physical and digital Douala is slowly taking place and offline and online narratives, now rather separated, will possibly communicate a different image of the city to global online narratives. (shrink)

The global distribution of laboratory mouse strains is valued for ensuring the continuity, validity and accessibility of model organisms. Mouse strains are therefore assumed mobile and able to travel. We draw on the concept of ‘animal mobilities’ to explain how attending to laboratory mice as living animal, commodity and scientific tool is shaping how they are transported through contemporary scientific infrastructures and communities. Our paper is framed around exploring how animal strains travel, rather than animals, as we show that it (...) is only through understanding strain mobility that we can explain how and why live animal movement can be replaced by germinal products. The research is based on qualitative fieldwork in 2018 and 2019 that included 2 weeks ethnography and interviews with key informants involved in the movement of laboratory animals. The empirical analysis discusses practices that relate to managing biosecurity and animal welfare concerns when moving laboratory animal strains. In closing we reflect more broadly on the contemporary ‘ethico-onto-epistemological’ entanglement that shapes who or what travels to support laboratory science data-making practices, and the intensity of care ‘tinkering’ practices that facilitate the movement. We explain how a laboratory animal strain exceeds its value solely as a mobile and thus exchangeable commodity, illustrated in how values that relate to animal sentience and infection-risk supports its material transformation. Consequently, it is becoming increasingly common for non-sentient germinal products – embryos and gametes - to replace live sentient animals when being moved. (shrink)

On the Viśiṣṭādvaita philosophy of Rāmānuja, 1017-1137.

Explores the nature and significance of Petrarch’s indebtedness to Dante in the Rime sparse.

Drucilla Cornell's Legacies of Dignity: Between Women and Generations proposes a feminist ethics of self-representation that asks what exclusions are necessary to autobiography's constructions of identity. Focusing on the ways in which alterity, particularly linked with figures of the mother, are silenced, it advances a mourning that is transformational. I question Cornell's use of a Kantian concept of dignity and suggest that Irigaray's engagement with Levinas offers another way of conceptualizing the problematic.