Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.

Implantable neurotechnology devices such as Brain Computer Interfaces and Deep Brain Stimulators are an increasing part of treating or exploring potential treatments for neurological and psychiatric disorders. While only a few devices are approved, many promising prospects for future devices are under investigation. The decision to participate in a clinical trial can be challenging, given a variety of risks to be taken into consideration. During the consent process, prospective participants might lack the language to consider those risks, feel unprepared, or (...) simply not know what questions to ask. One tool to help empower participants to play a more active role during the consent process is a Question Prompt List. QPLs are communication tools that can prompt participants and patients to articulate potential concerns. They offer a structured list of disease, treatment, or research intervention-specific questions that research participants can use as support for question asking. While QPLs have been studied as tools for improving the consent process during cancer treatment, in this paper, we suggest they would be helpful in neurotechnology research, and offer an example of a QPL as a template for an informed consent tool in neurotechnology device trials. (shrink)

Just as we may ask whether, and under what conditions, a collection of objects composes a single object, we may ask whether, and under what conditions, a collection of actions composes a single action. In the material objects literature, this question is known as the "special composition question," and I take it that there is a similar question to be asked of collections of actions. I will call that question the "special composition question in action," and argue that the correct (...) answer to this question depends on a particular kind of consequence produced by the individual constituent actions. (shrink)

This chapter contains sections titled: Introduction: Plato in Late Antiquity Middle Platonisms Neoplatonism Late Athenian Neoplatonism The Harmony of Plato and Aristotle Al‐Farabi Redivivus: Leo Strauss Epilogue: al‐Suhrawardi's Return to Plato Note.

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)

In their paper, Chapman and colleagues (2025) argue how key regulations and “data-centric” research practices neglect to address potential group harms. They utilize the case of genomic research on...

The aim of this paper is to investigate, if there is a principal disagreement between Husserl's early concept of expression and his later discussions on gestures. In the early work Logical Investigations (1900–1901), Husserl quite bluntly excludes gestures from the category of meaningful expressions; thirty years later (1928), in the second volume of Ideas, he argues to the contrary that gestures are meaningful and expressive in the very same way as linguistic units, words and sentences. The question of this paper (...) is: What happened in Husserl's thinking in the two decades between Investigations and the last versions of Ideas II? I argue that the disagreement between Husserl's early statement and his later discussion on gestural expressions is due to a refinement in his account of embodiment. I claim that Husserl did not abandon his concept of expression, but dismissed his early analysis of embodiment as simplistic and as motivated by a certain preconception about the relationship between nature and spirit. This change became possible for him as he developed conceptual and methodic tools for distinguishing between different meanings of the body: the physical thing or the mere material body, the perceived body, and the sensuous body. The difference between the body as a physical thing and the body as a sensuous-spiritual unit proves to be crucial to the understanding of gestural expressions. (shrink)

This paper throws some light on the nature of argumentation, its use and advantages, within the setting of doctor–patient interaction. It claims that argumentation can be used by doctors to offer patients reasons that work as ontological conditions for enhancing the decision making process, as well as to preserve the institutional nature of their relationship with patients. In support of these claims, selected arguments from real-life interactions are presented in the second part of the paper, and analysed by means of (...) a model of argumentation borrowed from classical rhetoric, and refined according to the modern orientation of the pragma-dialectic approach. (shrink)

Some psychological states—paradigmatically, beliefs and intentions—are rationally evaluable: they can be rational or irrational, justified or unjustified. Other states—e.g. sensations and gastrointestinal states—aren't: they're a‐rational. On a familiar but hard‐to‐make‐precise line of thought, at least part of what explains this difference is that we're somehow responsible for (having/being in) states of the former sort, in a way we're not for the others. But this responsibility can't be modeled on the responsibility we have for our (free, intentional) actions. So how should (...) it be understood? In this paper I address that question. The overall shape of my answer is in line with tradition: I take the responsibility to be grounded in certain capacities for reflection and control. Answers in this family have recently been subjected to an interesting challenge. But the version I defend meets that challenge. (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)

We intend to analyse the materialistic approach to the category of totality developed by Marx, namely in its theoretical application to the dialectical interpretation of the concept of production in the capitalist economic system.

The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.

