04971nam 22007334a 450 991045614900332120210426213305.00-19-539198-51-280-47321-597866104732120-19-803076-21-4237-2751-7(CKB)111087313295134(EBL)3051908(OCoLC)191933494(SSID)ssj0001142241(PQKBManifestationID)12528784(PQKBTitleCode)TC0001142241(PQKBWorkID)11097940(PQKB)10529055(SSID)ssj0000085260(PQKBManifestationID)11126070(PQKBTitleCode)TC0000085260(PQKBWorkID)10007406(PQKB)10937847(StDuBDS)EDZ0000075641(MiAaPQ)EBC3051908(Au-PeEL)EBL3051908(CaPaEBR)ebr10086978(CaONFJC)MIL47321(EXLCZ)9911108731329513420000112d2001 uy 0engur|n|---|||||txtccrAgency and deontic logic[electronic resource] /John F. HortyOxford [England] ;New York Oxford University Press20011 online resource (205 p.)Description based upon print version of record.0-19-983326-5 0-19-513461-3 Includes bibliographical references (p. 181-187) and index.""Contents""; ""1 Overview""; ""2 Indeterminism and agency""; ""2.1 Branching time""; ""2.1.1 Frames and models""; ""2.1.2 Propositions""; ""2.2 Individual agency""; ""2.2.1 Agents and choices""; ""2.2.2 Stit operators""; ""2.2.3 Some logical considerations""; ""2.3 Individual ability""; ""2.3.1 Kenny's objections""; ""2.3.2 Brown's theory""; ""2.3.3 Refraining and ability""; ""2.4 Group agency and ability""; ""2.4.1 Group actions""; ""2.4.2 A group agency operator""; ""3 Ought to be""; ""3.1 The standard theory""; ""3.2 A utilitarian theory""; ""3.2.1 General models""""3.2.2 Utilitarian models""""3.2.3 Logic of the utilitarian ought""; ""3.3 The Meinong/Chisholm analysis""; ""3.3.1 The analysis""; ""3.3.2 Some logical features""; ""3.4 Evaluating the analysis""; ""3.4.1 Agency in the complement""; ""3.4.2 The gambling problem""; ""4 Ought to do""; ""4.1 Dominance""; ""4.1.1 Ordering the propositions""; ""4.1.2 A sure-thing argument""; ""4.1.3 Ordering the actions""; ""4.2 Dominance act utilitarianism""; ""4.2.1 Optimal actions""; ""4.2.2 The finite choice condition""; ""4.3 A new deontic operator""; ""4.3.1 The definition""""4.3.2 Deontic logic and act utilitarianism""""4.3.3 Logic of the dominance ought""; ""4.4 Independence""; ""4.4.1 Independence and conditionals""; ""4.4.2 Conditionals and sure-thing reasoning""; ""4.4.3 Refining the analysis""; ""5 Conditional oughts""; ""5.1 Conditionally optimal actions""; ""5.2 A conditional ought operator""; ""5.2.1 The definition""; ""5.2.2 Some logical considerations""; ""5.3 Two patterns of argument""; ""5.3.1 The action argument""; ""5.3.2 The ought argument""; ""5.4 Orthodox act utilitarianism""; ""5.4.1 An example""; ""5.4.2 The definition""""5.4.3 An orthodox deontic operator""""6 Group oughts""; ""6.1 Optimal group actions""; ""6.2 Individual and group act utilitarianism""; ""6.3 Deontic operators for group oughts""; ""6.3.1 Definitions""; ""6.3.2 Some logical points""; ""6.4 Rule utilitarianism""; ""6.4.1 Formulating the theory""; ""6.4.2 Act and rule utilitarianism""; ""7 Strategic oughts""; ""7.1 Strategies""; ""7.1.1 Basic ideas""; ""7.1.2 Limiting the range""; ""7.2 Strategies and choices""; ""7.2.1 Agency""; ""7.2.2 Ability""; ""7.3 Strategic dominance and optimality""; ""7.3.1 Dominance""; ""7.3.2 Optimality""""7.4 A strategic ought operator""""7.4.1 The definition""; ""7.4.2 Logical points""; ""7.4.3 Actualism and possibilism""; ""A: Proofs of validities and propositions""; ""A.1 Validities""; ""A.2 Propositions""; ""Bibliography""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""N""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""X""; ""Z""John Horty places deontic logic (the logic of ethical concepts like obligation and permission) in a new setting - cast against the background of a recently developed logic of agency, as well as problems in moral philosophy of action.Deontic logicAgent (Philosophy)Electronic books.Deontic logic.Agent (Philosophy)160Horty John980307MiAaPQMiAaPQMiAaPQBOOK9910456149003321Agency and deontic logic2236382UNINA05737nam 22007095 450 991043759430332120250725144755.03-642-41641-110.1007/978-3-642-41641-5(CKB)3710000000031295(Springer)9783642416415(MH)013859880-0(SSID)ssj0001066845(PQKBManifestationID)11602542(PQKBTitleCode)TC0001066845(PQKBWorkID)11072637(PQKB)11711992(DE-He213)978-3-642-41641-5(MiAaPQ)EBC3101219(PPN)176116729(EXLCZ)99371000000003129520131101d2013 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierThe Practice of Enterprise Modeling 6th IFIP WG 8.1 Working Conference, PoEM 2013, Riga, Latvia, November 6-7, 2013, Proceedings /edited by Janis Grabis, Marite Kirikova, Jelena Zdravkovic, Janis Stirna1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XIV, 293 p. 103 illus.)online resourceLecture Notes in Business Information Processing,1865-1356 ;165Bibliographic Level Mode of Issuance: Monograph3-642-41640-3 Keynote -- A New Contract between Business and Business Analysts -- Part: Quality of Enterprise Models -- Visualizing and Measuring Enterprise Architecture: An Exploratory BioPharma Case -- An Empirical Evaluation of Design Decision Concepts in Enterprise Architecture -- Evaluating Data Quality for Integration of Data Sources -- Part: Change Management and Transformation -- Planning Support for Enterprise Changes -- From Information Systems to Information Services Systems: Designing the Transformation -- Making Process Model Versions Comparable by Quantifying Changes -- Modeling the Transformation of Application Landscapes -- Part: Enterprise Modelling Approaches and Tools for Agility and Flexibility -- From Business Intelligence Insights to Actions: A Methodology for Closing the Sense-and-Respond Loop in the Adaptive Enterprise -- Improving Documentation by Repairing Event Logs -- An Android Tablet Tool for Enterprise Architecture Modeling in Small and Medium-Sized Enterprises -- Part: Enterprise Modelling and Business Processes -- A Qualitative Research Approach to Obtain Insight in Business Process Modelling Methods in Practice -- A Dynamic Approach to Process Design: A Pattern for Extending the Flexibility of Process Models -- Creating and Updating Personalized and Verbalized Business Process Descriptions -- Part: Enterprise Modelling and Information Systems -- Modeling the Organizational Regulatory Space: A Joint Design Approach -- Integrating Process Modeling Methodology, Language and Tool – A Design Science Approach -- An Experimental Study on the Design and Modeling of Security Concepts in Business Processes -- Part: Enterprise Modelling Cases -- “Product-Process-Machine” System Modeling: Approach and Industrial Case Studies -- A Business and Solution Building Block Approach to EA Project Planning -- A Demonstration Case on Steps and Rules for the Transition from Process-Level to Software Logical Architectures in Enterprise Models.This volume constitutes the proceedings of the 6th IFIP WG 8.1 Conference on the Practice of Enterprise Modeling held in November 2013 in Riga, Latvia. The focus of the PoEM conference series is on advances in the practice of enterprise modeling through a forum for sharing knowledge and experiences between the academic community and practitioners from industry and the public sector. The 19 papers accepted were carefully reviewed and selected from 80 submissions. They reflect different topics of enterprise modeling including quality of models, change management and transformation, approaches and tools for agility and flexibility, enterprise modeling and business processes, enterprise modeling and information systems, and enterprise modeling cases. Additionally, one of the two keynotes is also included in this volume.Lecture Notes in Business Information Processing,1865-1356 ;165Business information servicesInformation technologyManagementApplication softwareIT in BusinessComputer Application in Administrative Data ProcessingComputer and Information Systems ApplicationsBusiness information services.Information technologyManagement.Application software.IT in Business.Computer Application in Administrative Data Processing.Computer and Information Systems Applications.658.054Grabis Janisedthttp://id.loc.gov/vocabulary/relators/edtKirikova Mariteedthttp://id.loc.gov/vocabulary/relators/edtZdravkovic Jelenaedthttp://id.loc.gov/vocabulary/relators/edtStirna Janisedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910437594303321The practice of enterprise modeling1933905UNINAThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress