Given two (positive) equivalence relations ∼ 1 , ∼ 2 on the set ω of natural numbers, we say that ∼ 1 is m-reducible to ∼ 2 if there exists a total recursive function h such that for every x, y ∈ ω, we have $x \sim_1 y \operatorname{iff} hx \sim_2 hy$ . We prove that the equivalence relation induced in ω by a positive precomplete numeration is complete with respect to this reducibility (and, moreover, a "uniformity property" holds). This (...) result allows us to state a classification theorem for positive equivalence relations (Theorem 2). We show that there exist nonisomorphic positive equivalence relations which are complete with respect to the above reducibility; in particular, we discuss the provable equivalence of a strong enough theory: this relation is complete with respect to reducibility but it does not correspond to a precomplete numeration. From this fact we deduce that an equivalence relation on ω can be strongly represented by a formula (see Definition 8) iff it is positive. At last, we interpret the situation from a topological point of view. Among other things, we generalize a result of Visser by showing that the topological space corresponding to a partition in e.i. sets is irreducible and we prove that the set of equivalence classes of true sentences is dense in the Lindenbaum algebra of the theory. (shrink)

It is well known that, in Peano arithmetic, there exists a formula Theor (x) which numerates the set of theorems. By Gödel's and Löb's results, we have that Theor (˹p˺) ≡ p implies p is a theorem ∼Theor (˹p˺) ≡ p implies p is provably equivalent to Theor (˹0 = 1˺). Therefore, the considered "equations" admit, up to provable equivalence, only one solution. In this paper we prove (Corollary 1) that, in general, if P (x) is an arbitrary formula built (...) from Theor (x), then the fixed-point of P (x) (which exists by the diagonalization lemma) is unique up to provable equivalence. This result is settled referring to the concept of diagonalizable algebra (see Introduction). (shrink)

We generalize a well-knownSmullyan's result, by showing that any two sets of the kindC a = {x/ xa} andC b = {x/ xb} are effectively inseparable (if I b). Then we investigate logical and recursive consequences of this fact (see Introduction).

Some years ago, Yablo gave a paradox concerning an infinite sequence of sentences: if each sentence of the sequence is 'every subsequent sentence in the sequence is false', a contradiction easily follows. In this paper we suggest a formalization of Yablo's paradox in algebraic and topological terms. Our main theorem states that, under a suitable condition, any continuous function from 2N to 2N has a fixed point. This can be translated in the original framework as follows. Consider an infinite sequence (...) of sentences, where any sentence refers to the truth values of the subsequent sentences: if the corresponding function is continuous, no paradox arises. (shrink)

By an unfounded chain for a function f:X→X we mean a sequence nω of elements of X s.t. fxn+1=xn for every n. Unfounded chains can be regarded as a generalization of fixed points, but on the other hand are linked with concepts concerning non-well-founded situations, as ungrounded sentences and the hypergame. In this paper, among other things, we prove a lemma in general topology, we exhibit an extensional recursive function from the set of sentences of PA into itself without an (...) unfounded chain, and we prove that every term in a Magari algebra has an unfounded chain. (shrink)

In Zwicker (1987) the hypergame paradox is introduced and studied. In this paper we continue this investigation, comparing the hypergame argument with the diagonal one, in order to find a proof schema. In particular, in Theorems 9 and 10 we discuss the complexity of the set of founded elements in a recursively enumerable relation on the set N of natural numbers, in the framework of reduction between relations. We also find an application in the theory of diagonalizable algebras and construct (...) an undecidable formula. (shrink)

ABSTRACTIn this paper, I discuss my personal experience of the issues that can arise when adopting critical realism in academic contexts dominated by irrealist methodological approaches. I draw inspiration for my analysis from the concept of Gramscian hegemony and the concept of ‘authenticity’. These concepts are related because hegemonic processes prevent individuals from freely expressing themselves. In my case, academic hegemony has resulted in social pressure to sacrifice my authentic critical realist self in order to achieve academic success. I also (...) discuss groupthink dynamics, suggesting that they are a mechanism by which hegemony – and denial of individual authenticity – can be achieved. This paper is meant to be a theoretical and reflexive discussion, which could be the starting point for empirical studies investigating the situation of a critical realist in a hegemonic academic context. (shrink)

