I’m not sure what you mean by “probabilistic thinking”, but distinguishing thinking within a proposed mathematical model vs. thinking about a model in a rigorous way is the essential feature of “probabilistic thinking”, which is an application of tools from mathematical logic and computability theory.