Abeles, Francine F. (Author)
Fuller, Mark E. (Author)
This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis’s association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection takes a historical perspective on proof theory and the development of logic and mathematics in Eastern Logic, the Soviet Union and Russia. The book will be of interest to historians and philosophers in logic and mathematics, and the more specialized papers will also appeal to mathematicians and logicians.
...MoreReview Andrew Aberdein (2017) Review of "Modern Logic 1850-1950, East and West". Isis: International Review Devoted to the History of Science and Its Cultural Influences (pp. 719-720).
Book
Giovanni Vailati;
Claudia Arrighi;
Paola Cantù;
Mauro De Zan;
Patrick Suppes;
(2010)
Logic and Pragmatism: Selected Essays by Giovanni Vailati
(/isis/citation/CBB877530276/)
Book
Ekeland, Ivar;
(2006)
The Best of All Possible Worlds: Mathematics and Destiny
(/isis/citation/CBB000741783/)
Chapter
Silvio Bozzi;
(2000)
Vailati e la logica
(/isis/citation/CBB852479099/)
Book
Brady, Geraldine;
(2000)
From Peirce to Skolem: A Neglected Chapter in the History of Logic
(/isis/citation/CBB000102342/)
Chapter
Lara Piersanti;
(2000)
Vailati e Russell
(/isis/citation/CBB615477680/)
Article
Hintikka, Jaakko;
(2012)
Which Mathematical Logic is the Logic of Mathematics?
(/isis/citation/CBB001214120/)
Book
Vincenzo De Risi;
(2020)
Leibniz and the Structure of Sciences: Modern Perspectives on the History of Logic, Mathematics, Epistemology
(/isis/citation/CBB078314149/)
Article
Schirn, Matthias;
(2010)
On Translating Frege's Die Grundlagen der Arithmetik
(/isis/citation/CBB001210971/)
Book
Alberto Cogliati;
(2024)
La geometria non euclidea. Una breve storia dall’antichità a Poincaré
(/isis/citation/CBB276091257/)
Book
John A. Goldsmith;
Bernard Laks;
(2019)
Battle in the Mind Fields
(/isis/citation/CBB777839551/)
Book
William Boos;
Florence S. Boos;
(2018)
Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)
Article
Manzano, Maria;
Alonso, Enrique;
(2014)
Completeness: From Gödel to Henkin
(/isis/citation/CBB001213927/)
Essay Review
Klement, Kevin C.;
(2007--2008)
A New Century in the Life of a Paradox
(/isis/citation/CBB001567033/)
Article
Ageron, Pierre;
(2002)
L'autre axiome du choix
(/isis/citation/CBB000500323/)
Book
Sacks, Gerald E.;
(2003)
Mathematical Logic in the 20th Century
(/isis/citation/CBB000471012/)
Book
Desmond MacHale;
Yvonne Cohen;
(2018)
New Light on George Boole
(/isis/citation/CBB196236062/)
Book
Flood, Raymond;
Rice, Adrian;
Wilson, Robin;
(2011)
Mathematics in Victorian Britain
(/isis/citation/CBB001221196/)
Thesis
David E. Dunning;
(2020)
Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937
(/isis/citation/CBB517005733/)
Article
Abeles, Francine F.;
(2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees
(/isis/citation/CBB001214122/)
Article
Rusnock, Paul;
(2013)
On Bolzano's Concept of a Sum
(/isis/citation/CBB001212145/)
Be the first to comment!