The complexity of chromium chemistry makes it an ideal example of how the Principle of Expediency, first articulated by sanitary pioneer Earle Phelps, can be used in a standard setting. Expediency, defined by Phelps as “the attempt to reduce the numerical measure of probable harm, or the logical measure of existing hazard, to the lowest level that is practicable and feasible within the limitations of financial resources and engineering skill”, can take on negative connotations unless subject to ethical guidance. In (...) this paper we argue that without ethical principles as a rubric for negotiating environmental regulations, communities run the risk of slipping from the Principle of Expediency as defined by Phelps to the alternative usage of expediency meaning that which does not reflect ethical consideration or concern beyond self-serving interest. Three ethical ideals—justice, mercy and humility—are suggested as values to be considered while resolving regulatory issues related to environmental protection. The Principle of Expediency serves as a working principle, but not as a rigid algorithm, for setting regulatory limits for environmental concentrations of waste products like chromium. (shrink)

This practical and essential text, co-authored by an engineer and an ethicist, covers ethical dilemmas that any engineer might encounter on the job, emphasizing the responsibility of a practicing engineer to act in an ethical manner. To illustrate the complexities involved, the authors present characters who encounter situations that test the engineering code of ethics. The dialogue between the characters highlights different perspectives of each dilemma. As they proceed through the book, students see how the code of ethics can help (...) in decision making, as well as the implications of various decisions. The philosophical theory that supports the ethical situations encountered is presented as boxed material following each section. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version. (shrink)

Engineering is 'the people-serving profession'. The work of engineers involves interaction with clients, other engineers, and the public at large. More than any other profession, their work also directly involves and affects the environment. This book makes the case that engineers have special professional obligations to protect and enhance the environment, and the authors - one, an engineer and the other, a philosopher - seek to provide an ethical basis for these obligations. In exploring these ethical issues, the authors aim (...) to show that engineers make a difference. The text opens with a series of case studies in which engineers face complex and challenging decisions about the environment. Succeeding chapters examine different ideas about environmental ethics for engineers, including professional codes and both modern and historical discussions of environmental responsibility. The book concludes with a collection of readings that complement the text. Students, as well as practising engineers, will find much of interest in this well-argued and thought-provoking book. (shrink)

So why be a good engineer? There are basically three reasons: 1) possible detection and the harm that dishonorable acts might cause, 2) a common responsibility to the professional engineering community, and 3) a negative impact on one’s own integrity when one behaves badly. But what if, in the face of these arguments, one is still not convinced? I must admit that there appears to be no knock-down ethical argument available to change the mind of a person set on behaving (...) badly. There remains the option to act in whatever way one may wish. Engineers must realize however that bad manners and/or immorality and/or illegality, even if undetected, will most likely result in harm to themselves and thus rational behavior should result in honorable conduct of professional duties. While the Viking society of northern Europe was in many ways cruel and crude, they had a very simple code of honor. Their goal was to live life so that when they died, others would say He was a good man . The definition of what they meant by a good man might be quite different by contemporary standards but the principle is important. If engineers conduct their professional lives so as to uphold the exemplary values of engineering, the greatest professional honor would be to be remembered as a good engineer. (shrink)

Engineers and scientists, whose professional responsibilities often influence the natural environment, have sought to develop an environmental ethic that will be in tune with their attitudes toward the non-human environment, and that will assist them in decision making regarding questions of environmental quality. In this paper the classical traditions in normative ethics are explored in an attempt to formulate such an environmental ethic. I conclude, however, that because the discipline of ethics is directed at person-person interactions, ethics as a scholarly (...) discipline does not help us understand how we ought to treat non-human nature. We therefore cannot look to ethics as a source for understanding our attitudes and for providing guidance to our actions with regard to the environment. To do so is to ask too much of ethics. If we are to find an acceptable environmental morality, it must come from a new paradigm. One approach might be to understand our attitudes on the basis of spirituality, modeled after animistic religions. (shrink)

: Professional engineers are bound by their code of ethics to place paramount the health, safety, and welfare of the public. If the "public" includes future people, then the engineer is also morally responsible for not destroying the supporting environment that will make future generations possible. In this essay I suggest that the present engineering codes of ethics are inadequate in addressing the problem of maintaining environmental quality. Engineers can, while staying well within the bounds of the present codes of (...) ethics, destroy or modify the environments that support the global ecosystem and in such manner kill future humans on a grand scale. The moral responsibilities of engineers must therefore include the commitment to provide a high quality and sustainable environment for future generations and this requires that the engineering codes of ethics be modified to encourage engineers to make decisions that promote environmental stability and sustainability. (shrink)

