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)

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.

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)

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 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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

Bringing Simone Weil into conversation with Roberto Frega’s Pragmatism and the Wide View of Democracy.

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

Este trabajo tiene un doble objetivo. En primer lugar, presentar dos paradigmas elaborados por Roberto Esposito y por Eligio Resta para pensar (con) otra racionalidad jurídica: derecho impersonal y derecho viviente. En segundo lugar, situar la genealogía de ambos paradigmas en las reflexiones suscitadas en el primer cuarto del siglo XX con Simone Weil y el debate Hans Kelsen-Eugen Ehrlich. La idea principal es plantear una singularidad jurídica en el interior de la Italian Theory.

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

Certain organoid subtypes are particularly sensitive. We explore whether moral intuitions about the heartbeat warrant unique moral consideration for newly advanced contracting cardiac organoids. Despite the heartbeat’s moral significance in organ procurement and abortion discussions, we argue that this significance should not translate into moral implications for cardiac organoids.

The relationship of part to whole is one of the most fundamental there is, yet until now there has been no full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. This has far-reaching consequences for our understanding of such classical philosophical (...) concepts as identity, individual, class, substance and accident, matter, form, essence, dependence, and integral whole. It also enables the author to offer new solutions to long-standing problems surrounding these concepts, such as the Ship of Theseus Problem and the issue of mereological essentialism. The author shows by his use of formal techniques that classical philosophical problems are amenable to rigorous treatment, and the book represents a synthesis of issues and methods from the analytical tradition and from the older continental realist tradition of Brentano and the early Husserl. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

ZusammenfassungPhilosophen, insbesondere Wissenschaftstheoretiker, wurden oft so sehr von der Physik geblendet, dass sie die Bedeutung der Biologie fiir die Philosophie unterschatzt haben. Es wird beschrieben, wie Biologen in der Taxonomie mit der Klassifikation umgehen, wie verschieden ihre Vorgangsweise von der traditionellen Definitions‐ und Klassifikationstheorie ist, und wie sie die klare Fregesche Trennung zwischen Extension und Intension durcheinander bringt. Dadurch konnen Sprachphilosophen von Biologen uber die Sprache etwas lernen. Auf der anderen Seite konnen sprachphilosophische Unterscheidungen etwa in der Theorie der pluralen (...) Referenz, einen Beitrag leisten zur Entscharfung der biologischen Kontroverse daruber, ob Spezies und andere Taxa Kiassen oder Individuen sind. (shrink)