Profile avatar
tedder.bsky.social
Philosopher. Logician. Canadian in Germany. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!
80 posts 255 followers 246 following
Regular Contributor
Active Commenter
Posts 23 Comments 27

Question that came up during dnd today (legitimately, I promise): ``Does the axiom of choice hold in this world?"

submitted 18 days ago • 6 comments

Looking for only the newest, spiciest directions in Relevant Logic? Look no further! I'm glad to see this collection out in the wild

submitted 27 days ago • 1 comment

I'm happy to say that New Directions in Relevant Logic has been published! link.springer.com/book/10.1007...

submitted 27 days ago • 0 comments

Is there a prime number such that all greater primes are lonely 🥺?

submitted 43 days ago • 0 comments

Have been reading a fascinating book about fungus, and am intrigued by the properties of:

submitted 46 days ago • 0 comments

I see this quoted a lot. But it seems out of date. The most prominent contemporary conservatives have abandoned the task of (spurious) moral justification and have turned to the campaign to belittle, humiliate, and maybe even bankrupt, anyone who questions or opposes them in any way.

submitted 47 days ago • 7 comments

Jet lag going east is bad for me - much worse when trying to recover in Norway in winter

submitted 48 days ago • 1 comment

What is virtue grounded in? I.e., in virtue of what is virtuousness?

submitted 51 days ago • 0 comments

New year, new paper alert! My "Negated Implications in Connexive Relevant Logics" investigates logics which expand (fragments of) relevant logics by connexive principles, such as Aristotle's thesis (no formula is implied by, or implies, its own negation). Interesting results ensue!

submitted 57 days ago • 2 comments

Agreed. And if the ending isn’t quite cathartic enough you can always follow it up with the “lost ending” SNL sketch where the townspeople form a mob and beat the shit out of Old Man Potter.

submitted 65 days ago • 2 comments

Thomas Ferguson, Shay Logan, Jitka Kadlecikova, and I are editing a special issue of Journal of Logic, Language, and Information on the theme "Variable-Sharing Properties (and Their Discontents)". Submission deadline is April 30, 2025. link.springer.com/collections/...

submitted 70 days ago • 0 comments

The arc of fucking around is long but it bends towards finding out.

submitted 273 days ago • 15 comments

Just took the pleasure of citing the League of Extraordinary Gentlemen (comics!) in a logic paper in preparation. Sometimes life has fun things in it :)

submitted 79 days ago • 1 comment

Wow, how not at all alarming...

submitted 80 days ago • 0 comments

submitted 83 days ago • 0 comments

My closest friend once told me that when he was a kid he used to imagine lines of projection coming out of straight line segments in his environment. Me too. I wonder why we got along so well?

submitted 83 days ago • 2 comments

Are you a Lakatos nerd? Then time to read our new paper and read the thread below. "Kneebone and Lakatos: at the roots of a dialectical philosophy of mathematics" is forthcoming in the HOPOS journal, and a preprint is available online now. (Joint work with Brendan Larvor and Colin Rittberg).

submitted 83 days ago • 3 comments

I'm a bit late to the party with Bluesky's blowup, but it's genuinely lovely seeing old friends from the bad place back and better than ever :)

submitted 84 days ago • 0 comments

Anytime I visit Copenhagen, I find the dark sense of humour of the people in that country noteworthy. But, you know, Danes Macabre, amiright?

submitted 84 days ago • 0 comments

The arc of history isn't going to bend itself.

submitted 114 days ago • 2 comments

Coming back to Bluesky after a break, let me advertise a recent paper of mine I'm quite proud of! In this paper, I propose a way to read topics off of a space of propositions forming an algebra, and tie this in to a topical reading of relevance in logic: link.springer.com/article/10.1...

submitted 84 days ago • 2 comments

All jokes aside it's really fucked up to see so many people on here celebrating murder. No one here is the judge of who deserves to live or die. That's the job of the AI algorithm the insurance company designed to maximise profits on your health and no one else

submitted 85 days ago • 202 comments

Felhur x Andro took the cake for my spotify wrapped this year on the strength of one song, my #1, which I listened to on repeat for days while feeling angry about economic injustice. Otherwise, it's death metal and modern classical music, and things are as they should be

submitted 84 days ago • 1 comment