Curriculum vitae

This is the Curriculum vitae page of my site.

RANDALL R. DIPERT

Revised September 1, 1998

ADDRESS: 10 Curtis Court, Cornwall NY 12518
                        (914) 534-8028 (Home)
                        (914) 938-2484 (Office)

EDUCATION: Ph.D. (Philosophy) 1978 Indiana University
                                Dissertation title: "Development and Crisis in Late Boolean
                                Logic: The Deductive Logics of Jevons, Peirce, and Schröder"
                                Director: J. Michael Dunn
                                Minor: History and Philosophy of Science

                                M.A. (Philosophy) 1976 Indiana University

                                B.A. (Philosophy) 1973 University of Michigan (Ann Arbor)

POSITIONS:

Professor of Philosophy, U.S. Military Academy, West Point, New York, 1995-present.

Professor of Philosophy, State University of New York College at Fredonia, 1991-1996.

Adjunct Professor of Computer Science, State University of New York at Buffalo, 1987-1989.

Associate Professor of Philosophy, State University of New York College at Fredonia, 1984-1991.

Director of the Semester-in-Vienna Program and Austrian Studies Program, SUNY Fredonia, 1982-1989.

Assistant Professor of Philosophy, SUNY at Fredonia, 1977-1984.

Director of International Education and Coordinator of Internships, SUNY Fredonia, 1981-1982.

Associate Instructor for Music Theory, Indiana University School of Music, 1977.

Assistant to the editor of Nous, Hector-Neri Castañeda, Indiana University, 1975-1977.

Associate Instructor, Department of Philosophy, Indiana University, 1974-1975.

AWARDS AND HONORS, including Research Activities and Grants:

National Merit Scholarship, 1969-1973.

Honors College, University of Michigan 1969-1972.

Graduate Student Grant-in-Aid, Indiana University, 1976.

Reason Foundation Fellow, research on the morality of immigration, Santa Barbara CA, summer 1979.

NEH Summer Seminar participant, Frege and the Philosophy of Mathematics, Michael Resnik, Director, University of North Carolina, summer 1980.

State University of New York (SUNY), University Awards Summer Grant, The Logic of C.S.Peirce, summer 1981.

Reason Foundation Fellow, research on art and morality, Santa Barbara, summer 1982.

Referee for Nous, The Journal of Philosophical Logic, Indiana Music Theory Review, The Journal of Aesthetics and Art Criticism, Historia Mathematica, Synthese.

Regular reviewer for Mathematical Reviews for articles and books in the history and philosophy of logic.

Adjunct Editor of the Peirce Edition Project for manuscripts in logic and the philosophy of science, 1978-present.

Secretary-Treasurer of the New York State Philosophical Association, 1981-1982.

Organizer of a conference (with John Corcoran), The Birth of Mathematical Logic, funded by the Research Foundation of SUNY, March 16-19, 1983.

Recipient of a Fulbright-Hayes Senior Research Fellowship to Münster, West Germany, 1983-4 for research in the history of logic.

Research Fellowship from the Alexander von Humboldt Foundation (West Germany), 1984, declined.

Research Opportunity Award from the National Science Foundation (NSF), Information Science Division, for the representation of intentions and practical reasoning in artificial systems, summer 1986.

Faculty Grant for the Improvement of Undergraduate Instruction from SUNY Research Foundation for "Intelligent Computer-Assisted Tutoring in Logic," Summer 1986.

State University of New York (SUNY) Graduate Research Initiative Grant for research in artificial intelligence, SUNY Buffalo 1987--1989.

Study Visit Grant from the German Academic Exchange Service (Deutscher Akademischer Austausch Dienst, DAAD) for research on the history of logic, spring 1990.

(First) Hagan Award for Research by a Junior Faculty Member, SUNY Fredonia, 1987.

Co-Chair, Program Committee, Third Annual Conference on Computers and Philosophy, Dartmouth College, August 1988.

Member, Steering Committee, Annual Conference on Computers and Philosophy, 1986-1991.

Kasling Award and Lecture, SUNY Fredonia, for Outstanding Scholarship. Presentation: "Reason and the Passions: A Mischievous Dichotomy" (March, 1994).

Certification (1991) of the Goethe Institute in German on the Mittelstufe Oral and Written Examination with the grade ‘2+’ (Native speaker competence: 1 of 5).

External Examiner for honors theses on "ethics and aesthetics" and "the philosophy of mathematics," Oberlin College, May 1993.

Participant, Liberty Fund Seminar on the Philosophy of Friendship (Timothy Fuller, director), Colorado Springs CO, March 1998

Director of undergraduate theses, U.S. Military Academy, on "Ethics and Character" (1996) and "Forms of Life in Wittgenstein"(1998); Examining committee member for thesis on "Pynchon’s Gravity’s Rainbow" (1998).

Participant, NEH Summer Seminar, "Moore and Wittgenstein on Certainty," Avrum Stroll, director, University of California at San Diego, Summer 1998.

COURSES TAUGHT:

Introductory Courses: Introduction to Philosophy, Introduction to Deductive Logic, Analytical Reasoning and Informal Logic, Philosophy of Religion, Honors Introduction to Ethics: Virtue, Self-Conceptions and Personal Relationships; Junior Intro. to Philosophy and Literature (USMA): (1) Greek Philosophy and the Poetics (1996), (2) Renaissance Philosophy, Erasmus, Montaigne, and the Scientific Revolution (1997), (3) Zen Buddhism, Japanese Culture, and Philosophy East and West (1998).

Advanced Courses/Historical: Greek Philosophy, The Age of Reason (Descartes-Kant), Kant (Seminar), American Philosophy, Existentialism and Phenomenology, Locke (Seminar), Aristotle’s Poetics, Renaissance Philosophy: Erasmus and Montaigne.

Ethics and Aesthetics: Introduction to Aesthetics, Philosophy and Music, Music Aesthetics, Advanced Music Theory, Philosophy of Music History (with James A. Davis), Art and Society, Ethical Theories and Ethical Reasoning, Introduction to Moral Philosophy, Senior Seminar (USMA): Character and Moral Responsibility.

Logic: Intermediate Deductive Logic, Advanced Symbolic Logic, The Philosophy of Mathematics, "Information Theory, Meaning, and Knowledge"

Other Advanced Courses: The Age of Analysis (Frege, Russell, the Vienna Circle, Quine and Goodman), Wittgenstein, Philosophy of Language, Philosophy of Artificial Intelligence, Metaphysics, Philosophy of Mind, Philosophy of Mind: The Emotions, Philosophy of Mind: Belief and Believing, Philosophy of Science and Mathematics (USMA).

In the Department of Computer Science, SUNY Fredonia: Introduction to Computer Science, Artificial Intelligence; AI Programming Languages: LISP, Prolog and OPS5.

In the German Department, SUNY Fredonia: (in German): Co-taught: German Current Events as represented in Die Zeit, German philosophy: Leibniz, Kant, Hegel and Nietzsche (1/3 of Senior Seminar).

BOOKS:

        Logic: A Computer Approach with M. Schagrin and W. J. Rapaport (New
                York: McGraw-Hill, 1985).
                translated into:
                        i. Japanese (McGraw-Hill International)
                        ii. Italian (McGraw-Hill International, 2 editions)
                        iii. Spanish (McGraw-Hill International, ?)

                Artifacts, Art Works, and Agency (Temple University Press, 1993)

"Peirce and Mach on Absolute Space," Transactions of the C. S. Peirce Society IX (1973), 79-94.

"Set-Theoretical Music Analysis," (with R.M. Whelden) Journal of Aesthetics and Art Criticism 35 (1976), 15-22.

"Peirce's Theory of the Geometrical Structure of Physical Space," Isis 68(1977), 404-413.

"Peirce’s Theory of the Dimensionality of Physical Space," Journal of the History of Philosophy I (1978), 61-70.

"Composers’ Intentions: Their Relevance for Performance," Musical Quarterly 64 (1980), 205-218.

"The Type/Token Distinction in Aesthetics," Mind 1980, 587-589.

