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)

In this paper I present a novel taxonomy of envy, according to which there are four kinds of envy: emulative, inert, aggressive and spiteful envy. An inquiry into the varieties of envy is valuable not only to understand it as a psychological phenomenon, but also to shed light on the nature of its alleged viciousness. The first section introduces the intuition that there is more than one kind of envy, together with the anecdotal and linguistic evidence that supports it. The (...) second section proposes and explains in detail a definition of envy tout court. The third section presents a recurring distinction between behavioral tendencies of envy, which has been explained in two distinct ways, one mostly proposed by psychologists, the other discernible in the philosophical tradition. The fourth section argues that these models of explanation track two variables, whose interplay is responsible for the existence of the four envies. The fifth section illustrates four paradigmatic cases, and provides a detailed analysis of the phenomenology, motivational structure, and typical behavioral outputs of each. The paper ends with a brief discussion of the implications of the taxonomy for moral education. (shrink)

This paper poses an original puzzle about the relationship between causation and moral responsibility called The Moral Difference Puzzle. Using the puzzle, the paper argues for three related ideas: (1) the existence of a new sort of moral luck; (2) an intractable conflict between the causal concepts used in moral assessment; and (3) inability of leading theories of causation to capture the sorts of causal differences that matter for moral evaluation of agents’ causal contributions to outcomes.

A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.

Omissions – any events, actions, or things that do not occur – are central to numerous debates in causation and ethics. This article surveys views on what omissions are, whether they are causally efficacious, and how they ground moral responsibility.

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes a different (...) approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependency-relations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraint-based generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

This paper suggests that time travelling scenarios commonly depicted in science fiction introduce problems and dangers for the time traveller. If time travel takes time, then time travellers risk collision with past objects, relocation to distant parts of the universe, and time travel-specific injuries. I propose several models of time travel that avoid the dangers and risks of time travel taking time, and that introduce new questions about the relationship between time travel and spatial location.

Modern computer systems are ubiquitous in contemporary life yet many of them remain opaque. This poses significant challenges in domains where desiderata such as fairness or accountability are crucial. We suggest that the best strategy for achieving system transparency varies depending on the specific source of opacity prevalent in a given context. Synthesizing and extending existing discussions, we propose a taxonomy consisting of eight sources of opacity that fall into three main categories: architectural, analytical, and socio-technical. For each source, we (...) provide initial suggestions as to how to address the resulting opacity in practice. The taxonomy provides a starting point for requirements engineers and other practitioners to understand contextually prevalent sources of opacity, and to select or develop appropriate strategies for overcoming them. (shrink)

Free will, if such there be, involves free choosing: the ability to mentally choose an outcome, where the outcome is 'free' in being, in some substantive sense, up to the agent of the choice. As such, it is clear that the questions of how to understand free will and mental causation are connected, for events of seemingly free choosing are mental events that appear to be efficacious vis-a-vis other mental events as well as physical events. Nonetheless, the free will and (...) mental causation debates have proceeded largely independently of each other. Here we aim to make progress in determining how the free will and mental causation debates bear on one another. We first argue that the problems of free will and of mental causation can be seen as special cases of a more general problem, concerning whether and how mental events of a given type may be efficacious, qua the types of event they are---qualitative, intentional, freely deliberative---given their apparent causal irrelevancy for effects of the type in question; here we generalize what Horgan 1989 identifies as "the problem of mental quausation" (S1). We then build on this result to identify fruitful parallels between hard determinism and eliminative physicalism (S2) and soft determinism and non-reductive physicalism (S3). (shrink)

In this paper, I examine the manner in which analyses of the action of single agents have been pressed into service for constructing accounts of collective action. Specifically, I argue that the best analogy to collective action is a class of individual action that Carl Ginet has called 'aggregate action.' Furthermore, once we use aggregate action as a model of collective action, then we see that existing accounts of collective action have failed to accommodate an important class of (what I (...) shall call) 'unintentional collective actions.'. (shrink)

