This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural context in which it evolved. Particular emphasis is placed on the philosophic and logical systems, from Aristotle onward, that provide the basis for the fusion of mathematics and logic in contemporary thought.

No detailed description available for "Eudised".

This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism, mathematical realism, and formalism. The contributing authors are Matthias Baaz, Francesco Berto, Jean-Yves Beziau, Elena Dragalina-Chernya, Günther Eder, Susan Edwards-McKie, Oliver Feldmann, Juliet Floyd, Norbert Gratzl, Richard Heinrich, Janusz Kaczmarek, Wolfgang Kienzler, Timm Lampert, Itala Maria Loffredo D'Ottaviano, Paolo Mancosu, Matthieu Marion, Felix Mühlhölzer, Charles Parsons, Edi Pavlovic, Christoph Pfisterer, Michael Potter, Richard Raatzsch, Esther Ramharter, Stefan Riegelnik, Gabriel Sandu, Georg Schiemer, Gerhard Schurz, Dana Scott, Stewart Shapiro, Karl Sigmund, William W. Tait, Mark van Atten, Maria van der Schaar, Vladimir Vasyukov, Jan von Plato, Jan Woleński and Richard Zach.

The Encyclopaedia of Mathematics is the most up-to-date, authoritative and comprehensive English-language work of reference in mathematics which exists today. With over 7,000 articles from `A-integral' to `Zygmund Class of Functions', supplemented with a wealth of complementary information, and an index volume providing thorough cross-referencing of entries of related interest, the Encyclopaedia of Mathematics offers an immediate source of reference to mathematical definitions, concepts, explanations, surveys, examples, terminology and methods. The depth and breadth of content and the straightforward, careful presentation of the information, with the emphasis on accessibility, makes the Encyclopaedia of Mathematics an immensely useful tool for all mathematicians and other scientists who use, or are confronted by, mathematics in their work. The Enclyclopaedia of Mathematics provides, without doubt, a reference source of mathematical knowledge which is unsurpassed in value and usefulness. It can be highly recommended for use in libraries of universities, research institutes, colleges and even schools.

by Ivor Grattan-Guinness Until twenty years ago the outline history of logicism was well known. Frege had had the important ideas, until he was eclipsed by Wittgenstein. Russell was important in publicising the former and tutoring the latter, and also for working with Moore in the conversion of British philosophy from neo-Hegelianism to the new analytic tradition in the 1900s, but his own work on logic and especially logicism was very muddled. Around that time Russell, who was still alive, sold his manuscripts to McMaster University in Canada, and interest in his achievements in logic began to develop, especially after his death in 1970. Scholars found thousands of folios of unpublished holograph awaiting their attention, and also hundreds of pertinent letters (both in the Russell Archives and elsewhere in certain recipients' collections). Various facets of his work came to light for the first time, and others -which could have been gleaned from carefully reading of the published sources- gained new publicity from the evidence revealed in manuscripts. Even the technical passage work, which constitutes the unread majority of the Principia mathematica (1910-13) of Russell and Whitehead, began to receive a little respectful scrutiny. It turned out that Russell had done several pioneering things. While indeed often incoherent in reference and content, they comprised major forays into the new mathematical logic, of which he turned out to be a major founder: some are even of interest to modem studies.

An Algebraic Approach to Non-Classical Logics