Welcome! to the home page of historian of mathematics and logic Dr. Irving H. Anellis. I am currently a Visting Research Associate at the Peirce Project and Institute for American Thought, Indiana University - Purdue University at Indianapolis. e-mail: ianellis@iupui.edu

Wednesday, February 13, 2008

Irving's Favorites







Favorite Paintings: Raphael, “The School of Athens”; V. Serov, “Zaporzhie Cossacks Writing a Mocking Letter to the Turkish Sultan”; Edvard Munch, “The Scream”



Favorite Sayings:

„Es gibt keine Vorstellungen ohne etwas zu vorstellen.“ — Alexius von Meinong, Über Gegenstände höherer Ordnung

Not “Cogito, ergo sum”, but: Existo, ergo sum.

If Ockham’s razor won’t get rid of the bachelor’s wife — try pegasizing him.

“Life is not first-order; Life is not second-order: Life is Life.” — Jean van Heijenoort

Vera pro gratiis.

“Amicus Plato, sed magis amia veritas.” — Aristotle, Ethicorum Aristotelis Stagiritæ ad Nichomachum, Bk. I, Chapt. 6

“The best way to have a good idea is to have a lot of ideas.” — Linus Pauling

Old logicians never die — they just negate their existential quantifiers!

A = A



Self-description: Старый как малый.



Favorite novels: F. M. Dostoevskii, Cреступление и наказание [Crime and Punishment; better translation “Transgression and Punishment”); Vladimir V. Nabokov, Pnin



Favorite humorists: (literary): Nikolai Gogol’; Nikolai Leskov; Sholom Aleichem; (musical): “P.D.Q. Bach” (aka Peter Schickele)



Favorite poems: anonymous, “Слово о полку Игoреве” [“Lay of the Host of Igor”; also called “Song of Igor’s Campaign”]; anonymous, Поестъ о Горе и Злочастии” [“Tale of Woe and Misfortune”; sometimes also mistranslated as “Misery-Luckless Plight”] (which I think it’s about me)



Favorite literary non-fiction: Слово “O законе и блаодати” [Sermon “On Law and Grace” of Metropolitan Ilarion; “Житие протопoпа Аввакума, имъ самимъ написанное” [The Life of Protopope Avvakum, written by Himself]



Favorite operas: Mussorgskii, “Boris Godunov”, “Khovanshchina”; Borodin, “Prince Igor”; Verdi, “Aida”



Favorite orchestral works:
Mozart, “Eine kleine Nachtmusik“, Beethoven, Sympony No. 9, „Choral“



Favorite all-around composers (in roughly descending order):
J. S. Bach, Mozart, Joseph Haydn, Telemann, Pachelbel, Alessandro Scarlatti, Domenico Scarlatti



Some favorite intellectual companions:

History: Herodotus; Thucydides; Plutarch; Jacob Burckhardt; John Bagnell Bury; Michael Grant

Theology/Religious Thought: Hilarion; Avvakum; Feodr Dostoevsky; St. Pavel Florensky; Nikolai Berdyaev

Philosophy: Aristotle; Gottfried W. Leibniz; Immanuel Kant; Edmund Husserl; Rudolf Carnap; Ludwig Wittgenstein

Psychology & History of Psychology: William James, Granville Stanley Hall, Alexius von Meinong; George Sidney Brett

Mathematics: Euclid; Paolo Bonasoni; Karl Friedrich Gauss; Nikolai Lobachevsky; Hermann Grassmann; William Rowan Hamilton; Karl Weierstrass; Eugenio Beltrami; Saunders Mac Lane

Logic & Set Theory: Aristotle; Chrysippus; G. W. Leibniz; George Boole; Charles S. Peirce; Richard Dedekind; Georg Cantor; David Hilbert; Ernst Schröder; Giuseppe Peano; Gottlob Frege; Bertrand Russell; Ivan Zhegalkin; Edward V. Huntington; Kurt Gödel

History & Philosophy of Mathematics: Dietrich Mahnke; Sof'ya Yanovskaya; Feodr Medvedev

History of Logic: Robert Adamson; Nikolai Styazhkin; Jean van Heijenoort




Some favorite web sites and newsgroups:

Logic on the World Wide Web: http:www_phil.tamu.edu/Philosophy/logic.html

An Annotated Bibliography on the History of Logic: http://www.formalontology.it/history_of_logic.htm

ARISBE: The Peirce Gateway: http://www.cspeirce.com/

Peirce List: Peirce-l@lyris.ttu.edu

Collection of Computer Science Bibliographies: linwww.ira.yka.de/bibliography/

Math Forum Internet Mathematics Library: http://mathforum.org/library/

Bertrand Russell Archives: http://www.mcmaster.ca/russdocs/russell.htm

Russell List: russell-l@mailman.cis.McMaster.CA

Kurt-Gödel-Gesellshchaft: http://kgs.logic.at/

Hist-Math: historia-mathematica@chasque.apc.org

For links to Mathematical Logic around the world, the most complete source for lists of web sites devoted to the subject, visit http://world.logic.at/



GoTo:

Irving Anellis's Home Page

Bibliography of Irving H. Anellis

Dr. Irving Anellis's Curriculum Vitae

Monday, February 4, 2008

Bibliography of Irving H. Anellis

BIBLIOGRAPHY OF IRVING H. ANELLIS


GoTo:

Irving Anellis Home Page

Dr. Anellis's Curriculum Vitae

Irving's Favorites

Book giveaway

An Annotated Bibliography of Western-Language (Mainly English) Sources on the History of Formal Logic in Russia


Bibliography Index

Logic, history & philosophy of logic, history & philosophy of mathematics
*Books *Articles *Reviews, Abstracts, Reports, Notes *Edited work

Psychology, philosophy of mind, AI and cognitive science, mental health

General philosophy, Soviet philosophy; history of science

Miscellaneous

Some writings (pro et contra) on my work

Other

Recent lecture invitations


Logic, history & philosophy of logic, history & philosophy of mathematics:

Books:
Ontological Commitment in Ideal Languages, (Ph.D. thesis, Brandeis University). Ann Arbor: University Microfilms, 1977.

Truth Trees for the Propositional Calculus and Quantification Theory: Introduction to Set Theory and Logic; Lecture Notes, Mississippi Valley State University (Itta Bena, Miss.: Mississippi Valley State University, 1980).

Introduction to Proof Theory: Papers in Metamathematics; Lecture Notes, Mississippi Valley State University (Itta Bena, Miss.: Mississippi Valley State University, 1980).

Jean van Heijenoort: Logic and Its History in the Work and Writings of Jean van Heijenoort (Ames, Iowa: Modern Logic Publishing, MLP Books, 1994).

(with a "Foreword by Benjamin S. Hawkins, Jr.), Evaluating Bertrand Russell (Fort Dodge, Iowa: Peirce Publishing, 2006).


Articles:

"Truth Trees for the Propositional Calculus and Quantification Theory" (mimeo; May 1979, 12pp.)

"Un'inconsistenza nell'aritmetica di Peano (PA), dimonstrata da una prova di consistenza relativa usando l'aritmetica di Presburger (P*A)", Nominazione: Rivista Internazionale di Logica 1 (1980), 36-42.

"La psicologia di Piaget, la matematica costruttivista e l'interpretazione semantica della verita secondo la teoria degli insiemi", Nominazione: Rivista Internazionale di Logica 2 (1981), 174-188.

"Boolean Groups", Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, Dedekind-Tagung issue 33 (1982), 85-97.

"Russell's Earliest Reactions to Cantorian Set theory, 1896-1900", Axiomatic Set Theory (James E. Baumgartner, Donald A. Martin & Saharon Shelah, eds.), Contemporary Mathematics 31 (Providence: American Mathematical Society, 1984), 1-11.

"Russell's Problems with the Calculus", in Christa Binder (ed.), Proceedings of the Austrian Symposium on History of Mathematics, 9-15 November 1986, Neuhofen an der Ybbes (Vienna: Österreichische Gesellschaft der Geschichte der Wissenschaften, 1986), 124-128.

"Russell's Problems with the Calculus", Vadim L. Rabinovich (ed.), Abstracts, LMPS '87, Moscow, USSR, 17-22 August 1987, Eighth International Congress of Logic, Methodology and Philosophy of Science (Moscow, Acad. Sci. USSR, 1987), vol. 3, §13, 16-19. (revised version of the previous)

"Sof'ja Aleksandrovna Janovskaja (1896-1966)", in Louise S. Grinstein & Paul J. Campbell (eds.), Women of Mathematics: A Biobibliographic Sourcebook (New York/Westport, Conn./London, Greenwood Press, 1987), 80-85.

"The Heritage of S. A. Janovskaja", History and Philosophy of Logic 8 (1987), 45-56.

"Russell's Earliest Interpretation of Cantorian Set Theory, 1896-1900", Philosophia Mathematica (2) 2 (1987), 1-31.

"Bertrand Russell's Theory of Numbers, 1896-1898", Epistemologia 10 (1987), 303-322.

"Russell and Engels: Two Approaches to a Hegelian Philosophy of Mathematics", Philosophia Mathematica (2) 3 (1987), 151-179.

"Bibliografía de Jean van Heijenoort", Mathesis 3 (1987), 85-88.

"Some Unpublished Papers of Jean van Heijenoort", Historia Mathematica 15 (1988), 270-274.

"Distortions and Discontinuities in Mathematical Progress: a matter of style, a matter of luck, a matter of time, ... a matter of fact", Philosophica 43 (1989), 163-196.

"La obra de Jean van Heijenoort en el campo de la lógica: sus aporttaciones a la teoría de la demonstración", Mathesis 5 (1989), 353-370.

"The Roots of Mathematics Education in Russia in the Age of Peter the Great", Philosophia Mathematica (2) 5 (1990), 23-55.

"From Semantic Tableaux to Smullyan Trees: A History of the Development of the Falsifiability Tree Method", Modern Logic 1 (1990), 36-69; 263.

"Schröder Material at the Russell Archives", Modern Logic 1 (1990-1991), 237-247.

"Jean van Heijenoort (1912-1986)", in Thomas Drucker (ed.), Perspectives on the History of Mathematical Logic (Boston/Basel/Stuttgart: Birkhäuser, 1991), xiii-xiv.

"The First Russell Paradox", in Thomas Drucker (ed.), Perspectives on the History of Mathematical Logic (Boston/Basel/Berlin: Birkhäuser, 1991), 33-46.

"The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory", in Thomas Drucker (ed.), Perspectives on the History of Mathematical Logic (Boston/Basel/Berlin: Birkhäuser, 1991), 71-83.

(with Nathan Houser), "The Nineteenth Century Roots of Universal Algebra and Algebraic Logic", in Hajnal Andréka, James Donald Monk, István Németi (eds.), Colloquia Mathematica Societis János Bolyai 54. Algebraic Logic, Budapest (Hungary), 1988 (Amsterdam/London/New York: North-Holland, 1991), 1-36.

"Forty Years of "Unnatural" Natural Deduction and Quantification: A History of First-order Systems of Natural Deduction, from Gentzen to Copi", Modern Logic 2 (1991), 113-152.

"Theology against Logic: The Origins of Logic in Old Russia", History and Philosophy of Logic 13 (1992), 15-42. (On-line abstract: http://www.informaworld.com/smpp/content~content=a776178711~db=all~order=page.)

"A Sketch of Jean van Heijenoort's View of the History of Modern Logic: Introduction to an Unpublished Paper", Modern Logic 2 (1992), 239-241.

"Jean van Heijenoort's Contributions to Proof Theory and Its History", Modern Logic 2 (1992), 312-335.

"Editorial: On the Selection and Use of Sources in the History of Logic", Modern Logic 3 (1992), 1-17.

"Joon Fang of Jaean — A Retrospective", Modern Logic 3 (1993), 145-155.

"La geometría en Rusia durante el siglo XVII y principios del XVIII", Mathesis 12 (1992), 345-363.

"Logic and Mathematics in the Library of Casimir Lewy", Modern Logic 4 (1994), 286-298.

"Non-euclidean Geometry in the Pre-Principia Development of Russell's Logical Program, from An Essay on the Foundations of Geometry (1897) to "The Axioms of Geometry" (1899)", in A. P. Shirokov (editor), In Memoriam N. I. Lobachevskii, vol. III, pt. 2. Collection des mémoires présentés par les savants de divers pays à la Société Physico-Mathématique de Kazan à l'occasion de la célébration du bicentenaire de N. I. Lobatcheffsky (Kazan, Izdat. Kazanskogo Universiteta, 1995), 104-115.

(with Thomas L. Drucker, Nathan Houser, Volker Peckhaus, and Christian Thiel), "Studies in the Nineteenth-century History of Algebraic Logic and Universal Algebra: A Secondary Bibliography", Modern Logic 5 (1995), 1-120.

"Editorial: The Scholarly and Critical Edition (in History of Logic): Historiographical Reflections on Its Nature and Purpose, or, How to Read and Review a Scholarly and Critical Edition", Modern Logic 5 (1995), 173-183.

"Peirce Rustled, Russell Pierced: How Charles Peirce and Bertrand Russell Viewed Each Other's Work in Logic, and an Assessment of Russell's Accuracy and Role in the Historiography of Logic", Modern Logic 5 (1995), 270-328; electronic version at: http://www.cspeirce.com/menu/library/aboutcsp/anellis/csp&br.htm.

"Sof'ya Aleksandrovna Yanovskaya's Contributions to Logic and History of Logic", Modern Logic 6 (1996), 7-36.

"John Vincent Atanasoff — His Place in the History of Computer Logic and Technology", Modern Logic 7 (1997), 1-24.

"Geometry in Russia in the Seventeenth and Early Eighteenth Centuries", in Douglas E. Cameron & James D. Wine (eds.), Proceedings of the Midwest Mathematics History Conferences, Vol. 1: Proceedings of the Fourth Midwest Conference on The History of Mathematics, Miami University, Oxford, Ohio, October, 2-3, 1992 (Ames, Iowa: Modern Logic Publishing, MLP Books, 1997), 3-25.

"Tarski's Development of Peirce's Logic of Relations", in Nathan Houser, Don D. Roberts, James W. Van Evra (eds.), Studies in the Logic of Charles Sanders Peirce (Indianapolis/Bloomington: Indiana University Press, 1997), 271-303.

"Thomas Anderson Goudge and the Introduction of Symbolic Logic at the University of Toronto", Modern Logic 7 (1997), 225-232.

"A Personal Retrospective on the Tenth Anniversary of the Death of Evelyn M. Nelson, 1943-1987", Modern Logic 7 (1997), 268-271.

"Leon Trotsky on Mathematics and Logic", Povolzhskii zhurnal po filosofii i sotsial'nym naukam [Volga Journal of Philosophy and Social Science] (no. 5; 10.07.99); 14pp., http://www.ssu.samara.ru/research/philosophy/Articles.asp?Article%20ID%20=12691, and §§0-5, Povolzhskii zhurnal po filosofii i sotsial'nym naukam, http://www.oldssu. samara.ru/research/philosophy/journal3/2ml [these web pages no longer available] (see also: [Marxism-Thaxis] Irving Anellis on "Leon Trotsky on Mathematics and Logic", Jim Farmelant, http://lists.econ.utah.edu/pipermail/marxism-thaxis/2002-October/017767.html; [Marxism-Thaxis] Ralph Dumain on "Trotsky, Van Heijenoort, Anellis", Jim Farmelant, http://lists.econ.utah.edu/pipermail/marxism-thaxis/2002-October/017771.html)

"The Genesis of the Truth-table Device", Russell (n.s.) 24 (Summer 2004), 55-70;

on-line abstract: http://digitalcommons.mcmaster.ca/russelljournal/vol24/iss1/5/.

"Ernest and Anellis Up a Tree", Review of Modern Logic 9:3/4 (2001-2004), 7-20.

"Bahm, Archie John (1907-1966)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C, p. 111, col. 1-p.112, col. 2.

(with John R. Shook), "Charles Augustus Baylis (1902-1975)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C, p. 157, col. 1-p. 158, col. 1.

"Benjamin, Abram Cornelius (1897-1968)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C, p. 194, col. 1-p. 195, col. 1.

(with John R. Shook), "Bentley, Arthur Fisher (1870-1957)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C, p. 203, col. 2-p. 205, col. 1.

"Bergmann, Gustav (1906-1987)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C. p. 209, col. 1-p. 212, col. 1.

"Birkhoff, Garrett (1911-1996), in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C. p. 231, col. 1-p. 232, col. 1.

"Brown, Harold Chapman (1879-1943)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C, p. 355, col. 1-p. 356, col. 2.

"Churchman, Charles West (1913-2004)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C, p. 494, col. 1-p. 497, col. 1.

"Copi, Irving M. (1917-2002)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C, p. 542, col. 2-p. 454, col. 1.

(with John R. Shook), "Craig, William (1918-)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 1: A-C, p. 548, col. 1-p, 549, col. 1.

"De Laguna, Theodore de Leo (1876-1930)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 2: D-J, p. 608, col. 1-p. 609, col. 1.

"Feferman, Solomon (1928-)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 2: D-J, p. 752, col. 2-p. 753, col. 2.

"Fiske, John (1842-1901)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 2: D-J, p. 795, col. 1-p. 799, col. 2.

"Fitch, Frederic Brenton (1909-1987)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 2: D-J, p. 799, col. 2-p. 802, col. 1.

"Henle, Paul (1908-1962)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 2: D-J, p. 1091, coll. 1-2.

"Huntington, Edward V. (1874-1952)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 2: D-J, p. 1196, col. 1-p. 1197, col. 2.

"Kemeny, John George (1926-1992)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 1294, col. 1-p. 1295, col. 1.

"Keyser, Cassisus Jackson (1862-1947)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 1296, col. 1-p. 1297, col. 2.

"Korzybski, Alfred Vladislavovich Habdank Skarbek (1879-1950)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), col. 3: K-Q, p. 1351, col. 1-p. 1352, col. 2.

"Koyré, Alexandre (1892-1964)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 1352, col. 2-p. 1354, col. 1.

"Kreisel, Georg (1923-)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 1355, col. 2-p. 1359, col. 2.

"Marquand, Allan (1853-1924)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 1623, col. 2-p. 1625, col. 1.

"Martin, Richard Milton (1916-1985)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 1628, col. 2-p. 1650, col. 1.

"Nagel, Ernest (1901-1985)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 17687, col. 1-p. 1790, col. 2.

(with John R. Shook), "Nelson, Everett John (1900-1988)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 1807, col. 2-p. 1808, col. 2.

"Parry, William Tuthill (1908-1988)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 1869, col. 1-p. 1807, col. 2.

"Post, Emil Leon (1897-1954)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 3: K-Q, p. 1951, col. 2-p. 1955, col. 1.

"Sheffer, Henry Maurice (1882-1964)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2202, col. 2-p. 2005, col. 1.

"Smart, Harold Robert (1892-1979)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2241, col. 2-p. 2242, col. 2.

"Smith, Henry Bradford (1882-1938)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2250, col. 1-p. 2251, col. 2.

"Smullyan, Arthur Francis (1912-1998)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2267, col. 1-p. 2268, col. 1.

"Sommers, Frederic Tamler (1923-)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2281, col. 2-p. 2283, col. 1.

"Suppes, Patrick Colonel (1922-)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2357, col. 2-p. 2359, col. 2.

"Tarski, Alfred (1901-1983)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2380, col. 1-p. 2384, col. 1.

(with John R. Shook), "Ushenko, Andrew Paul (1900-1956)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2468, col. 2-p. 2470, col. 1.

"van Heijenoort, Jean (1912-1986)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2476, col. 1-p. 2479, col. 1.

"Veblen, Oswald (1880-1960)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. 4: R-Z, p. 2480, col. 2-p. 2481, col. 2.

"Wang, Hao (1921-1995)", in John R. Shook (ed.), Dictionary of Modern American Philosophers, 1860-1960 (Bristol: Thoemmes Press, 2005), vol. R-Z, p. 2508, col. 1-p. 2512, col. 2.

"Some Views of Russell and Russell's Logic by His Contemporaries", Review of Modern Logic 10:1/2 (2004-2005), 67-97; electronic version: "Some Views of

Russell and Russell's Logic by His Contemporaries, with Particular Reference to Peirce", http://www.cspeirce.com/menu/library/aboutcsp/anellis/views.pdf.

"Gödel and the Naming of the Skolem Function", in V. I. Kobzar’, A. I. Migunov, Ya. A. Slinin, & B. I. Fedorov (eds.), Sovremennaya logika: problemy teorii, istorii i primenenia v nauke. Materialy IX Obshche rossiiskoi nauchnoi konferentsii 22-24 iunya, 2006 g. (Saint Petersburg: Izdatel’stvo Sankt Peterburgskii universitet, 2006), 410-413.

"The Rise of Modern Logic: From Leibniz to Frege. Review-Essay of Handbook of the History of Logic, Volume 3, Review of Modern Logic 10:3/4 (2005-2007), 13-90.

"The Reorientation of the Russian Mathematical Mentality in the Age of Peter the Great", History and Pedagogy of Mathematics Newsletter, no. 66 (November 2007), 14-18; http://www.clab.edu.uoc.gr/hpm/.

(Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier, with the assistance of Irving H. Anellis, Paolo Bussotti, Lawrence C. Paulson), "Jacques Herbrand: Life, Logic, and Automated Deduction", in Dov M. Gabbay & John Woods (editors), Handbook of the History of Logic; forthcoming.


Reviews, Abstracts, Reports, Notes:

"Ontological Commitment in Ideal Languages: Semantic Interpretations for Logical Positivism", Dissertation Abstracts International 38A (1977), 2839-2840.

"Universality in Frege's Begriffsschrift: Ontological Commitment in Mathematical Logic"; mimeo ts., 1p., Feb. 1978.

"An Inconsistency in Peano Arithmetic (PA), Demonstrated by a Relative Consistency Proof using Presburger Arithmetic (P*A). Preliminary report", Notices of the American Mathematical Society 25 (1978), A666-667.

"A Second-order Functional Calculus C(ST). Preliminary report", Notices of the American Mathematical Society 25 (1978), A715.

"The Löwenheim-Skolem Theorem, Theories of Quantification, and Beweistheorie", Notices of the American Mathematical Society 26 (1979), A22.

"A Quantum Logic C(QM╞ C(ST). Preliminary report", Notices of the American Mathematical Society 26 (1979), A223.

"A Classical Technique for Description of Quantal States", Notices of the American Mathematical Society 26 (1979), A277.

Review of Arto Salomma and Matti Soittola, Automata-theoretic Aspects of Formal Power Series, Cognition and Brain Theory 3 (1979), 17.

"Conjecture on Gödel Incompleteness and Countable Models", Notices of the American Mathematical Society 26 (1979), A441.

"Conjecture on Gödel Incompleteness and Countable Models"; (mimeo; May 1979).

"More on the Conjecture on Gödel Incompleteness and Countable Models", Notices of the American Mathematical Society 26 (1979), A527.

"A New Proof for the Strong Version of the Löwenheim-Skolem Theorem. Preliminary report", Notices of the American Mathematical Society 26 (1979), A6.

Review of David C. Rine (ed.), Computer Science and Multiple-Valued Logic: Theory and Applications, Cognition and Brain Theory 3 (1980), 116.

"Integer-representability of Gödel Incompleteness", Abstracts of Papers Presented to the American Mathematical Society 1 (1980), 198.

"Proof-theoretic Gödel Incompleteness for Z*", Abstracts of Papers Presented to the American Mathematical Society 1 (1980), 389-390.

Review of J. A. Robinson, Logic: Form and Function, Cognition and Brain Theory 4 (1981), 191-193.

"Boolean Groups", Abstracts of Papers Presented to the American Mathematical Society 2 (1981), 427.

"Logic Trees" (mimeo; Nov. 1981).

"Some Theorems for Boolean Groups", Abstracts of Papers Presented to the American Mathematical Society 3 (1982), 36; 394.

"Extension of a Boolean Group", Abstracts of Papers Presented to the American Mathematical Society 3 (1982), 256.

"Quasipotent Boolean Z-groups", Abstracts of Papers Presented to the American Mathematical Society 3 (1982), 287.

"Reply to a Problem of S. Lee", Canadian Mathematical Society Abstracts (1982), 1-2.

"Structure of Quasipotent Boolean Z-groups", Abstracts of Papers Presented to the American Mathematical Society 3 (1982), 329.

"The Divisible Torsion-free Abelian Group has a Model in the Infinitary Universal Algebra W*", Abstracts of Papers Presented to the American Mathematical Society 3 (1982), 592.

Review of B. V. Birjukov and A. G. Spirkin (eds.), Kibernetika i Logika, Studies in Soviet Thought 23 (1982), 171-181.

"The Set of Recursive Ordinals is Decidable", Abstracts of Papers Presented to the American Mathematical Society 4 (1983), 5

"The Limaye Conjecture on Banach Spaces and the Axiom of Choice", Abstracts of Papers Presented to the American Mathematical Society 4 (1983), 298-299.

"Russell on Cantor, 1896-1897", Abstracts of Papers Presented to the American Mathematical Society 4 (1983), 385.

"Response to a Query of J. P. Van Bendegem Concerning A. S. Esenin-Vol'pin, Query #271", Notices of the American Mathematical Society 30 (1983), 491.

Review of A. D. Aleksandrov, A. N. Kolmogorov & M. A. Lavrent'ev (eds.), Matematika: ee soderzanie, metody, i znachenie, and English translation, Mathematics: Its Content, Methods, and Meaning (transl. T. Bartha, S. H. Gould & K. Hirsh), Studies in Soviet Thought 25 (1983), 233-241.

"Constructive Analysis is Non-Hausdorff", Journal of Symbolic Logic 48 (1983), 903-904.

"Bertrand Russell's Earliest Reactions to Cantorian Set Theory. Preliminary report", Abstracts of Papers Presented to the American Mathematical Society 4

(1983), 531.

"Conjecture on Gödel Incompleteness and Countable Models: Herbrand Symposium", Journal of Symbolic Logic 48(1983), 1210.

"Formal Arithmetic and the Definition of Number", Journal of Symbolic Logic 48 (1983), 1233-1234;

(pdf version: http://www.global-supercomputing.com/people/kemal.ebcioglu/pdf/Case-Ebcioglu-Fulk-1983.pdf;

html version: http://72.14.205.104/search?q=cache:oIC6nKx2ZkcJ:www.global-supercomputing.com/people/kemal.ebcioglu/pdf/Case-Ebcioglu-Fulk-1983.pdf+Irving+Anellis&hl=en&ct=clnk&cd=48&gl=us)

"Russell's Earliest Reactions to Cantorian Set Theory, 1896-1900", Zentralblatt für Mathematik 521(1984), #01010, 11-12.

"Letter to the Editor: Axiom of Choice", Notices of the American Mathematical Society 31 (1984), 17.

"Russell on Cantor: An Early Version of the Russell paradox? Preliminary report", Abstracts of Papers Presented to the American Mathematical Society 5 (1984), 128.

"Poretskii's Proof of Vailati's Theorem", Abstracts of Papers Presented to the American Mathematical Society 5 (1984), 259.

"Boolean Groups and Boolean Z-groups", in Stephen D. Comer (ed.), Abstracts, Conference on Universal Algebra and Lattice Theory, Charleston, July 11-14, 1984, 2.

"The First Russell Paradox", Abstracts of Papers Presented to the American Mathematical Society 6 (1985), 11.

"The First Russell Paradox", Historia Mathematica 12 (1985), 380. (reprinted from previous)

"The Tarski Algorithm for ORD", Abstracts of Papers Presented to the American Mathematical Society 6 (1985), 134.

"A New Proof for the Strong Version of the Löwenheim-Skolem Theorem", Journal of Symbolic Logic 50 (1985), 281-282.

"The Heritage of S. A. Janovskaja. Preliminary report", Abstracts of Papers Presented to the American Mathematical Society 7 (1986), 3.

"The Heritage of S. A. Janovskaja" , in J. D. Wine (ed.), Abstracts, Math-History Conference, University of Wisconsin-La Crosse, April 1, 1986, 1.

"The Heritage of S. A. Janovskaja", Abstracts, Canadian Society for History & Philosophy of Mathematics, Annual Meeting, University of Manitoba, Winnipeg, May 26-28, 1986, 3-4.

"The Heritage of S. A. Janovskaja", Philosopher's Index 21, no. 4 (Winter 1987), 93.

"A Minor Mystery Solved: Russell's 'On Number'", Abstracts of Papers Presented to the American Mathematical Society 7 (1986), 171.

"The Picture-theoretic Semantic for Principia-like Formal Systems", Journal of Symbolic Logic 51 (1986), 481-482.

"Bertrand Russell's Theory of Numbers, 1894-1898", Journal of Symbolic Logic 51 (1986), 509-510.

"Bonasoni and the History of Analytic Geometry, I. Bonasoni's Geometrical Algebra", Abstracts of Papers Presented to the American Mathematical Society 7 (1986), 367.

Notes and commentary to A. G. Barabashev, "Philosophy of mathematics in the USSR, Part I: General overview", Philosophia Mathematica (2) 1 (1986), 26-34.

"Obituary: Jean van Heijenoort (1912-1986)", History and Philosophy of Logic 7 (1986), 121.

"Obituary: Jean van Heijenoort (1912-1986)", Bulletin of the Canadian Society for History & Philosophy of Mathematics, no. 1 (Nov. 1986), 6.

"In Remembrance of Jean van Heijenoort (1912-1986)", Historia Mathematica 14 (1987), 76.

"Necrologia: Jean van Heijenoort", Notizie di Logica 5, no. 3 (1986), 12.

"Bonasoni and the History of Analytic Geometry, II. Bonasoni, Precursor to Descartes", Abstracts of Papers Presented to the American Mathematical Society 8 (1987), 136.

"The Protohistory of Metalogic. Preliminary report", Abstracts of Papers Presented to the American Mathematical Society 8 (1987), 254.

"Jean van Heijenoort as a Logician — in Memory of Jean van Heijenoort, 1912-1986", Abstracts, Canadian Society for History & Philosophy of Mathematics, 13th Annual Meeting, McMaster Univ., Hamilton, Ontario, May 25-27, 1987, Programme; abstract #2, 2.

"Jean van Heijenoort as a Logician — in Memory of Jean van Heijenoort, 1912-1986", in James D. Wine (ed.), 2nd University of Wisconsin-LaCrosse Math-History Conference, 21 April 1988, 1 (reprint of the previous).

"Jean van Heijenoort as a Logician — in Memory of Jean van Heijenoort, 1912-1986", in Stephen D. Comer (ed.), Third Southeastern Logic Symposium, Abstracts, Charleston, March 7, 1987, 3-4; (reprint, with revisions, of the previous).

"Jean van Heijenoort as a Logician — in Memory of Jean van Heijenoort, 1912-1986", Journal of Symbolic Logic 53 (1988), 1005 (reprinted, with further revisions, of the previous).

"Jean van Heijenoort como logico — en memoria de Jean van Heijenoort, 1912-1986", Mathesis 3 (1987), 332.

"Jean van Heijenoort as a Logician", Bulletin of the Multiple-Valued Logic Technical Committee 8, no. 2 (Spring 1987), abstract no. 4, p. 11-12.

"Mathematical Hegelianism? Russell and Engels on Philosophy of Mathematics", Abstracts, Canadian Society for History& Philosophy of Mathematics, 13th Annual Meeting, McMaster University, Hamilton, Ontario, May 25-27, 1987, Programme; abstract #3, 4.

"¿Hegelianismo matematico? Russell y Engels sobre filosofia de las matematicas", Mathesis 3 (1987), 329.

"History of Mathematical Logic in the Soviet Union, 1917-1980 (announcement of a project)", Journal of Symbolic Logic 52 (1987), 883-884.

"Mathematical Logic in the Soviet Union, 1917-1980", Historia Mathematica 14 (1987), 285-287.

"Mathematical Logic in the Soviet Union, 1917-1980", History and Philosophy of Logic 8 (1987), 71-76 (extensively revised and expanded, from the previous).

"Constructive Automata and Semigroup Theory. Preliminary report", Abstracts of Papers Presented to the American Mathematical Society 8 (1987), 338.

Review of Algebra Geometrica by Paolo Bonasoni, edited and translated by Robert Schmidt, Philosophia Mathematica (2) 2 (1987), 110-116.

Review of Morris Kline, Mathematics, the Loss of Certainty, Philosophia Mathematica (2) 2 (1987), 117.

Review of Paul R. Halmos, I Want To Be a Mathematician: An Automathography, Philosophia Mathematica (2) 2 (1987), 117-118.

Review of Gottlob Frege, Posthumous Writings, Philosophia Mathematica (2) 2 (1987), 118.

Review of Gottlob Frege, Philosophical and Mathematical Correspondence, Philosophia Mathematica (2) 2 (1987), 118-119.

Review of Jacques Stern (ed.), Proceedings of the Herbrand Symposium, Logic Colloquium '81, Philosophia Mathematica (2) 2 (1987), 119.

Review of Per Martin-Löf, Intuitionistic Type Theory, Philosophia Mathematica (2) 2 (1987), 119-120.

Review of Zermelo's Axiom of Choice: Its Origins, Development, and Influence, by Gregory H. Moore, Philosophia Mathematica (2) 2 (1987), 120.

Review of Herman Rubin and Jean E. Rubin, Equivalents of the Axiom of Choice, II, Philosophia Mathematica (2) 2 (1987), 120-121.

Review of Cantorian Set Theory and Limitation of Size, by Michael Hallett, Philosophia Mathematica (2) 2 (1987), 122.

Review of Foundations of Constructive Mathematics, by Michael J. Beeson, Philosophia Mathematica (2) 2 (1987), 122.

"[Report on] The Conference on the History of Mathematics, University of Wisconsin-LaCrosse, April 1, 1986", Philosophia Mathematica (2) 2 (1987), 123-125.

"Report on the Thirteenth Annual Meeting of the Canadian Society for History and Philosophy of Mathematics", Philosophia Mathematica (2) 2 (1987), 211-223.

"The Logico-linguistic Turn — Russell's Revolution in Philosophy: A Review of John G. Slater (ed.), Bertrand Russell, The Philosophy of Logical Atomism and Other Essays, 1914-19", Russell Society News, no. 57 (February 1988), 22-24.

"The Logico-linguistic Turn — Russell's Revolution in Philosophy: A Review of John G. Slater (ed.), Bertrand Russell, The Philosophy of Logical Atomism and Other Essays, 1914-19", Russell (n.s.) 7, no. 2 (Winter 1987-88), 101-102. (excerpted from previous)

"Son of Bonasoni" in Hindsight, no. 2 (1988), 40.

"The Abian Paradox", Abstracts of Papers Presented to the American Mathematical Society 9 (1988), 6; "Correction", Abstracts of Papers Presented to the American Mathematical Society 9 (1988), 203.

"The Nineteenth Century Roots of Universal Algebra and Algebraic Logic", Canadian Society for History &Philosophy of Mathematics 14th Annual Meeting, University of Windsor, Windsor, Ontario, 29-30 May 1988, Programme, abstract #2, 3-4.

(with Nathan Houser), "The Nineteenth Century Roots of Universal Algebra and Algebraic Logic: A Critical-bibliographical Guide for the Contemporary Logician", in I. Németi (ed.), Abstracts, Conference on Algebraic Logic , August 8-14, 1988, Budapest, Hungary (Budapest, J. Bolyai Math. Soc., 1988), 1.

"A History of Logic Trees", Canadian Society for History & Philosophy of Mathematics 14th Annual Meeting, University of Windsor, Windsor, Ontario, 29-30 May 1988, Programme, abstract #3, 4.

"Maslov's Inverse Method and its Applications to Programming Logic", Iowa State University Conference on Algebraic Logic and Universal Algebra in Computer Science, 1-4 June 1988, Ames, Iowa, Abstracts, 2.

Review of The Interpretation of Frege's Philosophy, by Michael Dummett, American Philosophical Association Newsletter on Teaching Philosophy (June 1988), 18-19.

(with Fred Seddon), "Stringy Lattices. Preliminary report", Abstracts of Papers Presented to the American Mathematical Society 9 (1988), 273.

"A consumer-friendly Calculus Course. Preliminary report", Abstracts of Papers Presented to the American Mathematical Society 9 (1988), 276.

(with Nathan Houser), "Some Evaluations of C. S. Peirce's Contributions to Algebraic Logic. Preliminary report", Abstracts of Papers Presented to the American Mathematical Society 9 (1988), 284.

"Jean van Heijenoort's Contributions to Intuitionistic Logic", Summer School & Conference on Mathematical Logic honourably dedicated to the 90-th anniversary of Arend Heyting, September13-23, 1988, Chaika (near Varna), Bulgaria, Abstracts (Sofia, Izdat. s Pechatitsa na Bulgar. Akad. Nauka, 1988), 6.

"Bertrand Russell's Theory of Numbers, 1896-1898", Philosopher's Index 22, no. 3 (Fall 1988), 98.

Review of Glenn J. Satty, Thomas J. Blakeley & James G. Colbert, Computing and Logic, Mathematics and Language, Newsletter on Teaching Philosophy 88 (no. 3, Spring 1989), 119-121.

"Before Euler: The Roots of Mathematics and Mathematics Education in Russia in the Age of Peter the Great", Abstracts of Papers Presented to the American Mathematical Society 11 (1990), 3.

"The Roots of Mathematics and Mathematics Education in Russia in the Age of Peter the Great", Iowa Section MAA Newsletter 4 (no. 2, March 1990), 9.

Notice of Geoffrey Howson, "Applications in the History of Mathematics Teaching," History and Pedagogy of Mathematics Newsletter no. 20 (July 1990), 12.

"Letter Re: Watling's Review of Russell's Cambridge Essays", Russell Society News (no. 67, August 1990), 26.

"The Abian Paradox and the Proper Ancestral Paradox", Journal of Symbolic Logic 55 (1990), 443-444.

Review of Elementary Symbolic Logic by William Gustason & Dolph E. Ulrich, American Philosophical Association Newsletter on Teaching Philosophy 90 (no. 3, Fall 1991), 74-75.

"Introducing Modern Logic", Modern Logic 1 (1990), 1-2.

"Editor's Note: A History of Logic Trees", Modern Logic 1 (1990), 22-24.

"In Memoriam — Steven Orey", Modern Logic 1 (1991), 105. (signed "Editor")

"Varia: Russell on Understanding the Principia — A Little-known Source", Modern Logic 1 (1991), 200.

"William P. Hanf", Modern Logic 1 (1991), 353.

(compiler), "Hanf's Bibliography", Modern Logic 1 (1991), 354.

"In Memoriam: Robert R. Stoll", Modern Logic 1 (1991), 359. (signed "Editor")

"Editor's Note: Burgin and the Theory of Named Sets", Modern Logic 2 (1991), 1-2.

"Kant, Axiomatics, Logic and Geometry: Review of Immanuel Kant, 'Logic'", Modern Logic 2 (1991), 77-103.

Review of Logic by Richard Baum, American Philosophical Association Newsletter on Teaching Philosophy 90 (no. 3, Fall 1991), 75-77.

Review of Mary Tiles, The Philosophy of Set Theory, Isis 82 (1991), 173-174.

"Editor's Introduction, Special issue on Jean van Heijenoort", Modern Logic 2 (1992), 225-226.

Review of Jean van Heijenoort, El desarrollo de la teoría de la cuantificación, Modern Logic 2 (1992), 338-341.

"New Russian Work on Russell: Review of A. S. Kolesnikov, Filosofiya Bertrana Rasela", Russell 12 (no. 1, Summer 1992), 105-111.

Review of Mary Tiles, The Philosophy of Set Theory: A Historical Introduction to Cantor's Paradise, Modern Logic 2 (1992), 392-404.

Review of The Peirce Edition Project, Writings of Charles S. Peirce: A chronological edition, volumes I-IV, Modern Logic 3 (1992), 77-92.

(with Thomas Drucker), "In Memoriam — William C. Kneale", Modern Logic 3 (1993), 158-160.

"In Memoriam — George Frederick James Temple", Modern Logic 3 (1993), 161-163. (signed "Editor")

"In Memoriam — Richard S. Pierce (1927-1992)", Modern Logic 3 (1993), 163-164. (signed "Editor")

Review of Jean-Louis Lassez and Gordon Plotkin (editors), Computational Logic: Essays in Honor of Alan Robinson, Modern Logic 3 (1993), 169-173.

Review of Bertrand Russell, Philosophical Papers 1896-99, edited by Nicholas Griffin and Albert C. Lewis. Volume 2 of The Collected Papers of Bertrand Russell, Modern Logic 3 (1993), 192-200.

Review of Patrick J. Hurley, A Concise Introduction to Logic, Modern Logic 3 (1993), 320-321.

"Editorial, Special issue on Frege", Modern Logic 3 (1993), 326-330.

Review of A Peircean Reduction Thesis: The Foundations of Topological Logic by Robert W. Burch, Modern Logic 3(1993), 401-406.

"In Memoriam — Glenn Clark, Alan H. Mekler, John G. Kemeny, Max Zorn, F. A. Medvedev, Hiu Fai ("Hilfrid") Chau, A. P. Yushkevich, Friedrich Kaulbach, and Paul Arthur Schilpp", Modern Logic 4 (1994), 79-83. (signed "Editor")

Review of Katalin G. Havas, Thought, Language and Reality in Logic, Modern Logic 4 (1994), 102-105.

"Translator's Introduction: Father Pavel Florenskij", Modern Logic 4 (1994), 157-161.

"Memories of Medvedev — A kind and gentle bear", Modern Logic 4 (1994), 196-206.

"Formal Logic and Dialectical-materialism in the Soviet Union: Review of Fania Cavaliere, La logica formale in Unione Sovietica: Gli anni del dibattito, 1946-1965 and A. R. D. Mathias, "Logic and Terror"", Modern Logic 4 (1994), 210-218.

Review of Luciano Pennino, La logica simbolica nella produzione scientifica in lingua russa (1961-1983), Modern Logic 4 (1994), 218-219.

"Grigorii Mints on Proof Theory in the USSR, 1925-1969", Modern Logic 4 (1994), 220-226.

Review of Alexandra Getmanova, Logic, A. Ivin, Po zakonam logiki, and A. Getmanova, M. Panov & V. Petrov, Logic Made Simple: A Dictionary, Modern Logic 4 (1994), 226-233.

"In Memoriam — Stephen Cole Kleene, Đjuro Kurepa, Roberto Magari, and Vincent G. Potter", Modern Logic 4 (1994), 281-283. (signed "Editor")

"Preserving the Church and Bernays Typescripts: A Case Study", Modern Logic 4 (1994), 299-302. (signed "Henry Kormin")

"Grandfather of Fuzzy Logic?", Modern Logic 4 (1994), 304-305.

Review of Bertrand Russell, Logical and Philosophical Papers, 1909-13, edited by John G. Slater with the assistance of Bernd Frohmann, vol. 6 of The Collected Papers of Bertrand Russell, Modern Logic 4 (1994), 432-439.

Review of A. G. Barabashev, Budushchee matematiki: Metodologicheskie aspekty prognozirovaniya, Modern Logic 4 (1994), 439-446.

Review of Morris R. Cohen & Ernest Nagel, An Introduction to Logic, second edition, with an "Editor's Preface" and "Editor's Introduction" by John Corcoran, Modern Logic 4 (1994), 446-449.

Review of Fania Cavaliere, La logica formale in Unione Sovietica: Gli anni del dibattito, 1946-1965, Studies in East European Thought 46 (1994), 316-320.

Review of Nicholas Griffin (editor), The Selected Letters of Bertrand Russell, volume I: The Private Years, 1884-1914, Modern Logic 5 (1995), 214-219.

"In Memoriam — Rapahael Mitchel Robinson (1911-1995)", Modern Logic 5 (1995), 329. (signed "Editor")

"In Memoriam — Hao Wang (1921-1995)", Modern Logic 5 (1995), 329-337. (signed "Editor")

"In Memoriam — Christopher John Ash", Modern Logic 5 (1995), 337. (signed "Editor")

"In Memoriam — John Vincent Atansoff (1903-1995)", Modern Logic 5 (1995), 337. (signed "Editor")

"In Memoriam — Alonzo Church (1903-1995)", Modern Logic 5 (1995), 408-410. (signed "Editor")

Review of Bart Kosko, Fuzzy Thinking: The New Science of Fuzzy Logic and Daniel McNeill and Paul Freiberger, Fuzzy Logic, Modern Logic 5 (1995), 434-441.

"Editorial: In Celebration of the Centenary of the Birth of Sof'ya Aleksandrovna Yanovskaya", Modern Logic 6 (1996), 1-2.

"Yanovskaya's 'Ghost' [photo-essay]", Modern Logic 6 (1996), 77-84.

"In Memoriam — Robin O. Gandy (1919-1995) and Alfred L. Foster (1904-1995)", Modern Logic 6 (1966), 85-87. (signed" Editor")

Review of Tadeusz Kwiatkowski, Skiczez Historii Logiki ogólnej, Modern Logic 6 (1996), 112-113.

"In Memoriam — Józef Maria Bocheński (1902-1995)", Modern Logic 6 (1996), 192-196. (signed "Editor")

Review of Grigorii E. Mints, Selected Papers in Proof Theory, Modern Logic 6 (1996), 227-231.

"In Memoriam — George S. Boolos", Modern Logic 6 (1996), 304-310. (signed "Editor")

"Reply to Query: How Old is First-order Logic?", Modern Logic 6 (1996), 313-314.

"Editor's Note", Modern Logic 6 (1996), 355-356.

Review of Katalin G. Havas, Thought, Language and Reality in Logic, Studies in East European Thought 49 (1997), 79-80.

"In Memoriam — Garrett Birkhoff, Thomas Tymoczko, Paul Erdös (1913-1996), Richard Sylvan", Modern Logic 7 (1997), 81-85. (signed "Editor")

"In Memoriam: Bruno von Freytag-Löringhoff (1912-1996)", Modern Logic 7 (1997), 188-189. (signed "Editor")

Review of Leon Henkin, "The Discovery of My Completeness Proofs", Modern Logic 7 (1997), 373-379.

Review of Ray Monk, Bertrand Russell: The Spirit of Solitude, 1872-1921, Modern Logic 7 (1997), 420-434.

"Spitzfindigkeit — from Bocheński to Yanovskaya and van Heijenoort"; abstract, Bulletin of Symbolic Logic 4 (1998), 438.

"Why Historians and Philosophers of Logic Should Care About Losskii's History of Russian Philosophy", Povolzhskii zhurnal po filosofii i sotsial'nym naukam (1999), http://old.ssu.samara.ru/research/philosophy/review/rev1.asp [this web page no longer available]

Review of William Minto, Deduktivnayai induktivnaya logik, Povolzhskii zhurnal po filosofii i sotsial'nym naukam(1999), http://old.ssu.samara.ru/research/ philosophy/review/rev2.asp [this web page no longer available]

Review of Bertrand Russell, Towards the "Principles of Mathematics", 1900-02 and "Foundations of Logic", 1903-05, Review of Modern Logic 8/3-4 (2000-2001), 57-94.

Review of Douglas M. Jesseph, Berkeley's Philosophy of Mathematics, Review of Modern Logic 8/3-4 (2000-2001), 95-98.

Review of Geraldine Brady, From Peirce to Skolem: A Neglected Chapter in the History of Logic, Transactions of the Charles S. Peirce Society 40 (2004), 349-359.

Review of Anita Burdman Feferman & Solomon Feferman, Alfred Tarski: Life and Logic, Canadian Society for the History and Philosophy of Mathematics Bulletin (no. 36, May 2005), 7-9.

Review of Anita Burdman Feferman & Solomon Feferman, Alfred Tarski: Life and Logic, Review of Modern Logic; 10:1/2 (2004-2005), 117-129.

"Cantor's Paradise or Piaget's Playground?", Filosofiya matematiki: aktual'nye problemy (Moscow: Moscow State University, 2007); http://www.philos.msu.ru/fac/dep/scient/confdpt/2007/theses/index.html; http://www.philos.msu.ru/fac/dep/scient/confdpt/2007/theses/Anellis.pdf

Review of Dov M. Gabbay & John Woods (editors), Handbook of the History of Logic, vol. 1: Greek, Indian and Arabic Logic, Review of Modern Logic 10:3/4 (2005-2007), 117-141.

Review of Olga Arkadevna Antonova, Aleksei Sergeevich Miloslavov, & T. E. Sokhor, (author-compilers), Logika. Biobibliograficheskii spravochnik (Rossiya-SSSR-Rossiya), Review of Modern Logic 10:3/4 (2005-2007), 143-147.

Review of Zia Movahed, "Ibn-Sina's Anticipations of the Formulas of Buridan and Barcan"; forthcoming, Review of Modern Logic.

Review of Gaisi Takeuti, "Incompleteness Theorem and Its Frontier"; forthcoming, Review of Modern Logic.

Review of Philippe De Rouilhan, "Russell's Logic"; forthcoming, Review of Modern Logic.

Plus numerous abstract reviews in Historia Mathematica, and Bibliographic Not[ic]es, Modern Logic 3 (1992-1993), 54, 167-168, 308, 385-386; 4 (1994), 86, 209, 408-409; 5 (1995), 171-172, 340, 415-420; 6 (1996), 94-99, 210-215, 318-321, 410-412, 7 (1997), 88-89, 192-196; 365-366.


Edited work:

(editor), Jean van Heijenoort, "Historical Development of Modern Logic", Modern Logic 2 (1992), 242-255.

(editor, with "Publisher's Preface" and "Editor's Annotations"), Alois Riehl, "Die Englische Logik der Gegenwart, mit besonderer Berücksichtung von W. S. Jevons", Fort Dodge, Iowa: Peirce Publishing, 2006.

(editor, with "Preface" and "Textual Notes and Annotations"), Ernst Schröder, "On Pasigraphy: Its Present State and the Pasigraphic Movement in Italy", Fort Dodge, Iowa: Peirce Publishing, 2006.

(compiler), An Annotated Bibliography of Western-Language (Mainly English) Sources on the History of Formal Logic in Russia

Psychology, philosophy of mind, AI and cognitive science, mental health:

"Report on the American Mathematical Society Special Session on Some Aspects of the Biology and Mathematics of Neural Modeling", SISTM Quarterly-Brain Theory Newsletter 2 (1978), 4-5.

Review of P. N. Johnson-Laird and P. C. Wason (editors), Thinking: Readings in Cognitive Science, SISTM Quarterly/Brain Theory Newsletter II (no. 2, Winter, 1978), 34.

Review of Margaret A. Boden, Purposive Explanation in Psychology, System Quarterly/Brain Theory Newsletter II (no. 2, Winter, 1978), 34-35.

"Catastrophe Theory and Behavior", SISTM Quarterly-Brain Theory Newsletter 2 (1978), 37-38.

"Mental Acts" (mimeo; February 7, 1 979).

(with Gary D. Seiler), "Practical Considerations in a Multisensory Theory of Perception", Journal of the Association for the Study of Perception 14 (1979), 8-16;

on-line abstract: http://www.eric.ed.gov/ERICWebPortal/custom/portlets/recordDetails/detailmini.jsp_nfpb=true&_&ERICExtSearch_

SearchValue_0=EJ220437&ERICExtSearch_SearchType_0=no&accno=EJ220437

Review of Edmund Ions, Against Behaviouralism: A Critique of Behavioural Science, Cognition and Brain Theory II (no. 3, Spring 1979), 11.

"The Intentional Logic L(I)", Notices of the American Mathematical Society 26 (1979), A368.

Review of Stephen N. Thomas, The Formal Mechanics of Mind, Cognition and Brain Theory 3 (1979), 15-17.

(with Gary D. Seiler), "Practical Considerations in a Multisensory Theory of Perception"; abstract, Cognition and Brain Theory III (no. 1, Fall 1979), 9.

Review of P. Hajek and T. Havranek, Mechanizing Hypothesis Formation, Cognition and Brain Theory 3 (1980), 116.

Review of C. Wade Savage (editor), Perception and Cognition: Issues in the Foundations of Psychology, Cognition and Brain Theory III (no. 3, Spring 1980), 118-120.

"Lattice Structures, Maximal Rectangular Neural Nets, and Appearances: The Algebraic Expansion Model of the Intentional Logic L(I)", Abstracts Presented to the American Mathematical Society 2(1981), 383-384.

"Lattice Structures, Maximal Rectangular Neural Nets, and Appearances: The Algebraic Expansion Model of the Intentional Logic L(I)", Communication & Cognition 8 (1985) 339-413.

Review of Alan Bundy, The Computer Modelling of Mathematical Reasoning, Philosophia Mathematica (2) 2 (1987), 122.

"From My Vantage Point: John Nash (1928-): The Man, the Mathematician, the Movie, the Book," Part 1, Webster County Disabilities Alliance Recorder 5, no. 3 (August 2005), 3; Part 2, Webster County Disabilities Alliance Recorder 5, no. 4 (January 2006), 4; http://360.yahoo.com/phaneroscopy

Letter to the Editor: "Healthy Mind Key to Long Life", The Fort Dodge Messenger, June 3, 2006, p. 4A.

"Hey, We're Deaf, Not STUPID!", http://360.yahoo.com/phaneroscopy.

"December 7 2005 - A Date Which Will Live in Infamy ; or, Don't Leave Home without your Trazadone"; http://360.yahoo.com/phaneroscopy.

"Summary and Analysis of "An Active Mind Is the Key to Longevity""; http://360.yahoo.com/phaneroscopy.

General philosophy, Soviet philosophy; history of science:

"Theodicy: Divine Utilitarianism", American Rationalist 22 (1977), 3-6.

"David B. Zilberman, 1938-1977", Proceedings and Addresses of the American Philosophical Association 51 (no. 5, 1978), 585-586.

"The Life and Thought of David B. Zilberman", Studies in Soviet Thought 20 (1979), 165-175.

Review of V. N. Borjaz, Metodologičeskie seminary: Predopsylki, faktory i etapy razvitija, Studies in Soviet Thought 24 (1982), 59-62.

Review of Metodologija i metodika kritiki sovremennoj buržuaznoj filosofii i sociologii, Studies in Soviet Thought 24 (1982), 62-65.

Review of Roslyn Wallach Bologh, Dialectical Phenomenology: Marx's Method, Studies in Soviet Thought 24 (1982), 65-71.

Review of Angelina Vasil'evna Vasil'eva, Evoljucija panteizma i ego rol' v sovremennyx religiozno-filosofskix konceptcijax, Studies in Soviet Thought 24 (1982), 181-184.

Review of Vladimir Ivanovič Vernadskij, Živoe veščestvo, Studies in Soviet Thought 24 (1982), 184-186.

"Science and Diamat", Studies in Soviet Thought 25 (1983), 11-22.

Review of Predag M. Grujič, Čičerin, Plechanov und Lenin: Studien zur Geschichte des Hegelianismus in Russland, Studies in Soviet Thought 35 (1988), 341-344.


Russian and Soviet history and culture:

Review of Jean van Heijenoort, With Trotsky in Exile: From Prinkipo to Coyoacán, Studies in Soviet Thought 20 (1979), 391-396.

Review of Leonard D. Gerson, The Secret Police in Lenin's Russia, Studies in Soviet Thought 23 (1982), 168-170.

Review of Leo Okinshevich, U.S. History and Historiography in Post-War Soviet Writings: A Bibliography, Studies in Soviet Thought 23 (1982), 170-172.

Review of Xenia Gasiorowska, The Image of Peter the Great in Russian Fiction, Studies in Soviet Thought 23 (1982), 172-177.

Review of E. C. Barksdale, Daggers of the Mind: Structuralism and Neuropsychology in an Exploration of the Russian Literary Imagination, Studies in Soviet Thought 25 (1983), 23-28.

Review of T. R. N. Edwards, Three Russian Writers and the Irrational: Zamyatin, Pil'nyak, and Bulgakov, Studies in Soviet Thought 25 (1983), 227-232.

Review of Edward H. Carr, The Foundations of a Planned Economy, 1926-1929, vol. 3, Part 3, Studies in Soviet Thought 25 (1983), 241-246.

Review of David R. Egan and Melinda A. Egan, with the assistance of Julie Anne Genthner, V. I. Lenin: An Annotated Bibliography of English-Language Sources to 1980, Studies in Soviet Thought 26 (1983), 158-161.

Review of David I. Goldstein, Dostoevsky and the Jews, Studies in Soviet Thought 26 (1983), 161-172.

"Perun's Revenge: Understanding the duxovnaja kul'tura", Studies in Soviet Thought 27 (1984), 1-24.

Review of Ayleen Teskey, Platonov and Fyodorov: The Influence of Christian Philosophy on a Soviet Writer, Studies in Soviet Thought 24 (1984), 52-60.

Review of Joseph Frank, Dostoevsky: The Years of Ordeal, 1850-1859, Studies in Soviet Thought 31 (1986), 162-170.

Review of Tsuyoshi Hasegawi, The February Revolution: Petrograd, 1917, Studies in Soviet Thought 31 (1986), 180-193.

Review of Edward H. Judge, Plehve: Repression and Reform in Imperial Russia, 1902-1904, Studies in Soviet Thought 31 (1986), 183-191.

Review of Nikolai N. Sukhanov, The Russian Revolution, 1917: A Personal Record, Studies in Soviet Thought 31 (1986), 255-259.

Review of G. Swain, Russian Social Democracy and the Legal Labour Movement, 1906-1914, Studies in Soviet Thought 33 (1987), 172-176.

Review of S. A. Smith, Red Petrograd: Revolution in the Factories, 1917-1918, Studies in Soviet Thought 33 (1987), 176-183.

Review of Alexander Bogdanov, Red Star, the First Bolshevik Revolution, Studies in Soviet Thought 33 (1987), 372-376.

Review of Alexander D. Nakhimovsky and Alice Stone Nakhimovsky (editors), The Semiotics of Russian Cultural History, Studies in Soviet Thought 33 (1987), 376-380.

"J. L. van Heijenoort, Obituary", Studies in Soviet Thought 34 (1987), 97.

Review of Christopher Duffy, Russia's Military Way to the West: Origins and Nature of Russian Military Power, 1700-1800, Studies in Soviet Thought 34 (1987), 104-106.

Review of Nicholas Rzhevsky, Russian Literature and Ideology: Herzen, Dostoevsky, Leontiev, Tolstoy, Fadayev, Studies in Soviet Thought 34 (1987), 107-110.

Review of Robert V. Daniels (editor), A Documentary History of Communism, Vol. I, Communism in Russia, Studies in Soviet Thought 34 (1987), 110-111.

Review of Abbott Gleason, Peter Kenez, and Richard Stites (editors), Bolshevik Culture: Experiment and Order in the Russian Revolution, Studies in Soviet Thought 35 (1988), 64-67.

Review of C. Brown (editor), The Portlable Twentieth-Century Russian Reader, Studies in Soviet Thought 35 (1988), 68-69.

Review of S. Steshin, et al., Narisiz Istorii Ukrai'nskoi Kul'turi/Essays from the History of Ukrainian Culture, Studies in Soviet Thought 35 (1988), 69-70.

Review of Philip Pomper (editor), Trotsky's Notebooks, 1933-1935: Writings on Lenin, Dialectics, and Evolutionism, The Russian Review 47 (1988), 107-108.

"Jean van Heijenoort, the Revolutionary, the Scholar, and Man (1912-1986)", Studies in Soviet Thought 35 (1988), 147-178.

Review of Jane Ellis, The Russian Orthodox Church: A Contemporary History, Studies in Soviet Thought 35 (1988), 223-228.

Review of Peter Beilharz, Trotsky, Trotskyism, and the Transition to Socialism, Studies in Soviet Thought 38 (1989), 299-303.

Review of Charles J. Halperin, Russia and the Golden Horde: The Mongol Impact on Russian History, Studies in Soviet Thought 39 (1990), 164-168.

Review of Signposts: A Collection of Articles on the Russian Intelligentsia, translated and edited by Marshall S. Shatz and Judith E. Zimmermann, and Out of the Depths (De Profundis): A Collection of Articles on the Russian Revolution, translated and edited by William F. Woehrlin, Studies in Soviet Thought 40 (1990), 357-359.

Review of Richard Luckett, The White Generals: An Account of the White Movement and the Russian Civil War, Studies in Soviet Thought 41 (1991), 67-69.

Review of Albert Glotz, Trotsky: Memoir and Critique, Studies in Soviet Thought 44 (1992), 148-151.

Review of Samuel Farber, Before Stalinism: The Rise and Fall of Soviet Democracy, Studies in Soviet Thought 44 (1992), 229-230.

Review of Merle Fainsod, Smolensk Under Soviet Rule, Studies in East European Thought 48 (1996), 296-298.

"Some Notes from the KGB on the Fate of Pavel Florenskij", Modern Logic 6 (1996), 403-407.


Miscellaneous:

"Andrei Kolov and the Magic Trees", Spectrum 2 (Spring 1967), 41-42.

Letter to the Editor: "The Academic Survival of Socrates Jones", Proceedings and Address of the American Philosophical Association 52 (no. 1, September, 1978), 46-48.

"Dr. Anellis Replies", Proceedings and Address of the American Philosophical Association 52 (no. 3, January, 1979), 437-439.

Letter to the Editor: "Technocrats Abuse Science", The Florida Alligator, August 7, 1979, p. 9.

Review of R. B. J. Walker (editor), Culture, Ideology, and World Order, Studies on a Just World Order, Studies in Soviet Thought 35 (1988), 71-72.

"Open Letter", Bulletin of the Canadian Society for History and Philosophy of Logic/Société Canadienne d'histoire et de philosophie des mathématiques, no. 35 (November 2004), 6-7.

"From My Vantage Point: Taxes, Teachers, and Mental Health", Webster County Disabilities Alliance Recorder 5, no. 2 (February 2005), 2.

"Famous Mathematicians, Philosophers, Scientists, Artists (and Others) who Suffered from Neurological, Physiological, or Psychological Disorders"; http://peircepublishing.com/page7.html; http://360.yahoo.com/phaneroscopy.


Some writings (pro et contra) on my work:

Ignacio ANGELLELI, Review of Van Heijenoort, Mathematical Reviews (1996)96a, MR #96a:03001.

Jean-Yves BÉZIAU, Review of Van Heijenoort, Review of Modern Logic 8 (nos. 1/2, January 1998-April 2000), 105-117.

John CORCORAN & R. RUDNICKI, Review of "Forty Years of Unnatural ‘Natural’ Deduction...", Mathematical Reviews (1994), 94m:03004a.

Paul ERNEST, 'A Note concerning Irving H. Anellis, "Distortions and Discontinuities in Mathematical Progress: a matter of style, a matter of luck, a matter of time, ... a matter of fact", Philosophica 50 (1992), 123-125.

Ivor GRATTAN-GUINNESS, "Comments on Stevens' Review of the Cambridge Companion and Anellis on Truth Tables", Russell (n.s.) 24, no. 2 (Winter 2004-05), 185-188.

Hubert C. KENNEDY, Letter to the Editor: Axiom of Choice, Notices of the American Mathematical Society 31 (1984), 284; reprinted: Hubert C. Kennedy, Twelve Articles on Giuseppe Peano (San Francisco: Preemptory Publications, 2002; http://home.att.net/~clairnorman/Twelve_Articles.pdf), 101.

Gregory LANDINI, Review of Van Heijenoort, History and Philosophy of Logic 17 (1996), 98.

Gary RICHMOND, Studies in the Logic of Charles Sanders Peirce, http://www.nabble.com/CG%3A-Studies-in-the-Logic-of-Charles-Sanders-Peirce-to8079068.html.

Other: "W. V. Quine's Unpublished Remarks - dated", in Douglas Boynton Quine, "Willard Van Orman Quine's Professional Essays, Articles, Reviews, Abstracts, Unpublished Manuscripts, Lectures, and Remarks"; http://www.wvquine.org/wvq-publish.html): W. V. Quine 1986. Jean van Heijenoort Memorial at Harvard University, April 28, 1986. [5 verbatim lecture note cards - Misc. talks] (there were memorials at both Harvard University and Stanford University; I've corrected this listing to indicate that Quine's talk was at Harvard based on Irving H. Anellis' "Jean van Heijenoort, the revolutionary, the scholar, and man (1912–1986)" in Studies in East European Thought (1988) 35(2): 147-178)


Recent lecture invitations:

LMPS ’03, International Congress of Logic, Methodology and Philosophy of Science, Session on History of Logic, August, 2003, Oviedo, Spain.

Peirce Edition Project/Institute for American Thought, Indiana University-Purdue University at Indianapolis, October 16, 2005.

Sovremennaya logika: problemy teorii, istorii i primenenia v nauke. IX Obshcherossiiskoi nauch’noi konfrerentsii 22-24 iunya, 2006 g., University of Saint-Petersburg, 22-24 June, 2006.

University of Iowa Philosophy Department Colloquium, 10 November 2006 .

International Conference on Logic, Navya Nyaya and Applications, Calcutta, January 2007.


GoTo:

Irving Anellis Home Page

Dr. Anellis's Curriculum Vitae

Irving's Favorites

Book giveaway

An Annotated Bibliography of Western-Language (Mainly English) Sources on the History of Formal Logic in Russia