Recent history makes clear that the quantum leaps being made in technology are the leading edge of a groundswell of paradigm shifts taking place in science, politics, economics, social institutions, and the expression of cultural values. Indeed it is the simultaneity and interdependence of these changes occurring in every dimension of human experience and endeavor that makes the present so historically distinctive. The essays gathered here give voice to perspectives on the always improvised relationship between technology and cultural values from (...) Africa, the Americas, Asia, Australia, Europe, and the Pacific. Contributors: Syed Muhammad Naquib Al-Attas, Roger T. Ames,Yoko Arisaka, Carl Becker, Francesca Bray, James Buchanan, Arindam Chakrabarti, Frank W. Derringh, Rolf Elberfeld, Charles Ess, Andrew Feenberg, Susantha Goonatilake, H. Jiuan Heng, Peter Hershock, Thomas P. Kasulis, George Khushf, David Farrell Krell, Joel J. Kupperman, William R. LaFleur, Lois Ann Lorentzen, David Loy, Joseph Margolis, Hans-Georg Möller, Robert Cummings Neville, Peimin Ni, Monica Atieno Opole, Kuruvilla Pandikattu SJ, Helen Petrovsky, Ramon Sentmartí, Kristin Shrader-Frechette, Vasanthi Srinivasan, Marietta Stepaniants, Vyacheslav S. Stiopin, Henk ten Have, Paul B.Thompson, Mary Tiles, David B.Wong. (shrink)

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. To study (...) the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well. Key Features: Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science Written by internationally leading researchers in the field of pure and applied logic Combines mathematical theory of modal logic and applications in artificial intelligence and computer science Numerous open problems for further research Well illustrated with pictures and tables. (shrink)

Buildings are constructed for accommodating living and industrial needs. Floor cleaning robots have been developed to cater to the demand of these buildings. Area coverage and coverage time are crucial performance factors of a floor cleaning robot. Reconfigurable tiling robots have been introduced over fixed shape robots to improve area coverage in floor cleaning applications compared to robots with fixed morphologies. However, area coverage and coverage time of a tiling robot compromised one another. This study proposes a novel concept that (...) considers the ability of a tiling robot to configure both its morphology and size according to the environment. This concept is inspired by the pleomorphism that could be seen in bacteria. In this regard, P-hTetro, a pleomorphic tiling robot that can reconfigure its morphology and size, is considered. A novel coverage strategy for realizing the size reconfiguration is also proposed. According to this strategy, the robot covers obstacle-free areas with its maximum size, while an obstacle cluster is covered after shrinking to an optimum size. The optimum size for reconfiguration is determined by the genetic algorithm based on the arrangement of the environment. The performance and behavior of the proposed P-hTetro have been compared against that of an existing tiling robot which has a fixed size. According to the statistical outcomes, a tiling robot with the ability to reconfigure its size can significantly improve the performance in the aspects of area coverage and coverage time compared to a tiling robot with no ability to reconfigure its size. (shrink)

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

But if reason has no original influence, it is impossible it can withstand any principle which has such an efficacy, or ever keep the mind in suspense a moment. Thus, it appears, that the principle which opposes our passions cannot be the same with reason, and is only called so in an improper sense. We speak not strictly and philosophically, when we talk of the combat of passion and of reason.

For as long as there has been anything worthy of the name of science, there have been those who have criticized its claim to superior knowledge. With the birth and prodigious growth of modern science, the corresponding growthof critical opinion led, in the eighteenth century, to a divorce of the sciences from the humanities around which our educational institutions, and our universities in particular, have been built. It is this divorce which renders problematic the status of the social or human (...) sciences. For the extent to which Man can be an object of scientific knowledge will be questioned by those insisting on an opposition between human knowledge and values as embodied in the humanities, and the dehumanized objective knowledge proclaimed within the natural sciences. (shrink)

To translate the Aristotelian square of opposition into Chinese requires restructuring the Aristotelian system of genus-species into the Chinese way of classification and understanding of the focus-field relationship. The feature of the former is on a tree model, while that of the later is on the focusfield model. Difficulties arise when one tries to show contraries betweenA- type and E-type propositions in the Aristotelian square of opposition in Chinese, because there is no clear distinction between universal and particular in a (...) focus-field structure of thinking. If there could be a chance to discuss the analytic identity between the two logical systems, then it might be only constituted during a face to face conversation in the present, or, in other words, in the translation of particular propositions (singular subjective,I-type, andO-type propositions) in a particular case. The best hope for a translator is that in the actual temporally situated practice,now he or she might find a temporary way to map the concepts of one to the other with relatively little loss of structure. (shrink)

This paper has two purposes. (1) To justify the claim that there is an important distinction underlying the saying/showing distinction of the Tractatus; the distinction which Kant characterises as that between historical and rational knowledge. (2) To argue that it is because the Tractatus accepts Frege/Russell logic as a complete representation of all thought according to laws, that what is shown cannot be recognised as knowledge. This is done by interpolating Frege's logical innovations between the views of Kant and Wittgenstein (...) on logic and mathematics. (shrink)

Ibn al-ʻArabī, 1165-1240; views on freedom; Sufism; Islamic philosophy.

Technology is no longer confined to the laboratory but has become an established part of our daily lives. Its sophistication offers us power beyond our human capacity which can either dazzle or threaten; it depends who is in control. _Living in a Technological Culture_ challenges traditionally held assumptions about the relationship between `man-and-machine'. It argues that contemporary science does not shape technology but is shaped by it. Neither discipline exists in a moral vacuum, both are determined by politics rather than (...) scientific inquiry. By questioning our existing uses of technology, this book opens up wider debate on the shape of things to come and whether we should be trying to change them now. As an introduction to the philosophy of technology this will be valuable to students, but will be equally engaging for the general reader. (shrink)

This is a critical review of Robert Innis’ Pragmatism and the Forms of Sense: Language, Perception, Technic. In this book, one of Michael Polanyi’s key preoccupations is related to the ideas of a number of thinkers, including Charles Peirce, John Dewey and Ernst Cassirer.

This is the first critically evaluative study of Gaston Bachelard's philosophy of science to be written in English. Bachelard's professional reputation was based on his philosophy of science, though that aspect of his thought has tended to be neglected by his English-speaking readers. Dr Tiles concentrates here on Bachelard's critique of scientific knowledge. Bachelard emphasised discontinuities in the history of science; in particular he stressed the new ways of thinking about and investigating the world to be found in modern (...) science. This, as the author shows, is paralleled by recent debates among English-speaking philosophers about the rationality of science and the 'incommensurability' of different theories. To these problems Bachelard might be taken as offering an original solution: rather than see discontinuities as a threat to the objectivity of science, see them as products of the rational advancement of scientific knowledge. Dr Tiles sets out Bachelard's views and critically assesses them, reflecting also on the wider question of how one might assess potentially incommensurable positions in the philosophy of science as well as in science itself. (shrink)