Shawn Standefer's Avatar

Shawn Standefer

@standefer

Philosophical logician at North Carolina State University

521
Followers
408
Following
688
Posts
21.08.2023
Joined
Posts Following

Latest posts by Shawn Standefer @standefer

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'

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'

It's what he would have wanted

20.12.2024 20:48 πŸ‘ 63 πŸ” 10 πŸ’¬ 2 πŸ“Œ 0

Early versions of the LLM made Wittgenstein’s mistake of taking the world to be everything that is the case. The newest version avoids that error.

11.03.2026 14:48 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

What are we told we can't have?

11.03.2026 13:34 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Without the additional negation this is one of the subintuitionistic logics studied by Restall in his article β€œSubintuitionistic logics β€œ

11.03.2026 11:39 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

A theater in Regent's Square in Pittsburgh had a Satoshi Kon festival one year I was there. I saw Millennium Actress there for the first time. It was fantastic. Seeing on it a big screen is really amazing, so I'm glad to hear you were able to do so.

08.03.2026 20:02 πŸ‘ 6 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0
Video thumbnail

Booping the Daily red panda

07.03.2026 01:27 πŸ‘ 116 πŸ” 35 πŸ’¬ 1 πŸ“Œ 1

Why do people think the Turing test is abt machine intelligence? It’s clearly about OUR ability to discern/tell the difference given ONLY output/behavior concerning discreet tasks. Two completely different things. If you think otherwise, you didn’t read that paper correctly.

#AIethics #philtech

05.03.2026 04:23 πŸ‘ 12 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0
Preview
Research Fellow (11324-0226) at University of Warwick Discover an exciting academic career path as a Research Fellow (11324-0226) at jobs.ac.uk. Don't miss out on this job opportunity - apply today!

Realising I haven't advertised this hereβ€”I'm hiring! Walter Dean and I have a project on measuring the strength of mathematical theorems used in philosophy, and we're looking for a postdoctoral researcher to join our team.

www.jobs.ac.uk/job/DQO344/r...

04.03.2026 10:28 πŸ‘ 8 πŸ” 8 πŸ’¬ 2 πŸ“Œ 1

I think you're trading on an ambiguity here. Anti-vax views are serious in the sense that a growing number of people believe them. They aren't serious in the sense of needing additional scientific inquiry. As far as I understand it, the safety of standard vaccines is extremely well confirmed.

03.03.2026 17:22 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I take it that the quoted post was denying that you should take them seriously in that sense. Great replacement and anti-vaxx may be views you can engage with in some way, but they aren't things you're going to disprove to someone committed to the views.

03.03.2026 17:05 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I feel like missing presupposes attempting, so this saying strikes me as a little silly

02.03.2026 15:13 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Counterpoint: whether true or not, it’s an excellent bit

26.02.2026 16:00 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I was today years old when I learned that "Butlerian Jihad" is some Dune thing and does not refer to the work of noted critical theorist Judith Butler

26.02.2026 15:17 πŸ‘ 60 πŸ” 4 πŸ’¬ 11 πŸ“Œ 3

Is there a good omnibus tracker about how states and hospitals have rolled back gender affirming care for minors since 2025?

I read news here and there but I'm really hoping for something like a table with dates and specific interventions that have been discontinued.

25.02.2026 18:03 πŸ‘ 1 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0

I see someone's been reading Lakatos

25.02.2026 18:44 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 1

While I feel like the causal inference group at CMU is on board, I feel like the logic group there will maybe pause at the suggestion "ignore counterexamples"

25.02.2026 18:29 πŸ‘ 6 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

How about n=10000 but the samples are all isomorphic?

25.02.2026 18:28 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Video thumbnail

This is Bruegger. He learned a highly advanced new trick, demonstrating excellent use of both free will and spatulas. 13/10 (TT: maddmaddmad)

25.02.2026 17:36 πŸ‘ 7291 πŸ” 897 πŸ’¬ 161 πŸ“Œ 59

What about a sample size of one showing that your premises can be true while the conclusion is false?

25.02.2026 17:42 πŸ‘ 5 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

The stable voting site is run by Wes Holliday and (I think) Eric Paucit. That may not be clear from the info on there.

24.02.2026 20:30 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Philosophers, specifically philosophy of language nerds:

Are there any clear examples of successfully defined or explicated concepts in the humanities?

Every example I can think of (e.g., square, planet, watt) are from the sciences

23.02.2026 15:58 πŸ‘ 8 πŸ” 5 πŸ’¬ 9 πŸ“Œ 1

Do Law or Linguistics or Logic count as humanities? Also, hasn't the definition of 'planet' been revised in the recent past?

23.02.2026 19:08 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I feel like every British small town murder mystery series takes place in a seaside town. I know they're an island country, but surely SOME small inland towns are also full of secrets and murder.

21.02.2026 00:58 πŸ‘ 14 πŸ” 1 πŸ’¬ 6 πŸ“Œ 0

Question for teaching philosophers: what texts do you teach that get your undergraduate students most excited?

05.11.2025 14:51 πŸ‘ 4 πŸ” 3 πŸ’¬ 3 πŸ“Œ 0

I used one of those for a while in grad school! I couldn't use it for writing latex, but it was so useful for writing notes on things

20.02.2026 15:19 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Is there something about LLMs that you think importantly changes some of the issues involved or are LLMs just a good focal point for discussing these topics?

19.02.2026 17:44 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

While I was reading this, I was imagining that happening, and getting upset on your behalf. Then I hit "of course". What a rollercoaster!

19.02.2026 02:27 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

it is totally unobjectionable to use them (and cite them) in a paper. It's been like that since the 60s.

18.02.2026 22:03 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

One other case that occurred to me is in logic you have a bunch of programs for finding proofs and/or models of certain types. These are not LLM-based, but they generally do things people can't do in any reasonable amount of time. You can't publish a paper with just those proofs/models, but

18.02.2026 22:03 πŸ‘ 4 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Doesn't that answer your question? Propositions are one thing (sets of worlds, eg) and then any additional content that is not that is non-propositional. That additional content can maybe be used to determine further propositions, but it seems reasonable to describe it as non-prop content.

18.02.2026 19:24 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0