We define in precise terms the basic properties that an ‘ideal propositional paraconsistent logic’ is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n -valued logics, each one of which is not (...) equivalent to any k -valued logic with k < n. (shrink)

This paper aims to empirically explore the state of practical applications of paraconsistent logics. To this end, we performed an exploratory literature review, analysing papers published between the years 2015 and 2018. Paraconsistent formalisms based on annotated logics are practically the sole type of approach we found to be applied in engineering applications. The engineering problems solved by paraconsistent approaches were mainly in the fields of signal and image processing and decision support. The results of our exploratory review indicate that (...) recent developments in the theory of paraconsistency have not yet been adopted for applications. (shrink)

This paper develops an inference system for natural language within the ‘Natural Logic’ paradigm as advocated by van Benthem, Sánchez and others. The system that we propose is based on the Lambek calculus and works directly on the Curry-Howard counterparts for syntactic representations of natural language, with no intermediate translation to logical formulae. The Lambek -based system we propose extends the system by Fyodorov et~al., which is based on the Ajdukiewicz/Bar-Hillel calculus Bar Hillel,. This enables the system to deal with (...) new kinds of inferences, involving relative clauses, non-constituent coordination, and meaning postulates that involve complex expressions. Basing the system on the Lambek calculus leads to problems with non-normalized proof terms, which are treated by using normalization axioms. (shrink)

Canonical Propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the sub-formula property, in which exactly one occurrence of a connective is introduced in the conclusion, and no other occurrence of any connective is mentioned anywhere else. In this paper we considerably generalize the notion of a “canonical system” to first-order languages and beyond. We extend the Propositional coherence criterion for the non-triviality of such systems to rules with (...) unary quantifiers and show that it remains constructive. Then we provide semantics for such canonical systems using 2-valued non-deterministic matrices extended to languages with quantifiers, and prove that the following properties are equivalent for a canonical system G: (1) G admits Cut-Elimination, (2) G is coherent, and (3) G has a characteristic 2-valued non-deterministic matrix. (shrink)

Paraconsistent logics are logics that, in contrast to classical and intuitionistic logic, do not trivialize inconsistent theories. In this paper we take a paraconsistent view on two famous modal logics: B and S5. We use for this a well-known general method for turning modal logics to paraconsistent logics by defining a new negation as $\neg \varphi =_{Def} \sim \Box \varphi$. We show that while that makes both B and S5 members of the well-studied family of paraconsistent C-systems, they differ from (...) most other C-systems in having the important replacement property. We further show that B is a very robust C-system in the sense that almost any axiom which has been considered in the context of C-systems is either already a theorem of B or its addition to B leads to a logic that is no longer paraconsistent. There is exactly one notable exception, and the result of adding this exception to B leads to the other logic studied here, S5. (shrink)

Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This applies to practically all three-valued (...) paraconsistent logics that have been considered in the literature, including a large family of logics which were developed by da Costa's school. Then we show that in contrast, paraconsistent logics based on three-valued properly nondeterministic matrices are not maximal, except for a few special cases (which are fully characterized). However, these non-deterministic matrices are useful for representing in a clear and concise way the vast variety of the (deterministic) three-valued maximally paraconsistent matrices. The corresponding weaker notion of maximality, called premaximal paraconsistency, captures the "core" of maximal paraconsistency of all possible paraconsistent determinizations of a non-deterministic matrix, thus representing what is really essential for their maximal paraconsistency. (shrink)

An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion of coherence (...) to characterize strong cutelimination in such systems. We show that the following properties of a canonical system G with arbitrary (n, k)-ary quantifiers are equivalent: (i) G is coherent, (ii) G admits strong cut-elimination, and (iii) G has a strongly characteristic two-valued generalized non-deterministic matrix. (shrink)

This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. Topics in this book include frameworks for paraconsistent reasoning, foundations of relevance logics, analysis and characterizations of modal logics and fuzzy logics, hypersequent calculi and their properties, non-deterministic semantics, algebraic structures for many-valued logics, and representations of (...) the mechanization of mathematics. Avron’s foundational and pioneering contributions have been widely acknowledged and adopted by the scientific community. His research interests are very broad, spanning over proof theory, automated reasoning, non-classical logics, foundations of mathematics, and applications of logic in computer science and artificial intelligence. This is clearly reflected by the diversity of topics discussed in the chapters included in this book, all of which directly relate to Avron’s past and present works. This book is of interest to computer scientists and scholars of formal logic. (shrink)

Comment devient-on philosophe? Par quel sursaut un Aristoclès se fait-il Platon, jusqu'à s'imposer dans la liste des " auteurs philo " Il faut enquêter, non pas sur la vie privée, mais sur la vie intime : rumination intellectuelle, ton sur lequel on parle, motivations amoureuses... Ce qui fait un philosophe, c'est un immense travail sur soi, et la rencontre d'autres philosophes, vivants, de leurs problématiques. Mémoire sémantique + obsession métaphysique, voilà le code génétique du philosophe. Il débute par un attentat (...) religieux, puisqu'il commence sa carrière en niant tel ou tel sacré. Bien sûr, il vaut mieux être mâle, communiquer par les livres adopter la langue dominante, écrire quand on est célibataire. Comment gagner sa vie? Pas forcément en étant enseignant, comme c'est le cas aujourd'hui. Le profil du philosophe nous le révèle orphelin, vivant à l'étranger, souvent laid, jamais fou, et serial thinker, prêt à changer de philosophie pourvu qu'il reste, lui, à menacer le monde donnera ou donnera pas du sens à notre vie? Le philosophe est l'être inquiet qui pense inquiéter l'Être par deux trois mots bien aiguisés. (shrink)

While there are numerous doubts, controversies and lack of consensus on alternative definitions of human death, it is argued that it is more ethical to allow people to choose either cessation of cardio-respiratory function or loss of entire brain function as the definition of death based on their own views. This paper presents the law of organ transplantation in Japan, which allows people to decide whether brain death can be used to determine their death in agreement with their family. Arguably, (...) Japan could become a unique example of individual choice in the definition of death if the law is revised to allow individuals choose definition of death independently of their family. It suggests that such an approach is one of the reasonable policy options a country can adopt for legislation on issues related to the definition of death. (shrink)

Extraterrestrial Altruism examines a basic assumption of the Search for Extraterrestrial Intelligence (SETI): that extraterrestrials will be transmitting messages to us for our benefit. This question of whether extraterrestrials will be altruistic has become increasingly important in recent years as SETI scientists have begun contemplating transmissions from Earth to make contact. Technological civilizations that transmit signals for the benefit of others, but with no immediate gain for themselves, certainly seem to be altruistic. But does this make biological sense? Should we (...) expect altruism to evolve throughout the cosmos, or is this only wishful thinking? Is it dangerous to send messages to other worlds, as Stephen Hawking has suggested, or might humankind benefit from an exchange with intelligence elsewhere in the galaxy? Would extraterrestrial societies be based on different ethical principles, or would we see commonalities with Earthly notions of morality? Extraterrestrial Altruism explores these and related questions about the motivations of civilizations beyond Earth, providing new insights that are critical for SETI. Chapters are authored by leading scholars from diverse disciplines—anthropology, astronomy, biology, chemistry, computer science, cosmology, engineering, history of science, law, philosophy, psychology, public policy, and sociology. The book is carefully edited by Douglas Vakoch, Director of Interstellar Message Composition at the SETI Institute and professor of clinical psychology at the California Institute of Integral Studies. The Foreword is by Frank Drake. This interdisciplinary book will benefit everybody trying to understand whether evolution and ethics are unique to Earth, or whether they are built into the fabric of the universe. (shrink)

How (Not) to Be Secular is what Jamie Smith calls "your hitchhiker's guide to the present" -- it is both a reading guide to Charles Taylor's monumental work A Secular Age and philosophical guidance on how we might learn to live in our times. Taylor's landmark book A Secular Age (2007) provides a monumental, incisive analysis of what it means to live in the post-Christian present -- a pluralist world of competing beliefs and growing unbelief. Jamie Smith's book is a (...) compact field guide to Taylor's insightful study of the secular, making that very significant but daunting work accessible to a wide array of readers. Even more, though, Smith's How (Not) to Be Secular is a practical philosophical guidebook, a kind of how-to manual on how to live in our secular age. It ultimately offers us an adventure in self-understanding and maps out a way to get our bearings in today's secular culture, no matter who "we" are -- whether believers or skeptics, devout or doubting, self-assured or puzzled and confused. This is a book for any thinking person to chew on. (shrink)

