Philosophy And The Computer

摘要: Part 1 Epistemology and metaphysics: the computer as a laboratory for epistemology, Herbert Simon philosophical challenges in distributed computing, Peter Barnett SNePS - fully intensional propositional semantic network, Stuart C. Shapiro, William J. Rapaport structure of extension, Christopher Thornton. 2 Philosophy mind: representational genera, John Haugeland wanton module frame problem, Eric Dietrick Chris Fields why thinking isn't Daryl Close secret operations mind, Saul Trager. 3 Logic: searching proofs (in sentimental logic), Wilfried Sieg Richard Scheines some problems on computational representation inference, Tryg Ager selecting contradiction natural deduction theorem proving, Andrew McCafferty automated translation from English to logic back, E. Hendry Joseph F. Hanna. 4 Algorithmics: new paradigm mathematics, Newcomb Greenleaf. 5 Ethics: should programs be ownable?, David H. Carey moral responsibility programming, Robert Zerwekh. 6 Computer-assisted instruction: learning ethnical decision-making, Pieter Mostert et al finite structures SYMLOG, Frederic D. Portoraro an interface deductive proof construction, Marvin Croy Socratic dialogue, Don Barker Stephen Scott designer, Mark Bedau James Moor.