Philosophy Colloquium
Thursday
22 January 2004
4:30 pm, Baker Hall A53
Refreshments at 4 |
"The Emergence of Quantification Theory, 1879-1940"
William Ewald
Professor of Law and Philosophy
University of Pennsylvania
Abstract
|
Philosophy Colloquium
Thursday
19 February 2004
4:30 pm, Baker Hall A53
Refreshments at 4 |
"Altering the Remote Past"
Alexander Afriat
Center for Philosophy of Science
University of Pittsburgh
and University of Urbino, Italy
Abstract
|
Philosophy Colloquium
* Please note special day and place *
Wednesday
3 March 2004
4:30 pm, Baker Hall 150
|
"Steps Towards a Computational Metaphysics"
Edward Zalta
Stanford University
Abstract
|
Pure and Applied Logic Colloquium
Thursday
4 March 2004
4:30 pm, Baker Hall A53
Refreshments at 4 |
"Choice Principles in Intuitionistic Set Theory"
John L. Bell
University of Western Ontario
Abstract
|
Philosophy Colloquium
Thursday
18March 2004
4:30 pm, Baker Hall A53
Refreshments at 4 |
"Who Speaks for the People? --
Deliberative Democracy and Competing Conceptions of Public Opinion"
James S. Fishkin
Departments of Communication and Political Science and
Director, Center for Deliberative
Democracy
Stanford University
Abstract
|
Pure and Applied Logic Colloquium
Thursday
25 March 2004
4:30 pm, Baker Hall A53
Refreshments at 4 |
"Bounded Functional Interpretation"
Fernando Ferreira
University of Lisbon
Abstract
|
Pure and Applied Logic Colloquium
Thursday
1 April 2004
4:30 pm, Baker Hall A53
Refreshments at 4 |
"Is Mathematics Stratified?"
Thomas Forster
Cambridge University
Abstract
|
Philosophy Colloquium
Friday
2 April 2004
4:30 pm, Baker Hall 235B
Please note special day and room |
"Dedekind, Hilbert, and Logicism"
Jose Ferreiros
University of Sevilla
Abstract
|
Pure and Applied Logic Colloquium
Thursday
15 April 2004
4:30 pm, Baker Hall A53
Refreshments at 4 |
"The Fundamental Theorem of Algebra from a Constructive Point of View"
Harold Edwards
Courant Institute of Mathematics
New York University
Abstract
|
PAL/POP/Theory
Special Lectures
Tuesday 20 April 2004
Thursday 22 April 2004
10-11:20 am, PPB 300 |
4/20: "Self-interperters in the lambda calculus"
4/22: "Intersection types"
Henk Barendregt
University of Nijmegen
Carnegie Mellon University
Abstract
|
Joint CMU-Pitt
Philosophy Colloquium
Thursday
22 April 2004
4:30 pm, Baker Hall A53
Refreshments at 4 |
"On Sententialism: The Thesis that Complement Clauses refer to Themselves"
James Higginbotham
University of Southern California
Abstract
|