Past Colloquia

2007–2008

M. C. (Mack) Stanley, Professor of Mathematics, San Jose State University

Outer Model Satisfiability

John MacFarlane, Associate Professor of Philosophy, University of California, Berkeley

Ifs and Oughts

Paolo Mancosu, Professor of Philosophy, University of California, Berkeley

Tarski on Categoricity and Completeness: An Unpublished Lecture from 1940

Matthias Aschenbrenner, Associate Professor of Mathematics, University of California, Los Angeles

Uniform Degree Bounds for Groebner Bases

Ulrich Kohlenbach, Professor of Mathematics, Technische Universität Darmstadt

Logical Proof Interpretations as a Tool for “Hard Analysis”

Grigori Mints, Professor of Philosophy, Stanford University

Solving Equations in Monadic Logic

Theodore A. Slaman, Professor of Mathematics, University of California, Berkeley

Effective Randomness and Continuous Measures

Solomon Feferman, Professor of Mathematics and Philosophy Emeritus, Stanford University

Will-o’-the-Wisp? In Pursuit of a Foundation for Unrestricted Category Theory

Eric Pacuit, Postdoctoral Researcher in Computer Science, Stanford University

An Overview of Logic in Game Theory

Andrés Eduardo Caicedo, Harry Bateman Research Instructor in Mathematics, California Institute of Technology

Some Results in Finite Combinatorics

Jan Reimann, Charles B. Morrey Assistant Professor of Mathematics, University of California, Berkeley

Never Continuously Random Reals — an Intriguing Pi-one-one Set

Richard Tieszen, Professor of Philosophy, San Jose State University

Intentionality, Intuition, and Proof in Mathematics

Ralf Schindler, Professor of Mathematical Logic and Foundational Research, Visiting Scholar in Mathematics, University of California, Berkeley

Forcing Axioms and Large Cardinals

Martin Davis, Professor Emeritus of Mathematics and of Computer Science, Visiting Scholar in Mathematics, University of California, Berkeley

E. L. Post in 20th Century Logic

2006–2007

Thomas Scanlon, Associate Professor of Mathematics, University of California, Berkeley

Pop’s Conjecture on Theories of Finitely Generated Fields

John Krueger, Morrey Assistant Professor of Mathematics, University of California, Berkeley

Some Results on Internal Approachability

Sherrilyn Roush, Associate Professor of Philosophy, University of California, Berkeley

Knowledge of Logical Truth

Dana S. Scott, University Professor Emeritus, Carnegie Mellon University; Visiting Scholar in Logic and the Methodology of Science, University of California, Berkeley

Duality in Projective Geometry

Assaf Sharon, Visiting Assistant Professor of Mathematics, University of California, Irvine

Some Consistency Results in Singular Cardinal Combinatorics

Alexander Usvyatsov, Adjunct Assistant Professor of Mathematics and Fellow of the Logic Center, University of California, Los Angeles

Model Theory of Metric Structures: An Overview

Jose Ferreiros, Associate Professor of History and Philosophy of Science, University of Sevilla, Spain; Visiting Scholar in Philosophy, University of California, Berkeley

Is the Concept of Set Intuitive?

W. Hugh Woodin, Professor of Mathematics, University of California, Berkeley

The Continuum Hypothesis, the Generic Multiverse, and the Omega Conjecture

Branden Fitelson, Assistant Professor of Philosophy, University of California, Berkeley

Epistemological Critiques of “Classical Logic” — Two Case Studies

Lotfi A. Zadeh, Professor in the Graduate School, University of California, Berkeley

A New Frontier in Computation — Computation and Information Described in Natural Language

Justus Diller, Professor Emeritus, Institute for Mathematical Logic and Foundational Research, University of Münster

Functional Interpretations of Constructive Set Theory in All Finite Types

Carol Wood, Professor of Mathematics, Wesleyan University Visiting Scholar in Mathematics, University of California, Berkeley

Reducts in Model theory

Douglas S. Bridges, Professor of Pure Mathematics, University of Canterbury, Christchurch, New Zealand

Constructive Reverse Mathematics

John R. Steel, Professor of Mathematics, University of California, Berkeley

A Correctness Result for Canonical Inner Models

2005–2006

Paolo Mancosu, Associate Professor of Philosophy, University of California, Berkeley

Harvard 1940–41: Tarski, Carnap and Quine on a finitistic language of mathematics for science

Martin Davis, Professor Emeritus of Mathematics and Computer Science, Courant Institute, New York University; Visiting Scholar in Mathmatics, University of California, Berkeley

Gödel: Missed Connections, Alternate Directions

