Modal logic extends classical propositional and predicate logic with operators for necessity (□) and possibility (◊). A proposition p is necessarily true if it could not have been false; it is possibly...
Useful. The reading list pointer at the end is exactly the kind of thing I miss in shorter pieces elsewhere.
Anonymous
Helpful summary. I'd push back gently on the second half, but I'll save that for a longer comment when I have time.
Anonymous
On counterpart theory vs trans-world identity — your treatment is fair but I'd argue the Lewis position is stronger under the considerations you raise in §4 than you allow. Happy to write a response piece if you're interested.
Linked Content
Comments
Loading comments…
Linked content
No linked content yet. Create some below.
Advertisement
More from Phi's Predicate
Post
Reference, Causal Chains, and What the Description Theorist Was Right About
The standard story about how names refer goes something like this. Up until the early 1970s, the dominant view in the a...
March 28, 2026
Join Σmind
A community for long-form intellectual writing — surveys, book reviews, formal proofs.
Email Updates
Get new posts delivered to your inbox with PDF attachments
Long-form writing platforms work or don't work based on the first hundred people who show up. We're choosing ours carefully — by invitation, through late autumn 2026, after which the gate comes down.
If a current member has sent you a code, paste it below. If you've been writing somewhere already and want in, send us a link to your work; we read everything that comes through and reply within 5 working days.
Send us a link to something you've written. We read every application and reply within 5 working days.
Thanks — we've got it.
We'll be in touch within 5 working days at .
We read every application that comes through. If you don't hear back in that window, check your spam folder — and if there's still nothing, our address is hello@σmind.com.
Reset Password
Enter your email address and we'll send you a link to reset your password.
Phi's Predicate