03366nam 2200637 a 450 991045505480332120200520144314.01-282-35603-897866123560320-520-91120-210.1525/9780520911208(CKB)1000000000799016(EBL)470966(OCoLC)609850114(SSID)ssj0000351526(PQKBManifestationID)12108345(PQKBTitleCode)TC0000351526(PQKBWorkID)10276450(PQKB)11456804(MiAaPQ)EBC470966(DE-B1597)520039(DE-B1597)9780520911208(Au-PeEL)EBL470966(CaPaEBR)ebr10676228(CaONFJC)MIL235603(EXLCZ)99100000000079901619881021d1989 uy 0engur|n|---|||||txtccrWomen and evil[electronic resource] /Nel NoddingsBerkeley University of California Pressc19891 online resource (295 p.)Description based upon print version of record.0-520-07413-0 Includes bibliographical references (p. 265-272) and index.Frontmatter -- Contents -- Acknowledgments -- Introduction -- 1. Evil and Ethical Terror -- 2. The Devil's Gateway -- 3. The Angel in the House -- 4. Toward a Phenomenology of Evil -- 5. Pain as Natural Evil -- 6. Helplessness: The Pain of Poverty -- 7. War -- 8. Terrorism, Torture, and Psychological Abuse -- 9. Educating for a Morality of Evil -- Notes -- Selected Bibliography -- IndexHuman beings love to fictionalize evil--to terrorize each other with stories of defilement, horror, excruciating pain, and divine retribution. Beneath the surface of bewitchment and half-sick amusement, however, lies the realization that evil is real and that people must find a way to face and overcome it. What we require, Carl Jung suggested, is a morality of evil--a carefully thought out plan by which to manage the evil in ourselves, in others, and in whatever deities we posit. This book is not written from a Jungian perspective, but it is nonetheless an attempt to describe a morality of evil. One suspects that descriptions of evil and the so-called problem of evil have been thoroughly suffused with male interests and conditioned by masculine experience. This result could hardly have been avoided in a sexist culture, and recognizing the truth of such a claim does not commit us to condemn every male philosopher and theologian who has written on the problem. It suggests, rather, that we may get a clearer view of evil if we take a different standpoint. The standpoint I take here will be that of women; that is, I will attempt to describe evil from the perspective of women's experience.Good and evilWomenFeminismElectronic books.Good and evil.Women.Feminism.170/.88042Noddings Nel915780MiAaPQMiAaPQMiAaPQBOOK9910455054803321Women and evil2492905UNINA04617nam 22007095 450 99646594560331620200701031358.03-540-49562-210.1007/BFb0097782(CKB)1000000000548905(SSID)ssj0000327465(PQKBManifestationID)11266285(PQKBTitleCode)TC0000327465(PQKBWorkID)10301735(PQKB)10757693(DE-He213)978-3-540-49562-8(PPN)155209833(EXLCZ)99100000000054890520121227d1998 u| 0engurnn|008mamaatxtccrTypes for Proofs and Programs[electronic resource] International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers /edited by Eduardo Gimenez, Christine Paulin-Mohring1st ed. 1998.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1998.1 online resource (VIII, 380 p.) Lecture Notes in Computer Science,0302-9743 ;1512Bibliographic Level Mode of Issuance: Monograph3-540-65137-3 Coercion synthesis in computer implementations of type-theoretic frameworks -- Verification of the interface of a small proof system in coq -- An implementation of the Heine-Borel covering theorem in type theory -- Detecting and removing dead-code using rank 2 intersection -- A type-free formalization of mathematics where proofs are objects -- Higman's lemma in type theory -- A proof of weak termination of typed ??-calculi -- Proof style -- Some algorithmic and proof-theoretical aspects of coercive subtyping -- Semantical BNF -- The internal type theory of a Heyting pretopos -- Inverting inductively defined relations in LEGO -- A generic normalisation proof for pure type systems -- Proving a real time algorithm for ATM in Coq -- Dependent types with explicit substitutions: A meta-theoretical development -- Type inference verified: Algorithm W in Isabelle/HOL -- Continuous lattices in formal topology -- Abstract insertion sort in an extension of type theory with record types and subtyping.This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996. The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.Lecture Notes in Computer Science,0302-9743 ;1512Software engineeringComputer logicMathematical logicProgramming languages (Electronic computers)Artificial intelligenceSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software engineering.Computer logic.Mathematical logic.Programming languages (Electronic computers).Artificial intelligence.Software Engineering/Programming and Operating Systems.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.Artificial Intelligence.004/.01/5113Gimenez Eduardoedthttp://id.loc.gov/vocabulary/relators/edtPaulin-Mohring Christineedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop TYPES '96BOOK996465945603316Types for Proofs and Programs771867UNISA