Logic and Philosophy Talks at CMU

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

 
Pure and Applied Logic Colloquium
Postponed to:
Thursday
6 February 2003

4:30 pm, Baker Hall A53
Refreshments at 4
"Social Constructivism as a Philosophy of Mathematics?"

Dana S. Scott
Carnegie Mellon University
Abstract
Philosophy Colloquium
Thursday
23 January 2003

4:30 pm, Baker Hall A53
Refreshments at 4
"Theories of Human Causal Learning"

David Danks
Institute for Human & Machine Cognition
Abstract
Pure and Applied Logic Colloquium
Thursday
20 February 2003

4:30 pm, Baker Hall A53
Refreshments at 4
"A Survey of Reverse Mathematics"

Stephen G. Simpson
Penn State University
Abstract
Philosophy Colloquium
Thursday
27 February 2003

4:30 pm, Baker Hall A53
Refreshments at 4
"Frege's Three Methodological Principles"

William W. Tait
Department of Philosophy
The University of Chicago
Abstract
Pure and Applied Logic Colloquium
Thursday
13 March 2003

4:30 pm, Baker Hall A53
Refreshments at 4
"On NFU"

Thomas Forster
Cambridge University
Abstract
Philosophy Colloquium
Thursday
20 March 2003

4:30 pm, Baker Hall A53
Refreshments at 4
"How Grothendieck Simplified Geometry"

Colin McLarty
Case Western Reserve University
Abstract
Philosophy Colloquium
Tuesday
8 April 2003

4:30 pm, Baker Hall 235A
Refreshments at 4 in BH 135
"Markovian Architectural Bias of Recurrent Neural Networks"

Peter Tino
University of Birmingham
Abstract
Pure and Applied Logic Colloquium
Thursday
17 April 2003

4:30 pm, Baker Hall A53
Refreshments at 4
"Metrizable domains of hyper-continuous functions: towards a geometry of abstract sets"

Peter Apostoli
University of Toronto
Abstract
Pure and Applied Logic Colloquium
Thursday
24 April 2003

4:30 pm, Baker Hall A53
Refreshments at 4
"The Axiom of Choice and "exotic" principles in Constructive Zermelo-Fraenkel Set Theory"

Michael Rathjen
Ohio State University
Abstract
Philosophy Colloquium
Thursday
1 May 2003

4:30 pm, Baker Hall A53
Refreshments at 4
"Agency Theory: A Synthesis"

Peter Muhlberger
Heinz School of Public Policy and Management
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)