A Formalization of Austrian Economics. Praxeological Foundations: The Base System and Its Derived Theorems
This paper presents an axiomatization of Ludwig von Mises' praxeology in many-sorted first-order logic, isolating the foundational layer. We introduce a formal language with five sorts (Actors, Actions, Ends, Things, Times) and six primitive relations (Acts, Avail, EndOf, Use, a preference order, and a time order), together with a base axiom system organized into three layers: the structure of action itself, the actor's preference order together with its demonstration in choice, and material scarcity. The base system captures purposeful action in its bare praxeological form. Working entirely…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.18292
curl -X POST /api/v1/records/arxiv/2606.18292/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.18292/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'