Jeremy Heis One focus of Professor Heis's historical work has been the philosophy of mathematics from Kant through the neo-Kantians (especially Cassirer), particularly as it was influenced by changes in mathematics itself. Another is the development of logic and philosophy of logic in the 19th century (from Kant to Frege).

Penelope Maddy Much of Professor Maddy's work has been aimed at the question of how we justify the axioms of set theory, including new axioms extending beyond ZFC. This has led her into general questions in the metaphysics and epistemology of mathematics and the ground of logical truth.

Sean Walsh Professor Walsh works in philosophy of math, philosophy of logic, and mathematical logic. Some recent work has been on logicism, predicativity, intensional logics, and realizability.

Kai Wehmeier Professor Wehmeier works in philosophical logic and philosophy of logic, as well as adjacent areas in philosophy of language and metaphysics. Much of his recent research has been concerned with the logical analysis of modality and identity. Another focus is the philosophy of Gottlob Frege.

Jeffrey Barrett shares some research interests with this group; in particular, he and Affiliated Faculty member Wayne Aitken have an active research project on algorithmic logic, a type-free logic of intensional functions. James Weatherall also shares some interests with the group, in particular concerning applications of category theory in both the foundations of physics and the foundations of mathematics. Adjunct Faculty member Richard Mendelsohn is a philosophical logician and philosopher of logic/language with special expertise in the history of analytic philosophy, especially Frege; he participates in Logic Seminar each winter quarter.

Current and recent students in the Logic Group include Ethan Galebach (history and philosophy of mathematics, especially visualizability), Jeffrey Schatz (theories of truth, foundations of set theory), Michael Ernst (foundations of mathematics, especially category theory and set theory), Bennett McNulty (Kant's philosophy of mathematics and science, especially the application of math in natural science), Ben Rin (modal logic and foundations of computation), John Rapalino (foundations of set theory, especially recent technical arguments concerning the continuum hypothesis), and Jordan Stein (philosophy of logic, especially foundations of two-dimensional semantics). Affiliated Faculty include Wayne Aitken, Matt Foreman, Tony Martin, Barbara Sarnecka, and Martin Zeman. These faculty are among those available for course work and consultation for students pursuing the Math Emphasis.

Via the Center for the Advancement of Logic, its Philosophy, History and Applications (C-Alpha), the Logic Group is engaged in a cooperation with the University of Connecticut Logic Group that includes an annual exchange of visitors. They also enjoy close relations with the UCLA Logic Center and the Center for Mathematical Philosophy at the University of Munich, Germany. Roughly every other year, the Logic Group organizes the UCI FregeFest, a two-day workshop devoted to the work of the inventor of modern logic, Gottlob Frege, and the ramifications of his work for contemporary philosophy. Frequent additional workshops on various topics in logic and the philosophy of mathematics take place on an ad hoc basis (see links below). The Logic Seminar, held each winter quarter, is the group's research seminar, in which work in progress by resident faculty and graduate students, as well as occasional visitors, is presented. Finally, the LPS Logic Group is a participant in the Southern California History and Philosophy of Logic and Mathematics Group, and a regular host of its meetings.

**Upcoming and Recent Workshops**

First UC Irvine Workshop in Logical Semantics

Category-Theoretic Foundations of Mathematics

(Click here for videos of the talks and discussions.)

So-Cal Phil Math + Phil Logic + FoM Workshop 6

**Ongoing Activities of the Logic Group**

So-Cal Phil Math + Phil Logic + FoM Workshops

The Center for the Advancement of Logic, its Philosophy, History and Applications (C-ALPHA)

The So-Cal History and Philosophy of Logic and Mathematics Group