Shawn Standefer

Which book?

does anyone here have a nice workflow about synching zotero w/ remarkable tablet? i was previously using an ipad pro w the zotero app signed in that synched my annotations, but i didn't like reading on the ipad screen which is why i'm trying the rm

Yes, what you said is correct, both the presentation of strong completeness and the appeal to soundness

I'm not sure how useful it is to think of topological models as being a kind of neighborhood model. Topological models have a lot of conditions on them, related to topologies, which is where their interest really is.

Strong completeness doesn't have to be defined in terms of frames. Also (responding to another part of the thread), strong completeness implies compactness when used with standard proof systems.

Congratulations! That’s fantastic! It’s a very neat paper.

One important difference for logic papers is that for generalist journals, papers generally have a lot of motivation and connection to broader philosophical issues. In specialist journals, you can have papers that say “here are some neat logic things and proofs”, but not in generalist journals.

from the perspective of writing specialist papers, do you guys perceive much of a difference between the papers that get published in specialist journals vs generalist journals? was asked about this and sorta don't, but maybe i'm not paying attention

I wouldn’t say there’s a big difference in quality between logic papers published in specialist and generalist journals. There is usually a difference in presentation and detail, and there are often differences in topics covered. I tend to find the papers in specialist journals more interesting.

I thought the division about cilantro was entirely due to some people having a gene that made it taste like soap and some people not. Does the same sort of thing happen with parsley?

It is so frustrating when someone cites a book for a claim without a page number or even chapter number.

Not sure philosophy's credibility will survive the revelation that disjunctive syllogism is fake.

This is something I've been curious to read about as well.

Is there any interesting literature on the difference between audience and addressee in pragmatics?

if u could open your own museum what would it be about what are u going to devote your life to curate

The Dr Who episode 'Blink', but every time you close your eyes another hour of the day has gone by without you having made any progress on work, life, or relaxing from the demands of work and life

Somebody asking Google Gemini to give them a random 32-character string and it responding with “aBcDeFgHiJkLmNoPqRsTuVwXyZ0123456789”

Lmao this rules so hard

That should say CFP

The next Asian Workshop on Philosophical Logic will be held at Southwest University, Chongqing, China, April 10-12. The CFA is linked below. The paper submission deadline is Dec. 1, 2025.

logic.swu.edu.cn/awpl2026/Cal...

What happened?

I reckon that's more technical than desirable for that journal. But it does seem like it'd be worth emphasizing that not all theories are recursive.

On a quick comparison, it looks like there were a lot of changes.

It isn't open access as far as I can see

Also unfortunate not to have any mention of computability-theoretic issues, although the axiom of choice is discussed. The existence of ultrafilters for Lindenbaum–Tarski algebras of countable languages doesn't require choice, and in fact is provable in a system conservative over PA.

Given the constraints on Phil Compass, omissions are inevitable. I suspect that measurable cardinals might've been outside the scope of the paper. What computability-theoretic issues did you have in mind?

Ultrafilters as Propositional Theories This paper presents a philosophically illuminating explanation of the concepts, from mathematics and formal model theory, of filters and ultrafilters. If a propositional theory is just a set of propo....

Ultrafilters as Propositional Theories, by Jason Turner

compass.onlinelibrary.wiley.com/doi/10.1111/...

We are hiring in Philosophy at NTU!

Open rank and open area call for tenure-track/tenured positions: philjobs.org/job/show/29338

It looks good!

Remember when that guy published a mid article, people told him it was bad online, then he collected the replies and published them as a second article (also attributed to him)? We might not have liked it, but that was what peak analytic philosophy performance looked like

The Philosophy of Linguistics Cambridge Core - Philosophy of Science - The Philosophy of Linguistics

Get it while it's hot (and free)! cup.org/46WiElu This book tells a story of what if the philosophy of science didn't start with the study of atoms or the cosmos but human language. #philsky #booksky