#cultsofhateandfear — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cultsofhateandfear, aggregated by home.social.
-
‘Crucially, while in model-theoretic semantics the base case
of the judgment is given by truth (i.e., in the model M with interpretation
I, the judgment w ||- p obtains iff w ∈ I(p)), in proof-theoretic semantics it
is instead given by provability in an atomic system; that is, by the following
clause in which B is an arbitrary atomic system:
||- B p iff p is provable in B’Categorical proof-theoretic semantics
David Pym, Eike Ritter, Edmund Robinson
Studia Logica 113 (1), 125-162, 2025’What is an arbitrary atomic system? In the Neo-Nazi model of an ideal world all is interpreted to be a p: ‘the only value to be obtained is by financing the cult of nihilistic fatalism, so as not to hurt the hubris and addiction to power that spawns the craving of psychopaths!’ #NeoNazis #NaziLogic #CultsOfHateAndFear #FascistsFinance #FinancingEcocide #Logic #Models #BetterWorlds #TranscendingFascistLogic #Freedom #FreedomFromFascists #Intuitionism
#FascistsFinanceNeoNazis #proofs #proof #philosophy #atomicsystem