Sign in

Rohan French

@rohanfrench.bsky.social
622 followers 176 following 14 posts

An Australian Philosophical Logician based at UC Davis.

PostsRepliesMedia
Reposted by Rohan French
🇵🇸Tim Henke (tɪm 'ɦɛŋ.kə) @timhenke.bsky.social · 09/10/2026
Roasting update:
Do the Lean statements in openai/math match their
papers?
Claude Opus 5.5 (extra-high reasoning effort)
Human oversight: Robert Joseph George
Summary. openai/math contains 405 Comparator challenges. Each one is a Lean statement of a paper's
main result, together with a solution that Comparator checks against the standard axioms. All 405 statements
were compared with the theorems in the papers, twice and independently.
No statement is false, vacuous, trivially true, or about the wrong concept.
25 headline results were run through Comparator end to end, and all 25 pass. They include the quasi-
Riemann hypothesis (C (s) 0 for Res > 7/8), the irrationality of Catalan's constant, w(C) 9/4, and
the Kaplansky and Sidorenko counterexamples.
The problems are of three kinds:
10 statements say less than the paper's theorem, and an 11th possibly does;
— 10 docs describe results as formalized that Comparator never checks;
76 challenges belong to families whose CONTENTS. md headline claims more than the Lean states, with
a link to the Lean as if it covered the claim.
53410
Reposted by Rohan French
Zoe Drayson @zoedrayson.bsky.social · 29/06/2026
There's a new 'Innateness and Language' entry in the Stanford Encyclopedia of Philosophy by my colleague Gabe Dupre plato.stanford.edu/entries/inna...
plato.stanford.edu
Innateness and Language (Stanford Encyclopedia of Philosophy)
1319
Rohan French @rohanfrench.bsky.social · 05/06/2026
Given that the management doesn’t care at all about investing in the team, no, you should feel bad. That said the As are having a surprisingly not-awful season far
273
Reposted by Rohan French
Anton Strezhnev @astrezh.bsky.social · 12/03/2026
Can this be a solution?
Fitzcarraldo
311582303
Reposted by Rohan French
David Dayen @ddayen.bsky.social · 09/02/2026
There's way too much nonchalance about the fact that California is hurtling toward electing a MAGA governor, even if 65% of its voters vote for a Democrat in the primary. Harold Meyerson reports on the top-two primary setting conditions for an election at odds with voter preference.
prospect.org
The Nation’s Most Democratic State Might Elect a Trump-Friendly Governor - The American Prospect
California’s nonpartisan primary pits eight Democrats against two Republicans; only the top two finishers advance. Do the math.
15335
Reposted by Rohan French
arXiv math.LO Logic @mathlo-bot.bsky.social · 29/01/2026
Toby Meadows: Foundations with Imagination arxiv.org/abs/2601.20057 arxiv.org/pdf/2601.20057 arxiv.org/html/2601.20057
042
Reposted by Rohan French
Shawn Standefer @standefer.bsky.social · 24/01/2026
My book on relevant logics will be available mid-2026
Cover image for Relevant Logics: Implication, Modality Quantification. The author's name is at the top, the title in the middle, and the subtitle towards the bottom. The cover is dark with a geometric pattern.
1213
Reposted by Rohan French
Peter Adamson @histphilosophy.bsky.social · 29/12/2025
Semiotic paradox alert!
201006239
Reposted by Rohan French
Richard Zach @richardzach.org · 10/12/2025
The Journal of Philosophical Logic is dead (again!?). Long live Philosophical Logic! www.openlibhums.org/news/875
openlibhums.org
Flagship Springer Nature journal flips to diamond open access at the OLH
We’re excited to announce the launch of a major new journal, following news of another mass editorial resignation (read open letter) at Springer Nature. This week, the Editors-in-Chief and Associate …
12816
Rohan French @rohanfrench.bsky.social · 07/12/2025
drcolossustheband.bandcamp.com/track/this-c...
drcolossustheband.bandcamp.com
This Christmas (Buy Me Bonestorm or Go To Hell!), by Dr. Colossus
track by Dr. Colossus
041
Reposted by Rohan French
Shawn Standefer @standefer.bsky.social · 26/10/2025
Directions in Relevant Logic 3 will be in Bochum in July 2026 sites.google.com/view/drl3
sites.google.com
Event
More Information Coming Soon!
041
Reposted by Rohan French
Kristina Šekrst @epiphenomenal.bsky.social · 25/10/2025
<thick german accent> The jungle is a place of pure negation... #philosophy #philsky #philosophysky #hegel #herzog #film
414318
Reposted by Rohan French
Mark Dingemanse @markdingemanse.net · 20/10/2025
The learned helplessness that many academics display when it comes to connecting their devices to projectors and displaying slides is a form of negligence Knowing your tools is part of the job
9625
Reposted by Rohan French
Dominique Baker @bakerdphd.bsky.social · 07/10/2025
I'm doing two massive projects right now and one involves looking at where people earned their doctorates before winning a very, very fancy thing and boy Stanford can't even see Cal it's so far ahead
2133
Reposted by Rohan French
Minnesota Center for Philosophy of Science @mcps-philsci.bsky.social · 02/10/2025
Two-year postdoc w/ Minnesota Center for Philosophy of Science! Scholars in all areas of #philsci, inclusive of philosophical approaches to logic&math, are eligible. This is understood broadly to include issues in the history&practice of particular sciences.Deadline 5 Dec 2025. buff.ly/MhR4PcK
philjobs.org
Two-Year Post-Doctoral Associate, Philosophy of Science, University of Minnesota - PhilJobs:JFP
An international database of jobs for philosophers
02017
Reposted by Rohan French
Glen @vaguebiscuit.bsky.social · 27/09/2025
Well don't I feel stupid
A headline about the James Webb Telescope potentially finding a new stellar object dubbed a black hole star
283258196758
Reposted by Rohan French
Joel David Hamkins @joeldavidhamkins.bsky.social · 15/09/2025
New post-doctoral position at Notre Dame Core analytic/logic/phil math. philjobs.org/job/show/29622 2 year position, $75K annual salary plus $15K expense account. Please apply! (I am chairing this search.)
1137
Reposted by Rohan French
Shawn Standefer @standefer.bsky.social · 12/09/2025
The AJL just published a special issue in honor of Ross Brady. It is a great collection of papers, adding up to nearly 300 pages on Ross's work. ojs.victoria.ac.nz/ajl/issue/vi...
ojs.victoria.ac.nz
Vol. 22 No. 5 (2025): The Australasian Journal of Logic | The Australasian Journal of Logic
022
Reposted by Rohan French
Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 03/09/2025
PhD position with Benno van den Berg on the semantics of Homotopy Type Theory (esp. effective Kan fibrations) at the ILLC in Amsterdam! www.illc.uva.nl/NewsandEvents/News/… Application deadline: 27 September […]
mathstodon.xyz
Original post on mathstodon.xyz
0110
Rohan French @rohanfrench.bsky.social · 01/09/2025
Nice work! I’m just grinding through getting gold stake on every deck at the moment. I blame you for the space this has occupied in my head this summer :)
130
Rohan French @rohanfrench.bsky.social · 16/07/2025
Woo! Glad to hear that this worked out!
120
Reposted by Rohan French
🐭 Danielle Williams 🐹 @okaydaniellle.bsky.social · 16/07/2025
I’m super excited to finally announce that I’ll be heading to Purdue this Fall as a postdoc. I’ll be there to contribute to their Cog Sci/AI domination 🧠 🤖 I’m super sad to leave WashU, but some of the best people are at Purdue and I can’t think of a better place to go next!
6345
Reposted by Rohan French
Ersatz Doctor @ersatzdoctor.bsky.social · 07/07/2025
Whenever I’m applying for a job I always keep ten coins in my pocket just in case.
1101
Rohan French @rohanfrench.bsky.social · 12/07/2025
Great Sacramento based doom band.
220
Reposted by Rohan French
Aidan McGlynn @aidanmcglynn.bsky.social · 21/06/2025
Hot-tip: when someone asks you for your number, give them your OrcID
1438
Reposted by Rohan French
David Chalmers @davidchalmers.bsky.social · 17/03/2025
we're advertising 2-3 postdoctoral positions to work at NYU on artificial consciousness and related topics at the intersection of AI and the philosophy of mind (possibly including AI mentality, AI interpretability, and AI welfare). deadline is march 30! philjobs.org/job/show/28878
philjobs.org
Post-Doctoral Associate/Research Scientist, New York University - PhilJobs:JFP Post-Doctoral Associate/Research Scientist, New York University
An international database of jobs for philosophers
17638
Reposted by Rohan French
Scott Shapiro @scottjshapiro.bsky.social · 09/03/2025
It is tragic that there is no day when people neither fail to know De Morgan’s laws nor fail to seize opportunities to apply them.
8687
Reposted by Rohan French
Franz Berto @franzberto.bsky.social · 27/01/2025
Spread the word! Another postdoc job in St Andrews-Arché, in the @leverhulme.bsky.social-funded WIKI project! Apply from here: www.vacancies.st-andrews.ac.uk/Vacancies/W/... Looking for a specialist of logic and/or the psychology of reasoning, ideally with expertise in hypothetical thought.
13516
Reposted by Rohan French
AJ Cotnoir @acotnoir.bsky.social · 15/02/2025
Metaphysical Indeterminacy Conference University of St Andrews, 17-18 June 2025 CALL FOR ABSTRACTS! See official webpage: www.st-andrews.ac.uk/arche/event/...
0124
Reposted by Rohan French
Caleb Ward @calebw.bsky.social · 12/02/2025
Philosophers publishing: next time you get asked to contribute writing or plan to submit your work to a journal published by pdcnet.org, refuse to do so unless there's an open-access option. PDC's current subscription model locks your work behind a paywall forever and nobody will read it.
pdcnet.org
Philosophy Documentation Center : Home
Publishing Solutions and Online Resources for Advanced Learning · Our Publications Include · Journals and Series · Books & Reference Works · Special Collections.
2144
Reposted by Rohan French
Olúfẹ́mi O. Táíwò @olufemiotaiwo.bsky.social · 06/02/2025
attempting to describe the vibes of the moment. have yet to do better than: "imagine watching a documentary reenacting the burning of the Library of Alexandria set to the soundtrack of 'Yakety Sax'"
144117252330
Reposted by Rohan French
Rima Basu @rimabasu.bsky.social · 27/01/2025
Academics in Jan: So happy to have sent off those papers before classes started! Those same academics later in Jan: How am I getting so many referee requests! It’s only January!
0337
Rohan French @rohanfrench.bsky.social · 09/01/2025
That makes it sound like there'll be some requests for feedback coming down the line, so I guess we'll see.
020
Rohan French @rohanfrench.bsky.social · 09/01/2025
I'd heard mention of it as a thing worth considering here in Davis by our provost in a senate representative assembly meeting last year, but nothing concrete. The only concrete information I know of about this is this www.ucop.edu/institutiona...
ucop.edu
Academic planning council workgroup on systemwide academic calendar | UCOP
230
Reposted by Rohan French
But Thou Mustelid @rewhan.bsky.social · 03/01/2025
SOON
Satirical breaking news screenshot alleging noted gender scholar Judith Butler declaring a holy war on computers and artificial intelligence, itself an allusion to the Butlerian Jihad described in Frank Herbert's sci-fi novel series Dune.
303742900
Reposted by Rohan French
Zoe Drayson @zoedrayson.bsky.social · 01/01/2025
B/w photo of philosopher Tim Williamson at a chalkboard. Framed in black in the style of a motivational poster, the text below the photo reads “Obscurity is the oracle’s self-defense”
0254
Reposted by Rohan French
AJ Cotnoir @acotnoir.bsky.social · 26/12/2024
2-year Research Fellowship for my EPSRC-funded Unity Project at the Arché: Philosophical Research Centre. Looking for a metaphysician with background in philosophy of science, cognitive science, or formal ontology. Apply here (deadline 31 January): www.vacancies.st-andrews.ac.uk/Vacancies/W/...
143
Reposted by Rohan French
Aidan McGlynn @aidanmcglynn.bsky.social · 20/12/2024
It's what he would have wanted
The front cover of Wittgenstein's 'Philosophical Grammar', with a small portrait and the title in a light greeny-blue. The title here has been altered to read 'Philosophical Grammarly'
26711
Rohan French @rohanfrench.bsky.social · 10/12/2024
As with all things there’s a Humberstone paper for that: www.tandfonline.com/doi/abs/10.1...
tandfonline.com
For Want of an ‘And’: A Puzzle about Non-Conservative Extension
Section 1 recalls a point noted by A. N. Prior forty years ago: that a certain formula in the language of a purely implicational intermediate logic investigated by R. A. Bull is unprovable in that ...
010
Reposted by Rohan French
The thread o’ tweets @threadotweets.bsky.social · 06/12/2024
Lara Paige Turner | jan Lala @glaiveguisarme
"Cure is simple," says the doctor.
"Go to the desert. See a statue of Ozymandias, King of Kings. Look
upon his works, ye mighty, you'll feel better."
"But doctor!" cried the shattered visage with sneer of cold command, half-sunk in the sand near vast and trunkless legs of stone,
•
0537139
Reposted by Rohan French
Munich Center for Mathematical Philosophy @lmu-mcmp.bsky.social · 26/11/2024
The Munich Center for Mathematical Philosophy at LMU Munich is now on Bluesky. Please help us spread the word. #Philosophy #Mathematics #Science #Logic
14824
Rohan French @rohanfrench.bsky.social · 04/12/2024
“Resolution: Removed Rat” is incredibly funny to me somehow
020
Reposted by Rohan French
DEON-Conference @deonconference.bsky.social · 28/11/2024
The Call for Paper for the upcoming DEON conference in Vienna is out! sites.google.com/view/deon-20... Distribute widely, and do consider submitting!
sites.google.com
DEON 2025 - Call for Papers
About the DEON conference series The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal st...
066
Reposted by Rohan French
Shawn Standefer @standefer.bsky.social · 26/11/2024
Many of the talks from the AAL have been recorded and put on the AAL youtube page: www.youtube.com/@australasia...
youtube.com
Australasian Association for Logic
The professional organisation for logicians in Australia and New Zealand, est. 1965.
052
Reposted by Rohan French
JRR Jokien (joshcarlosjosh) @www.jrrjokien.com · 23/11/2024
how I log into BlueSky:
media.tenor.com
a man with long hair is standing in a dark room holding a door open
Alt: Aragorn opening the doors of helms deep
822417
Reposted by Rohan French
Brian Weatherson @bweatherson.bsky.social · 21/11/2024
My book on Knowledge is out today (World Philosophy Day) with Open Book Publishers. It's freely downloadable in PDF and Epub form, and cheap to order in hardback or paperback. #philsky
openbookpublishers.com
Knowledge: A Human Interest Story
In this book the author argues for a groundbreaking perspective that knowledge is inherently interest-relative. This means that what one knows is influenced not just by belief, evidence, and truth, bu...
1013036
Reposted by Rohan French
Natasha Haddal @natashasnature.bsky.social · 21/11/2024
Sorry for delayed #PSA24 post, but I had such a good time presenting my poster. I got a lot of supportive and critical feedback. Really appreciate it. You can find it here!
3123