Agency and deontic logic:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford [u.a.]
Oxford Univ. Press
2001
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 192 S. graph. Darst. |
| ISBN: | 0195134613 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013576515 | ||
| 003 | DE-604 | ||
| 005 | 20030425 | ||
| 007 | t | ||
| 008 | 010207s2001 d||| |||| 00||| eng d | ||
| 020 | |a 0195134613 |9 0-19-513461-3 | ||
| 035 | |a (OCoLC)231867373 | ||
| 035 | |a (DE-599)BVBBV013576515 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-12 |a DE-29 |a DE-355 |a DE-634 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a BC145 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Horty, John |e Verfasser |0 (DE-588)136802680 |4 aut | |
| 245 | 1 | 0 | |a Agency and deontic logic |c John F. Horty |
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2001 | |
| 300 | |a XI, 192 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Autonomie (algemeen) |2 gtt | |
| 650 | 7 | |a Deontische logica |2 gtt | |
| 650 | 4 | |a Agent (Philosophy) | |
| 650 | 4 | |a Deontic logic | |
| 650 | 0 | 7 | |a Handlungstheorie |0 (DE-588)4113844-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deontische Logik |0 (DE-588)4133538-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Deontische Logik |0 (DE-588)4133538-7 |D s |
| 689 | 0 | 1 | |a Handlungstheorie |0 (DE-588)4113844-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009271551&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009271551 | ||
Record in the Search Index
| _version_ | 1804128376892424192 |
|---|---|
| adam_text | Titel: Agency and deontic logic
Autor: Horty, John F.
Jahr: 2001
Contents
Overview 3
Indeterminism and agency 6
2.1 Branching time.......................... 6
2.1.1 Frames and models.................... 6
2.1.2 Propositions ....................... 10
2.2 Individual agency......................... 11
2.2.1 Agents and choices.................... 12
2.2.2 Stit operators....................... 14
2.2.3 Some logical considerations............... 16
2.3 Individual ability......................... 19
2.3.1 Kenny s objections.................... 20
2.3.2 Brown s theory...................... 22
2.3.3 Refraining and ability.................. 25
2.4 Group agency and ability.................... 29
2.4.1 Group actions....................... 30
2.4.2 A group agency operator ................ 32
Ought to be 34
3.1 The standard theory....................... 34
3.2 A utilitarian theory........................ 36
3.2.1 General models...................... 36
3.2.2 Utilitarian models.................... 38
3.2.3 Logic of the utilitarian ought.............. 43
3.3 The Meinong/Chisholm analysis ................ 44
3.3.1 The analysis ....................... 44
3.3.2 Some logical features................... 47
3.4 Evaluating the analysis...................... 50
3.4.1 Agency in the complement ............... 50
3.4.2 The gambling problem.................. 53
IX
CONTENTS
Ought to do 59
4.1 Dominance............................ 59
4.1.1 Ordering the propositions................ 60
4.1.2 A sure-thing argument.................. 61
4.1.3 Ordering the actions................... 66
4.2 Dominance act utilitarianism.................. 69
4.2.1 Optimal actions ..................... 69
4.2.2 The finite choice condition................ 73
4.3 A new deontic operator ...................... 74
4.3.1 The definition....................... 74
4.3.2 Deontic logic and act utilitarianism........... 77
4.3.3 Logic of the dominance ought.............. 78
4.4 Independence........................... 81
4.4.1 Independence and conditionals............. 81
4.4.2 Conditionals and sure-thing reasoning......... 86
4.4.3 Refining the analysis................... 89
Conditional oughts 96
5.1 Conditionally optimal actions.................. 96
5.2 A conditional ought operator.................. 100
5.2.1 The definition....................... 100
5.2.2 Some logical considerations............... 101
5.3 Two patterns of argument.................... 104
5.3.1 The action argument................... 106
5.3.2 The ought argument................... 107
5.4 Orthodox act utilitarianism................... 110
5.4.1 An example........................ 110
5.4.2 The definition....................... 114
5.4.3 An orthodox deontic operator.............. 117
Group oughts 122
6.1 Optimal group actions...................... 122
6.2 Individual and group act utilitarianism............. 125
6.3 Deontic operators for group oughts............... 130
6.3.1 Definitions ........................ 130
6.3.2 Some logical points.................... 131
6.4 Rule utilitarianism...............-......... 135
6.4.1 Formulating the theory ................. 136
6.4.2 Act and rule utilitarianism............... 139
CONTENTS xi
7 Strategic oughts 142
7.1 Strategies............................. 142
7.1.1 Basic ideas ........................ 143
7.1.2 ¦ Limiting the range.................... 145
7.2 Strategies and choices...................... 148
7.2.1 Agency .......................... 148
7.2.2 Ability........................... 152
7.3 Strategic dominance and optimality .............. 153
7.3.1 Dominance........................ 153
7.3.2 Optimality ........................ 155
7.4 A strategic ought operator.................... 157
7.4.1 The definition....................... 157
7.4.2 Logical points....................... 158
7.4.3 Actualism and possibilism................ 160
A Proofs of validities and propositions 165
A.I Validities .............................165
A.2 Propositions............................169
Bibliography .................................181
Index......................................188
|
| any_adam_object | 1 |
| author | Horty, John |
| author_GND | (DE-588)136802680 |
| author_facet | Horty, John |
| author_role | aut |
| author_sort | Horty, John |
| author_variant | j h jh |
| building | Verbundindex |
| bvnumber | BV013576515 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC145 |
| callnumber-raw | BC145 |
| callnumber-search | BC145 |
| callnumber-sort | BC 3145 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2500 CC 2600 |
| ctrlnum | (OCoLC)231867373 (DE-599)BVBBV013576515 |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01559nam a2200421 c 4500</leader><controlfield tag="001">BV013576515</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030425 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010207s2001 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0195134613</subfield><subfield code="9">0-19-513461-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)231867373</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013576515</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC145</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Horty, John</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136802680</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Agency and deontic logic</subfield><subfield code="c">John F. Horty</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 192 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Autonomie (algemeen)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Deontische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Agent (Philosophy)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deontic logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Handlungstheorie</subfield><subfield code="0">(DE-588)4113844-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deontische Logik</subfield><subfield code="0">(DE-588)4133538-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deontische Logik</subfield><subfield code="0">(DE-588)4133538-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Handlungstheorie</subfield><subfield code="0">(DE-588)4113844-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009271551&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009271551</subfield></datafield></record></collection> |
| id | DE-604.BV013576515 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:48:16Z |
| institution | BVB |
| isbn | 0195134613 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009271551 |
| oclc_num | 231867373 |
| open_access_boolean | |
| owner | DE-739 DE-12 DE-29 DE-355 DE-BY-UBR DE-634 DE-11 DE-188 |
| owner_facet | DE-739 DE-12 DE-29 DE-355 DE-BY-UBR DE-634 DE-11 DE-188 |
| physical | XI, 192 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Horty, John Verfasser (DE-588)136802680 aut Agency and deontic logic John F. Horty Oxford [u.a.] Oxford Univ. Press 2001 XI, 192 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Autonomie (algemeen) gtt Deontische logica gtt Agent (Philosophy) Deontic logic Handlungstheorie (DE-588)4113844-2 gnd rswk-swf Deontische Logik (DE-588)4133538-7 gnd rswk-swf Deontische Logik (DE-588)4133538-7 s Handlungstheorie (DE-588)4113844-2 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009271551&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Horty, John Agency and deontic logic Autonomie (algemeen) gtt Deontische logica gtt Agent (Philosophy) Deontic logic Handlungstheorie (DE-588)4113844-2 gnd Deontische Logik (DE-588)4133538-7 gnd |
| subject_GND | (DE-588)4113844-2 (DE-588)4133538-7 |
| title | Agency and deontic logic |
| title_auth | Agency and deontic logic |
| title_exact_search | Agency and deontic logic |
| title_full | Agency and deontic logic John F. Horty |
| title_fullStr | Agency and deontic logic John F. Horty |
| title_full_unstemmed | Agency and deontic logic John F. Horty |
| title_short | Agency and deontic logic |
| title_sort | agency and deontic logic |
| topic | Autonomie (algemeen) gtt Deontische logica gtt Agent (Philosophy) Deontic logic Handlungstheorie (DE-588)4113844-2 gnd Deontische Logik (DE-588)4133538-7 gnd |
| topic_facet | Autonomie (algemeen) Deontische logica Agent (Philosophy) Deontic logic Handlungstheorie Deontische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009271551&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hortyjohn agencyanddeonticlogic |