Shawn Standefer's Avatar

Shawn Standefer

@standefer.bsky.social

Philosophical logician at North Carolina State University

478 Followers  |  351 Following  |  526 Posts  |  Joined: 21.08.2023  |  2.3551

Latest posts by standefer.bsky.social on Bluesky

In our grand age of generative AI, faculty development centers should help people develop some retro skills. Like, I have no idea how to write good true/false and multiple choice questions anymore. It would be helpful to get some heuristics.

08.10.2025 17:02 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

Which is the correct possessive?

Yinz's or Yinz'

A Pittsburgh transplant urgently needs to know.

08.10.2025 13:08 β€” πŸ‘ 7    πŸ” 2    πŸ’¬ 2    πŸ“Œ 1

But yes, you are right about that axiom

07.10.2025 21:18 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

It's article 199 of the volume, rather than p. 199

07.10.2025 21:18 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

It's their value add. It takes a lot of effort to introduce so many errors into a tex document.

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

The negated provability turnstiles seem to have been deleted. I have contacted the journal about getting that corrected.

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

Two of the tables aren't displaying properly in the HTML version. They display properly in the pdf.

07.10.2025 17:15 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
On the hyperintensionality of relevant logics and some of their rivals - Synthese In this article, we present a definition of hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including $${\sf HYPE}$$ and some substructural logics. We further prove some positive and negative results concerning extensionality and hyperintensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results in the area of epistemic logic.

My paper "On the hyperintensionality of relevant logics and some of their rivals" is now up at Synthese, open access

link.springer.com/article/10.1...

07.10.2025 16:13 β€” πŸ‘ 23    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0

it’s tomato soup served ice cold

02.10.2025 14:53 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Definitely try some other coffee milk drinks. A good flat white is very different from a good cappuccino which is very different from a good latte.

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

Good luck with rehab!

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

(a) and (b) both sound right and good. Since it was just a talk, perhaps it was early days for the project and they got some feedback that pushed them in that direction.

01.10.2025 01:58 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

It seems like it really depends on what they were trying to analyse/model. It seems plausible that all the logic or semantics required was an ordering of some sort, rather than something more involved, e.g. "personas". In any case, you can take your preferred approach and add it to a Lewiston tuple

30.09.2025 23:47 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Some problems of entailment – A workshop on relevance logic (Special Event) – Logic and Metaphysics Workshop

Looking forward to my first trip to CUNY. I'll be going for a nice little logic workshop.

logic.commons.gc.cuny.edu/2025/09/15/s...

30.09.2025 21:40 β€” πŸ‘ 5    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Call-for-papers: Hypatia Special Issue on Feminist Philosophy of Mind - hypatia Guest Editors: Gloria Andrada and Carolina Flores This special issue focuses on feminist philosophy of mind and cognitive science. It will offer novel perspectives on long-standing questions such as t...

Reminder that we are seeking submissions to a rad special issue! Send us your coolest papers that apply a feminist lens to the mind and to cognitive science! Deadline is January 15. #philsky hypatiaphilosophy.org/uncategorize...

30.09.2025 21:35 β€” πŸ‘ 17    πŸ” 11    πŸ’¬ 0    πŸ“Œ 0

On a glance, it looks like a sequent system. There are left and right rules provided. I’ll give it a more careful read tomorrow

30.09.2025 03:16 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other - Synthese Work in the field of feminist logic is still rather scarce and the field itself remains a contested area of study, but still, it is developing. One approach concentrates on analyzing logical systems with respect to structural features that may perpetuate sexism and oppression or, on the other hand, features that may be helpful for resisting and opposing these social phenomena. Upon this assumption, I want to investigate possible applications of queer feminist views on (philosophy of) logic with respect to a very specific group, namely contradictory logics, i.e., logical systems containing contradictions in their set of theorems. I want to show that, on the one hand, the formal set-up of contradictory logics makes them well-suited from the perspectives of feminist logic and, on the other hand, that queer feminist theories provide a relevant, and so far undeveloped, conceptual motivation for contradictory logics. Thus, bringing together contradictory logics and queer feminist theories may prove fruitful both as a β€˜real-life’ motivation for these peripheral logical systems and as a formal basis for a philosophical field that is still characterized by a distrust of formalism.

"Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other" by @sara-ayhan.bsky.social in Synthese

link.springer.com/article/10.1...

29.09.2025 21:38 β€” πŸ‘ 7    πŸ” 1    πŸ’¬ 2    πŸ“Œ 1

I emailed philpapers support about it

27.09.2025 20:18 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Yeah, I see that one and a few other unpublished things. I’m not sure why those are there. It’d be nice if you could mute those, like you can random people that show up in your feed.

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

But welcomed into the philosophy colloquium down the hall

26.09.2025 23:53 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Anybody here with access to the Times Literary Supplement? There is an article from last year I would like to read.

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

Is #bikesky a thing? Can anyone recommend me front and rear racks for my 42cm surly disc trucker? I will buy you a pizza for your time

25.09.2025 16:15 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Post image

One of my favorite poems since childhood, and a poem I share every #autumnequinox.
By the 12thc warrior poet Xin Qiji 辛棄疾, sidelined during peacetime, demoted, drifting through a decade of minor posts in remote lands.
Poetry, then, is that which is left unsaid.
β€œMy, what a cool and lovely autumn.”

22.09.2024 11:07 β€” πŸ‘ 1035    πŸ” 432    πŸ’¬ 17    πŸ“Œ 23

There was a Heathcliff cartoon on tv when I was a kid. I think it was a Saturday morning thing. That was the primary way I was familiar with Heathcliff

24.09.2025 02:01 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

When are games ever worth candles? I perhaps don't understand the metaphor.

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

If you're trying to understand the details of a contract or some technical instructions, automated translation is often very bad. It seems like the key to using LLMs for coding is identifying the tasks that are more like bookcase instructions (your matrix example) vs those that are like contracts

23.09.2025 14:59 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Having the philpapers link is good because the Logica year books aren't really available online and the physical copies can be hard to find in libraries.

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

Much like classifying logics as classical or non-classical!

23.09.2025 01:41 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
AI Overview: "Dental realism"refers to the philosophical debate about whether teeth exist independently of human perception, a concept rooted in metaphysical realism. While realism asserts an objective reality for teeth, idealist philosophies contend that teeth's existence is tied to our consciousness and perception. Philosophers use this idea, for example, to discuss the ethics of tooth extraction, examining whether a procedure impacts a real entity or merely a subjective experience.

AI Overview: "Dental realism"refers to the philosophical debate about whether teeth exist independently of human perception, a concept rooted in metaphysical realism. While realism asserts an objective reality for teeth, idealist philosophies contend that teeth's existence is tied to our consciousness and perception. Philosophers use this idea, for example, to discuss the ethics of tooth extraction, examining whether a procedure impacts a real entity or merely a subjective experience.

When a typo in your Google search leads to new and exciting philosophical positions

22.09.2025 21:25 β€” πŸ‘ 1428    πŸ” 397    πŸ’¬ 56    πŸ“Œ 72

The peer review process: 3 strangers yelling β€œmore cowbell” at your life's work

15.09.2025 11:50 β€” πŸ‘ 59    πŸ” 13    πŸ’¬ 3    πŸ“Œ 1

@standefer is following 20 prominent accounts