This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

In this chapter the explanatory value of four conceptions of human dignity to account for two seemingly contradictory intuitions is tested. One is that many people think poverty violates the humanity of poor people. The other intuition is that poor people often act with remarkable dignity despite their trying circumstances. First Immanuel Kant’s influential view on human dignity that claims it is grounded in humans’ capability to make moral judgments is examined. Next, Martha Nussbaum’s theory of the capability approach is (...) tested, which is hugely influential across many academic disciplines and in the world of economic development. Thereafter, two related, though distinctly different African theories of human dignity, as offered by Thaddeus Metz and Polycarp Ikuenobe are assessed. Both base their theories on the core capacity of humans to engage in harmonious relationships within communities. Last, it is investigated the theory that Avishai Margalit provides of honour and humiliation as concepts that illuminate the value and risks for humans’ possession of dignity. His theory is linked to aspects of the recognition theory of Axel Honneth. In the end, it is concluded that these theories either cannot fully, or adequately, explain the complex relationship between poverty and human dignity. (shrink)

The ethical philosophy of Emmanuel Levinas is typically associated with a punishing conception of responsibility rather than freedom. In this chapter, our aim is to explore Levinas’s often overlooked theory of freedom. Specifically, we compare Levinas’s account of freedom to the Kantian (and Fichtean) idea of freedom as autonomy and the Hegelian idea of freedom as relational. Based on these comparisons, we suggest that Levinas offers a distinctive conception of freedom—“finite freedom.” In contrast to Kantian autonomy, finite freedom constitutively involves (...) standing in certain social relations with others. And in contrast to Hegelian relational freedom, the social relations involved in finite freedom are not defined by mutual recognition, but by feelings of separation and even antagonism. Along the way, we promote a reading Levinas’s Totality and Infinity as a Hegel-style story of Bildung (development), and show how, on Levinas’s view, freedom can develop or mature in the life of the individual. (shrink)

Poverty violates fundamental human values through its impact on individuals and on human environments, and it goes against the core values of democratic societies. Drawing on numerous scientific studies as well as his own experience witnessing the systematic poverty in his home country of South Africa, H. P. P. [Hennie] Lötter presents a holistic profile of poverty and its effects on human lives all the while accounting for the complexity of each individual case. He argues that shared ethical values must (...) guide the planning and distribution of aid and that our society must reevaluate our notions of justice and reimagine the role of the state in order to enable collective human responsibility for poverty’s successful eradication. (shrink)

The relation between morality and religion has often been discussed. However, it is not always recognized that the relation varies greatly according to the variety of religions. I shall here be concerned solely with Christian theism in its traditional form. I take the latter to signify, essentially, belief in a morally perfect Creator who exists in the threefold form of Father, Son and Holy Spirit and who, in the person of the Son, became man in Christ for our salvation. I (...) thus exclude from consideration all non-theistic accounts of God or the Absolute. Also I shall consider, not simply bare theism of the kind that Christians share with Jews and Muslims, but also the distinctively Christian form of theism that is generated by distinctively Christian revelation. Many otherwise sound descriptions of the relation between morality and theism are defective because they fail to consider the distinctively Christian contribution to the theistic concept of God and of his relation to the world. (shrink)

First published in 1935, The Life and Writings of Giambattista Vico is a succinct biography of the Italian philosopher, Giambattista Vico. Carefully documented, the book comments on Vico's life as well as his oeuvre in a bid to extend his audience to the English-speaking population. From his early childhood to the influence of his writings after his death, the book provides a keen insight into the many facets of his philosophy. This book will be of interest to students of philosophy (...) and history. (shrink)

