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"

(comments to: awodey@cmu.edu)