whole numbers that manages to assert that it itself is unprovable (from a given finite set F of axioms using formal logic). (Gödel's paper is included in the well-known anthology [1].) GF : ``GF cannot be proved from the finite set of axioms F.'' This assertion GF is therefore true if and only if it is unprovable, and the formal axiomatic system F in question either proves falsehoods (because it enables us to prove GF) or fails to prove a true (...) assertion (because it does not enable us to prove GF). If we assume that the former situation is impossible, we conclude that F is necessarily incomplete since it does not permit us to establish the true statement GF. (shrink)

Hume's Reception in Early America: Expanded Edition brings together the original American responses to one of Britain's greatest men of letters, David Hume. Now available as a single volume paperback, this new edition includes updated further readings suggestions and dozens of additional primary sources gathered together in a completely new concluding section. From complete pamphlets and booklets, to poems, reviews, and letters, to extracts from newspapers, religious magazines and literary and political journals, this book's contents come from a wide variety (...) of sources published in colonial America and the early United States between 1758 and 1850. As well as classics by Thomas Jefferson, John Adams and Alexander Hamilton, it contains scores of unknown and hard-to-locate items, many of which have not been reprinted since their original publication. These responses are divided into four parts covering Hume's Essays; his Philosophical Writings; his History of England; and his Character and Death. Each of those parts has a separate introductory essay, and every selection is introduced by a short headnote that sets the piece in its historical context and provides bibliographical references. Packed with new insights into Hume and American thought and culture, Hume's Reception in Early America reveals the relevance and impact of Hume on American political, philosophical, historical, religious, and aesthetic debates. (shrink)

Au Congrès de philosophie scientifique de 1935 comme lors du lancement de l’Encyclopédie internationale de la science unifiée, Federigo Enriques était reconnu par les néo-positivistes comme un de leurs pères fondateurs, sans qu’il fût tout à fait d’accord. À Paris, Enriques représentait le groupe des philosophes des sciences italiens et son nom était lié au journal Scientia, ouvert aux contributions des positivistes logiques. Ces derniers, désireux de constituer un front commun pour lutter contre les philosophies idéalistes et métaphysiques alors dominantes, (...) surestimaient sans doute la force du groupe italien, comme ils sous-estimaient les critiques d’Enriques sur l’usage de la logique formelle ou sur l’importance du langage. Dès les débuts de son implication en philosophie, il avait souligné la nécessité d’une fondation psychologique des concepts scientifiques, et en 1901, il avait donné un exemple de ce type d’analyse pour les postulats de la géométrie. Il n’appréciait guère les travaux logiques de Giuseppe Peano, affirmant que son formalisme manquait de bases psychologiques. Cependant, contre les mouvements anti-rationalistes de son temps, il défendait la valeur cognitive de la science et, dans ce climat d’appréciation mutuelle, les différences passaient au second plan. (shrink)

This is a welcome reprint of a book that continues to grow in importance.

Editor James Fetzer presents an analytical and historical introduction and a comprehensive bibliography together with selections of many of Carl G. Hempel's most important studies to give students and scholars an ideal opportunity to appreciate the enduring contributions of one of the most influential philosophers of science of the 20th century.

In a review of Russell’s Principles from 1904, Edwin B. Wilson pays great attention to Peano’s work and that of his collaborators. His purpose was to make this work known in the USA where it “unfortunately is very little known and still less appreciated”. Wilson expands Russell’s well-known acknowledgement of Peano’s influence on his own development, seeing in Peano’s logic more than a new “mathematical tool”, describing Peano as a kind of proto-logicist, and defending him from Poincaré’s criticisms. Especially in (...) geometry, he vindicates several priority issues for Peano’s school with respect to Hilbert in the philosophy of the axiomatic method. (shrink)

In a review of Russell’s Principles from 1904, Edwin B. Wilson pays great attention to Peano’s work and that of his collaborators. His purpose was to make this work known in the USA where it “unfortunately is very little known and still less appreciated”. Wilson expands Russell’s well-known acknowledgement of Peano’s influence on his own development, seeing in Peano’s logic more than a new “mathematical tool”, describing Peano as a kind of proto-logicist, and defending him from Poincaré’s criticisms. Especially in (...) geometry, he vindicates several priority issues for Peano’s school with respect to Hilbert in the philosophy of the axiomatic method. (shrink)

This book introduces readers to the narrative structure of mathematical proofs and why mathematicians communicate that way, drawing examples from classic literature and employing metaphors and imagery.

This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.

Includes bibliographical references and index.