The Logic of Action
Updated 2026-09-10
INTRODUCTION
English translation pending.
CORE DEFINITION
The logic of action is the systematic study of action using formal languages as its main tool. The concept of action concerns economics, history, psychology, linguistics, law, computer science, and artificial intelligence; in philosophy it has mattered since the beginning because epistemology and ethics need it, and in recent decades it has been studied in its own right. Its central operator expresses that an agent brings something about.
SCAFFOLDING EFFECT
Reduce cognitive load
- Assign responsibility: use an agent-brings-it-about operator to state precisely who produced the result. - Distinguish abilities: formally separate being able to do it, being unable, and not doing it. - Trace consequences: put action sequences and time points into the inference to test causation and intention.
Anchor fast decisions
The logic of action places action, agents, results, and times into a formal language, using operators for an agent's bringing something about or for a proposition holding because of an action, with models supplied by possible worlds or dynamic semantics. Inferences about responsibility, ability, intention, and consequence can then be stated and tested precisely.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-action/verified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS