Answer by Carlo Beenakker for Literature about formalization of "natural...
Quantum logic might be one example of "a non-standard way of doing logic motivated by the nature of reality," as described in Quantum Logic in Historical and Philosophical Perspective.
View ArticleLiterature about formalization of "natural reasoning" in mathematical logic
In "Logic of sheaves of structures", X. Caicedo justifies the logic he introduces stating (more or less) that assertions about a point should really be understood as assertions about a neighbourhood of...
View Article
More Pages to Explore .....