Philosophy

Created
Tue, 04/04/2023 - 10:42

Imagine coming across, on a reasonably serious site, an article that starts along the lines of:

After observing the generative AI space for a while, I feel I have to ask: does ChatGPT (and other LLM-based chatbots)… actually gablergh? And if I am honest with myself, I cannot but conclude that it sure does seem so, to some extent!

I know this sounds sensationalist. It does undermine some of our strongly held assumptions and beliefs about what does “to gablergh” actually mean — and what classes of entities can, in fact, be said to gablergh at all. Since gablerghing is such a crucial part of what many feel it means to be human, this is also certainly going to ruffle some feathers!

Created
Sat, 04/03/2023 - 05:45
This is my sixth post on MacAskill’s What We Owe the Future. (The first here; the second is here; the third here; the fourth here; the fifth here; and this post on a passage in Parfit (here.)) I paused the series in the middle of January because most of my remaining objections to the project involve either how to […]
Created
Wed, 15/02/2023 - 21:28
There is a kind of relentless contrarian that is very smart, has voracious reading habits, is funny, and ends up in race science and eugenics. You are familiar with the type. Luckily, analytic philosophy also generates different contrarians about its own methods and projects that try to develop more promising (new) paths than these. Contemporary classics in […]
Created
Tue, 07/02/2023 - 21:00
The Association for Symbolic Logic has awarded its 2022 Shoenfield Logic Book and Article Prizes. The Shoenfield Prizes are “awarded for outstanding expository writing in the field of logic” and were established honor the late Joseph R. Shoenfield, a influential logician who died in 2000. The Shoenfield Book Prize was awarded to Paolo Mancosu (University of California, Berkeley), Sergio Galvan (Catholic University of the Sacred Heart), and Richard Zach (Calgary) for their book, An Introduction to Proof Theory—Normalization, Cut-Elimination, and Consistency Proofs (Oxford University Press, 2021). Here’s a summary of their book: Proof theory is a central area of mathematical logic of special interest to philosophy. It has its roots in the foundational debate of the 1920s, in particular, in Hilbert’s program in the philosophy of mathematics, which called for a formalization of mathematics, as well as for a proof, using philosophically unproblematic, “finitary” means, that these systems are free from contradiction.