The zone of latent solutions hypothesis provides an alternative approach to explaining cultural patterns in primates and many other animals. According to the ZLS hypothesis, non-human great ape cultures consist largely or solely of latent solutions. The current competing hypothesis for ape culture argues instead that at least some of their behavioural or artefact forms are copied through specific social learning mechanisms and that their forms may depend on copying. In contrast, the ape ZLS hypothesis does not require these forms (...) to be copied. Instead, it suggests that several social learning mechanisms help determine the frequency of these behaviours and artefacts within connected individuals. The ZLS hypothesis thus suggests that increases and stabilisations of a particular behaviour’s or artefact’s frequency can derive from socially-mediated form reinnovations. Therefore, and while genes and ecology play important roles as well, according to the ape ZLS hypothesis, apes typically acquire the forms of their behaviours and artefacts individually, but are usually socially induced to do so. The ZLS approach is often criticized—perhaps also because it challenges the current null hypothesis, which instead assumes a requirement of form-copying social learning mechanisms to explain many ape behavioural forms. However, as the ZLS hypothesis is a new approach, with less accumulated literature compared to the current null hypothesis, some confusion is to be expected. Here, we clarify the ZLS approach—also in relation to other competing hypotheses—and address misconceptions and objections. We believe that these clarifications will provide researchers with a coherent theoretical approach and an experimental methodology to examine the necessity of form-copying variants of social learning in apes, humans and other species. (shrink)

Die Bibliotheca Teubneriana, established in 1849, has evolved into the world's most venerable and extensive series of editions of Greek and Latin literature, ranging from classical to Neo-Latin texts. Some 4-5 new editions are published every year. A team of renowned scholars in the field of Classical Philology acts as advisory board: Gian Biagio Conte (Scuola Normale Superiore di Pisa) James Diggle (University of Cambridge) Donald J. Mastronarde (University of California, Berkeley) Franco Montanari (Università di Genova) Heinz-Günther Nesselrath (Georg-August-Universität Göttingen) (...) Dirk Obbink (University of Oxford) Oliver Primavesi (Ludwig-Maximilians Universität München) Michael D. Reeve (University of Cambridge) Richard J. Tarrant (Harvard University) Formerly out-of-print editions are offered as print-on-demand reprints. Furthermore, all new books in the Bibliotheca Teubneriana series are published as eBooks. The older volumes of the series are being successively digitized and made available as eBooks. If you are interested in ordering an out-of-print edition, which hasn't been yet made available as print-on-demand reprint, please contact us:[email protected] All editions of Latin texts published in the Bibliotheca Teubneriana are collected in the online database BTL Online. (shrink)

Regulation is nothing without enforcement. This particularly holds for the dynamic field of emerging technologies. Hence, this article has two ambitions. First, it explains how the EU´s new Artificial Intelligence Act (AIA) will be implemented and enforced by various institutional bodies, thus clarifying the governance framework of the AIA. Second, it proposes a normative model of governance, providing recommendations to ensure uniform and coordinated execution of the AIA and the fulfilment of the legislation. Taken together, the article explores how the (...) AIA may be implemented by national and EU institutional bodies, encompassing longstanding bodies, such as the European Commission, and those newly established under the AIA, such as the AI Office. It investigates their roles across supranational and national levels, emphasizing how EU regulations influence institutional structures and operations. These regulations may not only directly dictate the structural design of institutions but also indirectly request administrative capacities needed to enforce the AIA. (shrink)

Recognizing the growing interdependence of the European Union and the importance of codes of conduct in companies’ operations, this research examines the effect of a country’s culture on the implementation of a code of conduct in a European context. We examine whether the perceptions of an activity’s ethicality relates to elements found in company codes of conduct vary by country or according to Hofstede’s (1980, Culture’s Consequences (Sage Publications, Beverly Hills, CA)) cultural constructs of: Uncertainty Avoidance, Masculinity/Femininity, Individualism, and Power (...) Distance. The 294 individuals, who participated in our study, were from 8 Western European countries. Their responses to our 13 scenarios indicate that differences in the perceptions of ethicality associate primarily with the participants’ country as opposed to their employer (i.e., accounting firm), employment level, or gender. The evidence also indicates that these country differences associate with Hofstede constructs of Individualism and Masculinity. (shrink)

