Logic and Philosophy Talks at CMU

Past talks in this series
The colloquium has moved to Baker Hall A53 (downstairs in the "New Wing")
All talks start at 4:30 pm, with refreshments at 4

 
Philosophy Colloquium
Thursday
7 February 2002

4:30 pm, Baker Hall A53
Refreshments at 4
"All Numbers Great and Small"

Philip Ehrlich
Department of Philosophy
Ohio University
Abstract
Nagel Lectures

19, 20, 21 February 2002


Margaret Morrison Carnegie Hall A14

Bas van Fraassen
Department of Philosophy
Princeton University
Information
Pure and Applied Logic Colloquium
Friday
22 February 2002

3 pm, Baker Hall A53

"Biform Theories"

William Farmer
Departments of Mathematics and Computer Science
McMaster University
Abstract
Pure and Applied Logic Colloquium
Thursday
28 February 2002

4:30 pm, Baker Hall A53
Refreshments at 4
"Higher-Order Lazy Narrowing for Left-Linear Fully-Extended Pattern Rewrite Systems"

Tetsuo Ida
Institute of Information Sciences and Electronics
University of Tsukuba, Japan
Abstract
Pure and Applied Logic Colloquium
Thursday
14 March 2002

4:30 pm, Baker Hall A53
Refreshments at 4
"Methodological Purity as a Mathematical Ideal"

Andrew Arana
University of Notre Dame
Abstract
Philosophy Colloquium
Thursday
21 March 2002

4:30 pm, Baker Hall A53
Refreshments at 4
"Interpreting Negatives in Discourse "

Michael Kohlhase and Mandy Simons
CMU
Abstract
Pure and Applied Logic Colloquium
Thursday
28 March 2002

4:30 pm, Baker Hall A53
Refreshments at 4
"Ultrapowers as sheaves"

Jonas Eliasson
CMU and Uppsala, Sweden
Abstract
Philosophy Colloquium
Thursday
11 April 2002

4:30 pm, Baker Hall A53
Refreshments at 4
"Escaping Epistemic Hell is Routine"

Isaac Levi
Columbia University
Abstract
Philosophy Colloquium
Thursday
18 April 2002

4:30 pm, Baker Hall A53
Refreshments at 4
"Advance Care Planning Isn't About "Getting It Right""

David Barnard
Center for Bioethics Health Law
University of Pittsburgh
Abstract
Joint CMU/Pitt
Philosophy Colloquium
Thursday
25 April 2002

4:30 pm, Baker Hall A53
Refreshments at 4
"Probabilistic Epistemology"

Richard Jeffrey
Princeton University
Abstract


The Pure and Applied Logic (PAL) Colloquium is sponsered jointly
by the departments of Computer Science, Mathematics, and Philosophy,
Carnegie Mellon University.

(comments to: awodey@cmu.edu)