Introduction: Conversion and the practice of transformation -- The philosophical structure of Jonathan Edwards's religious affections -- Habit, habit change, and conversion in C.S. Peirce -- Reconstructing faith : religious overcoming in Dewey's pragmatism -- Transforming obligation in William James -- Dwelling in absence: the reflective origin of conversion -- Creative transformation : the work of conversion -- The evasion of conversion in recent American philosophy.

Ludwig Wittgenstein (1889-1951) was an extraordinarily original thinker, whose influence on twentieth-century thinking far outside the bounds of philosophy alone. In this engaging Introduction, A.C. Grayling makes Wittgenstein's thought accessible to the general reader by explaining the nature and impact of Wittgenstein's views. He describes both his early and later philosophy, the differences and connections between them, and gives a fresh assessment of Wittgenstein's continuing influence on contemporary thought.

Background: The magnitude of bullying and harassment among psychiatrists is reportedly high, yet no peer-review published studies addressing this issue could be found. Therefore, it was decided to conduct a pilot study to assess the degree of the problem, the types of bullying/harassment and to provide some insights into the situation.Methods and Principal Findings: Following multiple focus group meetings, a yes/no response type questionnaire was developed to assess the degree and type of bullying and harassment experienced by psychiatrists. Over a (...) 3-month period the questionnaire was administered to a random sample of 60 psychiatrists. 57 out of the 60 psychiatrists reported harassment and bullying. Frequencies of the following response variables are presented in descending order: rumours 40% ; defamation 20% ; passing remarks 20% ; false accusations 15% ; threats 13.3% ; verbal abuse 13.3% ; unjustified complaints 13.3% ; promotion blocked 13.3% ; humiliation 13% ; bad reference given 10% ; credentials questioned 8.3% ; physical attacks 5% ; termination 5% ; derogatory remarks 1.7% and 1.7% were subjected to personal work. As a result of being subjected to harassment, 66.7% of the psychiatrists did not take any action, whereas 33.3% confronted the person they believed responsible. Asked whether the bullying and harassment caused distress, 18.3% of the psychiatrists did not report any effect, 30% reported mild distress, 40% moderate distress and severe distress was reported by 11.7%.Conclusions: It was concluded that the magnitude of bullying and harassment among psychiatrists may be quite high, as evidenced by this pilot study. There is a need for extensive systematic studies on this subject and to establish strategies to prevent and address this issue at a national and regulatory level. (shrink)

The urgency of the research topic is that the theoretical and methodological principles of psychology of managerial activity of the head in the conditions of the information society help to increase the levers of management and guidance. The purpose of management - the receipt of the desired result, which must be obtained after the actions of the management of the head as the main operating force, which is heading for transformations, tries to increase the self-governing principle in the organization. The (...) problem of research is that for effective management it is necessary to develop reliable mechanisms for the identification and development of manager's abilities, to increase the level of professionalism and competence of the head to the highest level, so that the management organism does not disorient. A person who works as a specialist, a professional, a competent person can be qualified to carry out the work of a manager. The hypothesis is put forward that the manager of a high level of professionalism and competence is able to form the psychological foundations of the organization, so that it worked as a single social organism. The task of the research is to analyze the psychological foundations of management activity in the conditions of the information society, which would allow the most optimal management of a particular organization. The methodological foundations of the psychology of management as the basis of effective leadership include methods of cultural development, which are used to solve the problems of organization, the formation of psychological culture, devoid of conflicts, contradictions, disasters. Methodological basis of scientific research of psychological principles of administrative activity as the basis of effective management are methods, such as system, structural, structural-functional, historical, comparative, which allow to achieve a higher level of organization and self-organization at the expense of skilful leadership. Therefore, the manager must use the whole set of methods, techniques, algorithms of actions, techniques, methods of achieving certain results that will lead to the management of a high level. It is concluded that the determinants of the optimization of the managerial psychology of the head is a model aimed at regulating relationships, which would use the resources of the information society, which is based on high information provision for improving the efficiency of management work. (shrink)

This exciting new Handbook offers a comprehensive overview of the contemporary state of the field. The editors' introduction and forty-five essays cover feminist critical engagements with philosophy and adjacent scholarly fields, as well as feminist approaches to current debates and crises across the world. Authors cover topics ranging from the ways in which feminist philosophy attends to other systems of oppression, and the gendered, racialized, and classed assumptions embedded in philosophical concepts, to feminist perspectives on prominent subfields of philosophy. The (...) first section contains chapters that explore feminist philosophical engagement with mainstream and marginalized histories and traditions, while the second section parses feminist philosophy's contributions to with numerous philosophical subfields, for example metaphysics and bioethics. A third section explores what feminist philosophy can illuminate about crucial moral and political issues of identity, gender, the body, autonomy, prisons, among numerous others. The Handbook concludes with the field's engagement with other theories and movements, including trans studies, queer theory, critical race, theory, postcolonial theory, and decolonial theory. The volume provides a rigorous but accessible resource for students and scholars who are interested in feminist philosophy, and how feminist philosophers situate their work in relation to the philosophical mainstream and other disciplines. Above all it aims to showcase the rich diversity of subject matter, approach, and method among feminist philosophers. (shrink)

The Problem of Perception offers two arguments against direct realism--one concerning illusion, and one concerning hallucination--that no current theory of ...

One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.

The philosophy of Epictetus, a freed slave in the Roman Empire, has been profoundly influential on Western thought: it offers not only stimulating ideas but practical guidance in living one's life. A. A. Long, a leading scholar of later ancient philosophy, gives the definitive presentation of the thought of Epictetus for a broad readership. Long's fresh and vivid translations of a selection of the best of Epictetus' discourses show that his ideas are as valuable and striking today as they were (...) amost two thousand years ago. This is a book for anyone interested in what we can learn from ancient philosophy about how to live our lives. (shrink)

Provability, Computability and Reflection.

In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which is (...) sufficiently inclusive to serve as an umbrella over different understandings in the literature and specific enough to help highlight its difference from the other types of values. Finally, we discuss convergences, overlapping areas, and fuzzy boundaries between different value types to facilitate dialogue, reduce misunderstandings, and improve the methods for valuation of nature's contributions to people, including ecosystem services, to inform policy and direct future research. © 2023 The Author(s). Published by Oxford University Press on behalf of the American Institute of Biological Sciences. (shrink)

Resumo: A técnica é a ação de um agente Intencional, com uma determinada finalidade, sobre específicas propriedades físicas, ação que constitui um objeto técnico. O reconhecimento desta Intencionalidade da ação dos autores da técnica é necessário para o processo de compreensão desses objetos pelos receptores, principalmente para a compreensão dos objetos técnicos caracterizados também como suportes semióticos. A minha hipótese é que essa Intencionalidade pode vir “mascarada” pela própria ação técnica constituinte da forma do objeto, e também pelo discurso institucional, (...) dificultando a compreensão desses objetos pelo público. Trata-se também de esclarecer quais as propriedades que são realmente ontológicas nos objetos técnicos.: A technique is an action of an Intentional agent, with a determined purpose, upon specific physical properties. This action constitutes a technical object. Identifying the Intentionality of authors' actions is necessary for the comprehension of these objects by receivers, particularly for the comprehension of technical objects which are also characterized as semiotic supports. My hypothesis is that this Intentionality can be “disguised” by the technical action itself, particularly in questions of form, and also by institutional discourse, which problematizes the comprehension of these same objects by the public. It will be a matter as well of clarifying the ontological properties of technical objects. (shrink)

Commentary on the Brahmasūtra of Bādarāyaṇa, aphoristic work on Vedanta philosophy.

Background: There is a shortage of reports on what potential recipients of implantable cardioverter–defibrillators need to be informed about and what role they can and want to play in the decision-making process when it comes to whether or not to implant an ICD.Aims: To explore how patients with heart failure and previous episodes of malignant arrhythmia experience and view their role in the decision to initiate ICD treatment.Patients and methods: A qualitative content analysis of semistructured interviews was used. The study (...) population consisted of 31 outpatients with moderate heart failure at the time of their first ICD implantation.Setting: The study was performed at Sahlgrenska University Hospital, Göteborg, Sweden.Results: None of the respondents had discussed the alternative option of receiving treatment with anti-arrhythmic drugs, the estimated risk of a fatal arrhythmia, or the expected time of survival from heart failure in itself. Even so, very little criticism was directed at the lack of information or the lack of participation in the decision-making process. The respondents felt that they had to rely on the doctors’ recommendation when it comes to such a complex and important decision. None of them regretted implantation of the ICD.Conclusions: The respondents were confronted by a matter of fact. They needed an ICD and were given an offer they could not refuse, simply because life was precious to them. Being able to give well-informed consent seemed to be a matter of less importance for them. (shrink)