Reichenbach held that all scientific inference reduces, via probability calculus, to induction, and he held that induction can be justified. He sees scientific knowledge in a practical context and insists that any rational assessment of actions requires a justification of induction. Gaps remain in his justifying argument; for we can not hope to prove that induction will succeed if success is possible. However, there are good prospects for completing a justification of essentially the kind he sought by showing that while (...) induction may succeed, no alternative is a rational way of trying.Reichenbach's claim that probability calculus, especially via Bayes' Theorem, can help to exhibit the structure of inference to theories is a valuable insight. However, his thesis that the weighting of all hypotheses rests only on frequency data is too restrictive, especially given his scientific realism. Other empirical factors are relevant. Any satisfactory account of scientific inference must be deeply indebted to Reichenbach's foundation work. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)