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.

Toby Meadows Professor Meadows is a mathematical logician and philosopher of mathematics. He is particularly focused on problems in philosophy of set theory and foundations of mathematics. His research is concerned with questions relating to large cardinals, multiverse conceptions of set theory and comparison between rival foundations for mathematics.

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: Tom Colclough (philosophy of truth and set theory), Jason Chen (history and philosophy of set theory), Ainsley May (philosophy of mathematics and meaning), Curtis Mason (philosophy of mathematics), Jeffrey Schatz (theories of truth, foundations of set theory), Will Stafford (philosophy of logic and proof theory), Greg Lauro (philosophical and mathematical logic, formal semantics) and Fabio Lampert (philosophy and modal logic).

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