Accountability is a cornerstone of the governance of artificial intelligence (AI). However, it is often defined too imprecisely because its multifaceted nature and the sociotechnical structure of AI systems imply a variety of values, practices, and measures to which accountability in AI can refer. We address this lack of clarity by defining accountability in terms of answerability, identifying three conditions of possibility (authority recognition, interrogation, and limitation of power), and an architecture of seven features (context, range, agent, forum, standards, process, (...) and implications). We analyse this architecture through four accountability goals (compliance, report, oversight, and enforcement). We argue that these goals are often complementary and that policy-makers emphasise or prioritise some over others depending on the proactive or reactive use of accountability and the missions of AI governance. (shrink)

Even though the link between perceived corporate social responsibility fit and corporate reputation has received much attention from scholars, this tradition has ignored that the underpinnings of this association vary depending on the particular characteristics of each industry under study. To delve into this matter, we investigate in the increasingly relevant context of controversial industries how PCSR-fit could enhance corporate reputation and which are the mediating mechanisms of this association. Our academic contribution is twofold. First, we find that controversial sectors (...) indeed can increase corporate reputation through CSR activities. However, we find that to achieve this goal, the nature of PCSR-fit should be different than what extant literature indicates, because companies in these settings should directly focus on avoiding or reducing their inherent controversial harm or impact. Second, we evidence that “CSR initiatives' legitimacy” and “situational skepticism” mediate the PCSR-fit and corporate reputation relationship in CIs. Therefore, we further unravel the underpinnings of this association to advance what we know on the matter and aid practitioners in this particular context. (shrink)

O presente texto traz uma análise do negacionismo a partir da junção da Análise Crítica do Discurso – de maneira mais específica aquela que institui o raciocínio dialético como metodologia (Fairclough, 2015; 2018) – em interface com a Linguística de Corpus, inspirado no trabalho de Magalhães (2004), em sua abordagem de palavras-chave (Williams, 1976), para análise de corpus de pequena dimensão (Sinclair, 2001). A partir desse aporte, buscamos analisar um corpus de textos midiáticos sobre negacionismo, como contribuição para averiguar as (...) relações lexicais que constroem uma argumentação e uma série de articulações que procuram sustentá-lo, bem como indicar os vieses com os quais ele se conecta numa tentativa fundante de desconstrução de saberes instituídos como o da ciência. Como resultado, percebemos a fragilidade do negacionismo, mas o perigo que representa ao sair do universo das ideias para o universo do comportamento, na forma de negação sem argumentação plausível ou com ela fragilizada e sem uma validação de propostas, gerando um ambiente insalubre para todos, especialmente para os próprios negacionistas. (shrink)

Este es un ensayo fotográfico que, ante el deterioro del fondo habitacional de Centro Habana, Cuba, se pretende construir un archivo tipológico de las decoraciones con azulejos o baldosas hidráulicas vidriadas, aún visibles en algunas edificaciones, mediante la fotografía documental, para preservar lo que alguna vez fuera parte de la vida cotidiana de residentes y transeúntes, y que ha sido reconocido por los especialistas como parte del patrimonio de la ciudad.

The present article is framed within the biosemiotic glossary project as a way to address common terminology within biosemiotic research. The glossary integrates the view of the members of the biosemiotic community through a standard survey and a literature review. The concept of ‘semiotic threshold’ was first introduced by Umberto Eco, defining it as a boundary between semiotic and non-semiotic areas. We review here the concept of ‘semiotic threshold’, first describing its denotation within semiotics via an examination on the history (...) of the concept, its synonyms, antonyms, etymology, usage in other languages and context in which it is used. Then we present a general overview of the survey among researchers, analyzing the difference in responses for the concept of ‘lower semiotic threshold’ and related concepts. From the answers we also review the difference between the general usage of ‘semiotic threshold’ versus its specific use within biosemiotics, and attempt to make a general synthesis of the concept taking into account what we have learned from the survey and the literature review. (shrink)

The EU Artificial Intelligence Act (AIA) defines four risk categories for AI systems: unacceptable, high, limited, and minimal. However, it lacks a clear methodology for the assessment of these risks in concrete situations. Risks are broadly categorized based on the application areas of AI systems and ambiguous risk factors. This paper suggests a methodology for assessing AI risk magnitudes, focusing on the construction of real-world risk scenarios. To this scope, we propose to integrate the AIA with a framework developed by (...) the Intergovernmental Panel on Climate Change (IPCC) reports and related literature. This approach enables a nuanced analysis of AI risk by exploring the interplay between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We further refine the proposed methodology by applying a proportionality test to balance the competing values involved in AI risk assessment. Finally, we present three uses of this approach under the AIA: to implement the Regulation, to assess the significance of risks, and to develop internal risk management systems for AI deployers. (shrink)

El objetivo de este artículo es presentar una reconstrucción de la teoría de los grupos dereferencia. La teoría, desarrollada por Robert K. Merton, ha sido largamente utilizada enlos más variados campos de las ciencias sociales, aunque con escasa o nula consideraciónmetateórica hasta ahora. La reconstrucción atenderá a la presentación que de la misma serecoge en sendos artículos de su libro Social Theory and Social Structure, de 1968, a saber:“Contributions to the theory of reference group behavior” y “Continuities in the theory (...) ofreference groups and social structure”. Para presentar esta reconstrucción me apoyaré en elinstrumental de la Metateoría Estructuralista. Después de una consideración informal de lateoría, serán presentados sus modelos potenciales, modelos, modelos potenciales parciales,sus aplicaciones intencionales y algunos comentarios acerca de la noción de “grupo de referencia”en lo que respeta su carácter relacional y disposicional. (shrink)

The purpose of this research is to extend prior research testing the premise that small deviations from ethical behavior lead to even larger deviations from ethical behavior. This study examines the association between a person’s willingness to bribe a police officer to avoid being issued a speeding ticket with their views on inappropriate behavior of corporate executives. Our sample of 528 participants comes from Colombia (90), Ecuador (70), South Africa (131) and the United States (237). As part of our data (...) gathering, we controlled for social desirability response bias in the responses of the students who participated in our study. Our data indicate significant differences between the views of the students from Colombia, Ecuador, and South Africa when compared to the views of the students from the United States. The analysis indicates that, for all four dilemmas, the most significant variable was the belief about how ethical it was to pay a bribe to avoid a traffic ticket. In addition, in three of our four dilemmas, Paulhus’ Impression Management Subscale, which measures social desirability response bias, was the second most significant variable. Finally, in three of the four dilemmas, the students from Colombia, Ecuador and South Africa thought the actions described in the dilemmas were less ethical than the students from the United States. (shrink)

The EU proposal for the Artificial Intelligence Act (AIA) defines four risk categories: unacceptable, high, limited, and minimal. However, as these categories statically depend on broad fields of application of AI, the risk magnitude may be wrongly estimated, and the AIA may not be enforced effectively. This problem is particularly challenging when it comes to regulating general-purpose AI (GPAI), which has versatile and often unpredictable applications. Recent amendments to the compromise text, though introducing context-specific assessments, remain insufficient. To address this, (...) we propose applying the risk categories to specific AI scenarios, rather than solely to fields of application, using a risk assessment model that integrates the AIA with the risk approach arising from the Intergovernmental Panel on Climate Change (IPCC) and related literature. This model enables the estimation of the magnitude of AI risk by considering the interaction between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We use large language models (LLMs) as an example. (shrink)

This volume serves as a reference on the field of cognitive semantics. It offers a systematic and original discussion of the issues at the core of the debate in semiotics and the cognitive sciences. It takes into account the problems of representation, the nature of mind, the structure of perception, beliefs associated with habits, social cognition, autism, intersubjectivity and subjectivity. The chapters in this volume present the foundation of semiotics as a theory of cognition, offer a semiotic model of cognitive (...) integration that combines Enactivism and the Extended Mind Theory, and investigate the role of imagination as the origin of perception. The author develops an account of beliefs that are associated with habits and meaning, grounded in Pragmatism, testing his Narrative Practice Semiotic Hypothesis on persons with autism spectrum disorders. He also integrates his ideas about the formation of the theory of mind with a theory of subjectivity, understood as self-consciousness which derives from semiotic cognitive abilities. This text appeals to students, professors and researchers in the field. (shrink)

