Logic of Social Ontology and Łoś’s Operator

In 1947 Jerzy Łoś proposed a positional logic based on the realization operator. We follow his work and present it in the context of fundamental challenges of sociology such as the complexity of social reality and reflexivity of social agents. The paper is an outline of the general concept, as it opens a discussion and sets ground for future elaborations. In this paper, we are considering the concept according to which the expressions put forward by Łoś’s system might be indexed not only by spatial and temporal variables, but also by social contexts. And as such Łoś’s system might be a significant improvement, a valuable addition for social simulations and computational sociology, which use multi-agent systems and agent-based modeling. We consider how Łoś’s operator might be useful for these disciplines, as it gives a chance to combine of formalization with the humanistic coefficient, which represents the issues of complexity and reflexivity of social agents.