Formal ontology combines two ideas, one originating with Husserl, the other with Frege: that of ontology of the formal aspects of all objects, irrespective of their particular nature, and ontology pursued by employing the tools of modern formal disciplines, notably logic and semantics. These two traditions have converged in recent years and this is the first collection to encompass them as a whole in a single volume. It assembles essays from authors around the world already widely known for their work (...) in formal ontology, and illustrates that through the application of formal methods the ancient discipline of ontology may be put on a firm methodological basis. The essays not only illuminate the nature of ontology and its relation to other areas, in language, logic and everyday life, but also demonstrate that common issues from the analytical and phenomenological traditions may be discussed without ideological barriers. Audience: advanced students of and specialists in philosophy, linguistics, cognitive science, computer science, database engineering. (shrink)

We introduce a novel modal logic, namely the doxastic μ-calculus with error control (DμCEC), and propose a formalization of probabilistic anonymity and oblivious transfer in the logic, and the validation of these formalizations on implementations formalized in probabilistic CCS. The distinguishing feature of our logic is to provide a combination of dynamic operators for belief (whence the attribute “doxastic”) with a control on the possible error of apprehension of the perceived reality, and for internalized probability. Both operators are dynamic (non-monotonic) (...) thanks to the possibility of combining them with temporal operators, and are parameterized with a lower and upper probability bound (the error control). (shrink)

This paper tries to clarify the logical structure of the relationship between labor values and prices from an axiomatic perspective. The famous “transformation problem” is interpreted as an impossibility result for a specific interpretation of value theory based on specific assumptions and definitions. A comprehensive review of recent literature is provided, which shows that there are various theoretically relevant and logically consistent alternative interpretations based on different assumptions and definitions.

Reorienting Economics analyzes many important issues in the social sciences. This article focuses on Lawson’s key methodological and epistemological claims concerning the role of mathematics in social theory. Lawson provides several forceful criticisms of the search for mathematical rigor for the mere sake of formalism. Yet his stronger claims on the extremely limited, if nonexistent, scope for formal analysis in the social sciences are less convincing. In general, his purely methodological approach does not provide robust foundations for reorienting economics.

A entrevista que se segue foi concedida pela Professora Nilda Teves Ferreira no dia 15 de fevereiro de 2012, em seu apartamento na cidade do Rio de Janeiro, no bairro do Méier. O registro ocorreu com o propósito de integrar um livro que reuniria conversações com diversos intelectuais atuantes no RJ, projeto que não chegou a ser concluído. Participam da conversa os Professores Simone Freitas Chaves e Jorge Felipe Fonseca Moreira, ambos orientados em suas pesquisas sobre o discurso do Imaginário (...) Social por Nilda Teves; além do Prof. Roberto S. Kahlmeyer-Mertens, organizador do mencionado livro. (shrink)

As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

The current paper provides an overview of treatment noncompliance at various points in the treatment pathway, especially with respect to treatment for Pelvic-floor Dysfunction. The effects of noncompliance on healthcare are considered, and examples of supporting patients psychologically to increase compliance are discussed. An outline of a method to identify costs of non-compliance, and where such costs most intensely impact the healthcare system, is provided. It is suggested that psychological support is effective in terms of increased compliance and improved healthcare (...) economics. The model is presented for PFD, but the principles developed can be generalised to many aspects of healthcare. (shrink)

Obesity is a global health problem that affects both physical and psychological health and well-being. Psychological flexibility is one of the key components related to psychological health. This cross-sectional study aims to investigate the impact of psychological flexibility on psychological well-being in a sample of 220 individuals with obesity. Multivariate analysis was performed to investigate the role of psychological flexibility in explaining psychological well-being, controlling for confounding factors. According to the results, psychological flexibility significantly explained psychological well-being. Our study provides (...) additional evidence of the impact of psychological flexibility on psychological well-being. It also provides further support for the importance of integrating psychological flexibility in the psychological interventions for obesity. (shrink)

The aim of this cross-sectional study is to investigate the role of psychological inflexibility in the relationship between anxiety and depression and emotional eating in a sample of 123 inpatient Italian adult individuals with obesity. Participants completed the Anxiety and Depression subscales of the Psychological General Well-Being Inventory, the Acceptance and Action Questionnaire, and the Emotional Eating subscale of the Dutch Eating Behavior Questionnaire to assess anxiety and depression, psychological inflexibility, and emotional eating, respectively. Results showed that the indirect effect (...) of PGWBI-A on DEBQ-EE through AAQ-II was significant [b = −0.0155; SE = 0.076; 95% BC-CI ]. Similarly, the indirect effect of PGWBI-D on DEBQ-EE through AAQ-II was significant [b = −0.0383; SE = 0.0207; 95% BC-CI ]. These findings may help to plan and develop specific psychological interventions aimed at addressing emotional eating through targeting psychological inflexibility to be included in obesity treatment programs. (shrink)

Automated neuropsychiatric batteries have been used in research and clinical practice, including for chronic diseases, such as Systemic Lupus Erythematosus. The Pediatric Automated Neuropsychological Assessment Metrics battery, originally developed for use in American-English speaking individuals, allows tracking of cognitive functions. It can be applied to people over 9 years old. The aim of this study was to translate and present initial validation data from the Ped-ANAM into Brazilian-Portuguese. We translated the battery according to Beaton’s guidelines. Psychometric properties were tested, internal (...) consistency was analyzed by Cronbach’s alpha coefficient, test-retest reliability by the intraclass correlation coefficient. Further, we measured the test execution speed at both times as a temporal stability. Principal component analysis was used for structural validity. Evidence of construct validity was assessed through assessment of the relationships with the Wechsler Intelligence Scales. All participants prior to the start of study related activities signed an informed consent form approved by the local ethics committee. A sample of 230 individuals [mean of age: 23 years; 65% females] was included; a subset of 51 individuals [mean of age: 18 years, 59% female] completed the Ped-ANAM twice to assess test-retest reliability, and another subset of 54 individuals [mean of age: 20.4 years; 67% female] completed the Wechsler Intelligence Scales for Children and Adult for assessment of the Ped-ANAM’s construct validity. Our results suggest that the internal consistency of the Ped-ANAM and its subtest test-retest reliability were excellent. There was no clustering in the Principal Components Analysis, suggestive of non-grouping of the evaluated variables. Construct validity assessment to the Wechsler Scales showed expected ranges of low to strong correlations. We concluded that, based on the results of this study, a cross-culturally validated Brazilian-Portuguese version of the Ped-ANAM has been developed and it is a reliable tool for the screening cognitive function. (shrink)

The notion of the "impolitical" developed in this volume draws its meaning from the exhaustion of modernity's political categories, which have become incapable of giving voice to any genuinely radical perspective. The impolitical is not the opposite of the political but rather its outer limit: the border from which we might glimpse a trajectory away from all forms of political theology and the depoliticizing tendencies of a completed modernity. The book's reconstruction of the impolitical lineage-which is anything but uniform-begins with (...) the extreme conclusions reached by Carl Schmitt and Romano Guardini in their reflections on the political and then moves through a series of encounters between several great twentieth-century texts: from Hannah Arendt's On Revolution to Hermann Broch's The Death of Virgil, to Elias Canetti's Crowds and Power; from Simone Weil's The Need for Roots to Georges Bataille's Sovereignty to Ernst Junger's An der Zeitmauer. The trail forged by this analysis offers a defiant counterpoint to the modern political lexicon, but at the same time a contribution to our understanding of its categories. (shrink)

The article offers an analysis of Simone Weil's philosophy of mathematics. Weil's reflection starts from a critique of Bourbaki's programme, led by her brother André: the "mechanical attention" Bourbaki considered an advantage of their treatment of mathematics was for her responsible for the incomprehensibility of modern algebra, and even a cause of alien-ation and social oppression. On the contrary, she developed her pivotal concept of 'atten-tion' with the aim of approaching mathematical problems in order to make "progress in another more (...) mysterious dimension". In the Pythagorean 'crisis of incommensurables', Weil saw the possibility of defining the relationships between things in terms that are not exclusively numerical. This implies drawing an analogy between mathematical relation-ships and God's relationship with mankind (logos), the basis of a 'supernatural' reformu-lation of the entire scientific understanding of the world. The consequence is a critique of machinism and the possibility to contrast algorithmic reason with a "supernatural reason". (shrink)

