A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

A respected Harvard logician and philosopher gathers together twenty-nine writings dealing with the foundations of mathematics, Rudolf Carnap, lin-guistics, ...

The paper addresses the formation of striking patterns within originally near-homogenous tissue, the process prototypical for embryology, and represented in particularly purist form by cut sections of hydra regenerating, by internal reorganisation of the pre-existing tissue, a complete animal with head and foot. The essential requirements are autocatalytic, self-enhancing activation, combined with inhibitory or depletion effects of wider range – “lateral inhibition”. Not only de-novo-pattern formation, but also well known, striking features of developmental regulation such as induction, inhibition, and proportion (...) regulation can be explained on this basis. The theory provides a mathematical recipe for the construction of molecular models with criteria for the necessary non-linear interactions. It has since been widely applied to different developmental processes. (shrink)

In 1972, we proposed a theory of biological pattern formation in which concentration maxima of pattern forming substances are generated through local self- enhancement in conjunction with long range inhibition. Since then, much evidence in various developmental systems has confirmed the importance of autocatalytic feedback loops combined with inhibitory interaction. Examples are found in the formation of embryonal organizing regions, in segmentation, in the polarization of individual cells, and in gene activation. By computer simulations, we have shown that the theory (...) accounts for much of the regulatory phenomena observed, including signalling to regenerate removed parts. These self- regulatory features contribute to making development robust and error-tolerant. Furthermore, the resulting pattern is, to a large extent, independent of the details provided by initial conditions and inducing signals. (shrink)

The Liar Paradox is an argument that arrives at a contradiction by reasoning about a Liar Sentence. The classical Liar Sentence is the self-referential sentence “This sentence is false.”.