During his lifetime, F.C.S. Schiller was viewed as a major figure in the pragmatist movement, but his reputation has faded. This article will challenge the view that he was an unoriginal or less important figure. In particular, I will attempt a reconstruction of Schiller’s position on first philosophy, which will examine the differences between Schiller and the other major figures in the pragmatist movement. By using texts from Schiller’s writings, I attempt to create an undistorted reconstruction of what he wrote (...) in order to support this interpretation. I outline the implicit system contained in Schiller’s scattered writings and briefly examine the relation between Schiller’s humanism and other forms of pragmatism. The task seems both justified and worthwhile, since his work has been neglected, despite his prominence in the debates over pragmatism that took place when it emerged at the beginning of the twentieth century. (shrink)

Many writers often generalise about mysticism without a sufficiently close analysis of texts. Consequently the generalisations are often invalid. My present aim is to analyse one text and, in the light of this analysis, to offer some observations concerning mysticism in general and Christian mysticism in particular.

For over thirty years C. A. Campbell has made major contributions to both ethics and metaphysics. Since these do not correspond to the prevailing fashions in philosophy and theology they are in danger of being under-estimated, if not ignored. I hope to summarise and comment on them as impartially as possible. Inevitably I must be selective. In writing for this journal I have, naturally, chosen to stress those elements in Campbell's thought which are directly or indirectly relevant to religion. Even (...) so, there are many points which I have no space to develop. I shall be content if I say enough to indicate the importance of Campbell's writings for the study of the philosophically crucial topics to which they are devoted. (shrink)

Christianity affirms, with Judaism and Islam, that God is the omnipotent Creator of all things. But it diverges from them in also affirming that the Creator assumed a human nature in one figure of history, Jesus of Nazareth. Christ thus differs from other men in kind, not merely in degree; he is absolutely, not just relatively, unique. Admittedly many Christian theologians have held that the difference between Christ and other men is only one of degree. Yet the Church's traditional claim, (...) as expressed in the Chalcedonian Definition, is that Jesus was both creature and Creator, both fully man and fully God. (shrink)

First Published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

This paper is a contribution toward developing a theory of expansions of semi-Heyting algebras. It grew out of an attempt to settle a conjecture we had made in 1987. Firstly, we unify and extend strikingly similar results of [ 48 ] and [ 50 ] to the (new) equational class DHMSH of dually hemimorphic semi-Heyting algebras, or to its subvariety BDQDSH of blended dual quasi-De Morgan semi-Heyting algebras, thus settling the conjecture. Secondly, we give a criterion for a unary expansion (...) of semi-Heyting algebras to be a discriminator variety and give an algorithm to produce discriminator varieties. We then apply the criterion to exhibit an increasing sequence of discriminator subvarieties of BDQDSH . We also use it to prove that the variety DQSSH of dually quasi-Stone semi- Heyting algebras is a discriminator variety. Thirdly, we investigate a binary expansion of semi-Heyting algebras, namely the variety DblSH of double semi-Heyting algebras by characterizing its simples, and use the characterization to present an increasing sequence of discriminator subvarieties of DblSH . Finally, we apply these results to give bases for “small” subvarieties of BDQDSH , DQSSH , and DblSH. (shrink)

The purpose of this paper is to resolve two paradoxes, which occur in quantum theory, by using the discussion of the theory of measurement presented in two earlier papers by the author [3], [4], [5]. The two paradoxes discussed will be the Schrödinger cat paradox and the Einstein, Podolski, Rosen paradox [2]. An introductory section will be included which summarizes the relevant results from the author's previous papers. Also a discussion will be made regarding the author's interpretation of the density (...) operator. (shrink)

Dilthey is a figure of real importance in European philosophy and social theory. He exerted a significant influence on Husserl, Heidegger and Weber through his work on the nature of philosophy and the methodology and epistemology of human and social studies. He was also a distinguished and original historian of ideas and, indeed, many of his philosophical interests arose from the insights and practical difficulties he encountered as a historian. He produced a monumental biography of Schleiermacher, and a series of (...) shorter, but no less striking studies of Hegel, Dickens, Shakespeare, Schiller and many others. (shrink)