August 9, 1989

Computation and Representation

Chair: Colleen Crangle

The Structure of Extensions
Christopher Thornton

Some Problems in the Computational Representation of Inference
Tryg Ager

Philosophical Challanges in Distributed Computing
Peter Barnett

Ethics

Chair: Peter Madsen

Should Computer Programs Be Ownable?
David Carey

Moral Responsibility and Programming
Robert Zerwekh

Computer System Design as Social Experimentation
Jo Ann Oravec and Larry Travis

Keynote Lecture

Representational Genera
John Haugeland
Introduction: Leslie Burkholder

Software Presentations

Chair: Nelson Pole

More Than the Sum of Its Predicates
Gregory Tropea

Designing and Implementing Finite Structures in SYMLOG
Fred Portoraro

A Graphic Mouse-driven Interface for Proof Construction
Marvin Croy

THE LOGIC STUDENT’S TOOLKIT
William Hanson

Computer-assisted instruction for Socratic dialogue
Don Barker and Stephen Scott

PROOF DESIGNER: A PROGRAMMABLE PROVER’S WORK-BENCH
Mark Bedau and Jim Moor

A non-deductive spatial model of ethical decision making
Pieter Mostert et al

Logic

Chair: Jim Moor

Selecting a Contradiction in Natural Deduction Theorem Proving
Andrew McCafferty

How to Direct the Search for Proofs (in Sentential Logic)
Wilfried Sieg, Jonathan Pressler and Richard Schemes

Automated Translation from Logical Notation into English
Herbert Hendry and Joe Hanna

Philosophy of Mind

Chair: Austen Clark

The Secret Operations of the Mind
Saul Traiger

Why Thinking Isn’t Computing
Daryl Close

Computationalism, The Frame Problem, and The Modularity Thesis
Eric Dietrich and Chris Fields

Keynote Lecture

The Computer as a Laboratory for Epistemology
Herbert Simon
Introduction: Richard Schemes

Connectionism, Computation, and Learning

Chair: Colleen Crangle

PDP and Genetic Algorithms
Ken Aizawa

A Distributed Connectionist Framework for Language Processing
J. L. McLelland

Computational Approaches to Inductive Inference
Kevin Kelly