We present systems of Natural Deduction based on Strict Implication for the main normal modal logics between K and S5. In this work we consider Strict Implication as the main modal operator, and establish a natural correspondence between Strict Implication and strict subproofs.

We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems both for K itself and for its most popular enrichments. MSC: 03B45, 03F05.

We develop cut-free calculi of sequents for normal modal logics by using treesequents, which are trees of sequences of formulas. We introduce modal operators corresponding to the ways we move formulas along the branches of such trees, only considering fixed distance movements. Finally, we exhibit syntactic cut-elimination theorems for all the main normal modal logics.

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)

The landscape of social theory has changed significantly over the three decades since the publication of Anthony Giddens and Jonathan Turner’s seminal Social Theory Today. Sociologists in the twenty-first century desperately need a new agenda centered around central questions of social theory. In Social Theory Now, Claudio E. Benzecry, Monika Krause, and Isaac Ariail Reed set a new course for sociologists, bringing together contributions from the most distinctive sociological traditions in an ambitious survey of where social theory is today (...) and where it might be going. The book provides a strategic window onto social theory based on current research, examining trends in classical traditions and the cutting edge of more recent approaches. From distinctive theoretical positions, contributors address questions about how social order is accomplished; the role of materiality, practice, and meaning; as well as the conditions for the knowledge of the social world. The theoretical traditions presented include cultural sociology, microsociologies, world-system theory and post-colonial theory, gender and feminism, actor network and network theory, systems theory, field theory, rational choice, poststructuralism, pragmatism, and the sociology of conventions. Each chapter introduces a tradition and presents an agenda for further theoretical development. Social Theory Now is an essential tool for sociologists. It will be central to the discussion and teaching of contemporary social theory for years to come. (shrink)

The article argues that AI can enhance the measurement and implementation of democratic processes within political parties, known as Intra-Party Democracy (IPD). It identifies the limitations of traditional methods for measuring IPD, which often rely on formal parameters, self-reported data, and tools like surveys. Such limitations lead to the collection of partial data, rare updates, and significant demands on resources. To address these issues, the article suggests that specific data management and Machine Learning (ML) techniques, such as natural language processing (...) and sentiment analysis, can improve the measurement (ML about) and practice (ML for) of IPD. The article concludes by considering some of the principal risks of ML for IPD, including concerns over data privacy, the potential for manipulation, and the dangers of overreliance on technology. (shrink)

The fact that the permeability between family and work scopes produces work-family conflict (WFC) is well established. As such, this research aims to check whether the unequal involvement in household chores between men and women is associated with increased WFC in women and men, interpreting the results also from the knowledge that arise from gender studies. A correlational study was carried out by means a questionnaire applied to 515 subjects (63% men) of two independent samples of Spanish men and women (...) without emotional relationship, who lived with their heterosexual partner. As expected, results firstly show unequal involvement in household chores by women and men as it is higher in women that in men, and the perception of partner involvement is lower in women that in men. Secondly, those unequal involvements relate differently to men and women on different ways of work-family interaction. They do not increase WFC in women comparing to men, although there are tangentially significant differences in work conflict (WC) and statistically significant in family conflict (FC). However, perception of partner involvement on household chores increases WFC both in men and in women but not WC nor FC. Nevertheless, increase on marital conflict (MC) by domestic tasks neither affect in a significant way WFC in women nor in men, but increase WC in both women and men and FC only in women. Results also confirm that subject involvement on household chores is not a significant predictor of WFC in women nor in men, and that MC by domestic tasks is a statistically significant predictor in women of WFC and FC, but not in men. Thus, results show that traditional gender roles still affect the way men and women manage the work and family interaction, although the increased WFC due to involvement in housework is not exclusive to women, but also occurs in men. Personal and institutional recommendations are made on the basis of these results to cope with these conflicts. (shrink)

In this sequel to Healing Civilization, Dr. Naranjo addresses the cultural and ecological crisis of the 21st Century. He reviews a number of theories and approaches to bettering society and advocates, in particular, the innovation of making the educational system more ethically and spiritually directed--more inner directed than devoted to sustaining current economic or cultural models for society. Naranjo examines the relationship between past historical eras and cultural progress and the growth and development of the individual child from infancy to (...) maturity and old age. While sober in tone regarding these various global crises, the author maintains an optimistic view based on the continuing spiritual development of humanity. (shrink)

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)

We prove the canonical models introduced in [D] do not exist for some graded normal logics with symmetric models, namelyKB°, KBD°, KBT°, so that we define a new kind of canonical models, the general ones, and show they exist and work well in every case.

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)

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)

Extended simple regions have been the focus of recent developments in philosophical logic, metaphysics, and philosophy of physics. However, only a handful of works provides a rigorous characterization of an extended simple region. In particular, a recent paper in this journal defends a definition based on an extrinsic notion of least distance. Call it the Least Distance proposal. This paper provides the first assessment of it. It argues that Least Distance faces difficulties and drawbacks. The paper then goes on to (...) suggest a different proposal, the Diameter proposal that is able to handle such drawbacks and difficulties. (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)

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

In responding to a question posed by Professor Vincent Carraud regarding a passage in a letter by Etienne Pascal in which he mentions an author who speaks of the mysteries of Pythagorean numbers we have resumed our dossiers on number theory in Mersenne. We have pointed to texts from Mersenne’s correspondence, printed books, and unpublished theological manuscripts between 1638 and 1648 in which the mysteries of the Pythagorean numbers are mentioned with reference to the theory of perfect numbers and with (...) reference to Peter Bongo’s work, which was widespread throughout Europe and particularly in France, De numerorum mysteria (1599 ed. aucta). This has allowed us to provide some indications taken from Mersenne’s unpublished manuscripts in which he addresses the mathematical problem of perfect numbers in exegesis, according to the new dating of his unpublished theological manuscripts that we have established. (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)

Bertrand Russell: The Colours of Pacifism analyzes the tenacious commitment of one of the twentieth century's most extraordinary intellectuals to the cause of civilization, progress, and human rights. Through his active and pragmatic pacifism, Russell sought to confront the problems stemming from the unstable and dramatic political conditions of his age: the beginning of the Great War, the establishment of the League of Nations, the rise of totalitarian regimes, the outbreak of the Second World War, the dawn of the Atomic (...) Age, the escalation of the Cold War, the weakness of the United Nations, and the need for world government. His reflections on the subject of peace, which constitute the main focus of this book, led Russell into dialogue with some of the greatest figures of his time, including Romain Rolland, Albert Einstein, Woodrow Wilson, Leon Trotsky, Franklin Delano Roosevelt, Nikita Khrushchev, and J. F. Kennedy. Shining new light on a lifelong preoccupation in Russell's work and thinking, The Colours of Pacifism is a landmark study that will appeal to students, scholars and anyone curious about the philosopher's engagement with the world around him. (shrink)