Philosophy and the computer /
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boulder :
Westview Press,
1992.
|
| Subjects: |
Table of Contents:
- The computer as a laboratory for epistemology / Herbert A. Simon
- The structure of extensions / Christopher J. Thornton
- Sentence comprehension : a parallel distributed processing approach / J.L. McClelland, Mark St. John, and Roman Taraban
- An automatic parser and translator / Herbert E. Hendry and Joseph F. Hanna
- A fully intensional propositional semantic network / Stuart C. Shapiro and William J. Rapaport
- The wanton module and the frame problem : making Fodor's modularity thesis compatible with computationalism / Eric Dietrich and Chris Fields
- Representational genera / John Haugeland
- Searching for proofs (in sentential logic) / Wilfried Sieg and Richard Scheines
- Visual information and valid reasoning / Jon Barwise and John Etchemendy
- Some problems in the computational representation of inference / Tryg A. Ager
- Algorithmics : a new paradigm for mathematics / Newcomb Greenleaf.
- A graphic, mouse-driven interface for integrating teaching and research in deductive proof construction / Marvin J. Croy and John Amidon
- PROOF DESIGNER : a programmable prover's workbench / Mark Bedau and James Moor
- Designing and implementing finite structures in SYMLOG / Frederic D. Portoraro
- Computer-assisted instruction for a Socratic dialogue / Don Barker and Stephen Scott
- Learning ethical decision-making in a multi-dimensional problem space / Pieter Mostert, Theo van Willigenburg, and Fokke Fernhout.