In this paper we mainly deal with first-order languages without equality and introduce a weak form of equality predicate, the so-called Leibniz equality. This equality is characterized algebraically by means of a natural concept of congruence; in any structure, it turns out to be the maximum congruence of the structure. We show that first-order logic without equality has two distinct complete semantics (fll semantics and reduced semantics) related by the reduction operator. The last and main part of the paper contains (...) a series of Birkhoff-style theorems characterizing certain classes of structures defined without equality, not only full classes but also reduced ones. (shrink)

Given a structure for a first-order language L, two objects of its domain can be indiscernible relative to the properties expressible in L, without using the equality symbol, and without actually being the same. It is this relation that interests us in this paper. It is called Leibniz equality. In the paper we study systematically the problem of its definibility mainly for classes of structures that are the models of some equality-free universal Horn class in an infinitary language Lκκ, where (...) κ is an infinite regular cardinal. (shrink)

In this paper we mainly deal with first-order languages without equality and introduce a weak form of equality predicate, the so-called Leibniz equality. This equality is characterized algebraically by means of a natural concept of congruence; in any structure, it turns out to be the maximum congruence of the structure. We show that first-order logic without equality has two distinct complete semantics (fll semantics and reduced semantics) related by the reduction operator. The last and main part of the paper contains (...) a series of Birkhoff-style theorems characterizing certain classes of structures defined without equality, not only full classes but also reduced ones. (shrink)

In this paper we address our efforts to extend the well-known connection in equational logic between equational theories and fully invariant congruences to other–possibly infinitary–logics. In the special case of algebras, this problem has been formerly treated by H. J. Hoehnke [10] and R. W. Quackenbush [14]. Here we show that the connection extends at least up to the universal fragment of logic. Namely, we establish that the concept of universal theory matches the abstract notion of fully invariant system. We (...) also prove that, inside this wide group of theories, the ones which are strict universal Horn correspond to fully invariant closure systems, whereas those which are universal atomic can be characterized as principal fully invariant systems. (shrink)

Розкрито сутність поняття «рейтинг». Доведено значущість рейтингової оцінки для суб’єктів фінансового ринку, зокрема для страхових компаній, потенційних страхувальників, інвесторів та кредиторів.

This paper is a continuation of [27], where we provide the background and the basic tools for studying the structural properties of classes of models over languages without equality. In the context of such languages, it is natural to make distinction between two kinds of classes, the so-called abstract classes, which correspond to those closed under isomorphic copies in the presence of equality, and the reduced classes, i.e., those obtained by factoring structures by their largest congruences. The generic problem described (...) in [27] is to investigate under what conditions this reduction process does not alter the metatheory of a class. Here we focus our attention on a concrete aspect of this generic problem that we import from universal algebra, namely the existence and description of free models. As in [27], we can find here again the basic notion of protoalgebraicity, which was originally introduced in [7] as the weakest condition to guarantee that the reduction process behaves reasonably well from an algebraic point of view. Our concern, however, takes us to handle a further notion, that of semialgebraicity, which corresponds to the notion of equivalential logic of [18]; semialgebraicity turns out to be the property which ensures that freeness is fully preserved by the reduction process. (shrink)

"Williams's masterful translation satisfies (at last!) a long-standing need. There are lots of good translations of Augustine's great work, but until now we have been forced to choose between those that strive to replicate in English something of the majesty and beauty of Augustine's Latin style and those that opt instead to convey the careful precision of his philosophical terminology and argumentation. Finally, Williams has succeeded in capturing both sides of Augustine's mind in a richly evocative, impeccably reliable, elegantly readable (...) presentation of one of the most impressive achievements in Western thought--Augustine's Confessions." --Scott MacDonald, Professor of Philosophy and Norma K. Regan Professor in Christian Studies, Cornell University. (shrink)

This book offers a critical introduction to the work of American philosopher D. G. Leahy (1937-2014). Leahy's fundamental thinking can be characterized as an absolute creativity in which all creating is 'live' -- a happening occurring now that manifests a supersaturated polyontological actuality that is essentially created by the logic that characterizes it. Leahy leaves behind the categorial presuppositions of modern thought, eclipsing both Cartesian and Hegelian subjectivities and introducing instead an essentially new form of thinking founded in a nondual (...) logic of creation. The new thinking delineates the absolute unicity of existence as a creative interactivity beyond all traditional dichotomies (such as one vs. many, unity vs. plurality, identity vs. change): a fully "digitized" actuality that is nothing but newness, which inherently implies nothing but change. Through this new form of thinking, change itself is revealed to be the very essence of reality and mind. Any reader looking for a quantum leap beyond the thrall of modern and postmodern fixations is invited to hear and apprehend this new thinking that refuses to be conditioned by paradigms, categories, species, genera, walls, bridges, boundaries, or abstractions: an essentially free thinking that embodies creative novelty itself. (shrink)

In this first paperback edition, a new introduction by Tom Burke establishes the ongoing importance of Sleeper's analysis of the integrity of Dewey's work and ...

Political liberals ask citizens not to appeal to certain considerations, including religious and philosophical convictions, in political deliberation. We argue that political liberals must include a demanding requirement of intellectual modesty in their ideal of citizenship in order to motivate this deliberative restraint. The requirement calls on each citizen to believe that the best reasoners disagree about the considerations that she is barred from appealing to. Along the way, we clarify how requirements of intellectual modesty relate to moral reasons for (...) deliberative restraint. And we argue against attempts to weaken our requirement of intellectual modesty by emphasizing those moral reasons. (shrink)

Bioethics represents a dramatic revision of the centuries-old professional ethics that governed the behavior of physicians and their relationships with patients. This venerable ethics code was challenged in the years after World War II by the remarkable advances in the biomedical sciences and medicine that raised questions about the definition of death, the use of life-support systems, organ transplantation, and reproductive interventions. In response, philosophers and theologians, lawyers and social scientists joined together with physicians and scientists to rethink and revise (...) the old standards. Governments established commissions to recommend policies. Courts heard arguments and legislatures passed laws. This book is the first broad history of the growing field of bioethics. Covering the period 1947-1987, it examines the origin and evolution of the debates over human experimentation, genetic engineering, organ transplantation, termination of life-sustaining treatment, and new reproductive technologies. It assesses the contributions of philosophy, theology, law and the social sciences to the expanding discourse of bioethics. Written by one of the field's founders, The Birth of Bioethics is based on extensive archival research into sources that are difficult to obtain and on interviews with many of the leading figures in the moral debates in medicine. A very readable and comprehensive account of the evolution of bioethics, this book stresses the history of ideas but does not neglect the social and cultural context and the people involved. It will serve the information needs of philosophers, ethicists, social historians, and everyone interested in the origins of some of today's most hotly debated issues. (shrink)

Locke is the first English philosopher to be considered in this series, and that fact of itself is worthy of attention. Philosophy, of course, like science, knows no frontiers and no national boundaries. Yet it is true to say that Locke’s contribution to philosophy is typically and peculiarly English. His moderation, his emphasis upon experience, his tolerant spirit of compromise, his dislike of mystical extravagance and of metaphysical speculation, even that elusive quality of his which people call his “common sense”, (...) are English traits. His very defects, illogicality leading to inconsistency and an awkward disorderliness of thought so abhorrent to the. (shrink)

The Nature of God explores a perennial problem in the philosophy of religion.

Islamic education; Islam and politics; Morocco; Ibn al-ʻArabī; Muḥammad ibn Tūmart; comparative study.

Resumen: El objetivo de este trabajo es describir la situación actual y las proyecciones de la comparación forense de la voz en Chile, a la luz de los estándares internacionales que se enfocan en la producción de evidencia confiable, que pueda ser utilizada en los tribunales de justicia. Para ello, en principio, se dan a conocer los fundamentos científicos que caracterizan esta rama de las ciencias forenses y, luego, sobre esa base se analiza y comenta la situación de Chile y (...) sus proyecciones, tanto en la práctica como en la investigación forense. Abstract: The objective of this work is to describe the current situation and the projections of forensic voice comparison in Chile, in the light of international standards that focus on the production of reliable evidence that can be used in the courts of justice. To do this, first, the scientific foundations that characterize this branch of forensic sciences are disclosed and, then, on that basis, the situation in Chile and its projections are analyzed and discussed, both in practice and in the forensic research. (shrink)

Overdenkingen in proza en poëzie over filosofische vraagstukken door de in ongenade gevallen Romeinse ex-consul (480-524).