"Peirce's Propositional Logic," Review of Metaphysics 34 (1981), 569-595.

"Set-Theoretical Representations of Ordered Pairs and Their Adequacy for the Logic of Relations," Canadian Journal of Philosophy 12 (1982), 353-374.

"Leonard Meyer’s Emotion and Meaning in Music: A Sympathetic Critique of its Central Claims," In Theory Only (University of Michigan School of Music), 6 (1983); reprinted in the Indian Journal of Musicology (Bombay) 14 (1983), 5-18.

"Peirce, Frege, Church’s Theorem and the Logic of Relations," History and Philosophy of Logic 5 (1984), 49-66.

"Art, Artifacts, and Artists’ Regarded Intentions," American Philosophical Quarterly 23 (1986), 401-408.

"The Mathematical Structure of the World: The World as Graph," Journal of Philosophy XCIV #7 (July 1997), 329-358.

ARTICLES, Non-Refereed

"Alan Forte’s The Structure of Atonal Music: A Critique of Part One," Indiana Music Theory Review I (1977), 5-11.

"Set-Theoretical Music Analysis II," Indiana (Music) Theory Review I (1978), 50-60.

Essay/review of P. Turley's Peirce's Cosmology in Nature and System I (1979), 134-141.

"Ernst Schröders Beitrag zur Logik und den Grundlagen der Mathematik," Fredericiana (Karlsruhe, West Germany), 1981.

"Do Future Individuals Have Rights? R. Sartorius on Intergenerational Justice," in Rights and Regulation, ed. T. Machan and B. Buchanan (Pacific Institute and Illinois University Press, 1983).

"Peirce's 1883 Studies in Logic," (an essay review of the 1983 reprinted edition, ed. by A. Eschbach) History and Philosophy of Logic 5 (1984), 227-232.

"The 1883 Studies in Logic," Transactions of the C. S. Peirce Society, 1984.

Review of Volumes I and II of the Collected Writings of C.S. Peirce, History and Philosophy of Logic, 7 (1986), 88-90.

Essay review of David Kelley, The Evidence of the Senses, Reason Papers No. 12, Spring 1987.

Reviews in Mathematical Reviews: A. Dimitriu, Propositional Logic; Pascal's Philosophy of Mathematics; N. Rescher, Leibniz's Inductive Logic; Wittgenstein's Philosophy of Logic, I. Muller, Euclid and the Philosophy of Mathematics; G. Scarre, Mill's Philosophy of Logic; J.-C. Lee, Castañeda's Guise Theory, A. Eschbach (ed.), Foundations of Semiotics, C.S. Peirce (ed. E. Walther) Die Festigung der Überzeugung; numerous other short reviews.

Reviews and letters to the editor in: Reason magazine, New Republic,   and the Frankfurter Allgemeine Zeitung.

Designer of 8 tutorial programs for the IBM PC and compatibles series computers originally to accompany Logic: A Computer Approach (LCA Software/McGraw-Hill, 1985); over 20 additional computer program used in philosophy and logic instruction on the SUNY Fredonia campus and elsewhere; and most recently, the Argument Processor: A Prolog-based Logical Assistant.

"Toward a Genuine Philosophy of the Performing Arts," Festschrift for John Hospers in Reason Papers No. 13, Spring 1988, 182-200.

Review of Jean Gabbert Harrell, Soundtracks: A Study of Auditory Perception, Memory and Valuation} in Nous 9/1/1992.

"Peirce’s Underestimated Place in the History of Logic," Proceedings of the 1989 International Peirce Congress, published as Peirce and Contemporary Thought, ed. K.L. Ketner (New York: Fordham University Press, 1995).

"C.S. Peirce’s Philosophical Conception of Sets," in Studies in the Logic of Charles Sanders Peirce ed. by N. Houser, D. Roberts, and J. Van Evra (Indianapolis: Indiana University Press, 1997).

"The Structure of Agency," Proceedings of the First Annual SNePS Conference, SUNY Buffalo Technical Report (1989) No. 89-14; reprinted in AI Lecture Notes (Springer Verlag: 1990).

