Skip to main content
Log in

Computation in the philosophy curriculum

  • Published:
Computers and the Humanities Aims and scope Submit manuscript

Conclusion

Computer-assisted instruction in philosophy has been successful in both supplementary and primary teaching applications. The programs used in computer-assisted instruction in philosophy are sophisticated, have proved to be acceptable over a long term, and embody aspects of fundamental research and knowledge in philosophy. The computer-assisted instruction effort in college-level philosophy has not been, nor is it likely to be, dominated by the simpler test-and-branch methods made possible by courseware authoring systems. The efforts in philosophy described in this paper provide a sound basis for forming expectations of how computers will affect college teaching in the future.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Ager, Tryg A. and James McDonald, “Transportability of Computer-Assisted Instruction Programs and Curricula,”Proceedings of the Western Educational Computing conference, Anaheim CA, 1978.

  2. Ager, Tryg A., “APL Tutorials For Elementary Logic,”Proceedings of the Seventh Conference on Computers in the Undergraduate Curriculum, Binghamton NY, 1976.

  3. Ager, Tryg A., “Computer-Based Tutorials in Symbolic Logic at SUNY-Binghamton,” in P. R. Baumann, ed.,Computer-Based Instruction. Faculty Grants for the Improvement of Undergraduate Instruction, Publication Series, Vol. 1, Albany NY: The Research Foundation of the State University of New York, 1982.

    Google Scholar 

  4. Bergmann, Merrie, James Moor and Jack Nelson,The Logic Book, New York: Random House, 1980.

    Google Scholar 

  5. Blaine, Lee, “Programs for Structured Proffs,” in Patrick Suppes, ed.,University-Level Computer-Assisted Instruction at Stanford: 1968–1980. Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981.

    Google Scholar 

  6. Covey, Preston, “Computer-Assisted Instruction in Philosophy,” in Solveig Olsen, ed.,Computers and the Humanities, forthcoming.

  7. Covey, Preston, “Formal Logic and Philosophical Analysis,”Teaching Philosophy 4 (1981), pp. 277–302.

    Google Scholar 

  8. Garson, James, and Paul Melloma, “Teaching Logic with EMIL,”Teaching Philosophy 3 (1980), pp. 453–478.

    Google Scholar 

  9. Goldberg, Adele and Patrick Suppes, “A Computer-Assisted Instruction Program for Exercises on Finding Axioms,”Educational Studies in Mathematics, 4 (1972), pp. 429–449.

    Article  Google Scholar 

  10. Goldberg, Adele and Patrick Suppes, “Computer-Assisted Instruction in Elementary Logic at the University Level,”Educational Studies in Mathematics, 6 (1976) pp. 447–474.

    Google Scholar 

  11. Gordon, Robert M., “Fear,”Philosophical Review 89 (1980), pp. 560–578.

    Google Scholar 

  12. Ladagga, Robert, Arvin Levine and Patrick Suppes, “Studies of Student Preference for Computer-Assisted Instruction with Audio,” in Patrick Suppes, ed.,University-Level Computer-Assisted Instruction at Stanford: 1968–1980, Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981.

    Google Scholar 

  13. Laymon, Ronald and Thomas Lloyd,ENIGMA: A Computer Assisted Logic Course, Columbus OH: Collegiate Publishing, Inc., 1976.

    Google Scholar 

  14. Laymon, Ronald and Thomas Lloyd, “ENIGMA,”Teaching Philosophy, 2 (1977), pp. 15–28.

    Google Scholar 

  15. Macken, E., R. van den Heuvel, P. Suppes, and T. Suppes,Home Based Education: Needs and Technological Opportunities, Washington DC: U.S. Department of Health, Education, and Welfare, National Institute of Education, 1976.

    Google Scholar 

  16. McDonald, James, “The EXCHECK CAI System,” in Patrick Suppes, ed.,University-Level Computer-Assisted Instruction at Stanford: 1968–1980, Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981.

    Google Scholar 

  17. Moor, James and Jack Nelson, “BERTIE,”Teaching Philosophy, 2 (1977), pp. 1–6.

    Google Scholar 

  18. Moor, James and Jack Nelson, “BERTIE: An Interactive Program for Teaching Natural Deduction,”Proceedings of the Seventh Conference on Computers in the Undergraduate Curriculum, Binghamton NY, 1976.

  19. Smith, R.L., W.H. Graves, L.H. Blaine, & V.G. Marinov, “Computer-Assisted Axiomatic Mathematics: Informal Rigor.” In O. Lecarme and R. Lewis, Eds.,Computers in Education (Amsterdam: North-Holland, 1975), pp. 803–809.

    Google Scholar 

  20. Suppes, Patrick and F. Binford, “Experimental Teaching of Mathematical Logic in the Elementary School,”The Arithmetic Teacher, 12, (1965), pp. 187–195.

    Google Scholar 

  21. Suppes, Patrick and John Sheehan, “CAI Course in Axiomatic Set Theory,” in Patrick Suppes, ed.,University-Level Computer-Assisted Instruction at Stanford: 1968–1980, Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981.

    Google Scholar 

  22. Suppes, Patrick and John Sheehan, “CAI Course in Logic,” in Patrick Suppes, ed.,University-Level Computer Assisted Instruction at Stanford: 1968–1980, Stanford CA: Institute for Mathematical Studies in the Social Sciences, 1981.

    Google Scholar 

  23. Suppes, Patrick,Introduction to Logic, New York: Van Nostrand Reinhold, 1957.

    Google Scholar 

  24. Suppes, Patrick, Robert Smith, and Marion Beard, “University-Level Computer-Assisted Instruction at Stanford: 1975,”Instructional Science, 6 (1977), pp. 151–185.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ager, T.A. Computation in the philosophy curriculum. Comput Hum 18, 145–156 (1984). https://doi.org/10.1007/BF02267217

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02267217

Keywords

Navigation