This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem. (...) The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic. (shrink)

As proved recently, the satisfaction problem for all prenex formulae in the set-theoretic Bernays-Shönfinkel-Ramsey class is semi-decidable over von Neumann's cumulative hierarchy. Here that semi-decidability result is strengthened into a decidability result for the same collection of formulae.

We study the decidability problem for metric and layered temporal logics. The logics we consider are suitable to model time granularity in various contexts, and they allow one to build granular temporal models by referring to the "natural scale" in any component of the model and by properly constraining the interactions between differently-grained components. A monadic second-order language combining operators such as temporal contextualization and projection, together with the usual displacement operator of metric temporal logics, is considered, and the theory (...) of finitely-layered metric temporal structures is shown to be decidable. (shrink)

The axiom of infinity can be expressed by stating the existence of sets satisfying a formula which involves restricted universal quantifiers only, even if the axiom of foundation is not assumed.

The still unsettled decision problem for the restricted purely universal formulae 0-formulae) of the first order set-theoretic language based over =, ∈ is discussed in relation with the adoption or rejection of the axiom of foundation. Assuming the axiom of foundation, the related finite set-satisfiability problem for the very significant subclass of the 0-formulae consisting of the formulae involving only nested variables of level 1 is proved to be semidecidable on the ground of a reflection property over the hereditarily finite (...) sets, and various extensions of this result are obtained. When variables are restricted to range only over sets, in universes with infinitely many urelements the set-satisfiability problem is shown to be solvable provided the axiom of foundation is assumed; if it is not, then the decidability of a related derivability problem still holds. That, in turn, suggests the alternative adoption of an antifoundation axiom under which the set-satisfiability problem is also solvable . Turning to set theory without urelements, assuming a form of Boffa's antifoundation axiom, the complement of the set-satisfiability problem for the full class of Δ0-formulae is shown to be semidecidable; a result that is known not to hold, for the set-satisfiability problem itself, even for a very restricted subclass of the Δ0-formulae. (shrink)

As is well-known, the Bernays-Schönfinkel-Ramsey class of all prenex ∃*∀* -sentences which are valid in classical first-order logic is decidable. This paper paves the way to an analogous result which the authors deem to hold when the only available predicate symbols are ∈ and =, no constants or function symbols are present, and one moves inside a (rather generic) Set Theory whose axioms yield the well-foundedness of membership and the existence of infinite sets. Here semi-decidability of the satisfiability problem for (...) the BSR class is proved by following a purely semantic approach, the remaining part of the decidability result being postponed to a forthcoming paper. (shrink)

In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...) such a translation to work with specific cases of extended modal logics. (shrink)

In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...) such a translation to work with specific cases of extended modal logics. (shrink)

Being able to state the principles which lie deepest in the foundations of mathematics by sentences in three variables is crucially important for a satisfactory equational rendering of set theories along the lines proposed by Alfred Tarski and Steven Givant in their monograph of 1987. The main achievement of this paper is the proof that the 'kernel' set theory whose postulates are extensionality. (E), and single-element adjunction and removal. (W) and (L), cannot be axiomatized by means of three-variable sentences. This (...) highlights a sharp edge to be crossed in order to attain an 'algebraization' of Set Theory. Indeed, one easily shows that the theory which results from the said kernel by addition of the null set axiom, (N), is in its entirety expressible in three variables. (shrink)

The problem is addressed of establishing the satisfiability of prenex formulas involving a single universal quantifier, in diversified axiomatic set theories. A rather general decision method for solving this problem is illustrated through the treatment of membership theories of increasing strength, ending with a subtheory of Zermelo-Fraenkel which is already complete with respect to the ∀*∀ class of sentences. NP-hardness and NP-completeness results concerning the problems under study are achieved and a technique for restricting the universal quantifier is presented.

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.

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)

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.

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (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 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)

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)

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)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.1 (2003) 121-122 [Access article in PDF] Harold Tarrant. Plato's First Interpreters. Ithaca, NY: Cornell University Press, 2000. Pp. viii + 263. Cloth, $55.00. This is Tarrant's third book on the ancient Platonist tradition, following his Scepticism or Platonism? (1985) and Thrasyllan Platonism (1993). In those earlier volumes his focus was on the first centuries bc and ad. Here his scope is much (...) wider. Stating that "Platonic interpretation is today at a crossroads," he has written a book that explores "ancient attempts to wrestle with this corpus," with the ultimate objective "to encourage a fresh, almost primitive reading of Plato himself" (vii).He begins engagingly by confronting the ancients with questions any modern reader of Plato must ask: What kind of text is this? Are there doctrines here? Where do I look for Plato's doctrines? The second part of his book is a historical survey, taking us from Plato, the early Academy and Aristotle, through the Hellenistic and early Roman Imperial period, and concluding with the principal Neoplatonist interpreters. In the third and longest part, he focuses on the interpretation of specific dialogues, giving most space to the Gorgias and Theaetetus, but also dealing in particular detail with the Meno, Parmenides, and Philebus. Something is said about every dialogue, but Tarrant writes only briefly about such major works as the Republic and Timaeus. He explains his selectivity (not very convincingly) as due to his wish to "discuss issues of meta-interpretation, with emphasis on the period before Plotinus" (198).Taking his book as a whole, one realizes that few strands of modern interpretation were not prefigured to quite a large extent in antiquity. The two most obvious exceptions are the chronological and developmental approach (Early, Middle, and Late), at present under strong attack from some quarters, and the theological, numerological, and allegorical readings practiced by Neoplatonists. Plato's ancient interpreters were doctrinal unitarians, but they implicitly anticipated our tendency to distinguish "Socratic dialogues," which some of them called "gymnastic" and "inquisitive," from such "canonical" works as the Phaedo,Republic, Symposium, and Timaeus, to which they applied the labels "dogmatic" and "expository." And they recognized that both types of characteristics could be found in the same dialogue, as in the Meno and Theaetetus. Plato himself, they proposed, spoke primarily through the voices of Socrates, Timaeus, and the Eleatic and Athenian strangers; but other characters, such as Pausanias in the Symposium, or Protagoras in the dialogue of that name, utter thoughts with some philosophical value. In explaining difficult passages of one dialogue, they would typically refer to passages from other parts of the corpus. An especially intriguing instance is the strategy of the Anonymous Commentator on the Theaetetus, who reads the Meno into the dialogue on which he is officially commenting.Ancient scholars, just like ourselves, asked questions about the unifying themes of complex dialogues. Hence the sub-titles given to certain works: "On the soul" for the Phaedo, and "On justice" for the Republic, etc. For Olympiodorus (whose commentary on the Gorgias Tarrant has recently co-edited [Leiden, 1998]), earlier interpreters have seriously erred by giving too limited an account of that dialogue's scope. It is not, he says, simply about rhetoric, nor about justice and injustice; nor is its theme the divine demiurge (as some Neoplatonists had strangely proposed, on the basis of the concluding myth). Rather, the subject of the Gorgias is "the ethical principles that lead to constitutional well-being" (125). [End Page 121] However, Olympiodorus's eminently "sensible" reading (as Tarrant calls it) is deeply embedded in the Neoplatonic contrast between the "purificatory virtues" of the Phaedo and the "constitutional virtues" of Republic4.Strong or weak scepticism, esotericism, unwritten doctrines, spurious versus genuine, a canon of central dialogues, dramatic considerations, and the philosophical importance or non-importance of the dialogues' prologues—all of these are interpretive approaches that Tarrant surveys in this immensely learned book, and all of them continue to resonate for us. Modern scholars, who emphasize the literary and philosophical unity of each dialogue, are walking... (shrink)

During recent years we have seen and assisted at a significantly increased number of twin births. The main reason for this increase in the frequency of twin births is the increasing number of so called “induced pregnancies”, whether through hormonal stimulation or artificial insemination techniques.It is well known1 that twins have high mortality and morbidity rates during the perinatal and the following period. The characteristics of conception and pregnancy can determine the development of several pathologies, including prematurity and intrauterine growth (...) retardation, …. (shrink)