On the knowability of the world: from intuition to Turing machines and topos theory

Milan Tasić · Biocosmology – neo-Aristotelism · 2014

Is an entire (Biocosmological) image of animate and inanimate nature can be built on the notion of discrete quantities-objects and their relations – in essence? Just as its thoughtful reflection in consciousness (as knowability of what exists), which would mimic some (sufficiently complex) mechanical device, in the manner of “artificial intelligence”? We have so that the notion of Turing machine, derived on this basis, has been “extended” to an abundance of (convincing) arguments in our time that it can truly be achieved to a high and highest extent, so it seems that the term “program” has grasped with more happiness our intuition, than is the case, say, with the concept of natural number at all. We present here summarily the ontological points of view – from Thales to Hegel – on the being, from an intuitive picture on it as “one and many”, to the settheoretical one, where parts-components enter the wholes, realizing mutual relations in it, while preserving their originality, and which is approached to a high degree just the mathematical theory of topoi (of category). In favor of is the position of Alain Badiou: “Mathematics is ontology and so on, so this theory can be seen as an exact (mathematical) expression of the general principles set by biocosmology: the universality of life-processes (organicism), three-dimensionality (of sphere of activity) and four-causality of causes (in the sense of Aristotle). On the epistemological level, it would be an image of knowability of world “for us” – if not “per se” – achieved in concepts, and, as (only) more or less reliable through programs, models. From that place it should be foreseen “the fundamental (universal) laws” in the nature, such as laws of evolution, etc., as well as the human ability, before the temptations of the elements of the world (environmental, demographic, etc.), to find favorable outcomes for himself.

Read the paper · More papers on PaperTik