Accessing knowledge of a single knowledge source with different client applications often requires the help of mediator systems as middleware components. In the domain of theorem proving large efforts have been made to formalize knowledge for mathematics and verification issues, and to structure it in databases. But these databases are either specialized for a single client, or if the knowledge is stored in a general database, the services this database can provide are usually limited and hard to adjust for a (...) particular theorem prover. Only recently there have been initiatives to flexibly connect existing theorem proving systems into networked environments that contain large knowledge bases. An intermediate layer containing both, search and proving functionality can be used to mediate between the two. In this paper we motivate the need and discuss the requirements for mediators between mathematical knowledge bases and theorem proving systems. We also present an attempt at a concurrent mediator between a knowledge base and a proof planning system. (shrink)

Recovering Reason: Essays in Honor of Thomas L. Pangle is a collection of essays composed by students and friends of Thomas L. Pangle to honor his seminal work and outstanding guidance in the study of political philosophy. These essays examine both Socrates' and modern political philosophers' attempts to answer the question of the right life for human beings, as those attempts are introduced and elaborated in the work of thinkers from Homer and Thucydides to Nietzsche and Charles Taylor.

kant famously rules out the possibility of any knowledge of God’s existence or non-existence.1 In denying the possibility of knowledge about God, Kant departs from his rationalist sources, and from his own earlier position. Leibniz, Wolff, Locke, Crusius, Meier, and Baumgarten all assert that we can have knowledge of the existence and properties of God.2 Although he finds that there is an absence of evidence sufficient for knowledge about God’s existence, or non-existence, this is not, for Kant, a disordered (...) or regrettable deficit. Indeed, Kant finds it “providential” that God has not permitted such knowledge. Kant even tells us that we should “thank heaven”... (shrink)

This book, by one of the most prominent interpreters of Leo Strauss's thought, was the first to address the problem that Leo Strauss himself said was the theme of his studies: the theologico-political problem or the confrontation with the theological and the political alternative to philosophy as a way of life. In his theologico-political treatise, which comprises four parts and an appendix, Heinrich Meier clarifies the distinction between political theology and political philosophy and reappraises the unifying center of Strauss's (...) philosophical enterprise. The book is the culmination of Meier's work on the theologico-political problem. It will interest anyone who seeks to understand both the problem caused by revelation for philosophy and the challenge posed by political-religious radicalism. The appendix makes available for the first time two lectures by Strauss that are immediately relevant to the subject of this book and that will open the way for future research and debate on the legacy of Strauss. (shrink)

Are we witnessing progress or regress in the recent increasing popularity and electoral success of populist politicians and parties in consolidated democratic nations? ... Is the innovative use of popular referendum in Great Britain to settle fundamental constitutional questions a progressive or regressive innovation? ... Similarly, is the increasing use of constituent assemblies to change constitutions across the world evidence of progress in democratic constitutionalism, or, a worryingly regressive change back toward unmediated popular majoritarianism? ... This paper reflects on some (...) of the perils and promise of framing such questions with the conceptual couplet of progress and regress. It considers four compelling critiques of the use of ‘progress’ and its cognates in sociopolitical theory, as well as arguing that such concepts are nevertheless ineliminable for our normative theories. The paper concludes by suggesting that we can avoid the most serious problems by employing only conceptions of political progress and regress that are piecemeal, pragmatic, and processual. (shrink)

This paper argues that we should replace the common classification of theories of welfare into the categories of hedonism, desire theories, and objective list theories. The tripartite classification is objectionable because it is unduly narrow and it is confusing: it excludes theories of welfare that are worthy of discussion, and it obscures important distinctions. In its place, the paper proposes two independent classifications corresponding to a distinction emphasised by Roger Crisp: a four-category classification of enumerative theories (about which items constitute (...) welfare), and a four-category classification of explanatory theories (about why these items constitute welfare). (shrink)

This chapter surveys hybrid theories of well-being. It also discusses some criticisms, and suggests some new directions that philosophical discussion of hybrid theories might take.

Machine intelligence already helps medical staff with a number of tasks. Ethical decision-making, however, has not been handed over to computers. In this proof-of-concept study, we show how an algorithm based on Beauchamp and Childress’ prima-facie principles could be employed to advise on a range of moral dilemma situations that occur in medical institutions. We explain why we chose fuzzy cognitive maps to set up the advisory system and how we utilized machine learning to train it. We report on the (...) difficult task of operationalizing the principles of beneficence, non-maleficence and patient autonomy, and describe how we selected suitable input parameters that we extracted from a training dataset of clinical cases. The first performance results are promising, but an algorithmic approach to ethics also comes with several weaknesses and limitations. Should one really entrust the sensitive domain of clinical ethics to machine intelligence? (shrink)

Group-based reasons are reasons to play one’s part in some pattern of action that the members of some group could perform, because of the good features of the pattern. This paper discusses three broad conceptions of such reasons. According to the agency-first conception, there are no group-based reasons in cases where the relevant group is not or would not be itself an agent. According to the behaviour-first conception, what matters is that the other members of the group would play their (...) parts in the relevant pattern, not whether they would have the cooperative intentional states constitutive of group agency in doing so. This paper argues against these conceptions and in favour of the powers-first conception, according to which what matters is that the members of the group have practically relevant powers. (shrink)

Theorists of public reason such as John Rawls often idealize constitutional courts as exemplars of public reason. This paper raises questions about the seduction and limits of analogies between theorists’ account of public reason and actual constitutional jurisprudence. Examining the work product of the United States Supreme Court, the paper argues that while it does engage in reason-giving to support its decisions—as the public reason strategy suggests— those reasons are (largely) legalistic and specifically juristic reasons—not the theorists’ idealized moral-political reasons (...) on matters of fundamental principle. But if constitutional courts do not engage on matters of fundamental principle, then a public reason strategy for assuaging democratic worries about judicial review would no longer be open: prominent liberal and deliberative democratic theorists could no longer point to the alleged superiority of constitutional courts to speak in the name of, and for, the people’s shared political principles. The paper extends beyond the U.S. case study by pointing to three institutional factors explaining the disanalogy between what some constitutional courts do and what public reason theories require them to do. It concludes with considerations about whether the public reason strategy might be more successfully applied to international courts. (shrink)

Morality, or one's own question as a figure -- Politics, or what is truth? -- Revelation, or he that is not with me is against me -- History, or the Christian Epimetheus.

Difficult Atheism shows how contemporary French philosophy is rethinking the legacy of the death of God in ways that take the debate beyond the narrow confines of atheism into the much broader domain of post-theological thinking. Christopher Watkin argues that Alain Badiou, Jean-Luc Nancy and Quentin Meillassoux each elaborate a distinctive approach to the post-theological, but that each approach still struggles to do justice to the death of God.

Name der Zeitschrift: Frühmittelalterliche Studien Jahrgang: 47 Heft: 1 Seiten: 185-208.

This article proposes a way of understanding Kantianism, act-utilitarianism and some other important ethical theories according to which they are all versions of the same kind of theory, sharing a common structure. I argue that this is a profitable way to understand the theories discussed. It is charitable to the theories concerned; it emphasizes the common ground between them; it gives us insights into the differences between them; and it provides a method for generating new ethical theories worth studying. The (...) article briefly discusses the relationship between these ideas and some other recent proposals that emphasize the common ground between Kantianism and versions of consequentialism. (shrink)

One recently popular strategy for avoiding the moral error theory is via a ‘companions in guilt’ argument. I focus on those recently popular arguments that take epistemic facts as a companion in guilt for moral facts. I claim that there is an internal tension between the two main premises of these arguments. It is a consequence of this that either the soundness or the dialectical force of the companions in guilt argument is undermined. I defend this claim via (i) analogy (...) with philosophical debates concerning the indispensability of mathematical objects to natural science, and (ii) discussion of the ‘entanglement’ of epistemic concepts and moral concepts in deliberation. I conclude by proposing a positive view of what kind of argument must be used if moral error theories are to be successfully undermined. (shrink)

