Copi taught at the University of Illinois, the United States Air Force Academy, Princeton University, and the Georgetown University Logic Institute, before teaching logic at the University of Michigan, 1958–69, and at the University of Hawaii at Manoa, 1969–90.
Assigned to teach logic, Copi reviewed textbooks available and decided to write his own. The manuscript was split into Introduction to Logic and Symbolic Logic. A reviewer noted that it had an "unusually comprehensive chapter on definition" and "The author accounts for the seductive nature of informal fallacies." The textbooks proved popular, and reviewer of the third edition noted over 100 new exercises added. Both textbooks are widely used, with the former currently in its 14th edition.
- 1953: Introduction to Logic. Macmillan.
- 1954: Symbolic Logic. Macmillan.
- 1958: Artificial Languages
- 1958: (with Elgot and Wright) Realization of Events with Logical Nets
- 1965: (edited with Paul Hente). Language, Thought and Culture. The University of Michigan Press.
- 1966: (edited with Robert Beard) Essays on Wittgenstein's Tractatus.
- 1967: (edited with James Gould) Contemporary Readings in Logical Theory. Macmillan.
- 1971: The Theory of Logical Types, Routledge and Kegan Paul.
- 1986: (with Keith Burgess-Jackson) Informal Logic, Macmillan.
- 1953: "Analytical Philosophy and Analytical Propositions", Philosophical Studies 4(6): 87–93
- 1954: "Essence and Accident", Journal of Philosophy 51 (23): 706–19
- 1956: "Another variant of Natural Deduction", Journal of Symbolic Logic 21(1): 52–5
- 1956: (with Arthur W. Burks) "The Logical Design of an Idealized General-Purpose Computer", Journal of the Franklin Institute 261: 299–314, and 421–36
- 1957: "Tractatus 5.542", Analysis 18(5): 102–4
- 1958: "The Burali-Forti Paradox", Philosophy of Science 25(4): 281–6
- 1963: (with Eric Stenius) "Wittgenstein’s Tractatus: A Critical Exposition of its Main Lines of Thought", Philosophical Review 72(3): 382
- "Introduction to Logic 14th Edition by Pearson"
- Educator earned worldwide fame for work in logic from Honolulu Star-Bulletin
- Irving M. Copilowish (December 1948) "Matrix development of the calculus of relations", Journal of Symbolic Logic 13(4): 193–203 Jstor link
- George Nashnikian (1956) "Review: Introduction to Logic, Symbolic Logic, Philosophy of Science 23(3): 267 doi:10.1086/287494
- Alfons Borgers (1970) Review: Introduction to Logic, Journal of Symbolic Logic 35(1): 166 link from Project Euclid
- Preface of the thirteenth edition from Pearson Education
- David Ouse (2002) Irving Copi, from Zenith City Online