The guarded fragment with transitive guards, [GF+TG], is an extension of the guarded fragment of first-order logic, GF, in which certain predicates are required to be transitive, transitive predicate letters appear only in guards of the quantifiers and the equality symbol may appear everywhere. We prove that the decision problem for [GF+TG] is decidable. Moreover, we show that the problem is in 2E. This result is optimal since the satisfiability problem for GF is 2E-complete 1719–1742). We also show that the (...) satisfiability problem for two-variable [GF+TG] is N-hard in contrast to GF with bounded number of variables for which the satisfiability problem is E-complete. (shrink)

The fluted fragment is a fragment of first-order logic (without equality) in which, roughly speaking, the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. It is known that this fragment has the finite model property. We consider extensions of the fluted fragment with various numbers of transitive relations, as well as the equality predicate. In the presence of one transitive relation (together with equality), the finite model property is lost; nevertheless, (...) we show that the satisfiability and finite satisfiability problems for this extension remain decidable. We also show that the corresponding problems in the presence of two transitive relations (with equality) or three transitive relations (without equality) are undecidable, even for the two-variable sub-fragment. (shrink)

We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, motivated by the work of W. V. Quine. We show that the satisfiability problem for this fragment has nonelementary complexity, thus refuting an earlier published claim by W. C. Purdy that it is in NExpTime. More precisely, we consider ${\cal F}{{\cal L}^m}$, the intersection of the fluted fragment and the m-variable fragment of first-order logic, for all $m \ge 1$. We show that, for (...) $m \ge 2$, this subfragment forces $\left\lfloor {m/2} \right\rfloor$-tuply exponentially large models, and that its satisfiability problem is $\left\lfloor {m/2} \right\rfloor$-NExpTime-hard. We further establish that, for $m \ge 3$, any satisfiable ${\cal F}{{\cal L}^m}$-formula has a model of at most -tuply exponential size, whence the satisfiability problem for this fragment is in -NExpTime. Together with other, known, complexity results, this provides tight complexity bounds for ${\cal F}{{\cal L}^m}$ for all $m \le 4$. (shrink)

We show that the 0-1 law does not hold for the class Σ 1 1 (∀∃∀ without =) by finding a sentence in this class which almost surely expresses parity. We also show that every recursive real in the unit interval is the asymptotic probability of a sentence in this class. This expands a result by Lidia Tendera, who in 1994 proved that every rational number in the unit interval is the asymptotic probability of a sentence in the (...) class Σ 1 1 ∀∃∀ with equality. (shrink)

Transformations are not only conditioned by facts encompassing narrower or wider panoramas: from concentrating on death and one (political) role (the ode of Horace), through recalling Cleopatra’s mature life and love (the drama of Shakespeare), to creating an image embracing the heroine’s whole life with its numerous roles, but as a mother and a daughter in the first place, because even her lovers resemble a father and a child (the fictional biography of Karen Essex). Above all, they appear to be (...) more connected with different attitudes towards universal references lying within human cognitive abilities. Horace’s didactic opposition of contradictory patterns leads to the victory of one of them — and it is a linear pattern, as an equivalent of modern myth, which is accepted by the author himself. In Shakespeare, it takes a form of tragedy resulting from the fragmentary character of each pattern, one of which introduces change (archaic myth) and the other constancy (modern myth), and from a painful attempt to combine them. In Essex, the vision of the world in which archaic myth, strongly represented by a child, triumphs is utopian. Irrespective of the differences, all the works realize the essential role played by images developed by heroes, and especially by authors, in human cognition. (shrink)

The COVID-19 pandemic and its related policies (e.g., stay at home and social distancing orders) have increased people’s use of digital technology, such as social media. Researchers have, in turn, utilized artificial intelligence to analyze social media data for public health surveillance. For example, through machine learning and natural language processing, they have monitored social media data to examine public knowledge and behavior. This paper explores the ethical considerations of using artificial intelligence to monitor social media to understand the public’s (...) perspectives and behaviors surrounding COVID-19, including potential risks and benefits of an AI-driven approach. Importantly, investigators and ethics committees have a role in ensuring that researchers adhere to ethical principles of respect for persons, beneficence, and justice in a way that moves science forward while ensuring public safety and confidence in the process. (shrink)

