rapaport@ellie.UUCP (William J. Rapaport) (11/05/85)
BUFFALO LOGIC COLLOQUIUM
1985-1985
Fifth Meeting
Monday, November 11
3:00 P.M.
684 Baldy Hall
SUNY Buffalo
Buffalo, NY 14260
Stewart Shapiro
Philosophy and Mathematics
Ohio State University at Newark
"Reflections on Mathematical Practice"
Dutch treat supper afterwards. For further information, contact:
John Corcoran, Dept. of Philosophy, SUNY Buffalo
636-2438 or 636-2444
--
William J. Rapaport
Assistant Professor
Dept. of Computer Science, SUNY Buffalo, Buffalo, NY 14260
(716) 636-3193, 3180
uucp: ...{allegra,decvax,watmath}!sunybcs!rapaport
...{cmc12,hao,harpo}!seismo!rochester!rocksvax!sunybcs!rapaport
cs: rapaport@buffalo
arpa: rapaport%buffalo@csnet-relay
bitnet: rapaport@sunybcsrapaport@ellie.UUCP (William J. Rapaport) (02/07/86)
Department of Philosophy
and
Buffalo Logic Colloquium
present
Nicolas Goodman
Department of Mathematics
SUNY Buffalo
INTENSIONS, CHURCH'S THESIS, AND FORMALIZATION OF MATHEMATICS
Thursday, February 20 3:30 p.m. 209 O'Brian
For further information, contact John Corcoran, 636-2438
--
William J. Rapaport
Assistant Professor
Dept. of Computer Science, SUNY Buffalo, Buffalo, NY 14260
(716) 636-3193, 3180
uucp: ...{allegra,decvax,watmath}!sunybcs!rapaport
...{cmcl2,hao,harpo}!seismo!rochester!rocksvax!sunybcs!rapaport
cs: rapaport@buffalo
arpa: rapaport%buffalo@csnet-relay
bitnet: rapaport@sunybcsrapaport@ellie.UUCP (William J. Rapaport) (03/03/86)
BUFFALO LOGIC COLLOQUIUM
1985-86
Sixth Meeting
Joint Meeting with Philosophy Department Colloquium
Thursday, March 13
3:30 P.M.
209 O'Brian Hall
Nicolas Goodman
Mathematics Department
SUNY Buffalo
"Intensions, Church's Thesis, & Formalization of Mathematics"
========================================================================
For more information: 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,decvax,watmath}!sunybcs!rapaport
...{cmcl2,hao,harpo}!seismo!rochester!rocksvax!sunybcs!rapaport
cs: rapaport@buffalo
arpa: rapaport%buffalo@csnet-relay
bitnet: rapaport@sunybcsrapaport@sunybcs.UUCP (William J. Rapaport) (09/04/86)
BUFFALO LOGIC COLLOQUIUM
1986-87
John Corcoran
Department of Philosophy
SUNY Buffalo
Tarski on Logical Notions
Here in Buffalo, in 1973, Tarski gave a lecture which proposed a
transformational explication of the concept of logical notion. His
explication can be viewed heuristically as carrying Klein's Erlangen
Programm to a geometrical limit and then generalizing beyond geometry.
An elementary and accessible partial exposition of the Erlangen Programm
is included. This meeting will present a recent edition of the lecture
together with commentary, summary, and introduction by the speaker.
Wednesday, September 17
4:00 P.M.
684 Baldy Hall
Amherst Campus
Future speakers:
Charles Lambros, Philosophy, SUNY Buffalo
Gregory Moore, Mathematics, McMaster University
Zeno Swijtink, Philosophy, SUNY Buffalo
John Kearns, Philosophy, SUNY Buffalo
Nicolas Goodman, Mathematics, SUNY Buffalo
Randall Dipert, Philosophy, SUNY Fredonia
For more information: John Corcoran, (716) 636-2438, 881-1640
William J. Rapaport
Assistant Professor
Dept. of Computer Science, SUNY Buffalo, Buffalo, NY 14260
(716) 636-3193, 3180
uucp: ..!{allegra,decvax,watmath,rocksanne}!sunybcs!rapaport
csnet: rapaport@buffalo.csnet
bitnet: rapaport@sunybcs.bitnetrapaport@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