https://onlinelibrary.wiley.com/doi/10.1111/j.1755-2567.2012.01136.x
https://plato.stanford.edu/entries/two-dimensional-semantics/
Arguing for logical realism and discussing the logical structure and constitution of the world.
Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt. (Leibniz)
Gödel, criticizing a paper by Turing, remarked on how 'concepts' are grasped by the mind in different ways, that certain concepts c...