The new system of axioms we propose is based on the foundational theory of De Giorgi et al. Scuola Normale Superiore di Pisa, Preprints di Matematica 26: 1 (1996) slightly modified. In that paper (which is dedicated to a new axiomatic framework for mathematics, informatics and logic) the authors use two kinds of primitive notions: relations and qualities. Since their system is based on the distribution paradigm, they start from distinction. We propose to shift the perspective and to start from (...) unity and then from within unity to pass to distinction; to this end we apply ideas of Lesniewski, Nijhoff International Philosophy Series 44 (1992). We introduce only one kind of entity as a primitive notion, namely relations, and treat qualities as articulations of relations. The new concept of "primary relation" permits the introduction of a dynamic, non-standard form of identity, which we hope will find application in various fields where self-referential structures are required. (shrink)

The Green Revolution is often seen as epitomising the dawn of scientific and technological advancement and modernity in the agricultural sector across developing countries, a process that unfolded from the 1940s through to the 1980s. Despite the time that has elapsed, this episode of the past continues to resonate today, and still shapes the institutions and practices of agricultural science and technology. In Brazil, China, and India, narratives of science-led agricultural transformations portray that period in glorifying terms—entailing pressing national imperatives, (...) unprecedented achievements, and heroic individuals or organizations. These “epic narratives” draw on the past to produce meaning and empower the actors that deploy them. Epic narratives are reproduced over time and perpetuate a conviction about the heroic power of science and technology in agricultural development. By crafting history and cultivating a sense of scientific nationalism, exceptionalism, and heritage, these epic narratives sustain power-knowledge relations in agricultural science and technology, which are underpinned by a hegemonic modernization paradigm. Unravelling the processes of assemblage and reproduction of epic narratives helps us make sense of how science and technology actors draw on their subjective representations of the past to assert their position in the field at present. This includes making claims about their credentials to envision and deliver sustainable solutions for agriculture into the future. (shrink)

Starting symbolically from a place of transit and mobility such as the Galleria in Naples, I look at the pace of immigration movements to Italy from both ex-colonial territories and other countries. Precarity characterizes the migrant condition in Italy: entrance and stay permits; work and housing, which are difficult to obtain and always temporary; bureaucratic control is severe and the right to citizenship is distant. The collective amnesia of the colonial enterprise obscures the fact that at least some of the (...) guests of today were the hosts of yesterday. I analyse these, and other aspects, in the literature of migration that in recent decades has emerged in Italy, focusing on women's writing and confronting the problem of how long it will take for this literature to receive recognition in the Italian literary canon. In women's narratives, precarity emerges in the journey of emigration, described as a real odyssey; in tensions over identity and language; in contrasting cultures of departure and cultures of destination; in the problematic concept of ‘home’. Racial and gender differences subsumed in the colour of skin are a recurrent motif. For women, hardships may be more deeply felt: isolation and loneliness is augmented by the distance from children and family; the relationship between past and present more troublesome as it often leads to a double oppression. independence is more fiercely fought for in the affirmation of identity. Finally, I show that, alongside conditions of isolation and despair, strength and hope in the new life emerge from these writings, touching on the importance of writing in Italian and on the motives leading to this choice. (shrink)

El objetivo del presente estudio es describir dos experiencias de implementaci ó n de un programa de intervenci ó n dirigido a j ó venes y adolescentes españoles y dominicanos. El programa se desarrolla mediante la estrategia de gamificaci ó n a travé s del videojuego "Aislados" que contribuye al desarrollo del aprendizaje social y emocional. Se comparan las experiencias, incluyendo los resultados de autopercepci ó n en ambos contextos.

In the following work we propose to incorporate the main feature of quantum mechanics, i.e., the concept of indiscernibility. To achieve this goal, first we present two models of set theories: a quasi-set theory and a non-antisymmetric mereology. Next, we show how specific objects of QST—m-atoms—can be defined within NAM. Finally, we introduce a concept of a parthood of indiscernibles and discuss its features in respect to standard notions of indiscernibles and within NAM.

In this article the author will present various links between business and ethics. The idea of responsibility, used to describe legal, economic and ethical aspects, forms the main, unifying thread. The author uses it to analyze three aspects of human activity. The first, subjective, concerns self-responsibility, where individuals are striving to satisfy their needs and to achieve happiness. The second, the encounter with the Other, embraces two meanings: responsibility for and towards the Other. The third, social, extends the idea of (...) responsibility onto the historical community we belong to. The idea of co-responsibility is not confined to our life span but it embraces future generations as well. The author will pinpoint an important element in creating the foundations of a given community, i.e. regulations that form its basis, especially the principle of justice, encompassing the distribution of goods. Many contemporary authors underline this ethical, political and economic aspect (Rawls, communitarians, Ricoeur, Habermas). The main thesis the author would like to substantiate is as follows: in business activities the ethical conduct of the individual is not sufficient. It needs to be broadened to encompass other perspectives because contemporary societies are based on the idea of co-responsibility inhabiting many dimensions. (shrink)

Developmental Task Attainment in Adolescents from Families with a Recovering Alcoholic or Active Alcoholic Father The problem under consideration is the issue of adolescent developmental tasks in families with alcohol-related problems, especially in families which contain one or more treated alcoholics. In the present work it was hypothesised that the treatment of alcoholic fathers would be one of the more important protective factors in families coping with alcoholism. The participants of the study included 91 children, aged 17-18. The research sample (...) was comprised of three groups: 31 children of active alcoholics, 30 children of treated alcoholics, and 30 children of non-alcoholic parents. In general, the results of the study highlight the roles of temperament and parenting practices in the progress of developmental tasks. The data revealed that family characteristics were correlated to the predictors of these tasks. The groups used in the study were differed according to the factors of their developmental tasks. (shrink)

Mentalization is a form of social cognition that enables to perceive and interpret human behaviour in terms of intentional mental states and is influenced by social context. Hence, we examined mentalization related to specific attachment relationships. This study involved 115 participants who reported their relationship-specific and global attachment styles, and perspective-taking tendency towards their attachment figures. Reading the Mind in the Eyes Task-Revised was used as a proxy for mentalization disregarding relationships. The results showed that perspective-taking was associated with relationship-specific (...) attachment avoidance whereas global characteristics of mentalization were not related to attachment quality. Our findings indicate that the link between attachment quality and mentalization is relationship-specific. (shrink)

Multiple sclerosis significantly affects how patients maintain the resources they consider important. The aim of this paper is to describe the moderation effect of time since diagnosis on the evaluation of resources by patients with multiple sclerosis, on the basis of S.E. Hobfoll’s Conservation of Resources theory. The study was conducted using paper and pencil methods and involved 77 patients, of whom 32 received their diagnosis less than four years ago, and 45 more than four years ago. The patients’ resource (...) evaluation was investigated using the Polish adaptation of the COR questionnaire. Patients who received their diagnosis more than four years ago were more likely to consider vital and spiritual resources to be more important. In patients diagnosed less than four years ago, the loss of economic, political, and vital resources was significant. It is shown moderation effect of time since diagnosis. The results may for the basis for further research. (shrink)

Como propiciar um estado permanente de criação filosófica no ensino da Filosofia entre os estudantes do Ensino Superior? Eis o objetivo deste artigo. Essa questão está previamente acompanhada por dois argumentos: um deles relativo ao fato de que o ensino prevê uma atitude de abertura, disposição e curiosidade, condições essas indispensáveis à aprendizagem. O segundo, decorrente do primeiro, é que o ensino de Filosofia está intimamente vinculado à natureza própria da Filosofia que, distante da busca pela verdade como afirmação ou (...) detenção de um saber, resulta da experiência de alguém que é perguntado pela verdade, em certa atitude que se expressa no “cuidado de si mesmo” conduzindo a uma transformação, como vem apresentado por Michel Foucault em sua obra “A Hermenêutica do Sujeito”. Argumentaremos que o filosofar pode ser intensificado pela arte e, nesse aspecto, iremos estabelecer relações entre experiência filosófica e música como paisagem sonora. Essa conexão estimula entre os alunos a construção de realidades materiais e imateriais – paisagens – de modo que habitem seu universo de memórias afetivas, intelectuais, poéticas, musicais e filosóficas. Em sintonia com essa forma de pensar, será apresentado o conceito de pensamento-sentimento desenvolvido pela filósofa portuguesa Paula Cristina Pereira, que exibe grande fecundidade na direção do acesso às matrizes fundantes de nossa condição antropológica existencial. Nesse diálogo entre filosofia e música, escuta musical e experiência filosófica suscitam-se possibilidades para um ensino de filosofia habitado pelo sensível e pelos sentidos da vida em tempos tão difíceis como na atualidade, porque extremamente fugazes, dispersos, “líquidos” e carentes de densidade e dignidade humana. Palavras-chave: Ensino de Filosofia. Filosofia e Educação. Arte e Filosofia. Paisagem Sonora. Pensamento-Sentimento. (shrink)

In response to the paper by Cotnoir and Bacon published in RSL 2/2012, we would like to add some remarks regarding supplementation principles. It is known that in a classical mereology, the Strong Supplementation Principle (SSP) together with antisymmetry enforces the Weak Supplementation Principle (WSP). Instead, in the nonwellfounded mereology, the failure of extensionality causes the failure of antisymmetry (Cotnoir, 2010), hence the investigated model is also nonantisymmetric. Cotnoir supposes that the failure of antisymmetry implies the failure of (WSP) when (...) (PP1) is applied, however gives no explicit argument, which we would like to supply in this paper. Additionally, when (PP2) is applied, (SSP) implies (WSP), hence the failure of antisymmetry does not necessarily imply the failure of (WSP). (shrink)

Components of artificial intelligence (AI) for analysing social big data, such as natural language processing (NLP) algorithms, have improved the timeliness and robustness of health data. NLP techniques have been implemented to analyse large volumes of text from social media platforms to gain insights on disease symptoms, understand barriers to care and predict disease outbreaks. However, AI-based decisions may contain biases that could misrepresent populations, skew results or lead to errors. Bias, within the scope of this paper, is described as (...) the difference between the predictive values and true values within the modelling of an algorithm. Bias within algorithms may lead to inaccurate healthcare outcomes and exacerbate health disparities when results derived from these biased algorithms are applied to health interventions. Researchers who implement these algorithms must consider when and how bias may arise. This paper explores algorithmic biases as a result of data collection, labelling and modelling of NLP algorithms. Researchers have a role in ensuring that efforts towards combating bias are enforced, especially when drawing health conclusions derived from social media posts that are linguistically diverse. Through the implementation of open collaboration, auditing processes and the development of guidelines, researchers may be able to reduce bias and improve NLP algorithms that improve health surveillance. (shrink)

Une stèle en granit, portant une inscription grecque de 46 lignes, a été découverte dans la localité d'Asardere, près du village de Vetren, dans la région de Plovdiv. Le texte révèle les droits et les devoirs de l'emporion de Pistiros, emporion grec situé dans l'intérieur des terres, en milieu non grec. Il s'agit d'un document officiel, rédigé par la «chancellerie» d'un roi de Thrace, successeur de Kotys I. Cette inscription constitue le premier — et, à ce jour, le seul — (...) document connu provenant de la cour royale thrace. Elle jette un jour nouveau sur l'organisation intérieure du commerce, le système routier et les relations entre le souverain et les emporia établis sur son territoire. (shrink)

The ancient centre of Pistiros, where archaeological excavations have been taking place since 1988, was founded in the 5th century BC in the Marica valley. The article examines the epigraphical evidence from this site and suggests some changes and clarifications in the reading of the text of the Vetren inscription, published in BCH 118 (1994) by the late professor V. Velkov and the author of this article. An analysis of the epigraphical evidence (4 inscriptions on stone and over 140 graffiti (...) on fragments of pottery) shows that in the 5th-4th centuries BC, representatives of various Greek poleis involved in trade lived there alongside the Thracians. The inhabitants of Pistiros worshipped different gods and heroes (Apollo, Kore [Persephone], Demeter, Zeus, Hera, the Mother of Gods, Heracles, Maron) and above all Dionysus, the supreme god of the Thracians (mentioned in the Vetren inscription). They had strong links with the oracle of Dionysus in the Rhodope mountains and were dependencies of the Thracian kings. Judging from the epigraphic, onomastic and archaeological evidence, the varied population of Pistiros was educated and used Greek in both official documents and everyday life. (shrink)