Contraction-free sequent calculi for intuitionistic theories of apartness and order are given and cut-elimination for the calculi proved. Among the consequences of the result is the disjunction property for these theories. Through methods of proof analysis and permutation of rules, we establish conservativity of the theory of apartness over the theory of equality defined as the negation of apartness, for sequents in which all atomic formulas appear negated. The proof extends to conservativity results for the theories of constructive order over (...) the usual theories of order. (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)

Dialogue semantics for logic are two-player logic games between a Proponent who puts forward a logical formula φ as valid or true and an Opponent who disputes this. An advantage of the dialogical approach is that it is a uniform framework from which different logics can be obtained through only small variations of the basic rules. We introduce the composition problem for dialogue games as the problem of resolving, for a set S of rules for dialogue games, whether the set (...) of S-dialogically valid formulas is closed under modus ponens. Solving the composition problem is fundamental for the dialogical approach to logic; despite its simplicity, it often requires an indirect solution with the help of significant logical machinery such as cut-elimination. Direct solutions to the composition problem can, however, sometimes be had. As an example, we give a set N of dialogue rules which is well-justified from the dialogical point of view, but whose set N of dialogically valid formulas is both non-trivial and non-standard. We prove that the composition problem for N can be solved directly, and introduce a tableaux system for N. (shrink)

El artículo describe aspectos significativos de la conformación histórica del método clínico y hace referencia a personalidades que influyeron desde la medicina hipocrática hasta el siglo XX, detallándose los valores éticos y morales que lo caracterizaban y sus desafíos ante la sociedad. Se significa la necesidad de una reforma de pensamiento de los profesionales de la Medicina, que permita abrir nuevas perspectivas y contribuya a la reflexión siendo revertido en una conducta humanista y atención médica con calidad, con la respectiva (...) satisfacción de la población tal como se pide en los lineamientos del Partido. The article describes significant aspects of the historical formation of the clinical method and refers to personalities that influenced since The Hippocratic Medicine until the 20th Century, making emphasis on the ethical and moral values that characterized it and its challenges before the society. The need for a reform of the medical professionals thinking is meant, which allows to open new perspectives and contributes to the reflection being reversed in a humanist behaviour and a qualified medical care, with the respective satisfaction of the population as requested in the guidelines of the party. (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)

In lieu of an abstract, here is a brief excerpt of the content:Whiteness and the General WillDiversity Work as Willful WorkSara AhmedIn this essay I explore whiteness in relation to the general will. My starting point is that the idea of “the general will” offers us a vocabulary for thinking through the materiality of race. In his keynote address to the 40th Annual Philosophy Symposium in 2010, Charles Mills argues that race is material: it becomes part of the living human (...) body. Mills draws on recent theories of whiteness as habit, including the work of Linda Alcoff (2006) and Shannon Sullivan (2006). Quoting from Sullivan, he suggests that whiteness is in “the nose that smells, the back, neck and other muscles that imperceptibly tighten with anxiety, and the eyes that see some but not all physical differences as significant” (Sullivan 2006, 188). Whiteness is embodied; it is in bodily matter as well as affecting how bodies matter. Mills then suggests that the materiality of whiteness is its “resistance to will.” One definition of materiality could be this: resistance to will.This essay takes up the theme of the materiality of race by thinking of whiteness in relation to the will. There are clearly risks in such an undertaking: after all, the idea of whiteness as willed might seem to imply that whiteness is volitional: and can be simply “willed away.”1 I want to suggest that if whiteness is resistant to will, as that which cannot be simply willed away, then whiteness can also be understood as willed: in other words, what cannot be willed away is a willing way. Edward Said’s definition of Orientalism as “willed human work,” which as a definition has yet to be rigorously understood, could be considered an important precedent to my argument (1978, 140). The suggestion is not [End Page 1] simply that the Orient is brought into existence, or made to exist over time, but that the very labor of creating the Orient, the land of the stranger, the land far away, is what establishes a direction. Once the Orient has come to exist, there is a willing of its existence; to keep going that way is to keep that way going. Willed work is work that in willing that way creates a way that can be willed. It is not as the old English cliché says—where there’s a will there’s a way—but rather to will is to way. I think it is useful to think of whiteness in this way, as a willing way, which is of course only one way of thinking about whiteness.I pose the generality of the will as a way of reflecting on “institutional whiteness.” Whiteness becomes “the material” of an institutional body, whether that body is the nation, an organization, a neighborhood, or a street. We can consider an institution as a body with parts: it too has noses, mouths, muscles that register anxiety, as well as ears and eyes. Just think of how Neighborhood Watch, as a national or even global technology, uses the injunction that citizens should become the “eyes and ears of the police.” A good citizen is the one who accepts this injunction: the one who is willing to watch out for strangers, those who are loitering, who seem suspicious, or out of place. Institutions have “detection systems”: they have parts that register the approach of strangers. A collective body in registering those who are out of place, both creates strangers and establishes a direction toward them, as those who threaten the place of the “in place,” as those who generate anxiety.A key event in my own life was of becoming a stranger in a white neighborhood in Adelaide, Australia, in a place I called home. I was fourteen years old. I was stopped by two policemen in a car who asked me, “Are you Aboriginal?” It turned out that there had been some burglaries in the area. It was an extremely hostile address, and it was an unsettling experience at the time. It was an experience of being made into a stranger, the one who is recognized as “out of place,” as the one who does not belong, whose proximity is registered... (shrink)

