Ever since Adam Smith, economists have been preoccupied with the puzzle of economic growth. The standard mainstream models of economic growth were and often still are based either on assumptions of diminishing returns on capital with technological innovation or on endogenous dynamics combined with a corresponding technological and institutional setting. An alternative model of economic growth emerged from the Cambridge School of Keynesian economists in the 1950s and 1960s. This model - developed mainly by Luigi Pasinetti - emphasizes the (...) importance of demand, human learning and the growth dynamics of industrial systems. Finally, in the past decade, new mainstream models have emerged incorporating technology or demand-based structural change and extending the notion of balanced growth. This collection of essays reassesses Pasinetti's theory of structural dynamics in the context of these recent developments, with contributions from economists writing in both the mainstream and the Cambridge Keynesian traditions and including Luigi Pasinetti, William Baumol, Geoffrey Harcourt and Nobel laureate Robert Solow. (shrink)

We study the cube of type assignment systems, as introduced in Giannini et al. 87–126), and confront it with Barendregt's typed gl-cube . The first is obtained from the latter through applying a natural type erasing function E to derivation rules, that erases type information from terms. In particular, we address the question whether a judgement, derivable in a type assignment system, is always an erasure of a derivable judgement in a corresponding typed system; we show that this property holds (...) only for systems without polymorphism. The type assignment systems we consider satisfy the properties ‘subject reduction’ and ‘strong normalization’. Moreover, we define a new type assignment cube that is isomorphic to the typed one. (shrink)

From the Proceedings of the meeting Mind and Life XII, 'What is matter, what is life?', held in Dharamsala, India, in 2002, in the presence of His Holiness the XIV Dalai Lama.

A review of the achievements of Fr. Busa over the course of his 60 years of work in the area of computational linguistics: internal hypertexts, the systematization of allographs, lemmatization, homographs and typologies; the lexical system; the laws of economy for graphemes, for semantic typology, for heterogeneity among terms, and of the two lexical hemispheres. Finally, the project of disciplined languages is mentioned, a response to the linguistic challenge resulting from informational globalization.

Folk-economic beliefs may be regarded as “evidential fictions” that exploit the natural tendency of human cognition to organize itself in narrative form. Narrative counter-arguments are likely more effective than logical debunking. The challenge is to convey sound economic reasoning in narratively conspicuous forms – an opportunity for economics to rethink its role and agency in public discourse, in the spirit of its old classics.

This contribution will be organized in three parts conceptually linked to each other. The first one will concern the ancient question “what is life?” seen according to a modern systemic view, the second with evolution based on Darwinian natural selection, the third with the notion of “being human” in relation to our genome.

The standard interpretation of quantum physics (QP) and some recent generalizations of this theory rest on the adoption of a rerificationist theory of truth and meaning, while most proposals for modifying and interpreting QP in a “realistic” way attribute an ontological status to theoretical physical entities (ontological realism). Both terms of this dichotomy are criticizable, and many quantum paradoxes can be attributed to it. We discuss a new viewpoint in this paper (semantic realism, or briefly SR), which applies both to (...) classical physics (CP) and to QP. and is characterized by the attempt of giving up verificationism without adopting ontological realism. As a first step, we construct a formalized observative language L endowed with a correspondence truth theory. Then, we state a set of axioms by means of L which hold both in CP and in QP. and construct a further language Lv which can express bothtestable andtheoretical properties of a given physical system. The concepts ofmeaning andtestability do not collapse in L and Le hence we can distinguish between semantic and pragmatic compatibility of physical properties and define the concepts of testability and conjoint testability of statements of L and Le. In this context a new metatheoretical principle (MGP) is stated, which limits the validity of empirical physical laws. By applying SR (in particular. MGP) to QP, one can interpret quantum logic as a theory of testability in QP, show that QP is semantically incomplete, and invalidate the widespread claim that contextuality is unavoidable in QP. Furthermore. SR introduces some changes in the conventional interpretation of ideal measurements and Heisenberg’s uncertainty principle. (shrink)

This collection assembles Church's referee reports, Fitch's 1963 paper, and nineteen new papers on the knowability paradox.

1. Critica de capire e altri scritti. 2. Scritti kantiani. 3. L'analitica trascendentale. 4. Il problema della scienza e il giudizio storico.