This study examines the methods students use to cheat on class examinations and suggests ways of deterring using an international sample from Australia, China, Ireland, and the United States. We also examine the level of cheating and reasons for cheating that prior research has highlighted as a method of demonstrating that our sample is equivalent to those in prior studies. Our results confirm the results of prior research that primarily employs students from the United States. The data indicate that actions (...) such as having multiple versions of the examination and scrambling the questions on these versions would deter cheating. In addition, given the increased level of cheating and students' increased perception of the social acceptability of cheating in college, the data provided by our international sample also suggest that some relatively simple precautions by instructors could dramatically reduce the level of cheating on in-class examinations. (shrink)

On many currently live interpretations, quantum mechanics violates the classical supposition of value definiteness, according to which the properties of a given particle or system have precise values at all times. Here we consider whether either metaphysical supervaluationist or determinable-based approaches to metaphysical indeterminacy can accommodate quantum metaphysical indeterminacy (QMI). We start by discussing the standard theoretical indicator of QMI, and distinguishing three seemingly different sources of QMI (S1). We then show that previous arguments for the conclusion that metaphysical supervaluationism (...) cannot accommodate QMI, due to Darby 2010 and Skow 2010, are unsuccessful, in leaving open several supervaluationist responses. We go on to provide more comprehensive argumentation for the negative conclusion. Here, among other results, we establish that the problems for supervaluationism extend far beyond the concern that is the focus of Darby's and Skow's discussions (according to which a supervaluationist approach is incompatible with the orthodox interpretation, in light of the Kochen-Specker theorem) to also attach to common understandings of other interpretations on which there is QMI (S2). We then argue that a determinable-based account can successfully accommodate all three varieties of QMI (S3). We close by observing the positive mutual bearing of our results on the coherence and intelligibility of both quantum mechanics and metaphysical indeterminacy (S4). (shrink)

This paper examines the associations among social desirability response bias, cultural constructs and gender. The study includes the responses of 1537 students from 12 countries including Australia, Canada, China, Colombia, Ecuador, Hong Kong, Ireland, Japan, Nepal, South Africa, Spain, and the United States. The results of the analysis indicate that, on average, social desirability response bias decreases (increases) as a country’s Individualism (Uncertainty Avoidance) increases. The analysis also indicates that women scored significantly higher on Paulhus’ Image Management Subscale on an (...) overall basis and for seven of the 12 country comparisons. This research serves as a caution when considering the research findings of prior international survey-based ethics research that do not include a direct measure of social desirability response bias. For example, the finding that women score higher on Paulhus’ measure of social desirability response bias calls into question prior research that does not control for social desirability response bias indicating women are more ethically sensitive than men. (shrink)

In this paper, we propose a framework capable of dealing with anaphora and ellipsis which is both general and algorithmic. This generality is ensured by the compination of two general ideas. First, we use a dynamic semantics which reperent effects using a monad structure. Second we treat scopes flexibly, extending them as needed. We additionally implement this framework as an algorithm which translates abstract syntax to logical formulas. We argue that this framework can provide a unified account of a large (...) number of anaphoric phenomena. Specifically, we show its effectiveness in dealing with pronominal and VP-anaphora, strict and lazy pronouns, lazy identity, bound variable anaphora, e-type pronouns, and cataphora. This means that in particular we can handle complex cases like Bach–Peters sentences, which require an account dealing simultaneously with several phenomena. We use Haskell as a meta-language to present the theory, which also consitutes an implementation of all the phenomena discussed in the paper. To demonstrate coverage, we propose a test suite that can be used to evaluate computational approaches to anaphora. (shrink)

This research is an extension of Walker Information’s (Business Ethics: Ethical Decision Making and Cases, pp. 235–255, 1999) study on employees’ job attitudes that was conducted exclusively in the United States. Walker Information found that the reputation of the organization, fairness at work, care, and concern for employees, trust in employees, and resources available at work were important factors in an employee’s decision to remain with his or her company. Our sample includes 713 students from seven countries: Canada, Colombia, Ecuador, (...) Hong Kong, Ireland, South Africa, and the United States. When analyzing the entire sample, our data indicate that both social desirability response bias and gender were significant; however, this was not the case when the data are analyzed by country. On an individual country basis, our data suggest that the generally accepted premise that women are more ethically conscious than men was only true for the samples from the United States and Canada. The data also indicate that, while social desirability response bias was significant for the four factors suggesting ethical components for the sample from the United States, this finding was not universal. (shrink)

