With the impressive theoretical progress of last decades, the global tectonics is about to reach a state that is quite unique not only for geology but for any descriptive domain of knowledge. This is the state of so high elaboration and maturity that a theory may be subject, like some theories of physics, chemistry, algebra and geometry, to the most rigorous inspection ever suggested in the science – the inspection for being formal sensu mathematical logic. Still, to bring the global tectonics to this state, quite a work remains to be done. This is an exciting cross-disciplinary work of knowledge engineers and geologists that would result in a quite new level of understanding the Earth and new quality of scientific collaboration on it.
However, being so different from all the fields that underwent such “high formalization” so far, the tectonics needs special formal treatment, which, in turn, requires special logico-mathematical formalism complementary to the traditional predicate logic. Thus the scope of this session appears highly cross-disciplinary, claiming for a joint intellectual journey of field geologists, experimentalists and modelers, IT specialists and computer scientists, logicians and mathematicians.