Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!sunybcs!rapaport
From: rapaport@sunybcs.UUCP
Newsgroups: sunyab.general,wny.seminar,ont.events,comp.ai,sci.math
Subject: Buffalo Logic Colloquium
Message-ID: <1567@sunybcs.UUCP>
Date: Tue, 2-Dec-86 14:51:19 EST
Article-I.D.: sunybcs.1567
Posted: Tue Dec  2 14:51:19 1986
Date-Received: Wed, 3-Dec-86 06:39:41 EST
Sender: nobody@sunybcs.UUCP
Reply-To: rapaport@sunybcs.UUCP (William J. Rapaport)
Distribution: na
Organization: SUNY/Buffalo Computer Science
Lines: 43
Keywords: proof, deduction, logic
Xref: watmath wny.seminar:61 ont.events:659 comp.ai:87 sci.math:252


		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