Temporal logic as a modern discipline is separate from classical logic; it is seen as an addition or expansion of the more basic propositional and predicate logics. This approach is in contrast with logic in the Middle Ages, which was primarily intended as a tool for the analysis of natural language. Because all natural language sentences have tensed verbs, medieval logic is inherently a temporal logic. This fact is most clearly exemplified in medieval theories of supposition. As a case study, (...) we look at the supposition theory of Lambert of Lagny, extracting from it a temporal logic and providing a formalization of that logic. (shrink)

In this study, we examine the narratives of Hungarian entrepreneurs with disabilities (EWD) of the post-socialist era, using microhistory. Our research question concerns how ableism appears in the lives of EWD and how the aftermath of socialism emerges in their experience of ableism. We believe that a state-socialist past influences the lives and careers of EWD in a way that is unique in entrepreneurial and disability literature. Drawing on the accounts of 29 Hungarian entrepreneurs, we identified four mechanisms that make (...) post-socialist ableism specific: invisibility; passivity and welfare dependency; the legitimacy of disability organisations; as well as the limitations of economic participation. Our research suggests that these effects, embedded in the current political, social, and economic environment, can only change slowly and over a long time. (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)

In the 4th century BC, the Greek philosopher Diodoros Chronos gave a temporal definition of necessity. Because it connects modality and temporality, this definition is of interest to philosophers working within branching time or branching space-time models. This definition of necessity can be formalized and treated within a logical framework. We give a survey of the several known modal and temporal logics of abstract space-time structures based on the real numbers and the integers, considering three different accessibility relations between spatio-temporal (...) points. (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)

In the present study we elucidate the emotional and executive control interactions that might underlie optimism and pessimism. Participants completed a self-report measure of optimism/pessimism and performed an emotion faces categorisation task and an emotion n-back task in which they indicated whether each of a series of faces had the same or a different emotional expression (happy, sad, neutral) as the face presented two trials before. Trials were structured to measure latency to update emotional content in working memory (WM). More (...) pessimistic individuals formed connections among positive stimuli, and broke connections among positive and sad stimuli, in WM more slowly than did less pessimistic individuals; levels of optimism/pessimism did not affect the rate with which individuals formed and broke connections among neutral representations in WM. It appears, therefore, that levels of pessimism are related to specific affective cognitive mechanisms in WM that may be involved in emotion regulation. (shrink)

The current trend in knowledge revision in the Dynamic Epistemic Logic tradition focuses on the addition of new knowledge, rather than the possibility of losing knowledge. Yet there are natural situations, such as an agent who does not want another agent to know that she knows a certain piece of information, where there is a need to be able to model the retraction of a proposition from a knowledge base. One situation where this is systematically required is the variant of (...) the medieval theory of obligationes known as dubitatio, where one of the agents in the dialogue is obliged to hold the initial proposition, the dubitatum, as doubtful, regardless of what other propositions she may concede or deny during the disputation. In this paper, we use dubitatio as a motivation for studying deceitful agents, and we discuss various ways that an agent can move from a model where f is known to one where f is not known. (shrink)

