Peter Jonathan Friedich Alan Emmanuel Smith

Many of our concepts are introduced to us via, and seem only to be constrained by, roughand-ready explanations and some sample paradigm positive and negative applications. This happens even in informal logic and mathematics. Yet in some cases, the concepts in question – although only informally and vaguely characterized – in fact have, or appear to have, entirely determinate extensions. Here’s one familiar example. When we start learning computability theory, we are introduced to the idea of an algorithmically computable function (from numbers to numbers) – i.e. one whose value for any given input can be determined by a step-by-step calculating procedure, where each step is fully determined by some antecedently given finite set of calculating rules. We are told that we are to abstract from practical considerations of how many steps will be needed and how much ink will be spilt in the process, so long as everything remains finite. We are also told that each step is to be ‘small’ and the rules governing it must be ‘simple’, available to a cognitively limited calculating agent: for we want an algorithmic procedure, step-by-minimal-step, to be idiot-proof. For a classic elucidation of this kind, see e.g. Rogers (1967, pp. 1–5). Church’s Thesis, in one form, then claims this informally explicated concept in fact has a perfectly precise extension, the set of recursive functions. Church’s Thesis can be supported in a quasi-empirical way, by the failure of our searches for counterexamples. It can be supported too in a more principled way, by the observation that different appealing ways of sharpening up the informal chararacterization of algorithmic computability end up specifying the same set of recursive functions. But such considerations fall short of a demonstration of the Thesis. So is there a different argumentative strategy we could use, one that could lead to a proof? Sometimes it is claimed that there just can’t be, because you can never really prove results involving an informal concept like algorithmic computability..

The last Episode wasn’t about logic or formal theories at all: it was about common-or-garden arithmetic and the informal notion of computability. We noted that addition can be defined in terms of repeated applications of the successor function. Multiplication can be defined in terms of repeated applications of addition. The exponential and factorial functions can be defined, in different ways, in terms of repeated applications of multiplication. There’s already a pattern emerging here! The main task in the last Episode was to get clear about this pattern. So first we said more about the idea of defining one function in terms of repeated applications of another function. Tidied up, that becomes the idea of defining a function by primitive recursion (Defn. 27).

In the section ‘Further reading’, I listed a book that arrived on my desk just as I was sending IGT off to the press, namely Church’s Thesis after 70 Years edited by Adam Olszewski et al. On the basis of a quick glance, I warned that the twenty two essays in the book did seem to be of ‘variable quality’. But actually, things turn out to be a bit worse than that: the collection really isn’t very good at all! After I sent my book to press, I gave a paper-by-paper review on my blog, at http://logicmatters.blogspot.com. It is probably more fun to chase up the reviews ‘in the wild’, so to speak, starting from the entry for May 14, 2007. But here they are wrapped up into a single document, only marginally tidied. Some of the points made here should help further explain and support the general line on the Thesis taken in..

... and a reading knowledge of formal logical symbolism is essential too. (Philosophers often use bits of logical symbolism to clarify their arguments.) Because the artificial and simply formal languages of logic give us highly illuminating objects of comparison when we come thinking about how natural languages work. (Relevant to topics in ‘philosophical logic’ and the philosophy of language.) But mainly because it us the point of entry into the study of one of the major intellectual achievements by philosophers of the 20th – i.e. the development of mathematical logic. (Not least in Cambridge: Russell and Whitehead, Ramsey, Turing.)

Preface 1 The First Theorem revisited 1.1 Notational preliminaries 1.2 Definitional preliminaries 1.3 A general version of G¨ odel’s First Theorem 1.4 Giving the First Theorem bite 1.5 Generic G¨ odel sentences and arithmetic truth 1.6 Canonical and standard G¨ odel sentences 2 The Second Theorem revisited 2.1 Definitional preliminaries 2.2 Towards G¨ odel’s Second Theorem 2.3 A general version of G¨ odel’s Second Theorem 2.4 Giving the Second Theorem bite 2.5 Comparisons 2.6 Further results about provability predicates 2.7 Back to the First Theorem 2.8 Introducing Rosserized provability predicates..

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.

History reveals how civilisations can be decimated by changes in climate. More recently modern methods of warfare have exposed the vulnerability of the artefacts of civilisation. Bringing together a range of subjects - from science, energy and sustainability to aesthetics theory and civilization theory - this book uniquely deals with climate change and the ensuing catastrophes in relation to cultural factors, urbanism and architecture. It links the evolution of civilisation, with special emphasis on the dynamics of beauty as displayed in architecture and urbanism, to climate change. It then considers both the historic and predicted impacts of climate change and the threat it poses to the continued viability of human civilisation when survival is the top priority. This book gives students, researchers and professionals in architecture and sustainable design as well as anyone interested in the threat of global warming to civilisation, new insights as to what could be lost if action is not taken at a global level.