Authentizitat ist ein in unserem kulturellen Raum allgegenwartiges Phanomen. Doch wem oder was begegnen wir, wenn wir meinen, uns selbst verwirklichen oder alternativ einfach uns selbst treu sein zu mussen? Christoph Wiesinger zeigt, dass wir auf ein Selbst geworfen werden, das zwar als homogener Nukleus der Person projiziert werden kann, sich aber bei genauerem Hinsehen als komplexe sozial verinnerlichte Struktur entpuppt. Das Selbst ist keineswegs objektiv zu fassen, sondern unterliegt sozialen Genesen und wird durch soziale Adressierung unterschiedlich formiert. Das (...) Ereignis von Authentizitat gibt somit Anlass zur Reflexion der Differenz zwischen Erwartung und Erfahrung. Christoph Wiesinger legt die Strukturen des Phanomens der Authentizitat frei, zeigt die theologischen Implikationen auf und diskutiert die praktisch-theologischen Konsequenzen. (shrink)

Die Kernthese der Paracelsischen Naturphilosophie, die Ahnlichkeit von Mensch und Welt, festgelegt in der Analogie von Mikro- und Makrokosmos, enthullt einen -Code-, der als konstitutives Moment samtliche Aussagen auf einer prakonzeptionellen Ebene organisiert, samtliche Teilbereiche in ihrer funktionalen Bedeutung fur das -Ganze- markiert und schliesslich im Sinne Foucaults zu einer -diskursiven Formation- werden lasst. Die auf diese Weise vorgefuhrte Erfahrungsform von Welt und Natur steht zu dem neuzeitlich-technischen Verfugungswissen in einer historischen Diskontinuitat.".

Basing his view on the object relations theories of the "British School" of psychoanalysis, Christopher Bollas examines the human subject's memories of its earliest experiences (during infancy and childhood) of the object, whether it be mother, father, or self. He explains in well-written and non-technical language how the object can affect the child, or "cast in shadow," without the child being able to process this relation through mental representations of language.

We investigated the competition between automatic and controlled processes in a word stem completion task. Prime-display duration and the prime-target interval were manipulated. On each trial a masked prime was displayed briefly, followed either immediately or after a delay by a word stem. The subjects were required to complete each stem with the first word that came to mind, to report any prime they could identify, and not to give as completion any identified prime. By the assumption that automatic processes (...) require less stimulus input and can be completed faster than consciously controlled processes we expected a stronger performance contribution from automatic processes with the shorter prime-display durations and in the immediate stems condition. The results confirmed this expectation. The findings highlight that consciously controlled processes require more time to run their course than unconscious automatic processes. (shrink)

In this article Cristoph Wulf examines the basic concepts of pedagogy and educational science in the German-speaking world, looking at education and socialization from the perspective of educational anthropology. He makes evident that the complex German concept of Bildung, in particular, can only be fully understood by means of a historical and philosophical analysis.

This paper connects two ideas. The first is that some common responses to ethical views are responses to their degrees of pragmatism, where a view’s degree of pragmatism is its sensitivity to ethically relevant changes in the actor’s circumstances. I claim that we feel the pull of opposing pro-pragmatic and antipragmatic intuitions in certain cases. This suggests a project, of searching for an ethical view capable of doing justice to these opposing intuitions in some way. The second central idea is (...) that a theory of pattern-based reasons looks more promising than the obvious alternatives to fulfil this role, amongst Teleological theories at least. Pattern-based reasons are reasons to perform some action because of the goodness or rightness of a larger pattern of action—such as a pattern that a group could perform or that the actor could perform over an extended period—of which the immediate action is a mere part. Existing theories of such reasons share two features that prevent them explaining the intuitions we wish to explain: they consider only one pattern at a time (they are monist), and they treat patterns as eligible only if the agents concerned are willing to realise them (they accept the Willingness Requirement). But we need not accept these doctrines. Moreover, a theory of patternbased reasons without them is able to explain the pro- and anti-pragmatic intuitions in an elegant way, and has other attractive features. (shrink)

