A Formalization of Austrian Economics. Praxeological Foundations: The Base System and Its Derived Theorems

Rafa{\l} Komendarczyk, Walter E. Block, John Levendis and Frank J. Tipler

Papers from arXiv.org

Abstract: 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 organised into three layers: the structure of action itself, the actor's preference order together with its revelation in choice, and material scarcity. The base system captures purposeful action in its bare praxeological form. Working entirely within the base system we derive the core classical Misesian propositions as Hilbert-style theorems: the asymmetry of revealed preference, the existence of opportunity cost, the structural scarcity of time, the subjectivity of opportunity cost, the law of diminishing marginal utility, and the increasing marginal disutility of labour. Where a theorem requires structure beyond the praxeological core, as with diminishing marginal utility, the additional premises are made explicit; identifying these hidden premises is one of the methodological payoffs of the approach. A self-contained Lean companion encodes the language as Lean type classes and constructs a concrete infinite-time Robinson Crusoe model whose acceptance by the type-checker is a constructive consistency proof of the full base theory.

Date: 2026-06, Revised 2026-06
References: Add references at CitEc
Citations:

Downloads: (external link)
https://arxiv.org/pdf/2606.18292 Latest version (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:arx:papers:2606.18292

Access Statistics for this paper

More papers in Papers from arXiv.org
Bibliographic data for series maintained by arXiv administrators ().