Engineers and scientists, whose professional responsibilities often influence the natural environment, have sought to develop an environmental ethic that will be in tune with their attitudes toward the non-human environment, and that will assist them in decision making regarding questions of environmental quality. In this paper the classical traditions in normative ethics are explored in an attempt to formulate such an environmental ethic. I conclude, however, that because the discipline of ethics is directed at person-person interactions, ethics as a scholarly (...) discipline does not help us understand how we ought to treat non-human nature. We therefore cannot look to ethics as a source for understanding our attitudes and for providing guidance to our actions with regard to the environment. To do so is to ask too much of ethics.If we are to find an acceptable environmental morality, it must come from a new paradigm. One approach might be to understand our attitudes on the basis of spirituality, modeled after animistic religions. (shrink)

The eight pieces constituting this Meeting Report are summaries of presentations made during a panel session at the 2011 Association for Practical and Professional Ethics (APPE) annual meeting held between March 3rd and 6th in Cincinnati. Lisa Newton organized the session and served as chair. The panel of eight consisted both of pioneers in the field and more recent arrivals. It covered a range of topics from how the field has developed to where it should be going, from identification of (...) issues needing further study to problems of training the next generation of engineers and engineering-ethics scholars. (shrink)

En skumrand (poem) av A. Larsen.--Platons øyeblikks-filosofi eller Dialogen Parmenides' 3. hypotese, av E.A. Wyller.--Gresk og israelittisk historiesyn, av T. Boman.--Lukrets, dikter og filosof, av E. Skard.--Amor og Psyche, elskoven og sjelen, av H.P. L'Orange.--Augustins liv og lære, av P. Dietrichson.--Thomas Aquinas' syn på naturvitenskapene, av D. Føllesdal.--Mester Eckehart, av A. Brynildsen.--Renessanse-humanistene og "humanitas," av P. Svendsen.--Striden mellom de gamle og de nye, av A. Aarnes.--Harmonitanken i Schillers filosofiske avhandlinger, av O. Koppang.--Grunntrekk i Wilhelm von Humboldts sprogfilosofi, av I. Dal.--Noen (...) bemerkninger til Dostojevskijs Storinkvisitoren, av E. Krag.--Speculum og analogi i Peer Gynt, av B. Blekastad.--Om pakt-begrepet i "Kristin Lavrandsdatter," av D. Haakonsen.--Subjektivitet og sanning, av H. Skjervheim.--Refleksjoner om helhetssyn, sannhet og kunnskap, av A. Næss.--I tid og rum (poem) av A. Øverland. (shrink)

Vesilind, P.A. There Is No Such Thing As Environmental Ethics,Science and Engineering Ethics 2:307–318.Peter List is a professor of philosophy at Oregon State University where he teaches classical Western Philosophy, environmental ethics and contemporary social ethics and is a member of the program for Ethics, Science and the Environment.

Vesilind, P.A. There Is No Such Thing As Environmental Ethies,Science and Engineering Ethics 2:pp. 307–318.Susan Murcott is an environmental engineer working on innovative and low-cost water and wastewater treatment technologies and also is a Buddhist scholar and author, who trained in Zen Buddhistkoan study from 1976–1982.

Vesilind, P.A. There Is No Such Thing As Environmental Ethics.Science and Engineering Ethics 2:307–318.The author is a neuropsychologist with interests in history and polities of science, the social and ethical implications of psychosurgery, mental testing, sociobiology and other aspects of psychotechnology.

Vesilind, P.A. There Is No Such Thing As Environmental Ethics,Science and Engineering Ethics 2:307–318.Dr. Gruen is Co-editor ofReflecting on Nature: Readings in Environmental Philosophy and has published on the topics of animals, ethies, and the environment.

