Failing definite descriptions, Notre Dame Food for Thought Seminar, March 2024
Joel David Hamkins
by Joel David Hamkins
1M ago
I gave a talk for the Food for Thought seminar for the Notre Dame philosophy department. The topic concerned definite descriptions, particularly the semantics that might be given when one extends first-order logic to include the iota operator, by which ..read more
Visit website
How the continuum hypothesis could have been a fundamental axiom, UC Irvine Logic & Philosoph of Science Colloquium, March 2024
Joel David Hamkins
by Joel David Hamkins
2M ago
This will be a talk for the Logic and Philosophy of Science Colloquium at the University of California at Irvine, 15 March 2024. Abstract. With a simple historical thought experiment, I should like to describe how we might easily have ..read more
Visit website
What if your potentialism is implicitly actualist? Oxford conference, March 2024
Joel David Hamkins
by Joel David Hamkins
2M ago
This will be a talk at the conference Challenging the Infinite, March 11-12 at Oxford University. (Please register now to book a place.) Abstract Many commonly considered forms of potentialism, I argue, are implicitly actualist in the sense that a ..read more
Visit website
The Gödel incompleteness phenomenon, interview with Rahul Sam
Joel David Hamkins
by Joel David Hamkins
3M ago
Please enjoy my conversation with Rahul Sam for his podcast, a sweeping discussion of topics in the philosophy of mathematics—potentialism, pluralism, Gödel incompleteness, philosophy of set theory, large cardinals, and much more ..read more
Visit website
The computable model theory of forcing, Rutgers Logic Seminar, December 2023
Joel David Hamkins
by Joel David Hamkins
5M ago
This will be a talk for the Rutgers University Logic Seminar, December 4, 2023. Abstract. I shall discuss the computable model theory of forcing. To what extent can we view forcing as a computational process on the models of set ..read more
Visit website
The Wordle and Absurdle numbers, CUNY Logic Workshop, November 2023
Joel David Hamkins
by Joel David Hamkins
5M ago
This will be a talk for the CUNY Logic Workshop, 17 November 2023. Abstract. We consider the game of infinite Wordle as played on Baire space $\omega^\omega$. The codebreaker can win in finitely many moves against any countable dictionary $\Delta\subseteq\omega^\omega ..read more
Visit website
What is second-order predicate modal logic? FoMoLo Seminar, February 2024
Joel David Hamkins
by Joel David Hamkins
6M ago
This will be a talk for the First-order Modal Logic (FoMoLo) Seminar, 12 February 2024. The talk will take place online via Zoom—contact the organizers for access. Abstract. What is or should be the potentialist account of classes? There are ..read more
Visit website
What is potentialist second-order logic? Konstanz Actualism and Potentialism Conference 2023
Joel David Hamkins
by Joel David Hamkins
7M ago
This is a talk for the Actualism and Potentialism Conference at the University of Konstanz, 28-29 September 2023. Abstract. What is or should be the potentialist account of classes? It turns out that there are several natural implementations of second-order ..read more
Visit website
Infinite Games Workshop
Joel David Hamkins
by Joel David Hamkins
7M ago
Welcome to the Infinite Games Workshop, beginning Autumn 2023. The past ten years has seen an explosion in the study of infinite games, for researchers are now investigating diverse infinite games, including infinite chess, infinite draughts, infinite Hex, infinite Othello ..read more
Visit website
Philosophy of Mathematics and Truth, interview with Matthew Geleta on Paradigm Podcast
Joel David Hamkins
by Joel David Hamkins
8M ago
We had a sweeping discussion touching upon many issues in the philosophy of mathematics, including the nature of mathematical truth, mathematical abstraction, the nature of mathematical existence, the meaning and role of proof in mathematics, the completeness theorem, the incompleteness ..read more
Visit website

Follow Joel David Hamkins on FeedSpot

Continue with Google
Continue with Apple
OR