Obstetric violence has been analyzed from various perspectives. Its psychological effects have been evaluated, and there have been several recent sociological and anthropological studies on the subject. But what I offer in this paper is a philosophical analysis of obstetric violence, particularly focused on how this violence is lived and experienced by women and why it is frequently described not only in terms of violence in general but specifically in terms of gender violence: as violence directed at women because they (...) are women. For this purpose, I find feminist phenomenology most useful as a way to explain and account for the feelings that many victims of this violence experience and report, including feelings of embodied oppression, of the diminishment of self, of physical and emotional infantilization. I believe that the insights to be found in feminist phenomenology are crucial for explaining how and why this phenomenon is different in kind from other types of medical violence, objectification, and reification. Iris Marion Young’s description of feminine existence under patriarchy, as conformed by a perpetual oppressive “I cannot,” is at the center of my analysis. I argue that laboring bodies are at least potentially perceived as antithetical to the myth of femininity, undermining the feminine mode of bodily comportment under patriarchy and thereby seriously threatening the hegemonic powers. Violence, then, appears to be necessary in order to domesticate these bodies, to make them “feminine” again. (shrink)

In this paper, I advance a counterexample to the collective agency thesis.

Yablo suggests that we can understand the possibility of mental causation by supposing that mental properties determine physical properties, in the classic sense of determination according to which red determines scarlet. Determinates and their determinables do not compete for causal relevance, so if mental and physical properties are related as determinable and determinates, they should not compete for causal relevance either. I argue that this solution won''t work. I first construct a more adequate account of determination than that provided by (...) Yablo. I then consider two common accounts of the mental, token identity theories and dispositional theories, and argue that on neither do mental and physical properties satisfy the requirements for determination. (shrink)

Several commentators have argued that with his concept of anonymity Merleau-Ponty breaks away from classical Husserlian phenomenology that is methodologically tied to the first person perspective. Many contemporary commentators see Merleau-Ponty’s discourse on anonymity as a break away from Husserl’s framework that is seen as hopelessly subjectivistic and solipsistic. Some judge and reproach it as a disastrous misunderstanding that leads to a confusion of philosophical and empirical concerns. Both parties agree that Merleau-Ponty’s concepts of anonymity mark a divergence from classical (...) Husserlian phenomenology. I will question this view and demonstrate that Merleau-Ponty’s discourse on anonymity remains Husserlian in two important senses: it analyses senses in terms of constituting selves and communities of such selves, and it accounts for the formation of experience by the temporal sedimentation of intentional activity. The argument proceeds in four steps. The first section argues against the widely spread notion according to which Merleau-Ponty’s anonymous subject is collective. In the second section, I offer an alternative reading by demonstrating that Merleau-Ponty uses the term “anonymous” primarily to characterize the lived body of a personal subject. In section three, I introduce Merleau-Ponty’s idea of trace and show that for him both the perceived thing and the perceiving body are traces and as such refer to earlier constitutive acts of alien subjects. I then argue that Husserl’s concepts of sedimentation are crucial for the understanding of this idea. Finally, in section four, I show how Husserl’s theory of depresentation informs Merleau-Ponty’s discourse on anonymity. (shrink)

Artificial intelligent (AI) systems that perform image classification tasks are being used to great success in many application contexts. However, many of these systems are opaque, even to experts. This lack of understanding can be problematic for ethical, legal, or practical reasons. The research field Explainable AI (XAI) has therefore developed several approaches to explain image classifiers. The hope is to bring about understanding, e.g., regarding why certain images are classified as belonging to a particular target class. Most of these (...) approaches use visual explanations. Drawing on Elgin’s work (True enough. MIT Press, Cambridge, 2017), I argue that analyzing what those explanations exemplify can help to assess their suitability for producing understanding. More specifically, I suggest to distinguish between two forms of examples according to their suitability for producing understanding. I call these forms samples and exemplars, respectively. Samples are prone to misinterpretation and thus carry the risk of leading to misunderstanding. Exemplars, by contrast, are intentionally designed or chosen to meet contextual requirements and to mitigate the risk of misinterpretation. They are thus preferable for bringing about understanding. By reviewing several XAI approaches directed at image classifiers, I show that most of them explain with samples. If my analysis is correct, it will be beneficial if such explainability methods use explanations that qualify as exemplars. (shrink)

Temporal binding refers to a phenomenon whereby the time interval between a cause and its effect is perceived as shorter than the same interval separating two unrelated events. We examined the developmental profile of this phenomenon by comparing the performance of groups of children (aged 6-7-, 7-8-, and 9-10- years) and adults on a novel interval estimation task. In Experiment 1, participants made judgments about the time interval between i) their button press and a rocket launch, and ii) a non-causal (...) predictive signal and rocket launch. In Experiment 2, an additional causal condition was included in which participants made judgments about the interval between an experimenter’s button press and the launch of a rocket. Temporal binding was demonstrated consistently and did not change in magnitude with age: estimates of delay were shorter in causal contexts for both adults and children. Additionally, the magnitude of the binding effect was greater when participants themselves were the cause of an outcome compared to when they were mere spectators. This suggests that although causality underlies the binding effect, intentional action may modulate its magnitude. Again, this was true of both adults and children. Taken together, these results are the first to suggest that the binding effect is present and developmentally constant from childhood into adulthood. (shrink)

