In 1960, E. P. Wigner, a joint winner of the 1963 Nobel Prize for Physics, published a paper titled On the Unreasonable Effectiveness of Mathematics in the Natural Sciences [61]. This paper can be construed as an examination and affirmation of Galileo's tenet that “The book of nature is written in the language of mathematics”. To this effect, Wigner presented a large number of examples that demonstrate the effectiveness of mathematics in accurately describing physical phenomena. Wigner viewed these examples as (...) illustrations of what he called the empirical law of epistemology, which asserts that the mathematical formulation of the laws of nature is both appropriate and accurate, and that mathematics is actually the correct language for formulating the laws of nature. At the same time, Wigner pointed out that the reasons for the success of mathematics in the natural sciences are not completely understood; in fact, he went as far as asserting that “… the enormous usefulness of mathematics in the natural sciences is something bordering on the mysterious and there is no rational explanation for it.”. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 204 Seiten: 121-143.

The Reverend Ralph Harper, a philosopher and theologian, has been credited with introducing existentialism to North America in 1948 with his work Existentialism: A Theory of Man. Forty years later, Harper delved deeper into the interior life of the human imagination in On Presence: Variations and Reflections. Winner of the 1992 Grawemeyer Award in Religion, On Presence is an insightful articulation of mankind's experience of presence. Drawing from philosophers like Kierkegaard, Heidegger, and Marcel, theologians like Augustine, Aquinas, and Tillich, mystics (...) like Meister Eckhart and John of the Cross, and novelists like Dostoevsky and Proust, this compelling work considers the transcendent and religious dimensions of the ordinary mysteries in everyday life. (shrink)

This paper documents a conversation between a philosopher and a human computer interaction researcher whose research has been enormously influenced by Wittgenstein. In particular, the in vivo use of categories in the design of communications and AI technologies are discussed, and how this meaning needs to evolve to allow creative design to flourish. The paper will be of interest to anyone concerned with philosophical tools in everyday action.

This book brings together scholars from a variety of epistemological perspectives to explore the multiple ways in which sexuality does indeed matter in the arena of public education.

We make decisions every day. Yet we are sometimes perplexed by these decisions and the decisions of others. To complicate things further, we live in an age where there are more things to choose from than ever before – the Internet is transforming our choices and making us more accountable for them: what we choose is recorded, modelled and used to predict our future behaviour. So are we in a position to make better choices today than we were a decade (...) ago? Certainly there are some who believe so. Psychologists claim we are subject to hidden mental processes that lead us to one thing rather than another; economists offer predictions about what people will buy; and some philosophers claim that our choices echo our evolutionary past. Are these claims merited? Do they reflect the beginnings of a new science of choice? This book offers a critical overview of these and other claims, showing where they are justified and where they are exaggerated. It will be an essential reference for anyone interested in whether science can help us to understand both the ways people make choices in their everyday lives and how these may be changing. (shrink)

The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object logic, the need for which is motivated by the difficulty of reasoning about large and complex systems, is the use of (...) structured theory presentations. In this paper a rudimentary language of structured theory presentations is presented, and the use of this structure in proof search for an arbitrary object logic is explored. The behaviour of structured theory presentations under representation in a logical framework is studied, focusing on the problem of “lifting” presentations from the object logic to the metalogic of the framework. The topic of imposing structure on logic presentations, so that logical systems may themselves be defined in a modular fashion, is also briefly considered. (shrink)

Augustine and Proust—the passion for God and the passion for creation.

In these three predecessors of existentialism, all of whom were profoundly influenced by Stendhal, author Ralph Harper finds evidence of that spiritual isolation which leads ultimately to personal solitude and philosophical nihilism. To these negative modes of being he opposes the alternatives embodied by St. Augustine and Proust—the passion for God and the passion for creation.