Facing the future: agents and choices in our indeterminist world
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
New York [u.a.]
Oxford Univ. Press
2001
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009472912&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XVI, 501 S. graph. Darst. |
| ISBN: | 0195138783 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013848875 | ||
| 003 | DE-604 | ||
| 005 | 20111114 | ||
| 007 | t| | ||
| 008 | 010803s2001 xx d||| |||| 00||| eng d | ||
| 020 | |a 0195138783 |c hbk. |9 0-19-513878-3 | ||
| 035 | |a (OCoLC)237437855 | ||
| 035 | |a (DE-599)BVBBV013848875 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-12 |a DE-355 |a DE-11 |a DE-703 | ||
| 050 | 0 | |a B105.A35 | |
| 084 | |a CC 6000 |0 (DE-625)17650: |2 rvk | ||
| 084 | |a CC 6960 |0 (DE-625)17668: |2 rvk | ||
| 084 | |a CC 7200 |0 (DE-625)17672: |2 rvk | ||
| 084 | |a CC 7220 |0 (DE-625)17673: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Belnap, Nuel D. |d 1930-2024 |e Verfasser |0 (DE-588)118974114 |4 aut | |
| 245 | 1 | 0 | |a Facing the future |b agents and choices in our indeterminist world |c Nuel Belnap ; Michael Perloff ; Ming Xu |
| 264 | 1 | |a New York [u.a.] |b Oxford Univ. Press |c 2001 | |
| 300 | |a XVI, 501 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Handlungstheorie |0 (DE-588)4113844-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Handlung |0 (DE-588)4023277-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kausalität |0 (DE-588)4030102-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Willensfreiheit |0 (DE-588)4079320-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Determinismus |0 (DE-588)4149218-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Handlungstheorie |0 (DE-588)4113844-2 |D s |
| 689 | 0 | 1 | |a Willensfreiheit |0 (DE-588)4079320-5 |D s |
| 689 | 0 | 2 | |a Determinismus |0 (DE-588)4149218-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Handlung |0 (DE-588)4023277-3 |D s |
| 689 | 1 | 1 | |a Kausalität |0 (DE-588)4030102-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Perloff, Michael |e Verfasser |4 aut | |
| 700 | 1 | |a Xu, Ming |e Verfasser |0 (DE-588)160729858 |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009472912&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009472912 | |
Datensatz im Suchindex
| _version_ | 1820975902640570368 |
|---|---|
| adam_text |
Contents
I Introduction to stit
1
Stit: A canonical form for
agentives
3
IA
Agentives
. 5
IB Stit: Simple cases
. 9
1С
Grammar of the modal logic of agency
. 14
ID Mini-history of the modal logic of agency
. 18
IE Conclusion and summary
. 26
2
Stit: Introductory theory, semantics, and applications
28
2A Theory and semantics: The two stits
. 29
2B Applications of stit, with many pictures
. 39
3
Small yet important differences from earlier proposals
59
ЗА
Von
Wright
. 60
3B Chisholm
. 65
3C Kenny
. 68
3D
Castañeda
. 74
3E Davidson
. 78
3F Conclusion
. 81
4
Stit and the imperative
82
4A The theory of fiats
. 82
4B Ross's paradox and stit
. 84
4C Chellas's theory
. 85
4D
Agentive
constructions
. 87
4E Negations of imperatives
. 89
4F The many varieties of imperatives
. 92
4G Embedding imperatives
. 94
4H Conclusion
. 96
5
Promising: Stits, claims, and strategies
97
5A From stit to promising
. 98
SB From RR to promising
. 107
5C Strategic content of promises and word-givings
. 116
xiv Contents
II Foundations of indeterminism
6
Indeterminism and the Thin Red Line
133
6A Preliminary considerations
.134
6B Parameters of truth
.141
6C The assertion problem
.156
6D The Thin Red Line
.160
6E Time's winged chariot hurries near
.170
7
Agents and choices in branching time with instants
177
7A Theory of branching time
.177
7B Theoretical reflections on indeterminism
.203
7C Theory of agents and choices
.210
7D Domain
.219
8
Indexicai
semantics under indeterminism
220
8A Sources
.221
8B Structure parameters: The "world" of the speakers
.226
8C Interpretation and model: The "language" of the speakers
. 227
8D Points of evaluation, and policies
.228
8E Generic semantic ideas
.234
8F Semantics for stit-free locutions
.239
8G Clauses for stit functors
.247
III Applications of the achievement stit
9
Could have done otherwise
255
9A Could have been and might have been
.257
9B Could have done and might have done
.257
9C Might have been otherwise
.259
9D Might not have done it
.260
9E Could not have avoided doing
.261
9P Could have prevented
.262
9G Could have refrained
.263
9H Might have refrained
.265
91
Had available a strategy for not doing
.268
9J Summary
.269
10
Multiple and joint agency
271
10A Preliminary facts
.272
10B Other-agent nested stits
.273
IOC Joint agency: Plain and strict
.281
10D Other-agent nested joint stits
.290
Contents xv
IV
Applications
of the deliberative stit
11
Conditional obligation, deontic paradoxes, and stit
295
11A Technical preliminaries
. 296
11B Semantics of obligation
. 298
11C Completeness
. 303
11D Conditional obligation
. 304
HE
О
D-statements versus
D
O-statements
. 306
11F The Good Samaritan
. 309
11G Contrary-to-duty obligations
. 312
11H Problems with the proposed semantics of obligation
. 314
12
Marcus and the problem of nested deontic modalities
318
12A The parking problem
. 318
12B The form of obligations
. 319
12C The Anderson/dstit simplification
. 321
12D The form of prohibitions
. 322
12E Generalized prohibitions
. 325
12F Generalization on agents
. 333
12G Temporal generalization
. 335
12H The outer ought
. 335
V Strategies
13
An austere theory of strategies
341
13A Nature of austere strategics
.342
13B Review of choices in branching histories
.344
13C Elementary theory of strategies
.345
13D Favoring
.356
13E Application to finding a strategy for inaction
.359
14
Deontic kinematics and austere strategics
364
14A Basic concepts
.365
14B From Thomason's deontic kinematics to austere strategics
. 368
14C From austere strategics to Thomason's deontic kinematics
. 370
14D Remarks
.376
VI Proofs and models
15
Decidability of one-agent achievement-stit theory
with refref
381
15A Preliminaries
. 382
15B Companions
. 385
15C Soundness: Validity of refref equivalence
. 390
15D Companion sets
. 392
xvi
Contents
15E Alternatives and counters
.397
15F Semi-ref-counters
.401
15G Completeness and finite model property
.408
16
On the basic one-agent achievement-stit theory
415
16A Preliminaries
.415
16B Soundness
.417
16C Companion sets and their alternatives
.419
16D Construction of preliminary structures
.424
16E Completeness
.428
17
Decidability of many-agent deliberative-stit theories
435
17A Preliminaries
.435
17B Soundness
.439
17C Completeness and compactness
.441
17D Finite model property
.445
18
Doing and refraining from refraining
451
18A Preliminaries
.452
18B Main results
.454
Appendix: Lists for reference
459
1
Stit theses: Thesis 1-Thesis
6 .459
2
Structures
.460
3
ВТ
+
1
+
А С
postulates: Post. 1-Post.
10.461
4
Branching-time-with-instants definitions:
Def.
1-Def.
0.463
5
Agent-choice definitions:
Def. 10-Def.
14.466
6
Basic semantic definitions:
Def. 15-Def.
16.468
7
Derivative semantic definitions:
Def. 17-Def.
20 .469
8
Grammar
.471
9
Axiomatice
concepts: Ax. Cone.
1,
Ax. Cone.
2,
and Ax. Cone.
3.472
Bibliography
475
Index
483 |
| any_adam_object | 1 |
| author | Belnap, Nuel D. 1930-2024 Perloff, Michael Xu, Ming |
| author_GND | (DE-588)118974114 (DE-588)160729858 |
| author_facet | Belnap, Nuel D. 1930-2024 Perloff, Michael Xu, Ming |
| author_role | aut aut aut |
| author_sort | Belnap, Nuel D. 1930-2024 |
| author_variant | n d b nd ndb m p mp m x mx |
| building | Verbundindex |
| bvnumber | BV013848875 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | B105 |
| callnumber-raw | B105.A35 |
| callnumber-search | B105.A35 |
| callnumber-sort | B 3105 A35 |
| callnumber-subject | B - Philosophy |
| classification_rvk | CC 6000 CC 6960 CC 7200 CC 7220 |
| ctrlnum | (OCoLC)237437855 (DE-599)BVBBV013848875 |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV013848875</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111114</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010803s2001 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0195138783</subfield><subfield code="c">hbk.</subfield><subfield code="9">0-19-513878-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)237437855</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013848875</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-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">B105.A35</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 6000</subfield><subfield code="0">(DE-625)17650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 6960</subfield><subfield code="0">(DE-625)17668:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 7200</subfield><subfield code="0">(DE-625)17672:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 7220</subfield><subfield code="0">(DE-625)17673:</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">Belnap, Nuel D.</subfield><subfield code="d">1930-2024</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118974114</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Facing the future</subfield><subfield code="b">agents and choices in our indeterminist world</subfield><subfield code="c">Nuel Belnap ; Michael Perloff ; Ming Xu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 501 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="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">Handlung</subfield><subfield code="0">(DE-588)4023277-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kausalität</subfield><subfield code="0">(DE-588)4030102-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Willensfreiheit</subfield><subfield code="0">(DE-588)4079320-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Determinismus</subfield><subfield code="0">(DE-588)4149218-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Willensfreiheit</subfield><subfield code="0">(DE-588)4079320-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Determinismus</subfield><subfield code="0">(DE-588)4149218-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Handlung</subfield><subfield code="0">(DE-588)4023277-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kausalität</subfield><subfield code="0">(DE-588)4030102-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Perloff, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Xu, Ming</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)160729858</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=009472912&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009472912</subfield></datafield></record></collection> |
| id | DE-604.BV013848875 |
| illustrated | Illustrated |
| indexdate | 2025-01-11T17:52:28Z |
| institution | BVB |
| isbn | 0195138783 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009472912 |
| oclc_num | 237437855 |
| open_access_boolean | |
| owner | DE-29 DE-12 DE-355 DE-BY-UBR DE-11 DE-703 |
| owner_facet | DE-29 DE-12 DE-355 DE-BY-UBR DE-11 DE-703 |
| physical | XVI, 501 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Belnap, Nuel D. 1930-2024 Verfasser (DE-588)118974114 aut Facing the future agents and choices in our indeterminist world Nuel Belnap ; Michael Perloff ; Ming Xu New York [u.a.] Oxford Univ. Press 2001 XVI, 501 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Handlungstheorie (DE-588)4113844-2 gnd rswk-swf Handlung (DE-588)4023277-3 gnd rswk-swf Kausalität (DE-588)4030102-3 gnd rswk-swf Willensfreiheit (DE-588)4079320-5 gnd rswk-swf Determinismus (DE-588)4149218-3 gnd rswk-swf Handlungstheorie (DE-588)4113844-2 s Willensfreiheit (DE-588)4079320-5 s Determinismus (DE-588)4149218-3 s DE-604 Handlung (DE-588)4023277-3 s Kausalität (DE-588)4030102-3 s Perloff, Michael Verfasser aut Xu, Ming Verfasser (DE-588)160729858 aut Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009472912&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Belnap, Nuel D. 1930-2024 Perloff, Michael Xu, Ming Facing the future agents and choices in our indeterminist world Handlungstheorie (DE-588)4113844-2 gnd Handlung (DE-588)4023277-3 gnd Kausalität (DE-588)4030102-3 gnd Willensfreiheit (DE-588)4079320-5 gnd Determinismus (DE-588)4149218-3 gnd |
| subject_GND | (DE-588)4113844-2 (DE-588)4023277-3 (DE-588)4030102-3 (DE-588)4079320-5 (DE-588)4149218-3 |
| title | Facing the future agents and choices in our indeterminist world |
| title_auth | Facing the future agents and choices in our indeterminist world |
| title_exact_search | Facing the future agents and choices in our indeterminist world |
| title_full | Facing the future agents and choices in our indeterminist world Nuel Belnap ; Michael Perloff ; Ming Xu |
| title_fullStr | Facing the future agents and choices in our indeterminist world Nuel Belnap ; Michael Perloff ; Ming Xu |
| title_full_unstemmed | Facing the future agents and choices in our indeterminist world Nuel Belnap ; Michael Perloff ; Ming Xu |
| title_short | Facing the future |
| title_sort | facing the future agents and choices in our indeterminist world |
| title_sub | agents and choices in our indeterminist world |
| topic | Handlungstheorie (DE-588)4113844-2 gnd Handlung (DE-588)4023277-3 gnd Kausalität (DE-588)4030102-3 gnd Willensfreiheit (DE-588)4079320-5 gnd Determinismus (DE-588)4149218-3 gnd |
| topic_facet | Handlungstheorie Handlung Kausalität Willensfreiheit Determinismus |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009472912&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT belnapnueld facingthefutureagentsandchoicesinourindeterministworld AT perloffmichael facingthefutureagentsandchoicesinourindeterministworld AT xuming facingthefutureagentsandchoicesinourindeterministworld |