@exploringlove: S4 is so underrated n overlooked it can be S5 (Zombie-S5) and function like one without symmetric n the AxAdmissibility. Box n diamonds are monad-commonad, and yes Kripke Completeness theorem only proved the Equivalence in S5 not that S5 is independent n a upgrade ver of s4, s5 is a reification of s4. it works better in theoretic spaces, beyond alexandrov spaces where s5 is restricted to. #philosophy #logic

Exploring Acatalepsy

Open In TikTok:

Region: ID

Friday 26 June 2026 14:17:29 GMT

12835

1045

Music

Download

No Watermark .mp4 (1.27MB) No Watermark(HD) .mp4 (0.82MB) Watermark .mp4 (2.28MB) Music .mp3

Comments

deadrosetoy :

what is this niche community I've found

2026-06-26 16:33:51

Jajsjd Jsjsjs :

how can I larp that?

2026-06-26 21:11:20

............... :

what r your thoughts of quins paper "Two dogmas of empricism"

2026-06-26 19:55:48

lorenz :

Yeah no😭

2026-06-26 14:33:06

matthew :

I wanna learn s4 so bad I js have absolutely no fucking idea what necessarily necessary means 😭

2026-06-26 14:50:58

.not_saad :

Where can I learn this?

2026-06-26 19:40:46

Mediumbologna :

True larping

2026-06-27 00:23:41

To see more videos from user @exploringlove, please go to the Tikwm homepage.