It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, (...) indexical logics, non-classical logics, philosophy of logic, etc.) as well as studies in which these systems are applied to specific issues in philosophy, in the formal semantics of natural languages, the foundations of linguistic theory, in computational linguistics, and in theoretical computer science. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches used in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a considerable extension of the concepts and techniques of logic. The book first gives an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. By virtue of the type-theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved. A categorial grammar is presented togenerate formally a fragment of English, together with an example of a computer implementation. (shrink)

Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf''s Constructive Type Theory by interpreting games as types of Myself''s winning strategies. The philosophical ideas behind Game-Theoretical Semantics in fact highly recommend restricting strategies to effective ones, which is the only controversial step in our interpretation. What is gained, then, is a direct connection between linguistic semantics and computer programming.

Name der Zeitschrift: Semiotica Jahrgang: 2015 Heft: 207 Seiten: 127-137.

The early Pleistocene hunt scene was instant: when an antelope jerked in the water edge, the first “drivers” of the hunt were already in motion; the moment of outburst after a long ambush lasted less than second. The sudden hunt movements were typical of every prey-abundant landscape since even earlier geological periods. The analysis of Laetoli footprints made by our evolutionary ancestors more than three millions years ago indicates that in a randomly chosen moment, the landscape was full of animals (...) of different species. The language used in the attack moment has to be agitative, only vowels in clausure between two consonants. During the process of further development, those consonants became more and more similar to delimitators, the borders where intrasemiotic realities translate extrasemiotic environment. Speech is an old Paleolithic tool for directing hunters to the useful positions. It was rather an instrument of a leader than grooming “clicks” of kin’s females. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2017 Heft: 215 Seiten: 269-280.

We propose a shift in perspective from the view of natural languages as formal languages to natural languages as a collection of resources for constructing local languages for use in particular situations. This is suggested by our experience constructing natural language grammars for particular applications using the Grammatical Framework. It points to a research programme investigating how such resources play a role in linguistic innovation by agents constructing situation-specific local languages and how they can be made dynamic, modified by the (...) linguistic agent’s exposure to innovative linguistic data. (shrink)

The paper takes a look at the history of the idea of universal grammar and compares it with multilingual grammars, as formalized in the Grammatical Framework, GF. The constructivist idea of formalizing math- ematics piece by piece, in a weak logical framework, rather than trying to reduce everything to one single strong theory, is the model that guides the development of grammars in GF.

The paper takes a look at the history of the idea of universal grammar and compares it with multilingual grammars, as formalized in the Grammatical Framework, GF. The constructivist idea of formalizing math­ematics piece by piece, in a weak logical framework, rather than trying to reduce everything to one single strong theory, is the model that guides the development of grammars in GF.

The incredible achievements of modern scientific theories lead most of us to embrace scientific realism: the view that our best theories offer us at least roughly accurate descriptions of otherwise inaccessible parts of the world like genes, atoms, and the big bang. In Exceeding Our Grasp, Stanford argues that careful attention to the history of scientific investigation invites a challenge to this view that is not well represented in contemporary debates about the nature of the scientific enterprise. The historical record (...) of scientific inquiry, Stanford suggests, is characterized by what he calls the problem of unconceived alternatives. Past scientists have routinely failed even to conceive of alternatives to their own theories and lines of theoretical investigation, alternatives that were both well-confirmed by the evidence available at the time and sufficiently serious as to be ultimately accepted by later scientific communities. Stanford supports this claim with a detailed investigation of the mid-to-late 19th century theories of inheritance and generation proposed in turn by Charles Darwin, Francis Galton, and August Weismann. He goes on to argue that this historical pattern strongly suggests that there are equally well-confirmed and scientifically serious alternatives to our own best theories that remain currently unconceived. Moreover, this challenge is more serious than those rooted in either the so-called pessimistic induction or the underdetermination of theories by evidence, in part because existing realist responses to these latter challenges offer no relief from the problem of unconceived alternatives itself. Stanford concludes by investigating what positive account of the spectacularly successful edifice of modern theoretical science remains open to us if we accept that our best scientific theories are powerful conceptual tools for accomplishing our practical goals, but abandon the view that the descriptions of the world around us that they offer are therefore even probably or approximately true. (shrink)

This paper shows how a dialogue system for information-seekingdialogues can be implemented in a type-theory-based syntax editor,originally developed for editing mathematical proofs.The implementation gives a simple logical metatheory tosuch dialogue systems and also suggests new functions forthem, e.g., a local undo operation. The method developed provides alogically based declarative way of implementing simple dialoguesystems that is easy to port to new domains.

