Andrew Tedder's Avatar

Andrew Tedder

@tedder.bsky.social

Philosopher. Logician. Canadian in Germany. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!

311 Followers  |  265 Following  |  94 Posts  |  Joined: 30.07.2023  |  1.7109

Latest posts by tedder.bsky.social on Bluesky

Exactly!

09.11.2025 14:08 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I have another very minor achievement to brag about - after months of trying, I managed to beat all bosses in elden ring (+dlc) solo. Can I put this on my cv?

09.11.2025 14:01 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Modalities and Quantification in Reasoning

Happy to be back in Vienna for a workshop on modalities and quantifiers -- my focus will be on the former, but we are starting out with talks on the latter!

events.ceu.edu/2025-09-18/m...

18.09.2025 10:07 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Haha, I wear your blame like a badge of honour!

01.09.2025 19:36 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image Post image Post image Post image

Unseeded naneinf and ante 38 today

01.09.2025 14:30 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

Another minor achievement - a soul level 1 run completed in Dark Souls

04.08.2025 10:41 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Being Trans in Philosophy Trans people and our loved ones are not okayβ€”in, with, and because of academic philosophy. Being Trans in Philosophy is a zine collecting first-personal accounts of what it’s actually like to be trans...

This zine on being trans in philosophy is a must-read for anyone with a foot in academic philosophy, and should-read for everyone.

being.transinphilosophy.org

22.06.2025 11:00 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

You know what they say: If it ain't baroque, then... it might be rococo... idk...

16.05.2025 19:58 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Another small victory

20.04.2025 21:29 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Thanks!

09.04.2025 16:35 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Balatro screenshot showing a naneinf score - the game-breaking high score which outruns the game's calculations

Balatro screenshot showing a naneinf score - the game-breaking high score which outruns the game's calculations

A small victory is still a victory!

09.04.2025 15:26 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Wayward thought: in non-paraconsistent logics, contradictions behave like thought-terminating clichΓ©s

07.04.2025 01:54 β€” πŸ‘ 4    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0

My rad colleague Sara Ayhan @sara-ayhan.bsky.social is editing a special issue on feminist logic -- check the cfp at the link!

25.03.2025 13:07 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

Even in dark times, it’s important to remember that there’s still beauty to be found and celebrated.

06.03.2025 02:03 β€” πŸ‘ 49    πŸ” 15    πŸ’¬ 4    πŸ“Œ 0

You know what I'm sick of? Having no way of obtaining my means of subsistence besides selling my labour power to whoever I can convince to buy it for whatever I can convince them to give me for it...

01.03.2025 15:35 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Just saw a physical copy for the first time!

12.02.2025 14:30 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

No, we were trying to figure out how to trap some bbegs in a descending sequence of demi-planes (portable holes in portable holes...)

09.02.2025 23:01 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Zorn's lemma, actually

09.02.2025 20:06 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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

09.02.2025 20:00 β€” πŸ‘ 22    πŸ” 2    πŸ’¬ 6    πŸ“Œ 0

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

31.01.2025 17:05 β€” πŸ‘ 4    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0
Preview
New Directions in Relevant Logic This book brings togetherΒ contemporary work on relevant logics to showcase the recent progress of theΒ field and set the stage for future research.

I'm happy to say that New Directions in Relevant Logic has been published!

link.springer.com/book/10.1007...

31.01.2025 16:46 β€” πŸ‘ 8    πŸ” 1    πŸ’¬ 0    πŸ“Œ 1

Is there a prime number such that all greater primes are lonely πŸ₯Ί?

15.01.2025 17:47 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Rodents whose names begin with "m"

Rodents whose names begin with "m"

Element with atomic number 2

Element with atomic number 2

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

12.01.2025 09:12 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

True - boolean algebras is just the context where I'm most familiar with them

11.01.2025 15:23 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

11.01.2025 10:56 β€” πŸ‘ 113    πŸ” 25    πŸ’¬ 7    πŸ“Œ 1

You'd rather brainwash students with Boolean negation even more?!

11.01.2025 14:51 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Sol? Hvem trenger sol?

10.01.2025 11:38 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

10.01.2025 11:37 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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

07.01.2025 07:23 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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!

02.01.2025 01:36 β€” πŸ‘ 9    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

@tedder is following 20 prominent accounts