Peter Koellner, Assistant Professor of Philosophy, Harvard University; Visiting Scholar in Mathematics, University of California, Berkeley

On the Question of Absolute Undecidability

Theodore A. Slaman, Professor of Mathematics, University of California, Berkeley

Bounding and Induction Principles in Arithmetic: Conservation Questions

Matthew D. Foreman, Professor of Mathematics, University of California, Irvine

Classification and Anticlassification Theorems for Measure-Preserving Transformations

Chitat Chong, University Professor of Mathematics, National University of Singapore

Logical Analysis of Ramsey’s Theorem

Charles S. Chihara, Professor Emeritus of Philosophy, University of California, Berkeley

Burgess’s “Scientific” Arguments for the Existence of Mathematical Objects

Leo A. Harrington, Professor of Mathematics, University of California, Berkeley

A Proposed Resemblance to Hegel’s Objective Logic

John Macfarlane, Associate Professor of Philosophy, University of California, Berkeley

Epistemic Modals Are Assessment-Sensitive

Toshiyasu Arai, Professor, Graduate School of Science and Technology, Kobe University

Resolving the Reflective Universes

Moti Gitik, Professor of Mathematics, Tel Aviv University; Visiting Professor of Mathematics, University of California, Irvine

Short extenders forcings and morasses with linear limits

Oswaldo Chateaubriand, Professor of Philosophy, Pontifical Catholic University of Rio de Janeiro

A Theory of Descriptions

Jan Reimann, Wissenschaftlicher Assistent (C1), Universität Heidelberg; Visiting Scholar, University of California, Berkeley

Fractal Dimensions in Recursion Theory

Dominic Hughes, Visiting Scholar, Leland Stanford Junior University

Proofs without Syntax

2004–2005

Hannes Leitgeb, Assistant Professor of Philosophy, University of Salzburg; Visiting Scholar in Philosophy, Stanford University

A Type-Free Theory of Truth and Modality

Donald A. Martin, Professor of Mathematics and of Philopsophy, University of California, Los Angeles

Goedel’s Conceptual Realism

Dana S. Scott, Hillman University Professor Emeritus of Computer Science, Mathematical Logic, and Philosophy, Carnegie Mellon University

Parametric Sets and Virtual Classes

Ronald Fagin, Manager, Foundations of Computer Science, IBM Almaden Research Center

Finite-Model Theory — A Personal Perspective

Lotfi Zadeh, Professor in the Graduate School, Division of Computer Science, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley

From Search Engines to Question-Answering Machines — The Need for Deduction Capability

Yiannis Vourtsanis, Visitor, Department of Mathematics, University of Central Florida

General theory of structures: operational aspects and a new logical proof of Cantor’s theorem of set theory

J. W. Addison, Professor Emeritus of Mathematics, University of California, Berkeley

Infinitary Boolean Operations

Branden Fitelson, Assistant Professor of Philosophy, University of California, Berkeley

A Decision Procedure for the Probability Calculus, with Applications

Benjamin Wells, Professor of Mathematics and of Computer Science, University of San Francisco; Faculty Scholar, Lawrence Livermore National Laboratory; Visiting Scholar in Mathematics, University of California, Berkeley

The Logic of Colossus, an Early Universal Computer

William Craig, Professor Emeritus of Philosophy, University of California, Berkeley

Structures Related to the Excisions and Interchanges That Underlie First-Order Logic

Krister Segerberg, Professor Emeritus of Philosophy, University of Uppsala, Visiting Professor of Philosophy, Stanford University

The Logic of Belief Change

Andreas Liu, Golda Meir Postdoctoral Fellow, Hebrew University of Jerusalem

Cardinal Arithmetic Since Silver

Thomas Scanlon, Professor of Mathematics, University of California, Berkeley

Geometry in Stability Theory

Grigori E. Mints, Professor of Philosophy, of Computer Science, and of Mathematics, Stanford University; Visiting Professor of Mathematics, University of California, Berkeley

Intuitionistic Frege Systems Are Polynomially Equivalent

2003–2004

Leo Harrington, Professor of Mathematics, University of California, Berkeley

Anaximander’s Saying

Andrew Arana, Assistant Professor of Philosophy, Stanford University

Degree Complexity of Models of Arithmetic and Connections with Independence Results

Paolo Mancosu, Associate Professor of Philosophy, University of California, Berkeley

Tarski on Models and Logical Consequence

John R. Steel, Professor of Mathematics, University of California, Berkeley

The Core Model Induction

Charles Chihara, Professor Emeritus of Philosophy, University of California, Berkeley

