Gareth Pearce's Avatar

Gareth Pearce

@thegarethpearce.bsky.social

Philosopher of Maths | Freelance English Teacher Brexit Refugee living in Vienna Fan of all things Nerdy (Chess, 40K, DnD) Reluctant low-key Gym Bro

940 Followers  |  443 Following  |  192 Posts  |  Joined: 07.11.2024  |  2.0051

Latest posts by thegarethpearce.bsky.social on Bluesky

Question for the Ethicists out there...
Is anyone actually defending good old fashioned temporal dicounting; i.e. that we should care about sooner welfare/harm more than later?

Everyone I've read on this so far seems to endorse some other form of partiality that happens to have a temporal aspect.

23.07.2025 12:42 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

This is, to say the least, deeply deeply concerning...
I don't know how the University of Zurich should respond to this, but very little should be off the table.

27.04.2025 15:38 β€” πŸ‘ 7    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

This is utterly unacceptable...
If it comes out who these researchers are, they'll have some serious questions to answer.

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

Imagine being right wing and watching Andor like:
"I can't believe those illegal immigrants attacked the brave law enforcement agents!"

24.04.2025 22:12 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

All philosophy books should be exactly 12 readable-in-a-week chapters long to facilitate easy semester planning.
If I somehow become rich, I will buy #OxfordUniversityPress and make this the law.

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

Quine & Rawls both appearing twice on that list seems pretty reasonable. I don't think it'd be too controversial to call them the most impactful theoretical and practical philosophers of the C20th respectively.

I'm surprised Butler's not on the list, but that might say something about the SEP.

29.03.2025 22:17 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

The most messed up thing about watching Daredevil is thinking how much better a mayor Kingpin is than Eric Adams!

Kingpin would never capitulate to ICE.
Kingpin takes on the police who are, both in and out of universe, corrupt.
#Kinpin4Mayor

10.03.2025 22:09 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

For those watching the Freestyle Chess Tour - Gukesh's Jacket 😍

07.02.2025 13:02 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Slightly spicy tactic from a game today 🌢️🌢️🌢️
Black has lots of good continuations but a knockout blow to win overwhelming material. Two-move sequence.

30.01.2025 11:27 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I want to teach an ethics class where all we do is sincerely debate AITA posts from Reddit.
All that can be learned about morality can be learned from AITA.

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

Have you heard the Oasis cover of "I am the Walrus"? πŸ™‚
It's amazing! It does something really quite different from the original, really stretching what the song can be in the best way!

27.01.2025 11:23 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

(1) My Guitar Gently Weeps - See the Prince cover
(2) I am the Walrus - See the Oasis cover
(3) Come Together - So many covers but Aerosmith and Garry Clarke Jr are the most well known.

27.01.2025 06:47 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

The best Beatles songs are marked by the fact that they're then given better covers by later artists.

26.01.2025 19:57 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

It doesn't have a meaning any more beyond "high tech".
They're not saying anything false, because what they say isn't truth evaluable.

When a tech bro says "AI has the potential to X" I think all they're actually saying is "Yay technology! Let's try to do X".

Tech-talk is evidently nonsense.

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

I've honestly started taking a very old-school Logical Positivist approach to how tech bros talk about "AI". The term "AI" has stopped having it's classical meaning and is now just a marketing term. The same as the letter "e" in the 90s and and "smart" in the 0s.

25.01.2025 12:41 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

If this "belongs to" relation is chromosomal, how does that work for individuals with Klinefelter's who have XXY chromosomes?

Really putting my tinfoil hat on, but if these people are excluded (and thereby can't get gov. documents) doesn't that violate the 14th amendment?

22.01.2025 19:22 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Similarly β€œFemale” means a person belonging, at conception, to the sex that produces the large reproductive cell.

How does this work for someone with, say, 5-ARD?
They have XY chromosomes but can be phenotypically female.

22.01.2025 19:22 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Genuine question for any US lawyers or people familiar with US law: How does Trump's sex/gender EO work for intersex people?

(Please tag anyone you think might be able to answer!)

The EO says β€œMale” means a person belonging, at conception, to the sex that produces the small reproductive cell.

22.01.2025 19:22 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Like what's a non-logical constant?
Maybe "but" because it has a non-truth functional part?
But if someone gave me a formal theory of "but" I wouldn't be like "That's not logic! Stop doing that!"

And I don't really know what kind of well defined formal operator would give me that reaction, either.

21.01.2025 13:27 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I know what it is to say that a sentence is logical - It's true in all models

I don't know if I mean anything so formal when I say something is a logical constant. It could just be an easy name for the constants we often use when doing logic!

21.01.2025 13:27 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Yeh to be honest the whole logicality debate has always confused me a little... I think it's one of those times where I don't really get the worry or the motivation behind it all!

I know what it is to say an inference is logical - It's valid.

21.01.2025 13:27 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

But at the least my guess (and it really is a guess) is that on any reasonable definition of invariance, operators like @ will turn out to be logical iff "actuor" is logical.

Ο†βŠ¨@Ο†
Butβ—‡Ο†βŠ­β—‡@Ο†

(Thinking about it, am I just pointing out that necessitation fails in languages with @?)

21.01.2025 10:32 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

Permutation invariance for modal logics is complex to begin with. I believe, but I'm not sure, that how to handle permutation invariance when you have any kind of centring is an open question. An SEP footnote seems to agree with me!

plato.stanford.edu/entries/logi...

21.01.2025 10:32 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Yeh I think this is probably the best reply πŸ™‚
I'm not really sure how it pans out. As I understand it, there are two main criteria for logicality going around at the moment: topic neutrality and permutation invariance.

"Actuor" is topic neutral. I don't think there's much debate to be had there.

21.01.2025 10:32 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Logical Consequence need not be Metaphysically Necessary.
Consider the connective "actuor": ∨_@.
This is a connective with the truth table of ∨ in the actual world but of & in every other possible world.

Ο†βŠ¨(Ο† ∨_@ ψ)
But β—‡Ο†βŠ­β—‡(Ο† ∨_@ ψ)

Actuor introduction is a valid but contingent inference rule.

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

Neither meaning is obviously faulty, either descriptively or normatively, so I wouldn't have a problem with people using the terms in either way πŸ™‚

Standard semantic dispute!

18.01.2025 22:24 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

This seems like a classic semantic dispute πŸ™‚

I can see what someone might mean by amazing/terrible in the context of a film judgement such that these could come out true. I can see what someone might mean by the terms such that it's a contradiction in terms.

18.01.2025 22:24 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Someone needs to create an archive of bad GΓΆdel takes and this article needs to go at the top...

16.01.2025 11:59 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

End of an era!

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

🀣🀣🀣🀣🀣🀣🀣🀣🀣🀣🀣🀣🀣🀣🀣🀣🀣

09.01.2025 13:01 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@thegarethpearce is following 19 prominent accounts