Shawn Standefer
@standefer.bsky.social
Philosophical logician at North Carolina State University
Pinned
Shawn Standefer
@standefer.bsky.social
· Nov 19
Reposted by Shawn Standefer
Australian Prisoner Sues For Right To Eat Vegemite https://theonion.com/australian-prisoner-sues-for-right-to-eat-vegemite/
November 24, 2025 at 10:00 PM
Australian Prisoner Sues For Right To Eat Vegemite https://theonion.com/australian-prisoner-sues-for-right-to-eat-vegemite/
Reposted by Shawn Standefer
You can hire me to edit for you! I provide fast, professional, and personalised proofreading, copy editing, and developmental editing services
www.wellreadherring.com/editing
www.wellreadherring.com/editing
November 23, 2025 at 3:40 PM
You can hire me to edit for you! I provide fast, professional, and personalised proofreading, copy editing, and developmental editing services
www.wellreadherring.com/editing
www.wellreadherring.com/editing
What is the earliest use of the term redex in lambda calculus?
The earliest use of the term I've found is Curry and Feys's Combinatory Logic volume 1 from 1958.
The earliest use of the term I've found is Curry and Feys's Combinatory Logic volume 1 from 1958.
November 20, 2025 at 3:45 PM
What is the earliest use of the term redex in lambda calculus?
The earliest use of the term I've found is Curry and Feys's Combinatory Logic volume 1 from 1958.
The earliest use of the term I've found is Curry and Feys's Combinatory Logic volume 1 from 1958.
Advances in Modal Logic 2026 will be in Amsterdam
June 29 to July 3, 2026. Submission deadline is February 20, 2026.
events.illc.uva.nl/aiml2026/
June 29 to July 3, 2026. Submission deadline is February 20, 2026.
events.illc.uva.nl/aiml2026/
Advances in Modal Logic 2026 | AiML 2026
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml/net.
events.illc.uva.nl
November 19, 2025 at 7:52 PM
Advances in Modal Logic 2026 will be in Amsterdam
June 29 to July 3, 2026. Submission deadline is February 20, 2026.
events.illc.uva.nl/aiml2026/
June 29 to July 3, 2026. Submission deadline is February 20, 2026.
events.illc.uva.nl/aiml2026/
Formal Epistemology Workshop 2026 is going to be at University of Colorado, Boulder. The submission deadline is Jan 15, 2026.
sites.google.com/view/few-202...
sites.google.com/view/few-202...
FEW 2026 - CFP
The Formal Epistemology Workshop 2026 will be hosted by the University of Colorado Boulder's Department of Philosophy as part of the CU Boulder Morris Colloquium Series.
It will take place at the Univ...
sites.google.com
November 19, 2025 at 1:36 AM
Formal Epistemology Workshop 2026 is going to be at University of Colorado, Boulder. The submission deadline is Jan 15, 2026.
sites.google.com/view/few-202...
sites.google.com/view/few-202...
Reposted by Shawn Standefer
terminological question: is there a word for when the thing that you doubt turns out to be true?
if you believe ~P, but P, it is a false belief
if you predict ~P, but P, it is a disconfirmed/false prediction
if you doubt that P, but P, it is a ? doubt
if you believe ~P, but P, it is a false belief
if you predict ~P, but P, it is a disconfirmed/false prediction
if you doubt that P, but P, it is a ? doubt
November 18, 2025 at 4:04 PM
terminological question: is there a word for when the thing that you doubt turns out to be true?
if you believe ~P, but P, it is a false belief
if you predict ~P, but P, it is a disconfirmed/false prediction
if you doubt that P, but P, it is a ? doubt
if you believe ~P, but P, it is a false belief
if you predict ~P, but P, it is a disconfirmed/false prediction
if you doubt that P, but P, it is a ? doubt
Reposted by Shawn Standefer
My son. He dangle.
November 14, 2025 at 10:39 PM
My son. He dangle.
"Can The Classical Ladder Be Kicked Away? The View from One Rung Up" by @rohanfrench.bsky.social
link.springer.com/article/10.1...
link.springer.com/article/10.1...
Can The Classical Ladder Be Kicked Away? The View from One Rung Up - Journal of Philosophical Logic
Nonclassical logicians often justify their use of classical logic in their metatheoretic reasoning as, to put things in Bob Meyer’s evocative phrasing, “preaching in Classicalese to the Classicalists”...
link.springer.com
November 15, 2025 at 1:33 PM
"Can The Classical Ladder Be Kicked Away? The View from One Rung Up" by @rohanfrench.bsky.social
link.springer.com/article/10.1...
link.springer.com/article/10.1...
Reposted by Shawn Standefer
Anyone done a metacognitive assignment for an essay that can send me a sample or refer me to resources they've used? I've looked a bit, but always happy to hear directly from people with experience.
November 14, 2025 at 11:02 PM
Anyone done a metacognitive assignment for an essay that can send me a sample or refer me to resources they've used? I've looked a bit, but always happy to hear directly from people with experience.
Reposted by Shawn Standefer
New paper out, a commentary to a target paper by Tzu-Wei Hung www.tandfonline.com/doi/full/10....
November 14, 2025 at 5:16 PM
New paper out, a commentary to a target paper by Tzu-Wei Hung www.tandfonline.com/doi/full/10....
Reposted by Shawn Standefer
Get to know your mutuals. Post 10 random things you like:
- flax milk
- binary
- flax milk
- binary
November 14, 2025 at 12:02 PM
Get to know your mutuals. Post 10 random things you like:
- flax milk
- binary
- flax milk
- binary
@annaleen.bsky.social @charliejane.bsky.social I'm really surprised to hear that OOAC only has one episode left. It'll be sad to be without the regular update on correct opinions! The penultimate one was great, and I'm sure the final one will be as well.
November 14, 2025 at 1:02 AM
@annaleen.bsky.social @charliejane.bsky.social I'm really surprised to hear that OOAC only has one episode left. It'll be sad to be without the regular update on correct opinions! The penultimate one was great, and I'm sure the final one will be as well.
Reposted by Shawn Standefer
Mount Taranaki seen through Te Rewa Rewa Bridge, New Plymouth.
November 13, 2025 at 10:21 PM
Mount Taranaki seen through Te Rewa Rewa Bridge, New Plymouth.
Reposted by Shawn Standefer
As a kid I absolutely hated reading. All the school curriculum was torture. Then my dad gave me Pratchett’s The Colour of Magic and told me give it a try. It was an absolute revelation. Holy shit I could actually enjoy reading?? I could love it?? Books could be FUN?? Completely changed my life.
performative reading, lack of reading skills, nobody's reading anymore -- NO!
tell me about a book that changed you
for me? the *extremely* ahistorical novel, THE AGONY AND THE ECSTASY which I read at 13 and was like, "Oh, art can be *everything* to a maker, for good and bad"
tell me about a book that changed you
for me? the *extremely* ahistorical novel, THE AGONY AND THE ECSTASY which I read at 13 and was like, "Oh, art can be *everything* to a maker, for good and bad"
November 12, 2025 at 3:42 AM
As a kid I absolutely hated reading. All the school curriculum was torture. Then my dad gave me Pratchett’s The Colour of Magic and told me give it a try. It was an absolute revelation. Holy shit I could actually enjoy reading?? I could love it?? Books could be FUN?? Completely changed my life.
Reposted by Shawn Standefer
My department (philosophy, University of Melbourne) is advertising a 4-yr fixed-term lectureship in metaphysics and philosophy of science. Open to people with Australian work rights. Philosophy folk, please feel free to repost etc unimelb.wd105.myworkdayjobs.com/en-GB/UoM_Ex...
Lecturer in Metaphysics and Philosophy of Science
Role type: Full-time Faculty: Arts School: School of Historical and Philosophical Studies Salary: $124,656 - $148,023 p.a. plus 17% super Teach and inspire across diverse Philosophy subjects / Contrib...
unimelb.wd105.myworkdayjobs.com
November 12, 2025 at 2:41 AM
My department (philosophy, University of Melbourne) is advertising a 4-yr fixed-term lectureship in metaphysics and philosophy of science. Open to people with Australian work rights. Philosophy folk, please feel free to repost etc unimelb.wd105.myworkdayjobs.com/en-GB/UoM_Ex...
Reposted by Shawn Standefer
The Philosophy of Science Association is running its annual fund drive. Please, if you can donate, consider doing so. The PSA has historically relied on government funding to provide travel support for students. That funding is in question and now, more than ever, we need philosophy of science.
🌍 The PSA’s first Annual Fund is here! Your gifts fuel PSA Around the World, DEI, grad/early-career support, student travel, and more. Track our progress on the donation thermometer & help us reach $15K. Every contribution matters!
philsci.org/donate.php
philsci.org/donate.php
November 11, 2025 at 9:40 PM
The Philosophy of Science Association is running its annual fund drive. Please, if you can donate, consider doing so. The PSA has historically relied on government funding to provide travel support for students. That funding is in question and now, more than ever, we need philosophy of science.
Reposted by Shawn Standefer
Do we think this real? Or is it true but not really real? Hegelian marries/frustrates physicist
www.reddit.com/r/badphiloso...
www.reddit.com/r/badphiloso...
From the badphilosophy community on Reddit
Explore this post and more from the badphilosophy community
www.reddit.com
November 8, 2025 at 1:10 AM
Do we think this real? Or is it true but not really real? Hegelian marries/frustrates physicist
www.reddit.com/r/badphiloso...
www.reddit.com/r/badphiloso...
Reposted by Shawn Standefer
suggested opening line: "You can't spell Aristotle without AI."
November 7, 2025 at 1:46 PM
suggested opening line: "You can't spell Aristotle without AI."
My former NTU colleague Chi-Keung Chan interviewed at the APA blog
APA Member Interview, Chi-keung Chan | Blog of the APA
Chi-keung Chan 陳志強 is an Associate Professor of Philosophy at National Taiwan University. His research focuses on Song-Ming Neo-Confucianism, Confucian ethics, comparative philosophy, and interdiscipl...
blog.apaonline.org
November 7, 2025 at 3:19 PM
My former NTU colleague Chi-Keung Chan interviewed at the APA blog
Are there any model-theoretic proofs that intuitionistic logic has Harrops rule or mints’s rule admissible ?
November 5, 2025 at 7:09 PM
Are there any model-theoretic proofs that intuitionistic logic has Harrops rule or mints’s rule admissible ?
Tex on my Mac is telling me that a command is undefined, when it is defined in a .sty file that is in the preamble. Any ideas how to troubleshoot this?
November 4, 2025 at 3:19 PM
Tex on my Mac is telling me that a command is undefined, when it is defined in a .sty file that is in the preamble. Any ideas how to troubleshoot this?
Reposted by Shawn Standefer
I don't think it really matters that much which orthography one uses, as long as it is used consistently. The big problem in Taiwan is that it is still a mishmash of at least 5 of these systems.
But there are some things I wish people did keep in mind:
But there are some things I wish people did keep in mind:
Has anyone ever attempted a Mandarin transcription system alignment chart? 🍿
October 31, 2025 at 6:15 AM
I don't think it really matters that much which orthography one uses, as long as it is used consistently. The big problem in Taiwan is that it is still a mishmash of at least 5 of these systems.
But there are some things I wish people did keep in mind:
But there are some things I wish people did keep in mind:
Reposted by Shawn Standefer
My name is Ozymandias, King of Kings. Please like and subscribe if you like my content!
My name is Ozymandias, King of Kings. I am currently on extended leave, and will not have access to emails until next month.
My name is Ozymandias, King of Kings. I hope this email finds you well.
October 30, 2025 at 12:07 AM
My name is Ozymandias, King of Kings. Please like and subscribe if you like my content!
Reposted by Shawn Standefer
