Behavioural Economics: Classical and Modern

In this paper, the origins and development of behavioural economics, beginning with the pioneering works of Herbert Simon (1953) and Ward Edwards (1954), is traced, described and (critically) discussed, in some detail. Two kinds of behavioural economics – classical and modern – are attributed, respectively, to the two pioneers. The mathematical foundations of classical behavioural economics is identified, largely, to be in the theory of computation and computational complexity; the corresponding mathematical basis for modern behavioural economics is, on the other hand, claimed to be a notion of subjective probability (at least at its origins in the works of Ward Edwards). The economic theories of behavior, challenging various aspects of 'orthodox' theory, were decisively influenced by these two mathematical underpinnings of the two theoriesClassical Behavioural Economics, Modern Behavioural Economics, Subjective Probability, Model of Computation, Computational Complexity. Subjective Expected Utility

Explaining Gabriel-Zisman localization to the computer

This explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof of GZ's Lemma 1.2, as well as the construction using calculus of fractions. The proof files are bundled with the other preprint "Files for GZ localization" posted simultaneously

Sraffa's Mathematical Economics - A Constructive Interpretation

The claim in this paper is that Sraffa employed a rigorous logic of mathematical reasoning in his book, Production of Commodities by Means of Commodities (PCC), in such a way that the existence proofs were constructive. This is the kind of mathematics that was prevalent at the beginning of the 19th century, which was dominated by the concrete, the constructive and the algorithmic. It is, therefore, completely consistent with the economics of the 19th century, which was the fulcrum around which the economics of PCC was conceived.Existence Proofs, Constructive Mathematics, Algorithmic Mathematics, Mathematical Economics, Standard System.

Interplay between curvature and Planck-scale effects in astrophysics and cosmology

Several recent studies have considered the implications for astrophysics and cosmology of some possible nonclassical properties of spacetime at the Planck scale. The new effects, such as a Planck-scale-modified energy-momentum (dispersion) relation, are often inferred from the analysis of some quantum versions of Minkowski spacetime, and therefore the relevant estimates depend heavily on the assumption that there could not be significant interplay between Planck-scale and curvature effects. We here scrutinize this assumption, using as guidance a quantum version of de Sitter spacetime with known Inonu-Wigner contraction to a quantum Minkowski spacetime. And we show that, contrary to common (but unsupported) beliefs, the interplay between Planck-scale and curvature effects can be significant. Within our illustrative example, in the Minkowski limit the quantum-geometry deformation parameter is indeed given by the Planck scale, while in the de Sitter picture the parameter of quantization of geometry depends both on the Planck scale and the curvature scalar. For the much-studied case of Planck-scale effects that intervene in the observation of gamma-ray bursts we can estimate the implications of "quantum spacetime curvature" within robust simplifying assumptions. For cosmology at the present stage of the development of the relevant mathematics one cannot go beyond semiheuristic reasoning, and we here propose a candidate approximate description of a quantum FRW geometry, obtained by patching together pieces (with different spacetime curvature) of our quantum de Sitter. This semiheuristic picture, in spite of its limitations, provides rather robust evidence that in the early Universe the interplay between Planck-scale and curvature effects could have been particularly significant.Comment: 26 pages

The Formal Theory of Monads, Univalently

We develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction. In particular, we define the bicategory of monads internal to a bicategory, and prove that it is univalent. We also define Eilenberg-Moore objects, and we show that both Eilenberg-Moore categories and Kleisli categories give rise to Eilenberg-Moore objects. Finally, we relate monads and adjunctions in arbitrary bicategories. Our work is formalized in Coq using the https://github.com/UniMath/UniMath library

From Models to Simulations

This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations

Computational Modeling of Emotion: Towards Improving the Inter- and Intradisciplinary Exchange

International audienceThe past years have seen increasing cooperation between psychology and computer science in the field of computational modeling of emotion. However, to realize its potential, the exchange between the two disciplines, as well as the intradisciplinary coordination, should be further improved. We make three proposals for how this could be achieved. The proposals refer to: 1) systematizing and classifying the assumptions of psychological emotion theories; 2) formalizing emotion theories in implementation-independent formal languages (set theory, agent logics); and 3) modeling emotions using general cognitive architectures (such as Soar and ACT-R), general agent architectures (such as the BDI architecture) or general-purpose affective agent architectures. These proposals share two overarching themes. The first is a proposal for modularization: deconstruct emotion theories into basic assumptions; modularize architectures. The second is a proposal for unification and standardization: Translate different emotion theories into a common informal conceptual system or a formal language, or implement them in a common architecture

Can the Capability Approach be Evaluated within the Frame of Mainstream Economics? A Methodological Analysis

The aim of this article is to examine the capability approach of Amartya Sen and mainstream economic theory in terms of their epistemological, methodological and philosophical/cultural aspects. The reason for undertaking this analysis is the belief that Sen’s capability approach, contrary to some economists’ claim, is uncongenial to mainstream economic views on epistemology and methodology (not on ontologically). However, while some social scientists regard that Sen, on the whole, is a mainstream economist, his own approach strongly criticizes both the theory and practice of mainstream economics.Amartya Sen, Mainstream economics, Methodological individualism.