Coming up this afternoon, I’m giving the talk “Inferentialism for Everyone” for the local Arché Metaphysics and Logic crew here in St Andrews. This talk attempts to distill material I’ve been thinking about for the last decade or so down to a concentrated but accessible form. I look forward to […]

The new academic year has started, and it’s fun to be back in the classroom teaching intermediate logic. The crew this year seem to be quite switched on, and it’ll be fun teaching them proofs and models for propositional, modal and first-order predicate logic. (Apparently I haven’t lost my taste […]

The new academic year has started, and it’s fun to be back in the classroom teaching intermediate logic. The crew this year seem to be quite switched on, and it’ll be fun teaching them proofs and models for propositional, modal and first-order predicate logic. (Apparently I haven’t lost my taste […]

I think I have a use for a shirt like this… https://hci.social/@chrisamaphone/115219723841420067

It’s neat to see the special issue of the Australasian Journal of Logic, in honour of Ross Brady, is out. The whole collection is a lot of fun, and Shay Logan’s generous, opinionated introduction to the volume is a real treat. As ever, with the AJL, all 12 articles are open access. It’s such a […]

PhD position with Benno van den Berg on the semantics of Homotopy Type Theory (esp. effective Kan fibrations) at the ILLC in Amsterdam! https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory Application deadline: 27 September […]

Just posted, at last: A review of one of my favorite recent books, Benjamin Shestakovsky's "Behind the Startup"—the most rigorous and precise account I've seen of how the dominant startup model produces inequality: muse.jhu.edu/article/968586

A man seeks an iced black coffee, while John seeks a unicorn. #eh9 #Coffee #dundee #montaguesemantics

The anarchist type theorists are in evidence along Riverside Walk in Dundee. #typetheory #dundee

Charles Travis, logical pluralist. This is an extract from his *Unshadowed Thought,* Harvard University Press, 2000.

The recordings from #types2025 are beginning to appear on @mspstrath’s youtube channel. There is a lot of good stuff there already, and I plan to re-watch some talks I enjoyed in the days ahead. Here is the recording of my talk on some of the connections between type theory and issues in […]

"We sent the student's draft of his dissertation to an expert in the field, who said the main theorem was too trivial. In fact, it turned out to be incorrect". Fred Richman https://web.archive.org/web/20230204213103/http://math.fau.edu/richman/docs/confess.pdf

The recordings from #types2025 are beginning to appear on @mspstrath’s youtube channel. There is a lot of good stuff there already, and I plan to re-watch some talks I enjoyed in the days ahead. Here is the recording of my talk on some of the connections between type theory and issues in […]

Last week was all type theory, all the time. *This* week I get to change gears, and take part in the 50th Annual Conference of the Society for Exact Philosophy. I’m especially looking forward to Day 2, which is devoted to the work of our sorely-missed colleague, Aldo Antonelli, who passed away […]

Last week was all type theory, all the time. *This* week I get to change gears, and take part in the 50th Annual Conference of the Society for Exact Philosophy. I’m especially looking forward to Day 2, which is devoted to the work of our sorely-missed colleague, Aldo Antonelli, who passed away […]

Hi all! My server, fediphilosophy, is sadly shutting down. So I have to migrate. Any server suggestions? I'm a philosopher, academic, leftist, living in Israel/Palestine (but American) I post a lot of Israel/Palestine politics from a left/not-anarchist-but-adjacent angle, but also some academic […]

TYPES 2025 has been lots of fun so far—I’ve been learning heaps, and I’m seeing unexpected connections between recent work in type theory and other issues I’m curious about. I have no idea how I (or my audience) will cope with a 20 minute timeslot straight after lunch, but my talk is more of a […]

I seem to be back in Glasgow, with its refreshing attitude to authority.

Coming up today, the first outing of my talk on Tim Williamson’s philosophical methodology and what we can learn from it. (Featuring order types, natural deduction proofs, epistemic logic, sudoku puzzles, Nuel Belnap on pre-semantics, and more. What’s not to […] [Original post on hcommons.social]

I've been using Bitbucket's free plan to sync my work in progress—mostly TeX documents and ancillaries—between my home and office Macs and my on-the-go iPad, with everything in a couple of git repositories for version control (and for sharing with a couple of co-authors). After years of […]

It’s a new month, and I have a couple of new presentations to give in the coming weeks. First, a philosophy talk on methodology, aimed at my philosophy colleagues, and second, a talk on the connections I see between type theory and research on philosophical logic, for type theorists. I’m […]

It’s a new month, and I have a couple of new presentations to give in the coming weeks. First, a philosophy talk on methodology, aimed at my philosophy colleagues, and second, a talk on the connections I see between type theory and research on philosophical logic, for type theorists. I’m […]

I'm running the risk of distracting my audience by including a sudoku puzzle in a handout for an upcoming talk, to make a point about epistemic logic and the semantics of propositional attitude ascriptions.

After having a few conversations with Christoph Schuringa about analytic philosophy and its history, I’m very much looking forward to reading his social history, and it’s not too long to wait, now. https://www.versobooks.com/en-gb/products/3018-a-social-history-of-analytic-philosophy

Finding myself on this selection of accepted papers for TYPES 2025 gives me the “Big Bird turning up to a meeting to which he isn’t qualified” vibe, but regardless, I’m really looking forward to hanging out in Glasgow next month and learning lots of type […] [Original post on hcommons.social]

Finding myself on this selection of accepted papers for TYPES 2025 gives me the “Big Bird turning up to a meeting to which he isn’t qualified” vibe, but regardless, I’m really looking forward to hanging out in Glasgow next month and learning lots of type […] [Original post on hcommons.social]

I’m in Amsterdam, about to give a talk about proof theory for modal predicate logic at the ILLC, the home base of the modal industrial complex. I have no idea how this is going to go over, but it should be a fun ride, however it turns out […] [Original post on hcommons.social]

I'm pleased to say that I'm helping to organise the #anu #logicsummerschool , which will be running in its 33rd straight year! The website https://comp.anu.edu.au/lss/ is mostly TBA notices at the moment, of course, but we do have the dates: 1-12 December. This is an international event and we […]

Today the editorial board of _Mathematical Logic Quarterly_ (pub'd by @Wiley) resigned and launched a new #diamondoa journal on the same topics. https://open-access.network/services/news/artikel/ruecktritt-des-mlq-editorial-teams See their open letter announcing their resignations and plans for […]

I’m just about to be on the road again, to talk about proof theory, modal logic, a hint of medieval logic, and even a tiny smidgen of metaphysics. On this little European jaunt, the first stop is Prague, then Vienna, and at the end, Amsterdam. I’m looking forward to meeting old friends and […]

I’m just about to be on the road again, to talk about proof theory, modal logic, a hint of medieval logic, and even a tiny smidgen of metaphysics. On this little European jaunt, the first stop is Prague, then Vienna, and at the end, Amsterdam. I’m looking forward to meeting old friends and […]

Last night’s performance, by the Dunedin Consort—of a mixed programme of choral music from the renaissance to the present day, on Lenten themes—was very special indeed. I knew some of the repertoire (I was familiar with the Lassus, and had heard the Poulenc […] [Original post on hcommons.social]

I wrote up what I learned converting an open textbook in LaTeX to HTML and making it accessible https://richardzach.org/2025/03/accessible-open-textbooks-in-math-heavy-disciplines/ #TexLaTeX #OER #accessibility #blind

The next stop on my little talk-giving tour is the Department of Logic in the Institute of Philosophy of the Czech Academy of Sciences, next week, on Thursday April 3. It’s been quite a while since I was last in Prague (that was 2017, for TACL), and I am looking forward to being back, catching […]

The next stop on my little talk-giving tour is the Department of Logic in the Institute of Philosophy of the Czech Academy of Sciences, next week, on Thursday April 3. It’s been quite a while since I was last in Prague (that was 2017, for TACL), and I am looking forward to being back, catching […]

It’s good to be back home in Scotland, especially now that the sun is still decently above the horizon at 4:30pm.

Next week, I’m heading off to North America for a few talks. (I’d committed to these talks before last year’s election and I have mixed feelings about the trip, but I’m going, nonetheless.) If you're in the LA area, in or around Calgary, or New York, and you’re into philosophical logic, why […]

Next week, I’m heading off to North America for a few talks. (I’d committed to these talks before last year’s election and I have mixed feelings about the trip, but I’m going, nonetheless.) If you're in the LA area, in or around Calgary, or New York, and you’re into philosophical logic, why […]

This Thursday, I’ll be down in London giving a talk about defining rules for quantifiers and identity, at the PPLV group in Computer Science at UCL. If you happen to be in the area, and are interested in proof theory, semantics and hints of metaphysics, I’d love to see you there […]

I'm delighted to share that next month, I’ll be in Canada, giving the 2024-25 Calgary Mathematics & Philosophy Lecture. I’ll be talking about mathematical practice, proof assistants, and meaning. If you’re in that part of the world on March 13, I’d love to see you there! […]

I'm delighted to share that next month, I’ll be in Canada, giving the 2024-25 Calgary Mathematics & Philosophy Lecture. I’ll be talking about mathematical practice, proof assistants, and meaning. If you’re in that part of the world on March 13, I’d love to see you there! […]

I'm glad to have space to get to writing, and the first writing project of my sabbatical has reached first-draft stage. If you're interested in modal logic, proof theory, and the metaphysics of contingent existence, have I got the paper for you! […] [Original post on hcommons.social]

It's January 2025 and I am finding myself citing the difference between call-by-name and call-by-value β reduction strategies in the middle of discussion of contingent existence, first-order quantified modal logic, and serious actualism. (I'm only half surprised that these different worlds are […]

It's January 2025 and I am finding myself citing the difference between call-by-name and call-by-value β reduction strategies in the middle of discussion of contingent existence, first-order quantified modal logic, and serious actualism. (I'm only half surprised that these different worlds are […]

It’s a cloudy and cold Tuesday, and I’m inside writing about refinement. At least I *think* I understand what I’m doing a bit better than Mark S and his team of macrodata refiners do. (That’s an inappropriate #Severance, #prooftheory #ModalLogic and […] [Original post on hcommons.social]

Happy New Year, everyone! I kept up my reading through December. Here is my reading log for December. https://consequently.org/news/2025/books-december-2024/. Props to @dmoren, whose Bayern Agenda was rollicking good fun. (The other authors from this month don't seem to be on the Fediverse […]

The Society for Exact Philosophy conferences are a whole heap of fun. I am planning to be there at the June SEP meeting at UC Davis, so why not plan to come and join us there? https://fediscience.org/@standefer/113754848437717276

Happy New Year, everyone! I kept up my reading through December. Here is my reading log for December. https://consequently.org/news/2025/books-december-2024/. Props to @dmoren, whose Bayern Agenda was rollicking good fun. (The other authors from this month don't seem to be on the Fediverse […]

The Society for Exact Philosophy conferences are a whole heap of fun. I am planning to be there at the June SEP meeting at UC Davis, so why not plan to come and join us there? https://fediscience.org/@standefer/113754848437717276

Another semester is done, and now, for the first time in many years, I have a break from undergraduate teaching, with a semester of research leave. I’m looking forward to having some extended time to think, and to write—and to give some presentations around about the place. I expect I’ll be on […]