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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|