Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of the square of opposition to solve theological problems regarding predestination and theodicy. Other topics covered include: Hegel’s opposition to diagrams De Morgan’s unpublished octagon of opposition turnstile figures of opposition institutional model-theoretic treatment of oppositions Lacan’s four formulas of sexuation the theory of oppositional poly-simplexes The Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts.

The subject of social robotics has enormous projected economic significance. However, social robots not only present us with novel opportunities but also with novel risks that go far beyond safety issues. It is a potentially highly disruptive technology which could negatively affect the most valuable parts of the fabric of human social interactions in irreparable ways. Since engineering educations do not yet offer the necessary competences to analyze, holistically assess, and constructively mitigate these risks, new alliances must be established between engineering and SSH disciplines, with special emphasis on the humanities (i.e. disciplines specializing in the analysis of socio-cultural interactions and human experience). The Robophilosophy Conference Series was established in 2014 with the purpose of creating a new forum and catalyzing the research discussion in this important area of applied humanities research, with focus on robophilosophy. Robophilosophy conferences have been the world’s largest venues for humanities research in and on social robotics. The book at hand presents the proceedings of Robophilosophy Conference 2020: Culturally Sustainable Social Robotics, the fourth event in the international, biennial Robophilosophy Conference Series, which brought together close to 400 participants from 29 countries. The speakers of the conference, whose contributions are collected in this volume, were invited to offer concrete proposals for how the Humanities can help to shape a future where social robotics is guided by the goals of enhancing socio-cultural values rather than by utility alone. The book is divided into 3 parts; Abstracts of Plenaries, which contains 6 plenary sessions; Session Papers, with 44 papers under 8 thematic categories; and Workshops, containing 25 items on 5 selected topics. Providing concrete proposals from philosophers and other SSH researchers for new models and methods, this book will be of interest to all those involved in developing artificial ‘social’ agents in a culturally sustainable way that is also – a fortiori – ethically responsible.

Is it possible to quantify over absolutely all there is? Or must all of our quantifiers range over a less-than-all-inclusive domain? It has commonly been thought that the question of absolute generality is intimately connected with the set-theoretic antinomies. But the topic of absolute generality has enjoyed a surge of interest in recent years. It has become increasingly apparent that its ramifications extend well beyond the foundations of set theory. Connections include semanticindeterminacy, logical consequence, higher-order languages, and metaphysics.Rayo and Uzquiano present for the first time a collection of essays on absolute generality. These newly commissioned articles -- written by an impressive array of international scholars -- draw the reader into the forefront of contemporary research on the subject. The volume represents a variety of approaches to the problem, with some of the contributions arguing for the possibility of all-inclusive quantification and some of them arguing against it. An introduction by the editors draws ahelpful map of the philosophical terrain.

The Journal of Applied Logics- IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and available via the College Publications website. This Journal is open access, puts no limit on the number of pages of any article, puts no limit on the number of papers in an issue and puts no limit on the number of issues per year. We insist only on a very high academic standard, and will publish issues as they come.

The Handbook of Formal Argumentation is a community effort aimed at providing a comprehensive and up-to-date view of the state of the art and current trends in the lively research field of formal argumentation. The first volume of the Handbook is organised into five parts, containing nineteen chapters in all, each written by leading experts in the field. The first part provides a general and historical perspective on the field. The second part gives a comprehensive coverage of the argumentation formalisms available in the literature at various levels of abstraction. The third part is devoted to cover some of the many dialogical aspects of argumentation, while the fourth one deals with algorithmic, computational and implementation issues. Finally, the fifth part provides some deeper analyses on the previously introduced topics. The Handbook of Formal Argumentation is an open-ended initiative of which the present volume is the first outcome. Further volumes are planned to cover topics not included in the present one and the initiative is conceived to grow by the support and feeding it receives from the community members.