rapaport@sunybcs.UUCP (12/02/86)
State University of New York at Buffalo BUFFALO LOGIC COLLOQUIUM 1986-1987 Fifth Meeting Tuesday, Dec. 9 4:00 p.m. Baldy 684, Amherst Campus John Corcoran Department of Philosophy SUNY Buffalo "Proofs, Deductions, Chains of Reasoning" This talk begins with a brief review of the deductive and hypothetico- deductive methods and then introduces the distinction between proofs and deductions. The core of the paper is a discussion of the logical, his- torical, epistemic, pragmatic, and heuristic ramifications of the dis- tinction between proofs and deductions. References: J. Corcoran, "Conceptual Structure of Classical Logic," _Phil. & Phen. Res_ 33 (1972) 25-47. A. Tarski, _Intro. to Logic_, Ch. 6 (1941). For more information, contact John Corcoran, (716) 636-2438. William J. Rapaport Assistant Professor Dept. of Computer Science, SUNY Buffalo, Buffalo, NY 14260 (716) 636-3193, 3180 uucp: .!{allegra,boulder,decvax,mit-ems,nike,rocksanne,sbcs,watmath}!sunybcs!rapaport csnet: rapaport@buffalo.csnet bitnet: rapaport@sunybcs.bitnet