The Logic of Discovery

Scientific research is viewed as a deliberate activity and the logic of discovery consists of strategies and arguments whereby the best objectives (questions) and optimal means for achieving these objectives (heuristics) are chosen. This book includes a discussion and some proposals regarding the way the logic of questions can be applied to understanding scientific research and draws upon work in artificial intelligence in a discussion of heuristics and methods for appraising heuristics (metaheuristics).

This volume is presented as a companion study to my translation of Galileo's MS 27, Galileo's Logical Treatises, which contains Galileo's appropriated questions on Aristotle's Posterior Analytics - a work only recently transcribed from the Latin autograph. Its purpose is to acquaint an English-reading audience with the teaching in those treatises. This is basically a sixteenth-century logic of discovery and of proof about which little is known in the present day, yet one that arguably guided the most significant research program of the seventeenth century. Despite its historical and systematic importance, the teaching is difficult to explain to the modern reader. Part of the problem stems from the fragmentary nature of the manuscript in which it is preserved, part from the contents of the teaching itself, which requires a considerable propadeutic for its comprehension. A word of explanation is thus required to set out the structure of the volume and to detail the editorial decisions that underlie its organization. Two major manuscript studies have advanced the cause of scholarship on Galileo within the past two decades. The first relates to Galileo's experimental activity at Padua prior to his discoveries with the telescope that led to the publication of his Sidereus nuncius in 1610. Much of this activity has been uncovered by Stillman Drake in analyses of manuscript fragments associated with the composition of Galileo's Two New Sciences, fragments now bound in a codex identified as MS 72 in the collection of Galileiana at the Biblioteca Nazionale Centrale in Florence.

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions.