Facing the future : agents and choices in our indeterminist world / Nuel Belnap, Michael Perloff, Ming Xu ; with contributions by Paul Bartha, Mitchell Green, John Horty.

Format:

Book

Author/Creator:

Belnap, Nuel D. (Nuel Dinsmore), 1930- author.

Perloff, Michael, author.

Xu, Ming, 1957- author.

Series:

Oxford scholarship online.

Oxford scholarship online

Language:

English

Subjects (All):

Agent (Philosophy).

Choice (Psychology).

Free will and determinism.

Physical Description:

1 online resource (518 pages)

Place of Publication:

Oxford : Oxford University Press, 2023.

Language Note:

English

Summary:

In this text, the authors attempt to construct a logical analysis of human actions by focusing on actions based on choice. By looking at the 'stit' sentence, they provide formal semantics for 'stit' in terms of a time continuum.

Contents:

Contents; I: Introduction to stit; 1 Stit: A canonical form for agentives; 2 Stit: Introductory theory, semantics, and applications; 3 Small yet important differences from earlier proposals; 4 Stit and the imperative; 5 Promising: Stits, claims, and strategies; II: Foundations of indeterminism; 6 Indeterminism and the Thin Red Line; 7 Agents and choices in branching time with instants; 8 Indexical semantics under indeterminism; III: Applications of the achievement stit; 9 Could have done otherwise; 10 Multiple and joint agency; IV: Applications of the deliberative stit

11 Conditional obligation, deontic paradoxes, and stit12 Marcus and the problem of nested deontic modalities; V: Strategies; 13 An austere theory of strategies; 14 Deontic kinematics and austere strategics; VI: Proofs and models; 15 Decidability of one-agent achievement-stit theory with refref; 16 On the basic one-agent achievement-stit theory; 17 Decidability of many-agent deliberative-stit theories; 18 Doing and refraining from refraining; Appendix: Lists for reference; 1 Stit theses: Thesis 1-Thesis 6; 2 Structures; 3 BT + I + AC postulates: Post. 1-Post. 10

4 Branching-time-with-instants definitions: Def. 1-Def. 95 Agent-choice definitions: Def. 10-Def. 14; 6 Basic semantic definitions: Def. 15-Def. 16; 7 Derivative semantic definitions: Def. 17-Def. 20; 8 Grammar; 9 Axiomatics concepts: Ax. Conc. 1, Ax. Conc. 2, and Ax. Conc. 3; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Z

Notes:

Previously issued in print: 2001.

Includes bibliographical references (pages 475-482) and index.

Derived record based on print version record and publisher information.

ISBN:

0-19-773038-8

1-280-48107-2

0-19-535007-3

1-4237-6227-4

OCLC:

191924405