We have two polynomial time results for the uniform word problem for a quasivariety Q: The uniform word problem for Q can be solved in polynomial time iff one can find a certain congruence on finite partial algebras in polynomial time. Let Q* be the relational class determined by Q. If any universal Horn class between the universal closure S and the weak embedding closure S̄ of Q* is finitely axiomatizable then the uniform word problem for Q is solvable in (...) polynomial time. This covers Skolem's 1920 solution to the uniform word problem for lattices and Evans' 1953 applications of the weak embeddability property for finite partial V algebras. (shrink)

We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.

In an earlier paper we proved that a universal Horn class generated by finitely many finite structures has a model companion. If the language has only finitely many fundamental operations then the theory of the model companion admits a primitive recursive elimination of quantifiers and is primitive recursive. The theory of the model companion is ℵ 0 -categorical iff it is complete iff the universal Horn class has the joint embedding property iff the universal Horn class is generated by a (...) single finite structure. In the last section we look at structure theorems for the model companions of universal Horn classes generated by functionally complete algebras, in particular for the cases of rings and groups. (shrink)

We present two conditions which are equivalent to having an almost χ0-categorical model companion.

This paper augments Hailperin's substantial efforts to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.

Fictionalist approaches to ontology have been an accepted part of philosophical methodology for some time now. On a fictionalist view, engaging in discourse that involves apparent reference to a realm of problematic entities is best viewed as engaging in a pretense. Although in reality, the problematic entities do not exist, according to the pretense we engage in when using the discourse, they do exist. In the vocabulary of Burgess and Rosen (1997, p. 6), a nominalist construal of a given discourse (...) is revolutionary just in case it involves a “reconstruction or revision” of the original discourse. Revolutionary approaches are therefore prescriptive. In contrast, a nominalist construal of a given discourse is hermeneutic just in case it is a nominalist construal of a discourse that is put forth as a hypothesis about how the discourse is in fact used; that is, hermeneutic approaches are descriptive. I will adopt Burgess and Rosen’s terminology to describe the two different spirits in which a fictionalist hypothesis in ontology might be advanced. Revolutionary fictionalism would involve admitting that while the problematic discourse does in fact involve literal reference to nonexistent entities, we ought to use the discourse in such a way that the reference is simply within the pretense. The hermeneutic fictionalist, in contrast, reads fictionalism into our actual use of the problematic discourse. According to her, normal use of the problematic discourse involves a pretense. According to the pretense, and only according to the pretense, there exist the objects to which the discourse would commit its users, were no pretense involved. My purpose in this paper is to argue that hermeneutic fictionalism is not a viable strategy in ontology. My argument proceeds in two steps. First, I discuss in detail several problematic consequences of any interesting application of hermeneutic fictionalism. Of course, if there is good evidence that hermeneutic fictionalism is correct in some cases, then some of these drastic consequences would have to be accepted.. (shrink)

In this classic collection of wide-ranging and interdisciplinary essays, Stanley Cavell explores a remarkably broad range of philosophical issues from politics and ethics to the arts and philosophy. The essays explore issues as diverse as the opposing approaches of 'analytic' and 'Continental' philosophy, modernism, Wittgenstein, abstract expressionism and Schoenberg, Shakespeare on human needs, the difficulties of authorship, Kierkegaard and post-Enlightenment religion. Presented in a fresh twenty-first century series livery, and including a specially commissioned preface, written by Stephen Mulhall, illuminating (...) its continuing importance and relevance to philosophical enquiry, this influential work is now available for a new generation of readers. (shrink)

Decisions in security contexts, including armed conflict, law enforcement, and disaster relief, often need to be taken under circumstances of limited information, stress, and time pressure. Since AI systems are capable of providing a certain amount of relief in such contexts, such systems will become increasingly important, be it as decision-support or decision-making systems. However, given that human life may be at stake in such situations, moral responsibility for such decisions should remain with humans. Hence the idea of “meaningful human (...) control” of intelligent systems. In this opinion paper, we outline generic configurations of control of AI and we present an alternative to human control of AI, namely the inverse idea of having AI control humans, and we discuss the normative consequences of this alternative. (shrink)

