standefer.bsky.social
Philosophical logician at National Taiwan University
412 posts
442 followers
314 following
Regular Contributor
Active Commenter
comment in response to
post
That’s pretty rad
comment in response to
post
Often in logic, a process that will get beyond two things will be able to generate infinitely many things. That does make finding other finite numbers in places very fun, such as 17 and 3088
comment in response to
post
That sounds incredibly hard! Congratulations on getting to that level!
comment in response to
post
Thanks! I feel like after four years in Taiwan it could be higher, but I’m pretty pleased with it.
comment in response to
post
Is there still a stigma? At least in philosophical logic, I think co-authoring has become much more accepted and common.
comment in response to
post
Epistemic yinz
comment in response to
post
I’ve also really enjoyed her talks when I’ve caught them. They are admirably clear and engaging. Is she visiting LSE for long?
comment in response to
post
Just take your favorite monad and apply the co funcutor. That's how it works right?
comment in response to
post
I thought it was to enable more professional looking mistakes
comment in response to
post
This looks neat. If you like this, you might also be interested in Jeff Horty’s work on the logic of precedent and legal change
comment in response to
post
The sweet spot is when you get to discussions of discussions of discussions of AI.
comment in response to
post
The IGPL journal is legit. The article you linked seemed like it is a real article for the journal. They do have a fairly broad scope, and they’ve published computer science related stuff that isn’t logic before.
comment in response to
post
I generally decline. If the journal isn't triple anonymized, I will say that I've previously reviewed it, but otherwise I will decline without explanation.
comment in response to
post
It was early evening in eastern Australia
comment in response to
post
S3 and below lack necessitating right? I guess it’s a strengthening of the monotocity rule, but I don’t have any sense for those weak Lewis systems.
comment in response to
post
I think that might be more S1-S3 than modal logics in general
comment in response to
post
The mid-career professional is roughly the demographic I expected.
I took young to mean under 30, but I’m fine with extending that to under 50. Beautiful and energetic aren’t really a feature of the criteria for the gc, at least in most categories.
comment in response to
post
As far as the ministry of education is concerned, I am young!
The gold card program is not really geared towards the young, energetic, and gorgeous. That seems orthogonal to the stated aim of the program.
comment in response to
post
I jumped to a mistaken conclusion about it based on the website's preview. I found a non-paywalled version of your paper, and it had the discussion I was hoping for.
comment in response to
post
Why repost this?
comment in response to
post
No reasonable, formal, theory of arithmetic that is consistent can derive all the truths about natural numbers
comment in response to
post
It’s delightful
comment in response to
post
What is the distinction there?
comment in response to
post
In Taiwan, we don’t have daylight savings time. It’s pretty nice. It is confusing when most other countries change their clocks though.
comment in response to
post
Is the government employing your arguments?
comment in response to
post
basically pleasant bureaucrats of the world unite!
comment in response to
post
oh yeah, heaps of them. the logistics companies need staff to do logistics.
comment in response to
post
For a while, I would get emails with unsolicited job ads for logistics positions. I think it was cause some people confused Logic for logistics. That being said, I do think I’m good at logistics
comment in response to
post
Literally lol