Good question #linearlogic

Rosen stated: "I argue that the only resolution to such problems [of the subject-object boundary and what constitutes objectivity] is in the recognition that closed loops of causation are 'objective'; i.e. legitimate objects of scientific scrutiny. These are explicitly forbidden in any machine or mechanism."

Saying that closed causal loops are objective leads directly to the need for non-binary logic. Binary logic cannot deal with causal loops, which are impredicative, like the set that contains itself. Recent developments in modern category theory make this all clear. We can handle this now with monoidal closed categories, a generalization of the old cartesian categories used in binary logic. #RM3 #LinearLogic #paraconsistent #paradox

ok - i'm a bit of a shitposter, but looking for enriching my feed - i'm interested in #pedagogy #ilyenkov #vygotsky #raybrassier #rezanegarestani #plato #linearlogic #topoi