The provision of police services and the suppression of crime is one of the first functions of civil government. Article 3 of the Universal Declaration of Human Rights speaks of a right to “security of person.” “The term ‘police’ traditionally connoted social organization, civil authority, or formation of a political community—the control and regulation of affairs affecting the general order and welfare of society,” including the protection of public health. Civil dispute resolution is also an important part of a system (...) that moves people away from self-help and toward reliance on collectively constituted, peaceful channels for working out problems.A safe and secure environment is tied to health. Research in social epidemiology suggests that a shared sense of security from physical violence and interference with property can contribute to better community health. (shrink)

In video games, identification with avatars—virtual entities or characters driven by human behavior—has been shown to serve many interpersonal and intraindividual functions but our understanding of the psychological variables that influence players' avatar choices remains incomplete. The study presented in this paper tested whether players' preferred style of avatar creation is linked to the magnitude of self-perceived discrepancies between who they are, who they aspire to be, and who they think they should be. One-hundred-and-twenty-five undergraduate gamers indicated their preferred avatar (...) creation style and completed a values measure from three different perspectives: their actual, ideal, and ought selves. The average actual/ideal values discrepancy was greater among those who preferred idealized avatars vs. those who preferred realistic avatars. The average actual/ought values discrepancy was greater among those who preferred completely different avatars vs. those who preferred realistic avatars. These results, therefore, offer additional evidence that self-discrepancy theory is a useful framework for understanding avatar preferences. (shrink)

6. Jürgen Habermas's Critical Hermeneutics Introduction Habermas and Critical Hermeneutics Life and Influences 132 Habermas's Place in Contemporary Thought ...

In this four-session small group Bible study (DVD/digital sold separately), Andy Stanley shows you how to take authentic responsibility for the things in your life. RESPONSIBILITIES. We all have them. But we don't all take them as seriously as we ought to. Wouldn't it be great, though, if we all took responsibility for the things we are responsible for? Wouldn't it be great if you took responsibility for everything you're responsible for? It's time to stop the finger-pointing and excuse-making (...) and to remove the “ir” in irresponsible. In this study, Stanley tells us it’s time to ask ourselves, “Am I REALLY taking responsibility for my life?” This Participant Guide is filled with helpful discussion starters, video overviews, a helpful Leader’s Guide and much more. Sessions include: Let the Blames Begin The Disproportionate Life This Is No Time to Pray Embracing Your Response Ability Designed for use with the Taking Responsibility for Your Life Video Study (sold separately). When used together they provide a powerful catalyst for spiritual growth. (shrink)

Throughout Jewish history, revolutionary events and subversive ideas have burst onto the scene, transforming everything in their path. Re-forming Judaism seeks to explore these ideas-and the individuals behind them-by delving into historical disruptions that led to lasting change in Jewish thought.

From 1995 to 2013, Stanley Fish's provocative New York Times columns consistently generated passionate discussion and debate. In Think Again, he has assembled almost one hundred of his best columns into a thematically arranged collection with a substantial new introduction that explains his intention in writing these pieces and offers an analysis of why they provoked so much reaction. Some readers reported being frustrated when they couldn’t figure out where Fish, one of America’s most influential thinkers, stood on the (...) controversies he addressed in the essays—from atheism and affirmative action to plagiarism and postmodernism. But, as Fish says, that is the point. Opinions are cheap; you can get them anywhere. Instead of offering just another set of them, Fish analyzes and dissects the arguments put forth by different sides—in debates over free speech, identity politics, the gun lobby, and other hot-button topics—in order to explain how their arguments work or don’t work. In short, these are essays that teach you not what to think but how to think more clearly. Brief and accessible yet challenging, these essays provide all the hard-edged intellectual, cultural, and political analysis one expects from Fish. At the same time, the collection includes a number of revealing and even poignant autobiographical essays in which, as Fish says, "readers will learn about my anxieties, my aspirations, my eccentricities, my foibles, my father, and my obsessions—Frank Sinatra, Ted Williams, basketball, and Jews." Reflecting the wide-ranging interests of one of today's leading critics, this is Fish’s broadest and most engaging book to date. (shrink)

