Home Page of Dr. Irving H. Anellis
I am an historian of logic and was a doctoral student of historian of logic Jean van Heijenoort (1912–1986).
My early research had centered on mathematical logic, in particular in proof theory and metamathematics, and on applications of logic to algebraic structures. My historical research has centers on the work of Bertrand Russell in set theory and logic and of Charles Sanders Peirce in algebra and algebraic logic; on the history of proof theory, with special reference to the roles of Löwenheim-Skolem Theorem and Herbrand’s Fundamental Theorem; and the history of logic and mathematics in Russia.
I am currently a Visitng Research Associate at the Peirce Edition Project, Institute for American Thought, Indiana University - Purdue University at Indianapolis.
I last taught P365: Intermediate Symbolic Logic and P590: Advanced Symbolic Logic at IUPUI during the Fall 2009 semester.
I had recently been working on a manuscript of Charles Peirce dating from ca. 1890 in which he deals with what we have since come to know as Hilbert’s Ninth and Tenth Problems, and another manuscript, “An Outline Sketch of Synechistic Philosophy”, identified as composed in 1893, in which Peirce unmistakably presents the truth-table matrix for a proposition and its negation that is essentially equivalent in its contemporary formulation as material implication (x ―< y). I have also recently resumed work, originally begun over a decade ago, on an historiographical-philosophical-sociological study, “From Algebraic Logic to Logistic”, of the so-called “Fregean revolution”, the shift from the algebraic style of logic of Boole-De Morgan-Peirce-Schröder in the late nineteenth century to the function-theoretic, extensional logic of Frege and Russell-Whitehead as the canonical style of mathematical logic of the twentieth century. Meanwhile, I am preparing a special issue commemorating the centenary of the birth of Jean van Heijenoort (1912–1986) as guest editor for the journal Logica Universalis.
Some useful links (websites and newsgroups):
For links to Mathematical Logic around the World, the most complete source for lists of web sites devoted to the subject, visit: http://www.logic.at.
Logic on the World Wide Web: http://www.phil.tamu.edu/Philosophy/logic.html (currently appears to be a dead link)
Irving H. Anellis
Visiting Research Associate
Peirce Edition Project, Institute for American Thought
902 W. New York Street
Indiana University-Purdue University at Indianapolis
Indianapolis, IN 46202-5157, USA
email: ianellis@iupui.edu
I am also on Academia.edu: http://iupi.edu.academia.edu/IrvingAnellis and Math-Net.RU: http://www.mathnet.ru/php/person.phtml?option_lang=eng&personid=40133