One of the most important elements of Hegel’s philosophical anthropology is his moral psychology. In particular, his understanding of the relation between motivations and reason plays a crucial intermediate role in connecting his anthropological meditations on the complete nature of the human being with his political theory of actualized freedom. Whereas recent important work on Hegel’s moral psychology has detected a Kantian distinction between natural desires and the rational perspective, the activity of practical reason actually takes place within motivations themselves (...) on Hegel’s view. The exercise of the free, rational will is best understood in terms of its role in shaping the experience of malleable, indeterminate motivations. Rather than stepping back, the free agent on Hegel’s account delves further into the motivation, acting on it in the dual sense of being guided by and transforming it. This is what it means for Hegel to conceive of agency as self-expression while maintaining the centrality of reason for Free Will. Hegel says that when we go further into the motivations in this way, we should stop speaking of motivation in terms of drives and instead begin speaking of character. (shrink)

What makes philosophy on the continent of Europe so different and exciting? And why does it have such a reputation for being 'difficult'? Continental philosophy was initiated amid the revolutionary ferment of the 18th century, philosophers such as Kant and Hegel confronting the extremism of the time with theories that challenged the very formation of individual and social consciousness. Covering the great philosophers of the modern and postmodern eras – from Nietzsche, Heidegger, Derrida and Deleuze right to up Agamben and (...) Žižek – and philosophical movements from German idealism to deconstruction and feminism – Christopher Kul-Want and Piero brilliantly elucidate some of the most thrilling and powerful ideas ever to have been discussed. (shrink)

Here, for the first time, Christopher Kul-Want brings together twenty-five texts on art written by twenty philosophers. Covering the Enlightenment to postmodernism, these essays draw on Continental philosophy and aesthetics, the Marxist intellectual tradition, and psychoanalytic theory, and each is accompanied by an overview and interpretation. The volume features Martin Heidegger on Van Gogh's shoes and the meaning of the Greek temple; Georges Bataille on Salvador Dal’'s The Lugubrious Game; Theodor W. Adorno on capitalism and collage; Walter Benjamin and Roland (...) Barthes on the uncanny nature of photography; Sigmund Freud on Leonardo Da Vinci and his interpreters; Jacques Lacan and Julia Kristeva on the paintings of Holbein; Freud's postmodern critic, Gilles Deleuze on the visceral paintings of Francis Bacon; and Giorgio Agamben on the twin traditions of the Duchampian ready-made and Pop Art. Kul-Want elucidates these texts with essays on aesthetics, from Hegel and Nietzsche to Badiou and Rancire, demonstrating how philosophy adopted a new orientation toward aesthetic experience and subjectivity in the wake of Kant's powerful legacy. (shrink)

We can hardly know for certain how strongly a scholarly discipline like history is able to affect politics and society, popular views and morals. Whatever its impact, it's influence also varies from epoch to epoch. During a few decades of the nineteenth century, historians were overwhelmed by so many questions and by such high expectations that there existed a large public space for them that they merely had to occupy. At other times, they have had to conquer this space first (...) if they wanted to gain continued attention.To be sure, a differentiation has to be introduced: any society has particular interests, e.g., in parts of its more recent past or in events that society sees as having something like a “mythical quality” about then, events that represent a major divide, that are deeply imprinted on that society's memory, that have attained a special role through tradition. There is, of course, always a space commanding wider public attention for these aspects. However, they are no more than small specks on the large canvas of history. (shrink)

This chapter examines Karl Jaspers’s influential distinction between understanding and explaining, and its significance in psychiatry. It first outlines one way of interpreting the distinction, on which it is connected to the distinction between singular and general causal claims. It then discusses one reason for thinking that understanding has an essential role to play in psychiatry: Not achieving at least some level of understanding in the context of dealing with psychiatric patients would constitute a particular kind of epistemic failure—a failure (...) to recognize their illness for the particular type of illness it is. Drawing on some ideas recently put forward by Kenneth Kendler and John Campbell, it also illustrates the particular kind of understanding that is crucial in this context. (shrink)

Details the role that giants have played in the history of humankind. _...style is breezy and accessible...a pleasant browse._ --BOOKLIST.