This article explores a promising theoretical approach for reassessing the relationship between inequality and economic growth. The article draws some insights from the influential inverted U-curve hypothesis originally advanced by Simon Kuznets, but drastically recasts the original arguments by shifting two fundamental premises. First, retaining Kuznets’s emphasis on the importance of economic growth in generating demographic transitions between existing and new distributional arrays, we argue that a “constant drive toward inequality” results after replacing a Schumpeterian notion of “creative destruction” for (...) the dualistic assumptions in Kuznets’s model. Second, while Kuznets devoted considerable attention to the impact of institutions on distributional outcomes, we argue that institutions should be understood as relational and global mechanisms of regulation, operating within countries while simultaneously shaping interactions and flows between nations. The article argues that economic growth, unfolding through institutions embedded in time and space, produces a constant drive towards inequality that results in a multiple and overlapping matrix of distributional arrays, an overall income distribution (e.g., within and between countries) that is both systemic and historical. (shrink)

Partitions -- Truth -- Principium and Initium -- Beginn, Anfang, Ursprung -- Polemos/Polis -- The third origin -- Nothingness -- Forces -- In common -- Imperium -- Topologies -- In the grip of love -- The final battle.

Since the early eighties, computationalism in the study of the mind has been “under attack” by several critics of the so-called “classic” or “symbolic” approaches in AI and cognitive science. Computationalism was generically identified with such approaches. For example, it was identified with both Allen Newell and Herbert Simon’s Physical Symbol System Hypothesis and Jerry Fodor’s theory of Language of Thought, usually without taking into account the fact ,that such approaches are very different as to their methods and aims. Zenon (...) Pylyshyn, in his influential book Computation and Cognition, claimed that both Newell and Fodor deeply influenced his ideas on cognition as computation. This probably added to the confusion, as many people still consider Pylyshyn’s book as paradigmatic of the computational approach in the study of the mind. Since then, cognitive scientists, AI researchers and also philosophers of the mind have been asked to take sides on different “paradigms” that have from time to time been proposed as opponents of (classic or symbolic) computationalism. Examples of such oppositions are: -/- computationalism vs. connectionism, computationalism vs. dynamical systems, computationalism vs. situated and embodied cognition, computationalism vs. behavioural and evolutionary robotics. -/- Our preliminary claim in section 1 is that computationalism should not be identified with what we would call the “paradigm (based on the metaphor) of the computer” (in the following, PoC). PoC is the (rather vague) statement that the mind functions “as a digital computer”. Actually, PoC is a restrictive version of computationalism, and nobody ever seriously upheld it, except in some rough versions of the computational approach and in some popular discussions about it. Usually, PoC is used as a straw man in many arguments against computationalism. In section 1 we look in some detail at PoC’s claims and argue that computationalism cannot be identified with PoC. In section 2 we point out that certain anticomputationalist arguments are based on this misleading identification. In section 3 we suggest that the view of the levels of explanation proposed by David Marr could clarify certain points of the debate on computationalism. In section 4 we touch on a controversial issue, namely the possibility of developing a notion of analog computation, similar to the notion of digital computation. A short conclusion follows in section 5. (shrink)

My aim here is to raise a few questions concerning the problem of representation in scientific discovery computer programs. Representation, as Simon says in his paper, "imposes constraints upon the phenomena that allow the mechanisms to be inferred from the data". The issue is obviously barely outlined by Simon in his paper, while it is addressed in detail in the book by Langley, Simon, Bradshaw and Zytkow (1987), to which I shall refer in this note. Nevertheless, their analysis would appear (...) to leave open certain issues related to the nature of the "constraints" imposed by representation on problem solving strategies. (shrink)

Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toy- problems, such as cryptarithmetic, games, such as checker or chess, and formal problems, such as logic or geometry theorem-proving. These problems are well-defined, roughly speaking, at least in comparison to real-life problems, and as such have played the role of Drosophila in early AI. In this chapter I will investigate the origins of heuristic programming and the shift to more knowledge-based and (...) real-life problem solving. (shrink)

