@andrejbauer @XenaProject @wtgowers I need to understand topology better to really understand the topological interpretation. But the weird things about that interpretation is that it gives also give you cointuitionistic logic of falsification, as Popper a
2,510 followers
2,510 followers
@DavidCorfield8 @valeriadepaiva @emilyriehl @math3ma @cdutilhnovaes Brandom discusses limitations of a purely Dogmatic and purely skeptical view of reason. I was expecting him any moment to discuss the duality of Topoï (giving us constructive logics) and c
2,510 followers
"The Evil Twin: The Basics of Complement-Toposes" argues that Topos theory supports Constructive and Paraconstistent (deconstructive?) logics equally well. These are not two different structures but the same one looked at differently. cc @david_i_spivak h
688 followers
RT @adolfont: "Several years ago, I needed a convenient and meaningful denomination for a logic that did not eliminate contradictions from…