AB, Grinnell College, 1941; Doctor of Philosophy, University of Chicago, 1949.
Professor philosophy, U. Akron, 1946-1952;
mathematician, International Business Machines Corporation, 1952-1955;
staff engineer, Link Aviation Corporation, 1955-1956;
professor mathematics, director Computing Center, Case Western Reserve U., 1956-1965;
professor mathematics and philosophy, Case Western Reserve U., 1965-1972;
Truman P. Handy professor philosophy, Case Western Reserve U., 1972-1981;
professor emeritus, 1981-1997. Rockefeller Scholar, Belagio, 1982. Consultant to industry, 1956-1997.
Special research on computer logic, philosophy of science. Board directors Centre Hospitalier Intercommunal Corporation. Adjunct Professor of computer science U. North Carolina, 1986-1997.
Member Ohio Environmental Health Committee Captain Army of the United States, 1942-1946. Member American Association of University Professors, American Philosophical Association, American Mathematics Society, Association Symbolic Logic, Association Computing Machinery, Philosophical Science Association, Sigma Xi. M C.
Married Hendrieka Rinkema, August 11, 1942. Children: Susan Nelson McGuire, Steven, Peter.