Il y a dans les Dialogues de Platon une idée scénique de l’âme. Le texte lui-même peut-être lu comme une représentation, comme une mise en scène de la pensée qui se déploie dans l’âme. L’âme, à son tour, contient une population psychique avec de nombreux habitants. Ces habitants de l’âme parlent entre eux, et ce sont ces discours qui font (sont) l’âme, parce que la psyche pour Platon a une nature linguistique, est un tissu de mots et d’images. Dans le (...) Philèbe l’âme est assimilée à un biblion, et les textes de Platon, tout autant que les textes du théâtre, sont des biblia. L’écriture des logoi sokratikoi a pour but la mémoire (mneme) et la conservation (sōtēría) de l’enseignement du maître pendant son absence. Cependant – comme dit le Phédre – le discours du maître doit s’écrire dans l’âme des disciples, et tous les discours – comme dit le Protagoras – se gardent uniquement dans l’âme des hommes. L’âme est un texte qui garde les discours et les images, et dans l’âme, comme sur une scène, on parle avec les autres ou avec soi même. L’idée de l’âme comme une scène est fondée aussi bien sur la définition de la pensée qui – dans le Théétète – est «une discussion que l’âme elle-même poursuit tout du long avec elle-même». (shrink)

O presente estudo pretende compreender como a diáspora interfere no ato de ouvir a programação da Rádio Comunitária 87.9 FM de Frederico Westphalen, Rio Grande do Sul, pela internet, isto é, se o fato de ouvir a emissora por meio do site aproxima os indivíduos diaspóricos de Frederico Westphalen, da Rádio ou de alguém que resida no município e como isso acontece. A metodologia utilizada foi de entrevistas em profundidade com ouvintes da Rádio Comunitária FM que estão em situação de (...) diáspora e também com o diretor da emissora. A grande maioria dos entrevistados ouve a Rádio como uma maneira de se manter próximo a Frederico Westphalen ou a algum familiar ou amigo que resida no município, diminuindo assim os efeitos da diáspora em suas vidas, como a saudade, por exemplo. (shrink)

Wird die Verbindung von Materie und Form, Begrifflichkeit und Sinnlichkeit, von Sinnlichem und Unsinnlichem zum Problem, so geistert in der Geschichte der Philosophie seit der Antike der Begriff des Schemas herum und ist auch heutzutage etwa in Theorien der Verkörperung zentral. Während Kant das Schema als Bedingung der Bedeutungsentstehung versteht und in kritischer Absicht von Bildern, Zeichen und Symbolen abgrenzt, ordnen Maimon, Hamann, Herder, Hegel und später Plessner dem Schematismus sinnliche und sprachliche Prozesse einer Morphogenese zu. Diese Revisionen geben Anlass (...) zu einer neuen Theorie des Schematismus, in welcher der Versinnlichung der Status einer transzendentalen Bedingung der Verkörperung zukommt. So verstanden hat Versinnlichung als systematischer Kern der aktuellen Sprach- und Erkenntnistheorie zu gelten. (shrink)

Today, tourism, with its distinct and unique features, has become one of the largest and most profitable industries in the world economy and has provided a platform for changes in geographical spaces. This study was conducted with the aim of investigating the effects of religious tourism on the economic development of traditional settlements. The research method is descriptive and analytical. The independent variable is ‘religious tourism’, which is quantified by 10 components, and the dependent variables are ‘income’ and ‘employment’ in (...) tourist areas, which are studied with 10 components in Russia, respectively. Data analysis was carried out in SPSS software, then a Pearson’s correlation test and simple linear regression were used. Moreover, Geographic Information System (GIS) software was used to show the traditional spatial weighting of the study. The regression results show that religious tourism has been effective by 0.77 on income, 0.66 on employment, and 0.72 on the economy of traditional settlements. In fact, the development of religious tourism in areas with religious and traditional rituals has had a positive effect on creating employment, increasing income and economic prosperity. In general, religious tourism, with its structural and functional features, is considered an important factor in revitalising the economy of regions with this privilege. Contribution: This article has proven the strong role of religious tourism on the economy and tourism industry in Russia with a quantitative analysis, which deserves the attention of cultural and tourism policymakers. In addition, the results of this research can be considered by other countries with different religions. (shrink)