"The Life and Work of Ernst Schröder," Modern Logic Vol. I (1990-1991) No. 2/3, pp. 1-21.

"Individuals and Extensional Logic in Schröder’s Vorlesungen über die Algebra der Logik," Modern Logic Vol. I (1990-1991) No. 2/3, pp. 22-42.

"The Life and Logical Contributions of O.H. Mitchell, Peirce’s Gifted Student," Transactions of the C.S. Peirce Society, Vol. XXX No. 3, Summer 1994, pp. 515-542.

Sections on "History of Modern Logic" and on "20th Century Logic" for Macropedia article "Logic" in the Encyclopedia Britannica, ed. 1993.

Review of Geoffrey Brown, Minds, Brains and Machines for journal, Minds and Machines, forthcoming.

Essay-Review of Peter Kivy, Music Alone for Nous, forthcoming.

Essay-Review of R.J. Nelson The Logic of Mind (2nd edition) for Philosophical Psychology, forthcoming.

Review of A.T. Shearman, A Development of Symbolic Logic (1990, reprint of 1906 edition), Journal of Symbolic Logic, forthcoming.

Review of Joseph Brent, C.S. Peirce: A Life, Journal of Symbolic Logic, forthcoming.

Author of articles "Logic Machines and Diagrams" and "Logic in the 19th Century" for the Routledge Encyclopedia of Philosophy, forthcoming.

"Some Issues in the Theory of Artifacts: Defining ‘Artifact’ and Related Notions," The Monist Vol. 78 No. 2 (April 1995), 119-135.

"Reflections on Iconicity, Representation, and Resemblance: Peirce's Theory of Signs, Goodman on Resemblance, and Modern Philosophies of Language and Mind," special issue on Peirce, Synthese 106 (1996), 373-397.

IN PREPARATION:

1. "The Nature and Structure of Emotions"

2. Logic: An Historical and Philosophical Introduction

3. Structure and States of Mind

4. Friendship: Meditations on Aristotelian Themes (with an anthology of readings)

PRESENTATIONS:

"Peirce's Theory of the Dimensionality of Physical Space," Bicentennial International Peirce Congress, Amsterdam, June 1976.

"Susanne Langer's ‘Postulates for the Logical Structure of Music’," (with R.M.Whelden), invited paper for the Second Annual National Music Theory Conference, Northwestern University, Nov. 1977.

"Boole's Propositional Logic," Buffalo Logic Colloquium, SUNY Buffalo, April 1978.

"Boolean Propositional Logics," 6th International Conference of Logic, Methodology and Philosophy of Science, Hannover, West Germany, August 1979.

"An Alleged Paradox in Scheffler's Inscriptional Account of Beliefs," New York State Philosophical Society (Creighton Club), Cazenovia, New York, October 1979.

"Lambert's Philosophy of Mathematics and Science," Tri-State Philosophical Association, Erie, Pennsylvania, October 1979.

"Hollinger, Mill, and Feyerabend on Tolerance," American Society for the Philosophical Study of Society, APA/Eastern, Boston, December 1980.

"Peirce's Propositional Logic," Department of Philosophy, Brown University, April 1980.

"Clarence King and C.S. Peirce: Two Victims of the Genteel Tradition," American Studies Division, Brown University, April 1980.

"Ernst Schröders Beitrag zur Logik und den Grundlagen der Mathematik," Departments of Philosophy and Mathematics, University of Karlsruhe, West Germany, June 1980.

"Composers’ Intentions: Their Relevance for Performance," American Society for Aesthetics, Milwaukee, October 1980.

"Kants Urteilstafel in der Kritik der reinen Vernunft: Kantische Logik verteidigt," Fifth International Kant Congress, Mainz, West Germany, April 1981.

"Mill's Philosophy of Arithmetic, Revisited," APA Western Division, Milwaukee, April 1981.

"Peirce, Quantifiers, Relations, and Church's Theorem," Buffalo Logic Colloquium, SUNY Buffalo, April 1981.

"Aesthetic Value in Performance and Pieces of Music," Tri-State Philosophical Association, Slippery Rock State College, October 1981.

"Performances, Artworks and their Relationship: A Reply to Thomas Mark," American Society for Aesthetics/Eastern, March 1982.

"Art, Artifacts and Regarded Intentions: A New Definition of Art," APA, Eastern Division, December 1984.

"Musical Works, Performances, and Intentions: The Theories of Wolterstorff, Levinson and Dipert," Department of Philosophy, University of California at Los Angeles (UCLA), August 1985.

"Peter Singer's Practical Ethics and ‘Interest’ Utilitarianism," Tri-State Philosophical Association, Erie PA, Fall, 1985.

"Intelligent Computer Tutoring and Subgoaling in Proof Construction," First Annual Conference on Computers and Philosophy, Cleveland State University, March 1986.

"Intending and Acting in Artificial Systems," Semantic Network Research Group, Department of Computer Science, SUNY Buffalo, June 1986

"P-SNePS: A Semantic Network Processing System in Prolog," Department of Computer Science, SUNY Buffalo, October 1986.

"Understanding Proofs as Artifacts: Implications for the Epistemology of Logic, Logic Education, and Artificial Intelligence," Buffalo Logic Colloquium, Department of Philosophy, SUNY Buffalo, October 1986.

"Handlungstheorie, praktisches Denken und Computer: Reflexionen aus Philosophie, Wirtschaftstheorie, und künstlicher Intelligenz," Ludwig von Mises Privatseminar, organized by the Carl Menger Institut and held in the Wiener Handelskammer, Vienna, Austria, February 11, 1987.

"Automated Theorem Proving in Natural Deduction Systems and a Solution to the Problem of Contradiction-Finding in Indirect Proofs," 2nd Annual Conference on Computers and Philosophy, Michigan State University, June 1987.

"Toward an Action-Theoretic Theory of the Performing Arts," A Conference on Performing Arts, SUNY College at Buffalo (February 1988) and a conference on aesthetics at Slippery Rock College (PA) with J. Margolis and J. Liotta (March 1988).

"The Fable of the Moon Box, Or: The Inadequacy of the Turing Test and Alternatives as Criteria of Machine Understanding," Buffalo Logic Colloquium, SUNY Buffalo, March 1988.

"A Computer Model of Deliberating, Planning, Intending, and Acting," Third Annual Conference on Computers and Philosophy, Dartmouth College, August 1988.

"Peirce's Philosophical Conception of Set," C.S. Peirce Sesquicentennial Congress, Harvard University, September 1989.

"Peirce's Place in the History of Logic," invited Discussant to W.V. Quine in Plenary Session on Peirce's logic, C.S. Peirce Sesquicentennial Congress, Harvard University, September 1989.

"The Structure of Agency: Issues in the Representation of Agency and Action," First Annual SNePS (Semantic Network Representation System) Conference, SUNY Buffalo, November 1989.

"Philosophical Themes in Late Nineteenth Century Logic: Booleans vs. Fregeans and the Purposes of Logic." Department of Philosophy, University of Bologna/Italy, May 1990.

"The Future of the Computer and Artificial Intelligence in University Education: logic, grammar, foreign language and mathematics Instruction." Department of Philosophy, University of Bologna/Italy, May 1990.

"Das Artefakt: Eine allgemeine handlungstheoretische Theorie von Sprache, Kunstwerk, und Werkzeug," ("The Artifact: A general, action-theoretic theory of language, art-work, and tool") in German. (i) Departments of Philosophy and Mathematics, University of Erlangen-Nürnberg, West Germany; (ii) Departments of Philosophy, Sociology, and Computer Science, University of Karlsruhe, West Germany, May 1990.

"A Research Report: Non-Resolution Automated Theorem Proving in Natural Deduction Systems and the Simulation of Action and Agency in Artificial Systems," Department of Computer Science (Informatik), University of Karlsruhe, West Germany.

"Complexity and Models of Mind: A Simple, Hilbertian Argument that Strong AI is Doomed," 5th Conference on Computers and Philosophy, Stanford University, August 1990.

"Recent Work in Aristotle's Logic: A Response to John Corcoran's ‘Aristotle's Natural Deduction System’," Buffalo Logic Colloquium, SUNY Buffalo, September 1990.

"Nationalism, Self-Conceptions, and their Ethical Implications," SUNY Buffalo invited talk, 1992.

"The Computer Simulation of Intentionality," (two lectures) U.S. Military Academy, West Point NY, spring 1993.

"Leibniz on Obscure, Confused, and Inadequate Ideas: Relevance for Contemporary Cognitive Science," VI. International Leibniz Congress, Hannover, Germany, July 1994. [Published in the Vorträge I. Teil}, (Hannover: Leibniz-Gesellschaft,1994)].

"Structuralism: A Relational, Graph-Theoretical Theory of Mind and World," Conference on "The Ontology and Epistemology of Relations," SUNY Buffalo, Sept. 1994.

"Forward Inference in Contemporary AI and the History of Logic," Center for Cognitive Science, SUNY Buffalo, Sept. 1994.

"The Phenomenology of Sexual Desire," U.S. Military Academy, Cadet Philosophy Forum March 1996; SUNY Fredonia Department of Philosophy, September 1996.

"The Definition of ‘Profession’ and Professional Ethics in College Teaching," joint meeting with the Hastings Center, U.S. Military Academy, September 1996.

"Peirce’s Conception of the Relationship of Logic to Aesthetics and Ethics, and of the Normativity of Logic," C.S. Peirce Society, (APA Eastern, Atlanta GA), December 1996.

"Philosophical Issues in the History of Logical Notation," Department of Logic, Charles University (Prague, Czech Republic); Department of Mathematics, U.S. Military Academy, April 1997.

"The Structure of the World--Logical or Mathematical?" Wm. Patterson University (NJ), U.S. Military Academy, Oct-Nov 1997.

"The Impact of Computers on Metaphysics and the Methodology of Philosophy," Rountable contribution (chair, James Moor) at the World Congress of Philosophy, Boston, August 1998.

"The Future of Logic and Logic Teaching in the 21st Century," Keynote address, Computers and Philosophy (CAP) group, ) at the World Congress of Philosophy, Boston, August 1998.

Public talks at SUNY Fredonia (1977-1995) on: "The Ontology of Musical Works," "A Theory of Value for Artistic Performance," "Original Instruments and Philosophical Issues of Musical Performance," "Teaching Techniques for Large Lecture Courses: Lessons from the Lilly Conference on College Teaching," "Current Research on Computational Linguistics and Natural Language Processing," "German Philosophy, 1850 to the Present," "The Health- and Social System of Canada," "Philosophical Vienna in the fin de siècle" "Philosophies of Friendship and Love," "Human Rights in Germany, 1867--present," "Artifacts, Art Works, and Ready-mades," "Music and Politics" (with Leon Botstein), "Personalized Instruction and Testing in Medium and Large Classes," "Modeling of Student Ability in Computerized Instructional Software," "Graph Theory: Asymmetric Graphs," "Multiculturalism Thick and Thin: How Not to Teach about Other Cultures."

"The Philosophy of Friendship," U.S. Military Academy, Cadet Philosophy Forum, April 1998.

SUNY Fredonia committees and service: Member of Faculty Council (1985--1992), Secretary of Faculty Council (1988--1991), Vice Chair of Faculty Council 1991-2; Research and Creativity Committee (1985--1992); Chairman of Campus Computer Resources Committee and Advisor to R. Jarvis, VP for Ac. Affairs (1987-90); Canadian Studies Committee (1989--1995); International Services Concentration (coordinator, 1981-1995); Austrian Studies Committee (1982-89); German Studies Committee (1993-1995); Board of Directors, Fredonia Chamber Orchestra, 1988--1989; Member of Committee for the Improvement of Undergraduate Instruction, 1990-1993; organizer of New Faculty Orientation (1991-2); Editor, Teaching Effectiveness Newsletter, 1992; Co-organizer of conference on Teaching and Learning (1993)

US Military Academy: Member of Executive Committee, Department of English and Philosophy, 1995-8; member of Academy-wide committee on Computer Resources (1995-6), and Creativity (1997-8).