El presente artículo versa sobre cómo el espiritismo kardeciano puede ser la contraparte religiosa del positivismo; surgidos ambos del mismo clima epocal evidencian, aunque a prima facie pueda parecer paradójico, un discurso, metodología, ideales sociales y concepciones similares. Esta tesis se sustenta a partir del análisis conceptual de la obra de Kardec, en específico, de El libro de los espíritus, su texto de aspiraciones más filosóficas. En particular la denominada ley natural kardeciana se acerca mucho a las ideas comtianas, aunque (...) quizás hayan sido desarrolladas de manera independiente, a partir de la influencia común de Saint Simons y otros autores. (shrink)

Choice reaction tasks are performed faster when stimulus location corresponds to response location. This spatial stimulus–response compatibility effect affects performance at the level of action planning and execution. However, when response selection is completed before movement initiation, the Simon effect arises only at the planning level. The aim of this study was to ascertain whether when a precocious response selection is requested, the Simon effect can be detected on the kinematics characterizing the online control phase of a non-ballistic movement. Participants (...) were presented with red or green colored squares, which could appear on the right, left, above, or below a central cross. Depending on the square's color, participants had to release one of two buttons, then reach toward and press a corresponding lateral pad. We found evidence of the Simon effect on both action planning and on-line control. Moreover, the investigation of response conflict at the level of previous trials, a factor that might determine interference at the level of the current response, revealed a conflict adaptation process across trials. Results are discussed in terms of current theories concerned with the Simon effect and the distinction between action planning and control. (shrink)

Recent studies suggest that covering the face inhibits the recognition of identity and emotional expressions. However, it might also make the eyes more salient, since they are a reliable index to orient our social and spatial attention. This study investigates whether the pervasive interaction with people with face masks fostered by the COVID-19 pandemic modulates the processing of spatial information essential to shift attention according to other’s eye-gaze direction, and whether this potential modulation interacts with motor responses. Participants were presented (...) with face cues orienting their gaze to a congruent or incongruent target letter location while wearing a surgical mask, a patch, or nothing. The task required to discriminate the identity of the lateralized target letters by pressing one of two lateralized response keys, in a corresponding or a non-corresponding position with respect to the target. Results showed that GCE was not modulated by the presence of the Mask, but it occurred in the No-Mask condition, confirming previous studies. Crucially, the GCE interacted with Simon effect in the Mask and Control conditions, though in different ways. While in the Mask condition the GCE emerged only when target and response positions corresponded, in the Control condition it emerged only when they did not correspond. These results indicate that people with face masks induce us to jointly orient our visual attention in the direction of the seen gaze in those conditions resembling a general approaching behavior. This is likely promoted by the fact that we tend to perceive wearing the mask as a personal safety measure and, thus, someone wearing the face mask is perceived as a trustworthy person. In contrast, people with a patch on their face can be perceived as more threatening, therefore inducing a GCE in those conditions associated with a general avoidance behavior. (shrink)

Now the problem is this. Have we found a positive foundation, instead of self-sacrifice, for the hermeneutics of the self? I cannot say this, no. We have tried, at least from the humanistic period of the Renaissance till now. And we can’t find it.The reputation of political thinkers is a tricky thing. Sometimes your strongest supporters are your worst nightmare. At other moments, your best friends can see you more clearly than is strictly comfortable. The French militant, philosopher, and mystic (...) Simone Weil is a good example. In the years 1932 to 1933, she was connected to the dissident, Trotsky-leaning Communist Boris Souvarine and his Cercle communiste démocratique. She taught philosophy to well-bred... (shrink)

"What is required if men and women are to feel at home in society and are to recover their vitality? Into wrestling with that question, Simone Weil put the very substance of her mind and temperament. The apparently solid edifices of our prepossessions fall down before her onslaught like ninepins, and she is as fertile and forthright in her positive suggestions . . . she can be relied upon to toss aside the superficial and to come to grips with the (...) essential and the profound." -- Time Literary Supplement. (shrink)

Simone Weil (1909-1943) was a defining figure of the twentieth century; a philosopher, Christian, resistance fighter, anarchist, feminist, labor activist and teacher. She was described by T. S. Eliot as "a woman of genius, of a kind of genius akin to that of the saints," and by Albert Camus as "the only great spirit of our time." Originally published posthumously in two volumes, these newly reissued notebooks, are among the very few unedited personal writings of Weil's that still survive today. (...) Containing her thoughts on art, love, science, God and the meaning of life, they give context and meaning to Weil's famous works, revealing a unique philosophy in development and offering a rare private glimpse of her singular personality. (shrink)

Gravity and Grace was the first ever publication by the remarkable thinker and activist, Simone Weil. In it Gustave Thibon, the priest to whom she had entrusted her notebooks before her untimely death, compiled in one remarkable volume a compendium of her writings that have become a source of spiritual guidance and wisdom for countless individuals.

This thesis defends egalitarianism about knowledge and belief, on which neither is understood in terms of the other, from what I call the abductive argument. This argument is meant to favour views opposed to egalitarianism: doxasticism, on which knowledge is understood in terms of belief, and epistemicism, on which belief is understood in terms of knowledge. The abductive argument turns on the idea that doxasticism and epistemicism, by contrast with egalitarianism, explain certain data about knowledge and belief. I argue, however, (...) that no versions of doxasticism and epistemicism currently on offer are preferable to egalitarianism on abductive grounds. As part of my argument, I also defend the claim that knowledge, by contrast with belief, is an attitude to a fact and explore the implications of this claim for doxasticism and epistemicism. (shrink)

Simone Weil is one of the most profound thinkers of the twentieth century. Her writings encompass an extraordinary breadth of subjects, including philosophy, religion, sociology, and politics. A political activist and resistance fighter, her accomplishments are even more astonishing in light of her death in 1943 at the age of thirty-four. Whilst Weil was concerned with deep philosophical questions - the nature of human thought and human faculties, the limits of language, and thought's contact with reality through mediation, science and (...) beauty - the full significance of her work has frequently been obscured by her categorization as a purely religious writer or Christian mystic. Simone Weil: Basic Writings is an expertly edited anthology of her most important writings, presenting Weil's philosophy as it relates to politics, the nature of work, human nature in its duality, necessity, beauty and goodness. D. K. Levy and Marina Barabas have translated all the extracts anew, including translations of important notes and references missing from existing English language editions of Weil's work. Following an extensive introduction by D. K. Levy which places Weil's life and thought in context, each section opens with a short introduction situating the chosen passages within Weil's oeuvre. Simone Weil: Basic Writings is an outstanding starting point for anyone seeking an introduction to Weil's philosophy, and also essential reading for students and scholars of Weil's thought in related disciplines. (shrink)

In Intimations of Christianity Among the Ancient Greeks , Simone Weil discusses precursors to Christian religious ideas which can be found in ancient Greek mythology, literature and philosophy. She looks at evidence of "Christian" feelings in Greek literature, notably in Electra, Orestes, and Antigone , and in the Iliad , going on to examine God in Plato, and divine love in creation, as seen by the ancient Greeks.

自史蒂芬·霍金(Stephen Hawking) 的暢銷科普著作《時間簡史》(以下簡稱《簡史》) 在上世紀八十年代末問世以來，至今天二十一世紀，華人基督教界就他宇宙無起點的論述仍有相當之評論，但可惜對評論未有綜合分析。評論者因寫作目的，也甚少交代霍金宇宙學的來龍去脈。故本文嘗試略述霍金宇宙學的歷史 背景及發展經過，繼而舉出華人基督教界的評論，帶出其獨特性，並提出商確的地方，以反省未來可行路向。.

According to a leading view, emotions such as admiration, contempt, pride, and shame are important vehicles of agential development. Through admiration and contempt, we establish models and countermodels against which to shape our character; through pride and shame, we get a sense of how we measure up to them. Critics of this view object that these emotions always deliver uncompromising evaluations: admiration casts people in a completely positive light, while contempt casts aspersion on them. Therefore, insofar as they lack the (...) capacity for nuance, these emotions are systematically unfitting and misleading. This paper discusses this objection as originally formulated by John Doris as well as Macalester Bell’s response. Drawing from research on emotional intentionality, it will be argued that Doris’ and Bell’s accounts are respectively misguided criticisms and inadequate defences of these emotions. Their mistake lies in an invalid transition from the claim that these emotions are intentionally directed towards persons to the claim that they deliver global evaluations of those towards whom they are directed. By rejecting this inference, it will be shown that these emotions can deliver nuanced and fitting evaluations in a way Doris’ objection overlooks and Bell’s response precludes us from articulating. (shrink)