Invited talk at conference Set Theory:
Bridging Mathematics and Philosophy, University of Konstanz, July 29-31, 2019.
Invited talk at conference Woodin Week, Turku University, May 6-10, 2019.
Selected recent talks
Speaker, Invited Symposium: History and Philosophy of Logic, 2019 \
Eastern Division Meeting of the APA, New York
Lecture, Summer School, 100 Years of Model Theory,
University of Jena, September 3-7, 2018
Plenary, 11th Annual Cambridge Graduate
Conference on the Philosophy of Mathematics
and Logic, January 20-21, 2018.
Lectures on the philosophy of mathematics, Summer
School on Mathematical Philosophy for Female Students, Munich
Center for Mathematical Philosophy, 23-29 July, 2017
"Gödel’s Reception of Turing’s
Model of Computability: the 'Shift of Perception' in 1934", CiE 2017, History and
Philosophy of Computing Special Session, Turku, June, 2017.
"Tarski and 'the mathematical'",
Model Theory: Philosophy, Mathematics and Language, Munich, January, 2017.
"On Gödel's reception of Gödel's Incompleteness Theorems."
Images of Mathematics lecture series, ETH, Zurich, 5-6 December, 2016
Images of Mathematics lecture series, ETH, Zurich, 5-6 December,
2016
"Squeezing Arguments and Strong Logics", Working Group in the History
and Philosophy of Logic, Mathematics, and Science (HPLMS) UC Berkeley,
November 16th, 2016
Set Theoretic Pluralism symposium, Aberdeen July 12-18, 2016
Philosophy of Mathematics Seminar, University of Oxford, November 30, 2015.
Entanglement and Formalism Freeness: Templates from Logic and Set Theory, Congress of Logic, Methodology and Philosophy of Science, Helsinki, August, 2015.
Keynote, Fourth Annual Conference of the Society for the Study of the
History of Analytical Philosophy, Trinity College Dublin, 4-6 June 2015.
Selected publications (in chronological order)
On regular reduced products, with Saharon Shelah,
Journal of Symbolic Logic, Volume 67, Number 3, Sept. 2002.
(dvi,
ps,
pdf).
History of Logic (vols. 1, 2), editors Juliette Kennedy and
Gabriel Sandu, Synthese, volume 137 (1-2), 2003.
On embedding models of arithmetic into reduced powers,
8th Workshop on Logic, Language, Informations and Computation---WoLLIC'2001
(Brasilia).
Mat. Contemp. 24 (2003), 91--115.
On embedding models of arithmetic of
cardinality aleph_1 into reduced powers, with Saharon Shelah,
Fundamenta Mathematicae, Volume 176, Issue 1, 2003. (dvi,
ps,
pdf).
On the Philosophical Development of Kurt Gödel, with Mark van Atten,
Bulletin of Symbolic Logic, Volume 9, Issue 4, December 2003. pages 425-476.
(pdf)
More on regular reduced products, with Saharon Shelah,
Journal of Symbolic Logic, Volume 69, Issue 4, December 2004.
(dvi,
ps,
pdf).
Gödel's Modernism: On Set-Theoretic Incompleteness, with Mark van Atten,
Graduate Faculty Philosophy Journal, volume 25, number 2, 289--349, 2004
(pdf).
Incompleteness - A Book Review,
Notices of the American Mathematical Society April 2006,
(pdf).
On Applications of Transfer Principles in Model Theory, with Jouko Väänänen,
in Set Theory: Recent Trends and Applications (A. Andretta ed.),
Quaderni di Matematica, vol 17, 2007, 111-136.
Review of “Kurt Gödel: Das Album”,
by Sigmund, Dawson and Mühlberger,The Mathematical Intelligencer vol. 29, issue 3, pp. 73-75, 2007.
Regular Ultrafilters and Finite Square Principles, with Saharon Shelah, and Jouko Väänänen,
(pdf),
Journal of Symbolic Logic 73(2), 2008, 817-823.
On Gödel's Logic, with Mark van Atten,
The Handbook of the History of Logic, volume 5, Elsevier, 2009, 449-509.
Gödel's Modernism: On Set Theoretic Incompleteness, Revisited, with Mark van Atten,
in Logicism, Intuitionism and Formalism: What has become of them?,
edited by Sten Lindström, E. Palmgren, K. Segerberg, and V. Stoltenberg-Hansen, Springer, 2009, 303-356.
Can the Continuum Hypothesis be Solved?, The Institute Letter, Institute for Advanced Study, Fall 2011.
Gödel's Thesis: An Appreciation, in Horizons of Truth, Proceedings of the Gödel Centenary, Cambridge University Press, 2011.
Hilbert's Twenty-fourth Problem: On the Aesthetic of Simplicity in Mathematics.Arkadia Gazette, Helsinki, January 2012.
Set Theory, Classical and Constructive,Annals of Pure and Applied Logic, volume 163, issue 10, pages 1359-1446 (October 2012).
Guest editor with Jaap van Oosten.
Invited papers from the meeting of the same name in Amsterdam, May 6-7, 2010.
On Formalism Freeness:
Implementing Gödel's 1946 Princeton Bicentennial Lecture,
Bulletin of Symbolic Logic, volume 19, issue 3,
September 2013, 351-393. MathSciNet review.
Review of After Gödel by Richard Tieszen, Notre Dame Philosophical Reviews, Oct 2013.
Review of Defending the Axioms: On the Philosophical Foundations of Set Theory by Penelope Maddy, Bulletin of Symbolic Logic, March 2014.
Interpreting Gödel: Critical Essays, edited volume, Cambridge University Press, 2014.
Gödel's 1946 Princeton Bicentennial Lecture: An Appreciation, in Interpreting Gödel: Critical Essays, Cambridge University Press, 2014.
On the "Logic without Borders" Point
of View,
Logic without Borders: Essays on Set
Theory, Model Theory, Philosophical Logic and
Philosophy of Mathematics,
edited by Åsa Hirvonen,
Juha Kontinen, Roman Kossak and Andres Villaveces,
de Gruyter, 2015, 1-14.
Aesthetics and the Dream of Objectivity: Notes from Set Theory, with J. Väänänen, for the proceedings of the 2011 conference Mathematical Evidence, University of Oslo. Inquiry, 58(1), 2015, 83-98.
Regular Ultraproducts at Regular Cardinals,
with S. Shelah, and J. Väänänen,
Notre Dame Journal of Formal Logic, 56:3, 2015.
Turing, Gödel and the "Bright Abyss", in: Philosophical Explorations of the Legacy of Alan Turing (edited by J. Floyd and A. Bokulich), Proceedings of the conference Turing 100 at Boston University, November 2012, Springer, 2017.
Three Moments in the Life of the Mathematical Diagram: Notes on the Syntax/Semantics Distinction,
for the volume Mathematical Concepts edited by L. de Freitas, N. Sinclair and A. Coles. Cambridge University Press, 2017.
Squeezing Arguments and Strong Logics,
with J. Väänänen, Proceedings of LMPS 2016, Hannes Leitgeb, Ilkka Niiniluoto, Elliott Sober, and Paäivi Seppälä, editors, 2017.
Gödel’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934, Proceedings of CiE 2017, Unveiling Dynamics and
Complexity,
13th Conference on Computability in Europe,
CiE 2017, Turku, Finland, June 12 – 16, 2017.
Jarkko Kari, Florin Manea, Ion Petre (eds.)
Lecture Notes in Computer Science, vol. 10307 (2017).
The System that Destroys Itself,
or Greenberg’s Modernism & the Liar’s Paradox, with Michael Maizels, Crisis and Critique, Vol 5(1), 2018.
Remarks on Heller-Roazen'sNo One’s Ways: An Essay on Infinite Naming, Syndicate, to appear.
Work in progress
Local foundations, entanglement and formalism-freeness: The persistence of the natural language paradigm from Gödel and Tarski to the present, monograph under contract with Cambridge University Press
Penelope Maddy on the philosophy of mathematics, co-editor (with Sophia Arbeiter) of essay collection, Springer series Outstanding Contributions to Logic.
Publications - Art
Logic Unfettered: European and American Abstraction Now,
Museumbrief, Mondrian House Publications, 2007.
Fred Sandback, Taide & Design, 11 (February 2011), 40-47.
Interview with Andy Goldsworthy, Taide & Design, 13 (July
2011), 47-53.
Andy Goldsworthy, Pori Art Museum Publications, July 2011, pp.
18-72.
Kant, Co-production, Actuality and Pedestrian Space: On the
Philosophical Writings of Fred Sandback,
for the volume Simplicity: Ideals of Practice in Mathematics and the Arts,
Roman Kossak and Philip Ording, eds., Springer, 2017.
On the Art of Gabriel de la Mora, catalogue essay, Perrotin Gallery, New
York, to appear March 2019.
Exhibition: Fred Sandback at Pori.Pori Art Museum,
Pori, Finland. February 4 - May 29, 2011. Review in Helsingin Sanomat 24.2.2011 Section C3, and in ARTFORUM
Exhibition: Andy Goldsworthy.Pori Art Museum,
Pori, Finland. June 10 - September 4, 2011. Review in Helsingin Sanomat 11.6.2011
The Wor(l)d, with artists Maria Clara Cortes and Taina Riikonen, curated by Juliette Kennedy and Merja Polvinen, Helsinki Collegium for Advanced Studies, 18 May – 19 June, 2015.