Exactly!
09.11.2025 14:08 β π 1 π 0 π¬ 0 π 0@tedder.bsky.social
Philosopher. Logician. Canadian in Germany. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!
Exactly!
09.11.2025 14:08 β π 1 π 0 π¬ 0 π 0I 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 π 0Happy 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...
Haha, I wear your blame like a badge of honour!
01.09.2025 19:36 β π 1 π 0 π¬ 0 π 0Unseeded naneinf and ante 38 today
01.09.2025 14:30 β π 4 π 0 π¬ 1 π 0Another minor achievement - a soul level 1 run completed in Dark Souls
04.08.2025 10:41 β π 2 π 0 π¬ 0 π 0This 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
You know what they say: If it ain't baroque, then... it might be rococo... idk...
16.05.2025 19:58 β π 1 π 0 π¬ 0 π 0Another small victory
20.04.2025 21:29 β π 3 π 0 π¬ 0 π 0Thanks!
09.04.2025 16:35 β π 1 π 0 π¬ 0 π 0Balatro 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 π 0Wayward thought: in non-paraconsistent logics, contradictions behave like thought-terminating clichΓ©s
07.04.2025 01:54 β π 4 π 3 π¬ 0 π 0My 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 π 0Even 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 π 0You 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 π 0Just saw a physical copy for the first time!
12.02.2025 14:30 β π 1 π 0 π¬ 0 π 0No, 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 π 0Zorn's lemma, actually
09.02.2025 20:06 β π 4 π 0 π¬ 1 π 0Question 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 π 0Looking 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 π 0I'm happy to say that New Directions in Relevant Logic has been published!
link.springer.com/book/10.1007...
Is there a prime number such that all greater primes are lonely π₯Ί?
15.01.2025 17:47 β π 2 π 0 π¬ 0 π 0Rodents whose names begin with "m"
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 π 0True - boolean algebras is just the context where I'm most familiar with them
11.01.2025 15:23 β π 1 π 0 π¬ 0 π 0I 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 π 1You'd rather brainwash students with Boolean negation even more?!
11.01.2025 14:51 β π 3 π 0 π¬ 1 π 0Sol? Hvem trenger sol?
10.01.2025 11:38 β π 0 π 0 π¬ 0 π 0Jet 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 π 0What is virtue grounded in? I.e., in virtue of what is virtuousness?
07.01.2025 07:23 β π 0 π 0 π¬ 0 π 0New 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