Benedict Eastaugh
@beastaugh.bsky.social
logician at warwick
extralogical.net
extralogical.net
Pinned
Benedict Eastaugh
@beastaugh.bsky.social
· Aug 14
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS | The Review of Symbolic Logic | Cambridge Core
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS - Volume 18 Issue 2
doi.org
My paper ‘Arrow’s theorem, ultrafilters, and reverse mathematics’ appears in the latest issue of the Review of Symbolic Logic. doi.org/10.1017/S175...
Reposted by Benedict Eastaugh
Starmer and Reeves wave white flags on tough decisions yet still oversee the collapse of the Labour vote as frustrated voters on the Left go to Greens, Centre to Plaid, LibDems or SNP and the Right to Reform that will lead their own MPs to replace them sooner rather than later
Futile cowardice
Futile cowardice
November 14, 2025 at 8:42 AM
Starmer and Reeves wave white flags on tough decisions yet still oversee the collapse of the Labour vote as frustrated voters on the Left go to Greens, Centre to Plaid, LibDems or SNP and the Right to Reform that will lead their own MPs to replace them sooner rather than later
Futile cowardice
Futile cowardice
Reposted by Benedict Eastaugh
Great news - one of the best mini-series ever with a dazzling & eccentric screenplay by Troy Kennedy Martin & superb direction by Martin Campbell is back on iplayer.
If you haven’t seen it then you’re in for a real treat.
Come for Bob Peck, stay for Joe Don Baker.
www.bbc.co.uk/iplayer/epis...
If you haven’t seen it then you’re in for a real treat.
Come for Bob Peck, stay for Joe Don Baker.
www.bbc.co.uk/iplayer/epis...
Edge of Darkness - Series 1: 1. Compassionate Leave
Thriller set in a world of obsessive state security. Ronald Craven is haunted by the murder of his daughter and begins his own investigation into her death.
www.bbc.co.uk
November 1, 2025 at 4:57 PM
Great news - one of the best mini-series ever with a dazzling & eccentric screenplay by Troy Kennedy Martin & superb direction by Martin Campbell is back on iplayer.
If you haven’t seen it then you’re in for a real treat.
Come for Bob Peck, stay for Joe Don Baker.
www.bbc.co.uk/iplayer/epis...
If you haven’t seen it then you’re in for a real treat.
Come for Bob Peck, stay for Joe Don Baker.
www.bbc.co.uk/iplayer/epis...
Reposted by Benedict Eastaugh
What do you think when you see this hand sign? Live long and prosper? Well this is a headstone in the Jewish cemetery in Frankfurt maybe 400 years old. It’s the sign of the kohanim priestly blessing, which Leonard Nimoy is said to have remembered from his childhood, and which he adopted for Spock.
October 15, 2025 at 7:36 AM
What do you think when you see this hand sign? Live long and prosper? Well this is a headstone in the Jewish cemetery in Frankfurt maybe 400 years old. It’s the sign of the kohanim priestly blessing, which Leonard Nimoy is said to have remembered from his childhood, and which he adopted for Spock.
Reposted by Benedict Eastaugh
I realised yesterday that, if I want an accurate picture of how bad Man Utd currently are, I can track 27 live match stats on the BBC. People CAN in fact comprehend complex numerical information - it takes real effort to create and maintain economic ignorance at the level our media does.
September 16, 2025 at 9:09 AM
I realised yesterday that, if I want an accurate picture of how bad Man Utd currently are, I can track 27 live match stats on the BBC. People CAN in fact comprehend complex numerical information - it takes real effort to create and maintain economic ignorance at the level our media does.
Reposted by Benedict Eastaugh
Paua Quinon @ludolphine.bsky.social gives a keynote at the British Logic Colloquium on "Is the Concept of Computation a Conceptual Fixed Point?"
September 12, 2025 at 8:34 AM
Paua Quinon @ludolphine.bsky.social gives a keynote at the British Logic Colloquium on "Is the Concept of Computation a Conceptual Fixed Point?"
Reposted by Benedict Eastaugh
When the MP nomination threshold in leadership contests was doubled in 2021, many of us warned this move was designed to keep left-wing candidates off future ballots.
Sadly, this contest has proved us right.
We should have had a conversation, not a coronation.
Sadly, this contest has proved us right.
We should have had a conversation, not a coronation.
September 12, 2025 at 11:45 AM
When the MP nomination threshold in leadership contests was doubled in 2021, many of us warned this move was designed to keep left-wing candidates off future ballots.
Sadly, this contest has proved us right.
We should have had a conversation, not a coronation.
Sadly, this contest has proved us right.
We should have had a conversation, not a coronation.
Reposted by Benedict Eastaugh
We cannot out-Reform Reform. But we can be more Labour.
We must stand up for working people with clear policies that tackle inequality, protect communities and put peace, justice and welfare at the heart of all we do.
We must take a much harder line with Israel.
We must stand up for working people with clear policies that tackle inequality, protect communities and put peace, justice and welfare at the heart of all we do.
We must take a much harder line with Israel.
September 11, 2025 at 6:20 PM
We cannot out-Reform Reform. But we can be more Labour.
We must stand up for working people with clear policies that tackle inequality, protect communities and put peace, justice and welfare at the heart of all we do.
We must take a much harder line with Israel.
We must stand up for working people with clear policies that tackle inequality, protect communities and put peace, justice and welfare at the heart of all we do.
We must take a much harder line with Israel.
Reposted by Benedict Eastaugh
It seems that those UCU HEC members who voted for the hare-brained scheme of balloting for a strike, which will cost us 200k, likely fail, and which has been roundly criticized - those HEC members are displeased with our condemnation & call us "undemocratic."
Reminds me of Brecht's little poem:
Reminds me of Brecht's little poem:
September 9, 2025 at 6:58 PM
It seems that those UCU HEC members who voted for the hare-brained scheme of balloting for a strike, which will cost us 200k, likely fail, and which has been roundly criticized - those HEC members are displeased with our condemnation & call us "undemocratic."
Reminds me of Brecht's little poem:
Reminds me of Brecht's little poem:
Reposted by Benedict Eastaugh
I was lucky enough to be a guest a few times. Right before starting he would say, "our audience is very well informed, so go as deep as you want, and if need be I'll ask you to clarify." Thought that was pretty amazing, like, the opposite of saying "dumb it down please."
Sad day – thank you for 1,000 episodes! 💔😭 #philsky
‘It’s been quite a ride!’ Melvyn Bragg to step down from Radio 4’s In Our Time after 27 years
The broadcaster is leaving the hit BBC programme after presenting more than 1,000 episodes and having ‘enriched the lives of millions’
www.theguardian.com
September 4, 2025 at 7:27 AM
I was lucky enough to be a guest a few times. Right before starting he would say, "our audience is very well informed, so go as deep as you want, and if need be I'll ask you to clarify." Thought that was pretty amazing, like, the opposite of saying "dumb it down please."
Reposted by Benedict Eastaugh
I think this is quite interesting.
Still not really sure what to make of the imo surprising results.
Huge thanks to Gabe Goldberg and Pen Maddy for quite different forms of generous assistance.
Still not really sure what to make of the imo surprising results.
Huge thanks to Gabe Goldberg and Pen Maddy for quite different forms of generous assistance.
Toby Meadows: Internal Categoricity and the Generic Multiverse https://arxiv.org/abs/2508.21202 https://arxiv.org/pdf/2508.21202 https://arxiv.org/html/2508.21202
September 1, 2025 at 12:54 PM
I think this is quite interesting.
Still not really sure what to make of the imo surprising results.
Huge thanks to Gabe Goldberg and Pen Maddy for quite different forms of generous assistance.
Still not really sure what to make of the imo surprising results.
Huge thanks to Gabe Goldberg and Pen Maddy for quite different forms of generous assistance.
Reposted by Benedict Eastaugh
A poster for the Feminist Logic workshop at the Bochum university U-bahn station!
August 29, 2025 at 7:59 AM
A poster for the Feminist Logic workshop at the Bochum university U-bahn station!
Reposted by Benedict Eastaugh
I am obviously never really going to see displays of English flags as anything other than weird and unsettling, because that's how it's been for my whole life. I live in Devon near lots of places with space for a flagpole so I daresay I will get used to it ...
August 21, 2025 at 4:21 PM
I am obviously never really going to see displays of English flags as anything other than weird and unsettling, because that's how it's been for my whole life. I live in Devon near lots of places with space for a flagpole so I daresay I will get used to it ...
Reposted by Benedict Eastaugh
My paper ‘Arrow’s theorem, ultrafilters, and reverse mathematics’ appears in the latest issue of the Review of Symbolic Logic. doi.org/10.1017/S175...
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS | The Review of Symbolic Logic | Cambridge Core
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS - Volume 18 Issue 2
doi.org
August 14, 2025 at 5:25 PM
My paper ‘Arrow’s theorem, ultrafilters, and reverse mathematics’ appears in the latest issue of the Review of Symbolic Logic. doi.org/10.1017/S175...
My paper ‘Arrow’s theorem, ultrafilters, and reverse mathematics’ appears in the latest issue of the Review of Symbolic Logic. doi.org/10.1017/S175...
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS | The Review of Symbolic Logic | Cambridge Core
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS - Volume 18 Issue 2
doi.org
August 14, 2025 at 5:25 PM
My paper ‘Arrow’s theorem, ultrafilters, and reverse mathematics’ appears in the latest issue of the Review of Symbolic Logic. doi.org/10.1017/S175...
Reposted by Benedict Eastaugh
I realise editors need a shorthand for encouraging authors to polish their language but this can be done without using nativist language. Some of us who learned English later in life are bigger snobs about it than many native speakers. Let’s just encourage attention to clarity of expression.
August 3, 2025 at 9:31 AM
I realise editors need a shorthand for encouraging authors to polish their language but this can be done without using nativist language. Some of us who learned English later in life are bigger snobs about it than many native speakers. Let’s just encourage attention to clarity of expression.
Reposted by Benedict Eastaugh
Mangraviti also has a paper in the AJL on Plumwood's "liberation argument" against classical mathematics which you might find interesting. doi.org/10.26686/ajl...
The Liberation Argument for Inconsistent Mathematics
| The Australasian Journal of Logic
doi.org
July 25, 2025 at 11:11 AM
Mangraviti also has a paper in the AJL on Plumwood's "liberation argument" against classical mathematics which you might find interesting. doi.org/10.26686/ajl...
Reposted by Benedict Eastaugh
Lovely endorsements for my forthcoming book!
“brilliant and vivid biography” @emilyherring.bsky.social
“a joy to read” @nigelwarburton.bsky.social
Out in November. Preorder now: press.uchicago.edu/ucp/books/bo...
“brilliant and vivid biography” @emilyherring.bsky.social
“a joy to read” @nigelwarburton.bsky.social
Out in November. Preorder now: press.uchicago.edu/ucp/books/bo...
July 25, 2025 at 11:56 AM
Lovely endorsements for my forthcoming book!
“brilliant and vivid biography” @emilyherring.bsky.social
“a joy to read” @nigelwarburton.bsky.social
Out in November. Preorder now: press.uchicago.edu/ucp/books/bo...
“brilliant and vivid biography” @emilyherring.bsky.social
“a joy to read” @nigelwarburton.bsky.social
Out in November. Preorder now: press.uchicago.edu/ucp/books/bo...
Reposted by Benedict Eastaugh
Newly revised: the SEP entry on Modularity of Mind, by me and Philip Robbins. It’s got a whole new section on the role of modularity in debates about the border between perception and cognition! #philsky #philosophy
Modularity of Mind (Stanford Encyclopedia of Philosophy)
plato.stanford.edu
July 8, 2025 at 10:07 PM
Newly revised: the SEP entry on Modularity of Mind, by me and Philip Robbins. It’s got a whole new section on the role of modularity in debates about the border between perception and cognition! #philsky #philosophy
Reposted by Benedict Eastaugh
Along with many excellent colleagues, I signed this letter in support of Fiona Hill, in response to a letter from some unsurprising figures, attacking her. Text in screenshots for those who don't want to give the Guardian their money or data: www.theguardian.com/politics/202...
June 23, 2025 at 11:26 AM
Along with many excellent colleagues, I signed this letter in support of Fiona Hill, in response to a letter from some unsurprising figures, attacking her. Text in screenshots for those who don't want to give the Guardian their money or data: www.theguardian.com/politics/202...
Reposted by Benedict Eastaugh
Visit Tottenham. Because anything would be better than Visit Rwanda. Sign the petition here. #GunnersForPeace www.gunnersforpeace.co.uk
GUNNERS FOR PEACE
Arsenal is a great club. We have standards. Which is why Visit Rwanda needs to end.
www.gunnersforpeace.co.uk
April 22, 2025 at 2:19 PM
Visit Tottenham. Because anything would be better than Visit Rwanda. Sign the petition here. #GunnersForPeace www.gunnersforpeace.co.uk
Reposted by Benedict Eastaugh
Synthese has a cfp for a collection on Feminist Logic, edited by Sara Ayhan
link.springer.com/collections/...
link.springer.com/collections/...
Feminist Logic
Feminist Logic examines intersections of formal logic and feminist philosophy. As such it challenges
traditional conceptions both of feminism and of logic. ...
link.springer.com
March 25, 2025 at 11:13 AM
Synthese has a cfp for a collection on Feminist Logic, edited by Sara Ayhan
link.springer.com/collections/...
link.springer.com/collections/...
Reposted by Benedict Eastaugh
As part of the British Philosophy Fortnight, we’re excited to be launching a number of grants & funding opportunities to support high-quality philosophical thinking!
To kick things off, our schools programmes are now open: buff.ly/2Tb9t6m
#PhilosophyMatters
To kick things off, our schools programmes are now open: buff.ly/2Tb9t6m
#PhilosophyMatters
March 21, 2025 at 11:00 AM
As part of the British Philosophy Fortnight, we’re excited to be launching a number of grants & funding opportunities to support high-quality philosophical thinking!
To kick things off, our schools programmes are now open: buff.ly/2Tb9t6m
#PhilosophyMatters
To kick things off, our schools programmes are now open: buff.ly/2Tb9t6m
#PhilosophyMatters
Reposted by Benedict Eastaugh
The British Philosophical Association launches the first annual Philosophy Fortnight #philofortnight2025 in the Westminster Parliament today. #PhilosophyMatters
March 20, 2025 at 7:16 PM
The British Philosophical Association launches the first annual Philosophy Fortnight #philofortnight2025 in the Westminster Parliament today. #PhilosophyMatters
Reposted by Benedict Eastaugh
It is hard to believe I wrote the most accessed article published in Erkenntnis in 2024! I am so thrilled by the amount of messages i receive regularly from scientists who share how much this paper has changed the way they feel about their work and gave them motivation or meaning 💗
February 4, 2025 at 7:54 PM
It is hard to believe I wrote the most accessed article published in Erkenntnis in 2024! I am so thrilled by the amount of messages i receive regularly from scientists who share how much this paper has changed the way they feel about their work and gave them motivation or meaning 💗