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. (shrink)

In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These expressions allow, inter alia, to consider different points of view of social entities (humanistic coefficient). In the article, we perform a metalogical analysis of this logic. Finally, we present some simple examples of its application.