In my article on proof [Philosophia Mathematica (3) 5 (1997), 153—165], I suggested or intimated that computer proofs of mathematical theorems had been found only for relatively simple or trivial theorems. I am obligated to Martin Davis and R. S. Boyer for the information that this suggestion or intimation is incorrect. For instance, a machine proof of quadratic reciprocity was published by D. M. Russinoff in J. Automated Reasoning 8 (1992), 3–21. A machine proof of the unsolvability of the halting (...) problem has been published by R S. Boyer and J. S. Moore. This and many other examples are presented in Chapter 1 of their book, A Computational Logic Handbook, Academic Press, 1990. A second edition of this book is expected shortly. (shrink)

Ensuring that their work has a positive influence on society is a responsibility and a privilege for engineers, but also a considerable challenge. This book addresses the ways in which engineers meet this challenge, working from the assumption that for a project to be truly ethical both the undertaking itself and its implementation must be ethically sound. The contributors discuss varied topics from an international and interdisciplinary perspective, including: · robot ethics; · outer space; · international development; · internet privacy (...) and security; · green branding; · arms conversion; · green employment; and · deliberate misinformation about climate change Important questions are answered, such as: · what is meant by engineering ethics and its practical implications; · how decisions made by engineers in their working lives make an impact at the global as well as the local level; and · what ethics-related questions should be asked before making such decisions. Engineering Ethics, International and Environmental Stability will be a valuable resource for practising and student engineers as well as all who are interested in professional ethics, especially as it relates to engineering. Researchers and policy makers concerned with the effects of engineering decisions on environmental sustainability and international stability will find this book to be of special interest. (shrink)

The work of Michèle Le Dœuff creatively disrupts established notions of what philosophy might be. Far from being a discipline about the leader and the disciple, a hierarchy of knowledge and paternalism, Le Dœuff proposes a philosophy of dialogue and friendship. The conversations in this book explore how this philosophy can be enacted and explored, and show how openness and generosity can be the starting point of truly rigorous thinking. Introduced and curated by the late philosopher, Pamela Sue Anderson, In (...) Dialogue with Michèle Le Dœuff explores themes like contemporary feminism, joy in philosophy, memory, the significance of friendship to thinking and a key Le Dœuffian concept, the imaginary. Le Dœuff's interlocutors, including Penelope Deutscher, Elizabeth Fallaize and Meenda Dhanda, are some of the most significant thinkers in the fields of feminism and continental thought and provide insights and ways into considering philosophy as a profoundly dialogical exercise. (shrink)

Onderwerp en gezegde, door D. M. Bakker.--Enkele opmerkingen over het Godsbegrip van Justinus Martyr, door J. den Boeft.--Heidegger, Descartes, Luther, door J. van der Hoeven.--"Geschichtlichkeit" bij Carl Friedrich von Weizsäcker, door G. Horsman.--Menselijke ontmaskering en Bijbels démasqué , door R. Huson.--Kleine geschiedenis van het begrip "niets" in de antieke wijsbegeerte (tot e met de Sofisten en Plato), door P. A. Meijer.--De structuur van opvoeden en opvoedkunde, door J. W. Mojet.--Individualiteit in de fysica, door M. D. (...) Stafleu. (shrink)

Contributed papers on concept of False and Indivisibles (Philosophy) in Hindu philosophy presented at Seminar organized by Department of Advaita Vedanta, Rāṣṭrīyasaṃskr̥tavidyāpīṭham, Tirupati from December 31, 2005 to January 01, 2006).

Lectures on Hindu monistic (Advaita) Vedanta philosophy.

One problem that students of cognitive science are likely to encounter in their examination of the literature on bounded rationality is that of finding a succinct formulation of the relevant boundedness claim in the first place. In this chapter I provided such a formulation, before going on to locate the debate about bounded rationality against the background of competing pictures of cognitive virtue. I also consider a reason for pause about the the bounded rationality claim, viz. that it commits us (...) to a troubling form of "cognitive luck.". (shrink)