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