Norenzayan, Smith, Jun Kim, and Nisbett (2002) investigated cultural differences in the use of intuitive versus formal reasoning in 4 experiments. Our comment concerns the 4th experiment where Norenzayan et al. reported that, although there were no cultural differences in accuracy on abstract logical arguments, Koreans made more errors than U.S. undergraduates in judging the logical validity of concrete arguments. Norenzayan et al. concluded that Koreans are less likely than European Americans to decontextualize an argument's content from its logical structure, (...) as Koreans were more likely to consider the believability of the conclusion when assessing an argument's validity (a belief bias). Notably, Korean participants were more conservative (less likely to say an argument is valid) than European American participants when assessing arguments. An analysis of the average of the hit and correct rejection rates in each of the conditions (abstract, concrete–believable, concrete–nonbelievable) revealed that, contrary to conclusions of Norenzayan et al., European Americans were no better than Koreans at determining the validity of concrete deductive arguments with conclusions varying in believability. (shrink)

Abnormalities in the ability of cells to properly degrade proteins have been identified in many neurodegenerative diseases. Recent work has implicated synaptojanin 1 (SynJ1) in Alzheimer's disease and Parkinson's disease, although the role of this polyphosphoinositide phosphatase in protein degradation has not been thoroughly described. Here, we dissected in vivo the role of SynJ1 in endolysosomal trafficking in zebrafish cone photoreceptors using a SynJ1‐deficient zebrafish mutant, nrca14. We found that loss of SynJ1 leads to specific accumulation of late endosomes and (...) autophagosomes early in photoreceptor development. An analysis of autophagic flux revealed that autophagosomes accumulate because of a defect in maturation. In addition we found an increase in vesicles that are highly enriched for PI(3)P, but negative for an early endosome marker in nrca14 cones. A mutational analysis of SynJ1 enzymatic domains found that activity of the 5'phosphatase, but not the Sac1 domain, is required to rescue both aberrant late endosomes and autophagosomes. Finally, modulating activity of the PI(4,5)P2 regulator, Arf6, rescued the disrupted trafficking pathways in nrca14 cones. Our study describes a specific role for SynJ1 in autophagosomal and endosomal trafficking and provides evidence that PI(4,5)P2 participates in autophagy in a neuronal cell type. -/- . (shrink)

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)

Quel est l’étrange point commun qui réunit l’orientation spatiale, l’orientation sexuelle et l’orientalisme? Comment notre expérience intime de l’espace comme orienté et nos peurs de désorientation jouent-ils sur nos manières d’appréhender les dissidences de genre et de sexualité? Autant de questions que la phénoménologie de Sara Ahmed explore dans ce texte en s’interrogeant sur la manière dont les espaces que nous habitons redressent nos comportements et comment celleux qui désobéissent à cette rectitude sont lues comme étranges, obliques, bref : (...) queer. (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.

IntroductionDignity therapy is brief psychotherapy targeting psychological and existential suffering among patients with a life-limiting illness. Studies have been conducted on the use of DT by healthcare professionals. In Italy, the current legislation defines that any form of psychotherapy may be performed exclusively by psychotherapists. Consequently, this intervention is unlikely to be used by other healthcare professionals. Herein, we will describe a training on DT not as a psychotherapy intervention but as a narrative intervention for non-psychotherapists health care professionals. Finally, (...) we will explore the potential enablers/barriers as experienced by palliative care physicians and nurses.MethodsThe study was conducted in the Psycho-Oncology Unit within the Cancer Research Hospital of Reggio Emilia. It consisted of an exploratory qualitative case study. Data were collected employing observations and interview data and thematically analyzed.ResultsThe training was attended by six physicians and ten nurses and took place during two-afternoon sessions for 10 h. Two participants put their training into practice and administered DT under the supervision of a psychotherapist. Data analysis highlighted five overarching themes relating to the training experience and direct use of DT, namely, time required, psychological skills, patient’s disease awareness, patient’s life history, and distinguishing DT from Advance Care Planning.ConclusionPalliative care professionals found DT to be a valuable non-pharmacological hospital-based intervention to address the person beyond the patient and his clinical conditions. In our experience, considering that in Italy, psychotherapy is an intervention that psychotherapists can only perform, it can help organize different training on DT for psychotherapists and other healthcare professionals. (shrink)