The three processes needed to create life, compartmentalization, metabolism, and information transfer (memory stored in nucleic acids and manipulation operated by proteins) are embedded in organized genome features. The core of life puts together growth and maintenance (which drives survival), while life in context explores and exploits specific niches. Analysis of gene persistence in a large number of genomes shows that the former constitutes the paleome, which recapitulates the three phases of the origin of life: metabolism of small molecules on (...) surfaces, substitution of surfaces by an RNA-world where transfer RNA played a central role, and invention of template mediated information transfer. Colonization of each niche is performed using an almost unlimited set of genes, forming the cenome. The agreement of the paleome structure with a consistent scenario for the origin of life is such that we may consider extant genomes as providing us with an archive of the origin rather than as a palimpsest where most of our past would be irremediably hidden. (shrink)

This paper focuses on two notions of effectiveness which are not treated in detail elsewhere. Unlike the standard computability notion, which is a property of functions themselves, both notions of effectiveness are properties of interpreted linguistic presentations of functions. It is shown that effectiveness is epistemically at least as basic as computability in the sense that decisions about computability normally involve judgments concerning effectiveness. There are many occurrences of the present notions in the writings of logicians; moreover, consideration of these (...) notions can contribute to the clarification and, perhaps, solution of various philosophical problems, confusions and disputes. (shrink)

The metamathematical theorems of Gödel and Church are frequently applied to the philosophy of mind, typically as rational evidence against mechanism. Using methods of Post and Smullyan, these results are presented as purely mathematical theorems and various such applications are discussed critically. In particular, J. Lucas's use of Gödel's theorem to distinguish between conscious and unconscious beings is refuted, while more generally, attempts to extract philosophy from metamathematics are shown to involve only dramatizations of the constructivity problem in foundations. More (...) specifically, philosophical extrapolations from metamathematics are shown to involve premature extensions of Church's thesis. (shrink)

Permission is hereby granted until the end of December, 2009 to make single copies of this document as desired, and to make multiple copies for use by teachers or students in any course offered by any school.

This paper presents a defense of Epistemic Arithmetic as used for a formalization of intuitionistic arithmetic and of certain informal mathematical principles. First, objections by Allen Hazen and Craig Smorynski against Epistemic Arithmetic are discussed and found wanting. Second, positive support is given for the research program by showing that Epistemic Arithmetic can give interesting formulations of Church's Thesis.

This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.

In this work, attention is drawn to the abundant use of metaphor and analogy in works of logic. I argue that pervasiveness of figurative language is to be counted among the features that characterize logic and distinguish it from other sciences. This characteristic feature reflects the creativity that is inherent in logic and indeed has been demonstrated to be a necessary part of logic. The goal of this paper, in short, is to provide specific examples of figurative language used in (...) logic that yield insights into the nature of the subject. I encourage the reader to take metaphors seriously, and to accept that they are not mere embellishments but key elements in our understanding of logic. (shrink)

In this paper I discuss a generalization of communication theory. I sketch a model of the communication situation sufficiently general to subsume all models of particular aspects of communication. Several definitions and lines of inquiry are proposed. It will be evident that much of what I say has been influenced by Bar-Hillel, and also that this paper goes beyond Bar-Hillel's both in generality of scope and in details of analysis. The more general aim of the paper is to suggest a (...) reconstruction of our intuitions regarding communication. In particular, I argue that we should drop the idea that anything is “conveyed” in communication. (shrink)

Roy Bhaskar, Reclaiming Reality: a Critical Introduction to Contemporary Philosophy, London: Verso, 1989, £24.95, paper £8.95, ix + 218 pp.