Nominalism in Contemporary Philosophy of Mathematics

Grigori E. Mints, Professor of Philosophy, of Mathematics, and of Computer Science, Stanford University

Propositional Logic of Continuous Transformations

Umesh Vazirani, Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley

Are NP-complete Problems Solvable in Quantum Polynomial Time?

Robert Brayton, Cadence Distinguished Professor of Electrical Engineering and Computer Sciences, and Director, SRC Center for Excellence in Design Sciences, University of California, Berkeley

Computational Aspects of Logic Synthesis

Theodore A. Slaman, Professor and Chair of Mathematics, University of California, Berkeley

Recursive Measures and Their Random Reals

Dana S. Scott, Hillman University Professor Emeritus of Computer Science, Mathematical Logic, and Philosophy, Carnegie Mellon University

Topology, Categories, and Lambda-Calculus

Martin Davis, Professor Emeritus, Courant Institute of Mathematical Sciences, New York University, and Visiting Scholar, University of California, Berkeley

The Myth of Hypercomputation

John MacFarlane, Assistant Professor of Philosophy, University of California, Berkeley

In What Sense (If Any) Is Logic Normative for Thought?

W. Hugh Woodin, Professor of Mathematics, University of California, Berkeley

A Structural Equivalence for AD-R

Phokion G. Kolaitis, Professor of Computer Science, University of California, Santa Cruz

On Preservations under Homomorphisms in the Finite

Joel I. Friedman, Professor Emeritus of Philosophy, University of California, Davis

Modalism (or, Modal Platonism): An Easy Way to Avoid Ontological Commitment to Abstract Entities

Lev D. Beklemishev, Leading Researcher, Steklov Mathematical Institute, Moscow, and Onderzoeker, University of Utrecht

Applications of Modal Logic in Proof Theory

2002–2003

Thomas Scanlon, Assistant Professor of Mathematics, University of California, Berkeley

Model Theory of Partial Differential Equations

Enrique Casanovas, Visiting Scholar in Mathematics, University of California, Berkeley, and Associate Professor of Logic and Philosophy of Science, University of Barcelona

Elimination of Hyperimaginaries

Lotfi A. Zadeh, Professor in the Graduate School, Computer Science Division, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley

It is a Fundamental Limitation to Base Probability Theory on Bivalent Logic

Deirdre Haskell, Associate Professor of Mathematics and Statistics, McMaster University, and Visiting Scholar in Mathematics, University of California, Berkeley

Valued Fields and Elimination of Imaginaries

John MacFarlane, Assistant Professor of Philosophy, University of California, Berkeley

Future Contingents and Relative Truth

John D. Clemens, Bateman Research Instructor in Mathematics, California Institute of Technology

Classifying Metric Spaces with a Fixed Set of Distances

Chris Pollett, Assistant Professor of Computer Science, San Jose State University.

Nepomnjascij’s Theorem and Independence Proofs in Bounded Arithmetic

Martin Zeman, Assistant Professor of Mathematics, University of California, Irvine.

Failure of Square at Singular Cardinals from a Weak Condition

William Craig, Professor Emeritus of Philosophy, University of California, Berkeley

Semigroups and Unary Algebras That Underlie First-Order Logic

Solomon Feferman, Professor of Mathematics and Philosophy, Stanford University, and Visiting Professor of Philosophy, University of California, Berkeley

Operational Theories of Sets and “Small” Large Cardinals

Rami Grossberg, Associate Professor of Mathematics, Carnegie Mellon Univesity, Visiting Associate Professor of Mathematics, Stanford University

Influence of Set Theory on Model Theory

Wayne H. Richter, Associate Professor of Mathematics, University of Minnesota, and Visiting Scholar in Mathematics, University of California, Berkeley

Inductive Definability

Branden Fitelson, Assistant Professor of Philosophy, San Jose State University, and Assistant Professor Designate of Philosophy, University of California, Berkeley

Some Recent Results in Algebra and Logical Calculi Obtained Via Automated Reasoning

Luca Bellotti, Research Fellow in Philosophy, University of Pisa, and Visiting Scholar in Philosophy, University of California, Berkeley

The Syntax/Semantics Tangle in Set Theory

Monica VanDieren, Szego Assistant Professor of Mathematics, Stanford University.

Stability in Abstract Elementary Classes

Joel David Hamkins, Associate Professor of Mathematics, Georgia State University, Professor of Mathematics, College of Staten Island, CUNY, and Doctoral Faculty Member, The Graduate Center, CUNY

A New Forcing Axiom: Modal Set Theory