Carnegie Mellon University
Logic and Philosophy Colloquium Speakers

2003-2004

Michael L. DeKay
Carnegie Mellon University
"Reversals in Assessments of Outcome Utilities: The Result of Precautionary Decision Making?"

Charles D. Parsons
Harvard University
"Structuralism and Metaphysics"

William Ewald
University of Pennsylvania
"The Emergence of Quantification Theory, 1879-1940"

Alexander Afriat
University of Urbino, Italy
"Altering the Remote Past"

Edward Zalta
Stanford University
"Steps Towards a Computational Metaphysics"

John L. Bell
University of Western Ontario
"Choice Principles in Intuitionistic Set Theory"

James S. Fishkin
Stanford University
"Who Speaks for the People? -- Deliberative Democracy and Competing Conceptions of Public Opinion"

Fernando Ferreira
University of Lisbon
"Bounded Functional Interpretation"

Thomas Forster
Cambridge University
"Is Mathematics Stratified?"

Jose Ferreiros
University of Sevilla
"Dedekind, Hilbert, and Logicism"

Harold Edwards
New York University
"The Fundamental Theorem of Algebra from a Constructive Point of View"

Henk Barendregt
University of Nijmegen
"Self-interperters in the lambda calculus" and "Intersection types"

James Higginbotham
University of Southern California
"On Sententialism: The Thesis that Complement Clauses refer to Themselves"

2002-2003

Menachim Kojman
Ben Gurion University of the Negev
"The infinite binomial function"

Robin Knight
Oxford University
"The Vaught conjecture: a counter-example"

John Baldwin
University of Illinois at Chicago
"Expansions of Structures"

Bonnie Steinbock
University at Albany, SUNY
"Moral Status, Moral Value, and Human Embryos"

James Lipton
Wesleyan University

Philip Ehrlich
Ohio University
"All Numbers Great and Small"

Dana S. Scott
Carnegie Mellon University
"Social Constructivism as a Philosophy of Mathematics?"

David Danks
Institute for Human & Machine Cognition
"Theories of Human Causal Learning"

Stephen G. Simpson
Penn State University
"A Survey of Reverse Mathematics"

William W. Tait
The University of Chicago
"Frege's Three Methodological Principles"

Thomas Forster
Cambridge University
"On NFU"

Colin McLarty
Case Western Reserve University
"How Grothendieck Simplified Geometry"

Peter Tino
University of Birmingham
"Markovian Architectural Bias of Recurrent Neural Networks"

Peter Apostoli
University of Toronto
"Metrizable domains of hyper-continuous functions: towards a geometry of abstract sets"

Michael Rathjen
Ohio State University
"The Axiom of Choice and "exotic" principles in Constructive Zermelo-Fraenkel Set Theory"

Peter Muhlberger
Carnegie Mellon University
"Agency Theory: A Synthesis"

2001-2002

Ulrich Kohlenbach
"Proof mining: a proof theoretic approach to numerical analysis"

Andres Villaveces
"The expressive power of first order logic, and its weakness in mathematics"

Michael Kohlhase
"Dynamic lambda-calculus"

Stephen Engstrom
"Virtue as Freedom"

Christoph Benzmueller
"Agent-Oriented Reasoning with O-ANTS"

Masahiko Sato
"Theory of Judgments and Derivations"

Bernd Buldt
"A Fresh Look at Goedel's Second Incompleteness Theorem"

Philip Ehrlich
"All Numbers Great and Small"

Bas van Fraassen
2001 Ernst Nagel Lectures

William Farmer
"Biform Theories"

Tetsuo Ida
"Higher-Order Lazy Narrowing for Left-Linear Fully-Extended Pattern Rewrite Systems"

Andrew Arana
"Methodological Purity as a Mathematical Ideal"

Michael Kohlhase and Mandy Simons
"Interpreting Negatives in Discourse"

Jonas Eliasson
"Ultrapowers as sheaves"

Isaac Levi
"Escaping Epistemic Hell is Routine"

David Barnard
"Advance Care Planning Isn't About "Getting It Right""

Richard Jeffrey
"Probabilistic Epistemology"
 

2000-2001

Mark Wilson
"Baldness, 4 and Anomalous Monism"

Sandra Mitchell
"Integrative Pluralism in Biology"

Jeremy Avigad
"Between Proof Theory and Model Theory"