This paper examines the associations among social desirability response bias, cultural constructs and gender. The study includes the responses of 1537 students from 12 countries including Australia, Canada, China, Colombia, Ecuador, Hong Kong, Ireland, Japan, Nepal, South Africa, Spain, and the United States. The results of the analysis indicate that, on average, social desirability response bias decreases as a country's Individualism increases. The analysis also indicates that women scored significantly higher on Paulhus' Image Management Subscale on an overall basis and (...) for seven of the 12 country comparisons. This research serves as a caution when considering the research findings of prior international survey-based ethics research that do not include a direct measure of social desirability response bias. For example, the finding that women score higher on Paulhus' measure of social desirability response bias calls into question prior research that does not control for social desirability response bias indicating women are more ethically sensitive than men. (shrink)

This commentary draws upon the author's experience in bioethics and as a physician, ordained Rabbi, and certified Mohel (a Jewish professional qualified to perform infant male circumcisions (MC)). People's identity and adherence to a religious belief are frequently cited reasons for deciding whether to circumcise their male children. For Jewish and Muslim males, circumcision is considered essential. In this commentary, the author uses his medical, religious, and bioethical knowledge, expertise, and experience to address common arguments used in opposing nontherapeutic male (...) circumcision of minors. In these narratives, half of the parents agreed with circumcision, and half did not. The parents against circumcision cite human rights violations, security, privacy, and bodily integrity issues and refer to circumcision as genital mutilation, while those who agree argue that circumcision should be done for religious reasons to prevent health issues, promote hygiene and cleanness, avoid cancer, or for later sexual enjoyment. After evaluating the evidence, the author states that parents should be free to either consent or decline MC for a son. Though a reoccurring theme in these narratives was for mothers to leave the circumcision decision up to their male partners, the author concludes that women have considerable power regarding the decision. (shrink)

Studying the origin of semiosis is a task obscured by terminological and metaphysical issues which create an ambiguous set of definitions for biosemiotics when referring to the concept of emergence. The question is, how emergent can semiosis be? And what are the conditions for semiosis to be an emergent of a certain type? This paper will attempt to briefly deal with the general terminology of emergence from a philosophical point of view and will discuss the characterization of semiosis as an (...) emergent phenomenon based on the distinctions made by Bedau, Kim and Chalmers. Accordingly, we will consider the possibility of strong and weak emergence in an attempt to bring some clarity to what it means for something in biosemiotics to be an emergent and how the philosophical concepts play out when applied to biosemiotic research. In inquiring into the metaphysical status of semiosis, we change our semiotic theories to correspond to the assumptions contained in the elementary objects of our theories. This being the case, the way semiosis–the constitutive element that it is for semiotics–is taken to be with regards to its possible ontology, will conduct to different research objects for the long-term investigation of its origins and necessary conditions. (shrink)

This paper explores quantum indeterminacy, as it is operative in the failure of value‐definiteness for quantum observables. It first addresses questions about its existence, its nature, and its relations to extant quantum interpretations. Then, it provides a critical discussions of the main accounts of quantum indeterminacy.

The advent of Generative AI, particularly through Large Language Models (LLMs) like ChatGPT and its successors, marks a paradigm shift in the AI landscape. Advanced LLMs exhibit multimodality, handling diverse data formats, thereby broadening their application scope. However, the complexity and emergent autonomy of these models introduce challenges in predictability and legal compliance. This paper analyses the legal and regulatory implications of Generative AI and LLMs in the European Union context, focusing on liability, privacy, intellectual property, and cybersecurity. It examines (...) the adequacy of the existing and proposed EU legislation, including the Artificial Intelligence Act (AIA), in addressing the challenges posed by Generative AI in general and LLMs in particular. The paper identifies potential gaps and shortcomings in the EU legislative framework and proposes recommendations to ensure the safe and compliant deployment of generative models. (shrink)