Gentilini, Paolo ;
Benassi, Corrado
(1997)
Rational Economic Agents as Formal Logical Systems.
Bologna:
Dipartimento di Scienze economiche DSE,
p. 39.
DOI
10.6092/unibo/amsacta/5032.
In: Quaderni - Working Paper DSE
(279).
ISSN 2282-6483.
Full text available as:
Abstract
We describe economic agents as formal logical systems of the first order, and then able to show that for any ordinary geometric description of an agent as a preordering over a given choice set within the set of reals, there exists a corresponding logical description in the space of the first order-formal systems, and vicevesa. This approach allows to distinguish formally among propositions known to economic agents and propositions concerning them. Also, we show that for any finite commodity space one can build consistent agents as first-order formal systems, and hence an economy defined as a collection of such systems, both of which can be mapped into the standard topological framework.
Abstract
We describe economic agents as formal logical systems of the first order, and then able to show that for any ordinary geometric description of an agent as a preordering over a given choice set within the set of reals, there exists a corresponding logical description in the space of the first order-formal systems, and vicevesa. This approach allows to distinguish formally among propositions known to economic agents and propositions concerning them. Also, we show that for any finite commodity space one can build consistent agents as first-order formal systems, and hence an economy defined as a collection of such systems, both of which can be mapped into the standard topological framework.
Document type
Monograph
(Working Paper)
Creators
Subjects
ISSN
2282-6483
DOI
Deposit date
05 Apr 2016 07:57
Last modified
05 Apr 2016 07:57
URI
Other metadata
Document type
Monograph
(Working Paper)
Creators
Subjects
ISSN
2282-6483
DOI
Deposit date
05 Apr 2016 07:57
Last modified
05 Apr 2016 07:57
URI
Downloads
Downloads
Staff only: