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.
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 | ||
| ||
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 | ||
| ||
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 (xi, 192 pages) : illustrations |
| 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 | Overview -- Indeterminism and agency. Branching time ; Individual agency ; Individual ability ; Group agency and ability -- Ought to be. The standard theory ; A utilitarian theory ; The Meinong/Chisholm analysis ; Evaluating the analysis -- Ought to do. Dominance ; Dominance act utilitarianism ; A new deontic operator ; Independence -- Conditional oughts. Conditionally optimal actions ; A conditional ought operator ; Two patterns of argument ; Orthodox act utilitarianism -- Group oughts. Optimal group actions ; Individual and group act utilitarianism ; Deontic operators for group oughts ; Rule utilitarianism -- Strategic oughts. Strategies ; Strategies and choices ; Strategic dominance and optimality ; A strategic ought operator -- A Proofs of validities and propositions. Validities ; Propositions. |
| Record Nr. | UNINA-9910965045003321 |
|
Horty John F.
|
||
| Oxford [England] ; ; New York, : Oxford University Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
Practical Philosophy [[electronic resource] ] : Ethics, Society and Culture
| Practical Philosophy [[electronic resource] ] : Ethics, Society and Culture |
| Autore | Haldane John |
| Pubbl/distr/stampa | Luton, : Andrews UK, 2011 |
| Descrizione fisica | 1 online resource (409 p.) |
| Disciplina | 160 |
| Collana | St Andrews Studies in Philosophy and Public Affairs, 15 |
| Soggetto topico |
Deontic logic
Inference Meaning (Philosophy) Philosophy & Religion Ethics Philosophy |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-44536-0
9786613445360 1-84540-290-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Contents; Front Matter; Title Page; Publisher Information; Dedication; Quotes; Foreword; Preface; Introduction; Ethics; Practical Ethics; Persons and Values; Recognising Humanity; Ethics and the Human Body; Science, Knowledge and Virtue; Defence, Deterrence and the Taking of Life; Society; Families and Why they Matter; Political Theory and the Nature of Persons; The Individual, the State and the Common Good; Public Reason, Truth and Human Fellowship; Crime, Compensation and Social Solidarity; Culture; Private Life and Public Culture; Understanding Education
Cultural Theory and the Study of Human AffairsPhilosophy and the Restoration of Art; Back Matter; Acknowledgements; List of References; Also Available |
| Record Nr. | UNINA-9910461370503321 |
|
Haldane John
|
||
| Luton, : Andrews UK, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