The Routledge Handbook of Indian Buddhist Philosophy is an outstanding reference source to the principal philosophers in the diverse Buddhist traditions of India, from the early Pāli writings to the twentieth century. The Handbook provides thorough coverage of the most significant figures, texts and debates that animate Buddhist philosophy. A key feature is the attention given to the ideas and works of particular Buddhist thinkers, placing the author at the centre of inquiry. Forty chapters by an international team of contributors (...) are divided into eight clear sections, each of which includes an introduction by the editors: Buddhas as Philosophers Poet Philosophers Abhidharma Philosophers Philosophical Founders Early Period Philosophical Commentators (fifth - eighth century) Middle Period Philosophical Commentators (eighth - ninth century) Late Period Philosophical Commentators (tenth - twelfth century) Modern Philosophers. Essential reading for students and researchers in Eastern and comparative philosophy and especially Buddhist philosophy, The Routledge Handbook of Indian Buddhist Philosophy will also be of interest to those studying Buddhism in religious studies and related subjects. (shrink)

There are several lessons that can already be drawn from the current research programs on strong AI and building conscious machines, even if they arguably have not produced fruits yet. The first one is that functionalist approaches to consciousness do not account for the key importance of subjective experience and can be easily confounded by the way in which algorithms work and succeed. Authenticity and emergence are key concepts that can be useful in discerning valid approaches versus invalid ones and (...) can clarify instances where algorithms are considered conscious, such as Sophia or LaMDA. Subjectivity and embeddedness become key notions that should also lead us to re-examine the ethics of decision delegation. In addition, the focus on subjective experience shifts what is relevant in our understanding of ourselves as human beings and as an image of God, namely, in de-emphasizing intellectuality in favor of experience and contemplation over action. (shrink)

In considering what it means to lead organizations effectively and ethically, the literature comprising spirituality at work and spiritual leadership theory has become highly influential, especially in the USA. It has also attracted significant criticism. While in this paper, we endorse this critique, we argue that the strand of literature which purportedly takes a Christian standpoint within the wider SAW school of thought, largely misconstrues and misapplies the teaching of its founder, Jesus. As a result, in dismissing the claims and (...) application of SAW and SLT, there is a real risk that we lose the vital contribution of Christian thought, not least some of the timeless counter-cultural wisdom of Jesus which, we contend, offers a vital foundation to the practice of ethical leadership and business ethics in organizations. In proposing a way forward, two thorny issues which face all leaders are addressed: dealing with ego and closing the gap between what we say and what we do. The more we understand about the dynamics of human nature, the more we learn about the profundity of Jesus’ teachings. We then propose a number of ways in which Jesus-centred ethical leadership can be practised. Each is radical and each implies risk: both the personal risk of inner renewal arising from repentance as a doorway to personal integrity, as well as the risk of opposing unethical practices and promoting the excellence of core practices in the workplace. (shrink)

This paper argues that causal idealism, the view that causation is a product of mental activity, should be considered a competetitor to contemporary views that incorporate human thought and agency into the causal relation. Weighing contextualism, contrastivism, or pragmatism about causation against causal idealism results in at least a tie with respect to the virtues of these theories.

Concerns with the use of engineering approaches in biology have recently been raised. I examine two related challenges to biological research that I call the synchronic and diachronic underdetermination problem. The former refers to challenges associated with the inference of design principles underlying system capacities when the synchronic relations between lower-level processes and higher-level systems capacities are degenerate. The diachronic underdetermination problem regards the problem of reverse engineering a system where the non-linear relations between system capacities and lower-level mechanisms are (...) changing over time. Braun and Marom argue that recent insights to biological complexity leave the aim of reverse engineering hopeless - in principle as well as in practice. While I support their call for systemic approaches to capture the dynamic nature of living systems, I take issue with the conflation of reverse engineering with naïve reductionism. I clarify how the notion of design principles can be more broadly conceived and argue that reverse engineering is compatible with a dynamic view of organisms. It may even help to facilitate an integrated account that bridges the gap between mechanistic and systems approaches. (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)

This chapter develops an alternative to the dominant articulation of human existence on the basis of classical phenomenology, arguing that Edmund Husserl's phenomenological inquiries into the structures of embodiment provide a very different and more fruitful starting point for the investigation of sexual difference than the ideas of social gender and biological sex. The ways of classifying sex and gender characteristics mark them out on several different conceptual bases, and thus their categories may not correspond or coincide. Moreover historical and (...) biological inquiries indicate that the dimorphic notion of sex is prescriptive and constructive. Finally the sex/gender paradigm is dominated by the explanatory framework of causes and effects. The phenomenological analysis shows that the causal-functional framework is inadequate for the investigation of the plurality of the bodily existence and sexual difference as a dimension of this existence. In the light of the explication of the concepts of sex and gender, and the phenomenological analysis of embodiment, the sex/gender paradigm cannot offer a basis for a comprehensive philosophy of sexual existence. (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)

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)

Research on dyscalculia in neurodegenerative diseases is still scarce, despite high impact on patients’ independence and activities of daily living function. Most studies address Alzheimer’s Disease; however, patients with Parkinson’s Disease also have a higher risk for cognitive impairment while the relation to arithmetic deficits in financial contexts has rarely been studied. Therefore, the current exploratory study investigates deficits in two simple arithmetic tasks in financial contexts administered within the Clinical Dementia Rating in a sample of 100 PD patients. Patients (...) were classified as cognitively normal or mildly impaired according to Level I consensus criteria, and assessed using a comprehensive neuropsychological test battery, neurological motor examination, and sociodemographic and clinical questionnaires. In total, 18% showed arithmetic deficits: they were predominately female, had longer disease duration, more impaired global cognition, but minor signs of depression compared to PD patients without arithmetic deficits. When correcting for clinical and sociodemographic confounders, greater impairments in attention and visuo-spatial/constructional domains predicted occurrence of arithmetic deficits. The type of deficit did not seem to be arbitrary but seemed to involve impaired place × value processing frequently. Our results argue for the importance of further systematic investigations of arithmetic deficits in PD with sensitive tests to confirm the results of our exploratory study that a specific subgroup of PD patients present themselves with dyscalculia. (shrink)

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)

Despite the enormous progress made in the advancement of health technologies over the last century, infectious diseases continue to cause significant morbidity and mortality in developing countries. Neglected diseases are a subset of infectious diseases that lack treatments that are effective, simple to use, or affordable. Neglected diseases primarily affect populations in poor countries that do not constitute a lucrative market sector, thus failing to provide incentives for the pharmaceutical industry to conduct R&D for these diseases. Of the treatments that (...) do exist for neglected diseases, most are completely out-dated, with poor side-effect profiles, cumbersome logistics of administration, and inadequate efficacy. Historically, the impetus for a majority of neglected disease research was driven by early 20th-century colonialism, and in the post-colonial era, these diseases have been virtually ignored. Of the 1556 New Chemical Entities brought to market during the 30-year period from 1975 to 2004, only 20 — less than 0.02% — were for neglected diseases. (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 medieval distinction between categorematic and syncategorematic words is usually given as the distinction between words which have signification or meaning in isolation from other words and those which have signification only when combined with other words . Some words, however, are classified as both categorematic and syncategorematic. One such word is Latin infinita ‘infinite’. Because infinita can be either categorematic or syncategorematic, it is possible to form sophisms using infinita whose solutions turn on the distinction between categorematic and syncategorematic (...) uses of infinita. As a result, medieval logicians were interested in identifying correct logical rules governing the categorematic and syncategorematic uses of the term. In this paper, we look at 13th–15th-century logical discussions of infinita used syncategorematically and categorematically. We also relate the distinction to other medieval distinctions with which it has often been conflated in modern times, and show how and where these conflations go wrong. (shrink)

The struggle to delineate the relationship between theology and logic flourished in the thirteenth century and culminated in two condemnations in early 1277, one in Paris and the other in Oxford. To see how much and what kind of effect ecclesiastical actions such as condemnations and prohibitions to teach had on the development of logic in the Middle Ages, we investigate the events leading up to the 1277 actions, the condemned propositions, and the parts of these condemnations connected to modal (...) and temporal logic specifically. We show that because of the specific motivations late thirteenth-century and fourteenth-century logicians had when working in modal and temporal logic, the effect of the 1277 condemnations on the development of those branches was much smaller than might have been supposed. (shrink)

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)