Buffalo Logic Colloquium

Thread View: sunyab.general

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by rapaport Tue, 02 Dec 1986 19:51

Author: rapaport
Date: Tue, 02 Dec 1986 19:51

43 lines
1918 bytes

		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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads