top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Agency and deontic logic [[electronic resource] /] / John F. Horty
Agency and deontic logic [[electronic resource] /] / John F. Horty
Autore Horty John
Pubbl/distr/stampa Oxford [England] ; ; New York, : Oxford University Press, 2001
Descrizione fisica 1 online resource (205 p.)
Disciplina 160
Soggetto topico Deontic logic
Agent (Philosophy)
Soggetto genere / forma Electronic books.
ISBN 0-19-539198-5
1-280-47321-5
9786610473212
0-19-803076-2
1-4237-2751-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""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""
Record Nr. UNINA-9910456149003321
Horty John  
Oxford [England] ; ; New York, : Oxford University Press, 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Agency and deontic logic [[electronic resource] /] / John F. Horty
Agency and deontic logic [[electronic resource] /] / John F. Horty
Autore Horty John
Pubbl/distr/stampa Oxford [England] ; ; New York, : Oxford University Press, 2001
Descrizione fisica 1 online resource (205 p.)
Disciplina 160
Soggetto topico Deontic logic
Agent (Philosophy)
ISBN 0-19-539198-5
1-280-47321-5
9786610473212
0-19-803076-2
1-4237-2751-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""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""
Record Nr. UNINA-9910780599103321
Horty John  
Oxford [England] ; ; New York, : Oxford University Press, 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Agency and deontic logic / / John F. Horty
Agency and deontic logic / / John F. Horty
Autore Horty John F
Edizione [1st ed.]
Pubbl/distr/stampa Oxford [England] ; ; New York, : Oxford University Press, 2001
Descrizione fisica 1 online resource (205 p.)
Disciplina 160
Soggetto topico Deontic logic
Agent (Philosophy)
ISBN 0-19-539198-5
1-280-47321-5
9786610473212
0-19-803076-2
1-4237-2751-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto ""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""
Record Nr. UNINA-9910815736603321
Horty John F  
Oxford [England] ; ; New York, : Oxford University Press, 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Being good & being logical : philosophical groundwork for a new deontic logic / / James Wm. Forrester
Being good & being logical : philosophical groundwork for a new deontic logic / / James Wm. Forrester
Autore Forrester James W.
Pubbl/distr/stampa Abingdon, Oxon : , : Routledge, , 2015
Descrizione fisica 1 online resource (343 p.)
Disciplina 160
Soggetto topico Deontic logic
Ethics
Soggetto genere / forma Electronic books.
ISBN 1-315-70618-0
1-317-47608-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Problems of standard deontic logic -- pt. 2. A new deontic logic -- pt. 3. Deontic logic and practical reasoning.
Record Nr. UNINA-9910460638203321
Forrester James W.  
Abingdon, Oxon : , : Routledge, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Being good & being logical : philosophical groundwork for a new deontic logic / / James Wm. Forrester
Being good & being logical : philosophical groundwork for a new deontic logic / / James Wm. Forrester
Autore Forrester James W.
Pubbl/distr/stampa Abingdon, Oxon : , : Routledge, , 2015
Descrizione fisica 1 online resource (343 p.)
Disciplina 160
Soggetto topico Deontic logic
Ethics
ISBN 1-315-70618-0
1-317-47608-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Problems of standard deontic logic -- pt. 2. A new deontic logic -- pt. 3. Deontic logic and practical reasoning.
Altri titoli varianti Being good and being logical
Record Nr. UNINA-9910797167203321
Forrester James W.  
Abingdon, Oxon : , : Routledge, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Being good & being logical : philosophical groundwork for a new deontic logic / / James Wm. Forrester
Being good & being logical : philosophical groundwork for a new deontic logic / / James Wm. Forrester
Autore Forrester James W.
Pubbl/distr/stampa Abingdon, Oxon : , : Routledge, , 2015
Descrizione fisica 1 online resource (343 p.)
Disciplina 160
Soggetto topico Deontic logic
Ethics
ISBN 1-315-70618-0
1-317-47608-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. Problems of standard deontic logic -- pt. 2. A new deontic logic -- pt. 3. Deontic logic and practical reasoning.
Altri titoli varianti Being good and being logical
Record Nr. UNINA-9910828988903321
Forrester James W.  
Abingdon, Oxon : , : Routledge, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
De la logique des obligations, des permissions et des interdictions : de von Wright à aujourd'hui / / Clayton Peterson
De la logique des obligations, des permissions et des interdictions : de von Wright à aujourd'hui / / Clayton Peterson
Autore Peterson Clayton <1985->
Pubbl/distr/stampa Montréal (Québec), Canada : , : Presses de l'Université de Montréal, , 2016
Descrizione fisica 1 online resource : illustrations
Disciplina 160
Collana Paramètres
Soggetto topico Deontic logic
ISBN 2-7606-3521-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNINA-9910765837303321
Peterson Clayton <1985->  
Montréal (Québec), Canada : , : Presses de l'Université de Montréal, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / / Lou Goble, John-Jules Ch. Meyer (eds.)
Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / / Lou Goble, John-Jules Ch. Meyer (eds.)
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin ; ; New York, : Springer, c2006
Descrizione fisica 1 online resource (X, 278 p.)
Disciplina 004.015113
Altri autori (Persone) GobleLou
MeyerJohn-Jules Ch
Collana LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science. |p Lecture notes in artificial intelligence
Soggetto topico Computer science
Deontic logic
ISBN 3-540-35843-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Abstracts of Invited Papers -- Roles, Counts-as and Deontic and Action Logics -- Norms and Electronic Institutions -- Emotion Models for Situated Normative Systems? -- Contributed Papers -- Addressing Moral Problems Through Practical Reasoning -- A Logical Architecture of a Normative System -- Delegation of Power in Normative Multiagent Systems -- Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario -- Acting with an End in Sight -- A State/Event Temporal Deontic Logic -- Speech Acts with Institutional Effects in Agent Societies -- Counts-as: Classification or Constitution? An Answer Using Modal Logic -- Don’t Ever Do That! Long-Term Duties in PD e L -- On the Normative Aspect of Signalling Conventions -- Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms -- Conflicting Obligations in Multi-agent Deontic Logic -- Intermediate Concepts in Normative Systems -- Propositional Quantifiers in Deontic Logic -- A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies -- The Deontic Component of Action Language -- A Complete and Decidable Axiomatisation for Deontic Interpreted Systems -- Sequences, Obligations, and the Contrary-to-Duty Paradox.
Altri titoli varianti DEON 2006
Record Nr. UNINA-9910483666303321
Berlin ; ; New York, : Springer, c2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Deontic logic in computer science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / / Guido Governatori, Giovanni Sartor, (eds.)
Deontic logic in computer science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / / Guido Governatori, Giovanni Sartor, (eds.)
Edizione [1st ed.]
Pubbl/distr/stampa Berlin, : Springer, 2010
Descrizione fisica 1 online resource (VIII, 323 p. 33 illus.)
Disciplina 006.3
Altri autori (Persone) GovernatoriGuido
SartorGiovanni
Collana Lecture notes in artificial intelligence
Soggetto topico Deontic logic
ISBN 1-280-38774-2
9786613565662
3-642-14183-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto From Norm Adoption to Norm Internalization -- Norms, Action and Agency in Multi-agent Systems -- Towards a Logical Analysis of the Judgment on Facts -- Deontic Redundancy: A Fundamental Challenge for Deontic Logic -- A Dyadic Operator for the Gradation of Desirability -- Deontics = Betterness + Priority -- Axioms for Obligation and Robustness with Temporal Logic -- Moral Particularism and Deontic Logic -- Relevance, Derogation and Permission -- Retroactive Legal Changes and Revision Theory in Defeasible Logic -- Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra -- Avoiding Deontic Explosion by Contextually Restricting Aggregation -- Obligations and Prohibitions in Talmudic Deontic Logic -- Introducing Exclusion Logic as a Deontic Logic -- Privacy Policies with Modal Logic: The Dynamic Turn -- Value-Based Argumentation for Justifying Compliance -- A Logical Model of Private International Law -- Where Did Mally Go Wrong? -- Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents -- Characterising Responsibility in Organisational Structures: The Problem of Many Hands -- A Logical Analysis of Commitment Dynamics -- Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.
Record Nr. UNINA-9910484633103321
Berlin, : Springer, 2010
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings / / Ron van der Meyden, Leendert van der Torre (eds.)
Deontic logic in computer science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings / / Ron van der Meyden, Leendert van der Torre (eds.)
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, : Springer, 2008
Descrizione fisica 1 online resource (X, 279 p.)
Disciplina 004
Altri autori (Persone) Van der MeydenRon
TorreLeendert van der
Collana LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in artificial intelligence
Soggetto topico Computer science
Deontic logic
ISBN 3-540-70525-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Norms in Branching Space-Times -- Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories -- Acting, Events and Actions -- A Tableaux System for Deontic Action Logic -- Information Security Economics - and Beyond -- Trust and Norms in the Context of Computer Security: A Logical Formalization -- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic -- Delegation of Control in Administrative Procedures -- Variations in Access Control Logic -- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking -- Need to Know: Questions and the Paradox of Epistemic Obligation -- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ -- Reactive Kripke Models and Contrary to Duty Obligations -- Normative Consequence: The Problem of Keeping It Whilst Giving It up -- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G -- Strata of Intervenient Concepts in Normative Systems -- A Deontic Logic for Socially Optimal Norms -- Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin -- Introducing Grades in Deontic Logics -- Pushing Anderson’s Envelope: The Modal Logic of Ascription.
Altri titoli varianti DEON 2008
Record Nr. UNINA-9910485038903321
Berlin, : Springer, 2008
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui