Computation in the philosophy curriculum

Ager, Tryg

doi:10.1007/bf02267217

Cited by 5 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Logic programs, for example, foster the development of techniques and algorithms in automated proof theory. (Ager, 1984), (Larsen, et. al., 1978) Programs such as Turing's World and Tarski's World enable students to construct Turing machines and semantics in first order logic, where the products of their affcwtaarenot inert pieces of paper, but mal machines.…”

Section: Hypertext Cognitive Science and Phibsophymentioning

confidence: 96%

Hypertext syllabi in cognitive science

Traiger¹

1993

Proceedings of the 11th Annual International Conference on Systems Documentation - SIGDOC '93

View full text Add to dashboard Cite

Section: Hypertext Cognitive Science and Phibsophymentioning

confidence: 96%

Hypertext syllabi in cognitive science

Traiger¹

1993

Proceedings of the 11th Annual International Conference on Systems Documentation - SIGDOC '93

View full text Add to dashboard Cite

“…Deductive proof checking programs constitute the most popular form of CAI for teaching logic at the university level (Ager, 1984;Covey, 1985;Croy, 1986). When solving proof problems, students apply rules which generate new symbolic expressions from those already given (premises) until the goal expression (conclusion) is produced.…”

Section: Supplementary Proof Checking and Intelligent Caimentioning

confidence: 99%

The use of CAI to enhance human interaction in the learning of deductive proof construction

Croy

1988

Comput Hum

View full text Add to dashboard Cite

It is unfortunate that most forms of CAI either decrease or replace student-teacher interaction and rarely promote student-student interaction in a deliberate fashion. The project described here, however, aims at improving human interaction in a deductive logic course via the use of a proof-checking computer program. This program supports analyses of student performance which guide in-class instruction on a real-time basis. It is a widely held belief that individualization promotes effectiveness in teaching and that CAI promotes individualization. Some questions are raised about these beliefs, and the conclusion drawn is that the prospects for a computer technology that enhances rather than diminishes human interaction should be more vigorously explored. Ultimately, the efforts reported here are intended to show that the use of computers in education need not constitute a form of separating teachers from their students, but rather can provide information concerning student needs and can supply opportunities for addressing those needs both within and outside the classroom.

show abstract

Disciplinary Differences and the Integration of Technology into Teaching

Waggoner

1994

Journal of Information Technology for Teacher Education

View full text Add to dashboard Cite

The preparation of teachers involves academics from across the disciplinary spectrum but research on the differences between academic disciplines has revealed that a faculty member's discipline is a major factor in shaping the several aspects of course planning and teaching. The purpose of this paper is to present a model for investigating disciplinary differences as they may relate to teaching with technology, thereby enabling more effective integration of technology into the curriculum. Components of the model include: the structure and ethos of the discipline; preparation for, and experience as, a teacher; faculty assumptions about students; faculty beliefs and perceptions about technology; and the environmental context

show abstract

Computation in the philosophy curriculum

Cited by 5 publications

References 11 publications

Hypertext syllabi in cognitive science

Hypertext syllabi in cognitive science

The use of CAI to enhance human interaction in the learning of deductive proof construction

Disciplinary Differences and the Integration of Technology into Teaching

Contact Info

Product

Resources

About