Ok. “Law of excluded middle”? It’s Cognitive. Comes from moving from room to room through doorways, from living in confined spaces. Looked up “Ancient Greek homes” to confirm. Poor to wealthy, most but the absolute poorest lived in homes with many doorways. Many doorways = cognitive event boundaries where contexts change and brain remaps. [Why you lose items when you move them to another room]. Possible contrast might be found by comparing storytelling/event recollection among people who live as nomads, out in open areas, collectively, agriculturally. Is time circular? Logic more flexible and intuitive? Do stories freely mix past, present and future, myth and event flowing freely between? ========= “Figure 1. Shared Features of Spatial and Nonspatial Contextual Boundaries. Boundaries between events may be detected on the basis of spatiotemporal context shifts. During navigation, decision-points act as boundaries between road segments. This segmentation is most obvious when turns are made due to a concurrent shift in visual information. Similarly, movement between compartments elicits the remapping between spatial representations. Evidence from event narratives suggests that boundaries produce a peak in hippocampal activity that is preceded by shifts in cortical activity patterns [5,81]. Computational modeling of episodic memory suggests a transient increase in the speed at which contextual representations change over time (temporal context drift) immediately following a spatial boundary [36], repelling events on a mental timeline. Both these phenomena enable the separation of events in space and time, and may stem from the same underlying neural mechanism which requires updating at the boundary to signal a shift in contextual properties. ” =============== Brunec, I. K., Moscovitch, M., & Barense, M. D. (2018). Boundaries Shape Cognitive Representations of Spaces and Events. Trends in Cognitive Sciences, 22(7), 637–650. doi:10.1016/j.tics.2018.03.013

Ok. “Law of excluded … [read full article]

 

I keep jumping around from past to present. I must be narrowing something down but I’m not sure what yet. “O’Hearn and Brookes are co-recipients of the 2016 Gödel Prize for their invention of Concurrent Separation Logic.” Just read: “Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity”, which uses the simple but fantastic notion of logical verification with TIMESTAMPS – AND using TWO histories simultaneously: SUBJECTIVE and Objective, allowing for things like dealing with programs that operate across networks, running concurrently, functions shared by the state space – even situations where it can decide not to do something if it was done by another program or by the state space itself. It’s part of https://en.wikipedia.org/wiki/Separation_logic – in this case, Concurrent Separation Logic. Why do I like this? If you abstract it’s function (take it out of the context of computer science), it’s logical reasoning that has PLACE and TIME and SUBJECTIVITY and multiple HISTORIES, features missing from many logics. Doing this gives the power to consider reasoning from TWO perspectives simultaneously: COARSE (objective, collective, hindsight) and FINE-GRAINED (subjective, individual, interactive, broken up).

I keep jumping around
[read full article]