The aim of this study is to look at the the syntactic calculus of Bar-Hillel and Lambek, including semantic interpretation, from the point of view of constructive type theory. The syntactic calculus is given a formalization that makes it possible to implement it in a type-theoretical proof editor. Such an implementation combines formal syntax and formal semantics, and makes the type-theoretical tools of automatic and interactive reasoning available in grammar.In the formalization, the use of the dependent types of constructive type (...) theory is essential. Dependent types are already needed in the semantics of ordinary Lambek calculus. But they also suggest some natural extensions of the calculus, which are applied to the treatment of morphosyntactic dependencies and to an analysis of selectional restrictions. Finally, directed dependent function types are introduced, corresponding to the types of constructive type theory. (shrink)

In this paper, we shall present a generalization of phrase structure grammar, in which all functional categories have type restrictions, that is, their argument types are specific domains. In ordinary phrase structure grammar, there is just one universal domain of individuals. The grammar does not make a distinction between verbs and adjectives in terms of domains of applicability. Consequently, it fails to distinguish between sentences like every line intersects every line, which is well typed, and every line intersects every point, (...) which is ill typed.Our generalization relates to ordinary phrase structure grammar in the same way as the higherlevel constructive type theory of Martin-Löf relates to the simple type theory of Church . Simple type theory has been used in linguistics and related with phrase structure grammar, especially in the tradition based on the work of Montague .Our definition of the grammar will be more formal than Montague's in the sense that we shall use a formal metalanguage, that of constructive type theory, for defining both the object language and its interpretation. The grammar, both syntax and semantics, is thus readily implementable in the type-theoretical proof system ALF . Inside type theory, a distinction can be made between the object language and the model, in other words, between syntactic and semantic types. It will turn out that the object language cannot be defined independently of the model, as in ordinary Tarski semantics. This is a direct consequence of introducing the typing restrictions.The grammar presented here can be seen as a formal linguistic elaboration of the work presented in Ranta 1991 and 1994. The organization of generative grammar as categorial grammar followed by sugaring should now look more familiar to the linguist, as the grammatical formalism on which sugaring operates is no longer full type theory but a set of phrase structure trees. (shrink)

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

By the time of his death in 2006, Sir Peter Strawson was regarded as one of the world's most distinguished philosophers. Unavailable for many years,_ Scepticism and Naturalism_ is a profound reflection on two classic philosophical problems by a philosopher at the pinnacle of his career. Based on his acclaimed Woodbridge lectures delivered at Columbia University in 1983, Strawson begins with a discussion of scepticism, which he defines as questioning the adequacy of our grounds for holding various beliefs. He then (...) draws deftly on Hume and Wittgenstein to argue that we must distinguish between 'hard', scientific naturalism; or 'soft', humanistic naturalism. In the remaining chapters the author takes up several issues in which sceptical doubts play an important role, in particular the nature of transcendental arguments and including the objectivity of moral philosophy, the mental and the physical, and the existence of abstract entities. _Scepticism and Naturalism_ is essential reading for those seeking an introduction to the work of one of the twentieth century’s most important and original philosophers. This reissue includes a substantial new foreword by Quassim Cassam and a fascinating intellectual autobiography by Strawson, which together form an excellent introduction to his life and work. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

By the time of his death in 2006, Sir Peter Strawson was regarded as one of the world's most distinguished philosophers. Unavailable for many years,_ Scepticism and Naturalism_ is a profound reflection on two classic philosophical problems by a philosopher at the pinnacle of his career. Based on his acclaimed Woodbridge lectures delivered at Columbia University in 1983, Strawson begins with a discussion of scepticism, which he defines as questioning the adequacy of our grounds for holding various beliefs. He then (...) draws deftly on Hume and Wittgenstein to argue that we must distinguish between 'hard', scientific naturalism; or 'soft', humanistic naturalism. In the remaining chapters the author takes up several issues in which sceptical doubts play an important role, in particular the nature of transcendental arguments and including the objectivity of moral philosophy, the mental and the physical, and the existence of abstract entities. _Scepticism and Naturalism_ is essential reading for those seeking an introduction to the work of one of the twentieth century’s most important and original philosophers. This reissue includes a substantial new foreword by Quassim Cassam and a fascinating intellectual autobiography by Strawson, which together form an excellent introduction to his life and work. (shrink)

First published in 1987. Routledge is an imprint of Taylor & Francis, an informa company.