The Fundamental Theorems of Welfare Economics, DSGE and the Theory of Policy - Computable & Constructive Foundations

The genesis and the path towards what has come to be called the DSGE model is traced, from its origins in the Arrow-Debreu General Equilibrium model (ADGE), via Scarf's Computable General Equilibrium model (CGE) and its applied version as Applied Computable General Equilibrium model (ACGE), to its ostensible dynamization as a Recursive Competitive Equilibrium (RCE). It is shown that these transformations of the ADGE - including the fountainhead - are computably and constructively untenable. The policy implications of these (negative) results, via the Fundamental Theorems of Welfare Economics in particular, and against the backdrop of the mathematical theory of economic policy in general, are also discussed (again from computable and constructive points of view). Suggestions for going 'beyond DSGE' are, then, outlined on the basis of a framework that is underpinned - from the outset - by computability and constructivity considerationsComputable General Equilibrium, Dynamic Stochastic General Equilibrium, Computability, Constructivity, Fundamental Theorems of Welfare Economics, Theory of Policy, Coupled Nonlinear Dynamic

Synchronous Online Philosophy Courses: An Experiment in Progress

There are two main ways to teach a course online: synchronously or asynchronously. In an asynchronous course, students can log on at their convenience and do the course work. In a synchronous course, there is a requirement that all students be online at specific times, to allow for a shared course environment. In this article, the author discusses the strengths and weaknesses of synchronous online learning for the teaching of undergraduate philosophy courses. The author discusses specific strategies and technologies he uses in the teaching of online philosophy courses. In particular, the author discusses how he uses videoconferencing to create a classroom-like environment in an online class

Agent-Based Modeling: The Right Mathematics for the Social Sciences?

This study provides a basic introduction to agent-based modeling (ABM) as a powerful blend of classical and constructive mathematics, with a primary focus on its applicability for social science research.� The typical goals of ABM social science researchers are discussed along with the culture-dish nature of their computer experiments. The applicability of ABM for science more generally is also considered, with special attention to physics. Finally, two distinct types of ABM applications are summarized in order to illustrate concretely the duality of ABM: Real-world systems can not only be simulated with verisimilitude using ABM; they can also be efficiently and robustly designed and constructed on the basis of ABM principles. �

Probabilistic abductive logic programming using Dirichlet priors

Probabilistic programming is an area of research that aims to develop general inference algorithms for probabilistic models expressed as probabilistic programs whose execution corresponds to inferring the parameters of those models. In this paper, we introduce a probabilistic programming language (PPL) based on abductive logic programming for performing inference in probabilistic models involving categorical distributions with Dirichlet priors. We encode these models as abductive logic programs enriched with probabilistic definitions and queries, and show how to execute and compile them to boolean formulas. Using the latter, we perform generalized inference using one of two proposed Markov Chain Monte Carlo (MCMC) sampling algorithms: an adaptation of uncollapsed Gibbs sampling from related work and a novel collapsed Gibbs sampling (CGS). We show that CGS converges faster than the uncollapsed version on a latent Dirichlet allocation (LDA) task using synthetic data. On similar data, we compare our PPL with LDA-specific algorithms and other PPLs. We find that all methods, except one, perform similarly and that the more expressive the PPL, the slower it is. We illustrate applications of our PPL on real data in two variants of LDA models (Seed and Cluster LDA), and in the repeated insertion model (RIM). In the latter, our PPL yields similar conclusions to inference with EM for Mallows models

Stepping Beyond the Newtonian Paradigm in Biology. Towards an Integrable Model of Life: Accelerating Discovery in the Biological Foundations of Science

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses

Book Reviews

Ambition and Privilege: The Social Tropes of Elizabethan Courtesy Theory (Frank Whigham) (Reviewed by Jonathan Goldberg, Brown University)Love Known: Theology and Experience in George Herbert\u27s Poetry (Richard Strier) (Reviewed by Ilona Bell, Williams College)The Sacred Complex: On the Psychogenesis of Paradise Lost (William Kerrigan) (Reviewed by William G. Riggs, Boston University)Realism, Myth, and History in Defoe\u27S Fiction (Maximillian E. Novak) (Reviewed by John Richetti, Rutgers University)Defoe and the Idea of Fiction, 1713-1719 (Geoffrey M. Sill) (Reviewed by John Richetti, Rutgers University)Romantic Contraries: Freedom versus Destiny (Peter L. Thorselv) (Reviewed by Stephen C. Behrendt, University of Nebraska)Robert Browning: His Poetry and Audiences (Lee Erickson) (Reviewed by John R. Reed, Wayne State University)True Correspondence: A Phenomenology of Thomas Hardy\u27s Novels (Bruce Johnson) (Reviewed by Mary Childers, Vanderbilt University)The Poetry of Thomas Hardy: A Study in Art and Ideas (William E. Buckler) (Reviewed by Mary Childers, Vanderbilt University)Joseph Conrad: A Chronicle (Zdsislaw Najder) (Reviewed by Todd K. Bender, University of Wisconsin, Madison)Conrad Under Familial Eyes (Zdsislaw Najder) (Reviewed by Todd K. Bender, University of Wisconsin, Madison)The Collected Letters of Joseph Conrad: 1861-1897, vol. 1 (Frederick E. Karl and Laurence Davies) (Reviewed by Todd K. Bender, University of Wisconsin, Madison)Emily Dickinson and the Problem of Others (Christopher E. G. Benfey) (Reviewed by Karl Keller, San Diego State University)The Transparent Lyric: Reading and Meaning in the Poetry of Stevens and Williams (David Walker) (Reviewed by Milton J. Bates, Marquette University)Quixote Scriptures: Essays on the Textuality of Hispanic Literature (Elias L. Rivers) (Reviewed by David William Foster, Arizona State University)On the Grotesque: Strategies of Contradiction in Art and Literature (Geoffrey Galt Harpham) (Reviewed by Irving Massey, State University of New York, Buffalo)Three Sad Races: Racial Identity and National Consciousness in Brazilian Literature (David T. Haberly) (Reviewed by Renata Wasserman, Wayne State University