Jonathan D. Moreno
"Deciding Together: The Role of Ethics Committees in Moral Decision-Making"

Robert Stalnaker
"On considering a possible world as actual"

Rob Clifton
"Is There a Place for 'Particles' in Relativistic Quantum Theories?"

William Gasarch
"Reverse and Recursive Combinatorics"

Rick Statman
"OWHY is Y in the Typed Lambda Calculus"

Paul Griffiths
"The Evolution and Social Construction of Emotion"

Robert Soare, The University of Chicago
"Computability Theory and Differential Geometry"

Kevin Ashley and Rosa Lynn Pinkus, University of Pittsburgh
"Modeling Learning to Reason with Cases in Engineering Ethics: A Test Domain for Intelligent Assistance"

Abas Edalat, Imperial College, London
"A Data Type for Solid Modeling and Computational Geometry"

Angela Weiss, CMU and University of Sao Paulo, Brazil
"Modal and Temporal Logics - A Survey and Introduction"

Robert Griffiths, CMU
"Probabilistic Counterfactuals"

Paolo Mancosu, University of California, Berkeley
"Mathematical Explanation: Problems and Prospects"
 

1999-2000

Dagfinn Follesdal, University of Oslo and Stanford University
"Goedel and Husserl"

Stuart Shapiro, Ohio State University
"The Status of Logic"

Harvey Friedman, Ohio State University
"A Complete Theory of Everything"

Oliver Schulte, University of Alberta
"Reliable and Efficient Inquiry in Particle Physics"

Joel Hamkins, City University of New York
"Infinite time Turing machines"

W.W. Tait, The University of Chicago
"Cantor's 'Grundlagen' and the paradoxes of set theory"

Warren Goldfarb, Harvard University
"On Dummett's 'Proof-Theoretic Justifications of Logical Laws' "

Pino Rosolini, University of Genoa
"An abstract look at realizability"

Neil W. Tennant, Ohio State University
"Conservativeness, Incompleteness and Deflationism"

Carsten Butz, McGill University
"A non-standard model of arithmetic"

Lars Birkedal, Carnegie Mellon University
"An introduction to developing theories of types and computation using
realizability"

F. W. Lawvere, SUNY Buffalo
"The dialectic logic of mathematics"

Jens Blanck, Swansea University, UK
"Computation on topological algebras"

Chris Miller, Ohio State University
"Varieties of tameness phenomena in expansions of the real field"

Jan Mycielski, University of Colorado
"Finite or constructive foundations of mathematics"

Frank Pfenning, Carnegie Mellon University
"A Judgmental Reconstruction of Modal Logics"

Jeffery Zucker, McMaster University
"Abstract versus Concrete Models of Computation on Partial Metric Algebras"

1998-99

Andre Carus, The University of Chicago
"Carnap and Hilbert, 1929-31" (Phil)

Michael Macy, Department of Sociology, Cornell University
"Are Games Really Played by the Rules?"

David Malament, The University of Chicago
"On the Geometry of 'Time Travel' in Godel's Universe"

Tim Carlson, Department of Mathematics, Ohio State University
"Axioms of Infinity, Proof-Theoretic Ordinals, and Patterns of Resemblance"

Walter Noll, Department of Mathematics, CMU
"Conceptual Mathematics, Categories, Functors, and Tensors"

 Wolfgang Spohn, University of Konstanz, Germany
"A Rationalization of Cooperation in the Iterated Prisoners' Dilemma"

Jaap van Oosten, Utrecht University, The Netherlands
"Realizability: combining proof theory and category theory"

Thomas Richardson, Department of Statistics, University of Washington
"Tractable structure search in the presence of latent variables"

Henk Barendregt, Nijmegen University, The Netherlands
"Foundations with computational power"

Andreas Blass, Department of Mathematics, University of Michigan
"Linear logic and Herbrand's theorem"

Stig Andur Pedersen, Roskilde University, Denmark
"Knowledge and Learning in Branching Time''

Piotr Swistak, Department of Government and Politics, University of Maryland, College Park
"Homo Economicus and the Necessity of Norms"

Rick Sommer, Stanford University
"Elementary Infinitesimal Analysis"

Alex Simpson, Division of Informatics, University of Edinburgh
"Elementary Axioms for the Category of Classes"

Bruce Tesar, Department of Linguistics, Rutgers University
"Overcoming Ambiguity in Language Learning"
 



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

(comments to: awodey@cmu.edu)