Submits a defense of the thesis that Thorstein Veblen formulated and applied to his analysis of human problems. Presents the belief that a knowledge of his philosophy will contribute to an understanding of his economic theories.

Many philosophers believe that there is a fundamental distinction between knowing that something is the case and knowing how to do something. According to Gilbert Ryle, to whom the insight is credited, knowledge-how is an ability, which is in turn a complex of dispositions. Knowledge-that, on the other hand, is not an ability, or anything similar. Rather, knowledge-that is a relation between a thinker and a true proposition.

This article argues that both courage and reason are necessary aspects of moral action. It begins by examining Plato’s changing conceptions of these two virtues, and, in particular, the settled view he arrives at in The Statesman. Sloterdijk’s recent attempt in his book advocating rage to appropriate this dialogue in order to criticize Habermas is then considered. I suggest, by interpreting various claims by these two authors, that neither understands that both reason and courage have essential roles in moral action. (...) Additional support for this conclusion is found, not just in Plato’s late work, but in a ‘third generation’ reworking of critical theory recently developed by Menke. (shrink)

Hermeneutics, as a discipline of the humanities, is often assumed to be in thrall to the same subjectivity of every interpretive method, in direct contract to the objectivity prized by the natural sciences. This book argues that there is a false dichotomy here, and that ancient and modern ideas of knowledge can be utilized to create a new active form of hermeneutics. One capable of creating a standard by which to judge better and worse models of understanding. This book explores (...) decisive aspects over which the future of hermeneutics-a future inexplicably tied to a history of hermeneutics-will continue to struggle, namely the limits and possibilities of situated human understanding. This book is located in the middle of a number of major, converging discussions within contemporary intellectual discourse. Drawing upon a wide range of ancient and modern hermeneutical thought, including Aristotle, Bernstein, Heidegger, Kant, and Gadamer, the result is a hermeneutical approach that pushes beyond the traditional limits of human understanding. This is a bold attempt to move hermeneutics into a new phase. As such, it will be of significant interest to scholars and academics working in General Hermeneutics, Theology, and the Philosophy of Religion. (shrink)

James Clerk Maxwell's electromagnetic theory famously unified many of the Victorian laws of physics. This essay argues that Maxwell saw a deep theological significance in the unification of physical laws. He postulated a variation on the design argument that focused on the unity of phenomena rather than Paley's emphasis on complexity. This argument of Maxwell's is shown to be connected to his particular evangelical religious views. His evangelical perspective provided encouragement for him to pursue a unified physics that supplemented his (...) other philosophical, technical and social influences. Maxwell's version of the argument from design is also contrasted with modern ‘intelligent-design’ theory. (shrink)

In The Gift of Jesus, beloved pastor and teacher Dr. Charles Stanley takes a deeply personal and inspiring look at how God gave us Himself through the birth of Christ. When He sent Jesus, He closed the separation between us, showing Himself to be intimately involved in every detail that concerns us. This book will usher you into Jesus' presence, reveal His compassionate heart, and help you treasure the best parts of the Advent season. --Amazon.com.

The paper addresses the situation of a dispute in which one speaker says ϕ and a second speaker says not-ϕ. Proceeding on an idealising distinction between “basic” and “interesting” claims that may be formulated in a given idiolectal language, I investigate how it might be sorted out whether the dispute reflects a genuine disagreement, or whether the speakers are only having a merely verbal dispute, due to their using different interesting concepts. I show that four individually plausible principles for the (...) determination of the nature of a dispute are incompatible. As an example, I discuss the question whether Sarai lied in the story told in Genesis 12. (shrink)

In this concentrated, intelligible, and useful introductory volume Stanley Porter and Jason Robinson give a splendid overview of hermeneutical and interpretive thought. Neither an all-inclusive survey that moves too quickly over the surface of complex issues nor a specialized volume on a single, narrow topic, Porter and Robinson's Hermeneutics provides critical analysis of major movements and figures in hermeneutics and interpretive theory in the modern era -- from Schleiermacher and Heidegger to Thiselton and Culpepper -- showing especially how these (...) interpreters and their movements have impacted biblical and theological study. (shrink)