Formalization of a set of beliefs expressed in one language consists in translating them into sentences of another language. The characteristic property of a good formalization is that the target language is correctly chosen and the translations precisely reflect the meaning of the original sentences. In the paper a formalization of ontology of situations (given by Professor Bogusław Wolniewicz) is discussed. I argue that this is an example of a perfect solution of the problem.

In the opinion of Bogusław Wolniewicz (1927–2017), Wittgenstein in his Tractatus presented a new metaphysics – a modern ‘metaphysics of facts’, in opposition to the traditional ‘metaphysics of substance’ (Aristotle) or to the ‘metaphysics of things’ (Tadeusz Kotarbiński’s ‘reism’). The new metaphysics describes, just like the old ones did, the structure of the world. First, it refers to the world as a whole, seeing in it an actualization of one of numerous possible worlds. It also refers to the elementary unit of world-structure, which is an ‘atomic fact’ (an independent unit, though at the same time not the simplest one, since it involves further ‘simple objects’). Those concepts of ‘world’, ‘atom’ and ‘possible beings’ make the system of Tractatus ‘metaphysics’, comparable to the Aristotle’s metaphysics of ‘form’ and ‘matter’. In Tractatus, the Aristotelian ‘matter’ turns into ‘simple objects’, while ‘form’ becomes a form of ‘fact’. In this view, the world is conceived as a set of facts and equals a particular choice made from the universe of possible situations. But one element is missing in Wittgenstein’s system, namely, the ‘efficient cause’ responsible for the choice of facts (actualization of possibilities). Leibniz believed there was a ‘sufficient reason’ why a particular choice was made among possible situations and one possible world has become real. This ‘sufficient reason’ finally turned out to be God’s rational will. In Wolniewicz’s late philosophy however, the ‘efficient cause’ is only ‘fate’ or ‘chance’ (τύχη). Fate is therefore the mysterious deus absconditus of Wittgenstein’s metaphysics.

Bogusław Wolniewicz created an original formal system based on his considerations on the ontology and semantics embedded in Wittgenstein’s Tractatus. His system – called by Wolniewicz ‘ontology of situations’ – can be complemented by a philosophical interpretation. In this article I identify the implicit and intuitive underpinnings of the system, its formal content and its philosophical implications. I also indicate a few applications of the system to axiology and logical hermeneutics.

The article describes Family Group Conference method, which was initiated in Poland over 10 years ago by J. Przepierski. The method is presented in historical context of their theoretical foundations and particular practical assets justifying its application in work with families in a crisis situation and moments of difficulties, which might constitute an obstacle in the use of the method.

The article summarizes the results of sociolinguistic study of the language environment of secondary schools in Ukraine, on the basis of which the conclusion about its bilingualism was made. It is proved that the quality of the language environment does not correspond to the declared school status. Changes in the assessment of the language environment of schools from 2006 to 2017 are identified and it is concluded that it is possible to develop recommendations for improving the legal support of the use of languages in the Ukrainian education.

Selected scientific contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz in the period from the end of the 1980s to the beginning of the 21st century are presented in this essay. They concerned the algebraic aspects of the ontology of situations and from one moment – one only question that was posed by Wolniewicz in his note A question about join-semilattices (Bulletin of the Section of Logic, 19/3, 1990, pp. 108–108), and resulted in the Hawranek & Zygmunt paper Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością (“Some comments on a question about semilattices with unit”) (Acta Universitatis Wratislaviensis 1445, Logika 15 (1993), pp. 59–68) containing an answer to Wolniewicz’s question. The Hawranek & Zygmunt paper is reprinted below, and the essay might be also treated as a kind of an analytical and historical introduction to it. The story of contacts Wolniewicz – Hawranek & Zygmunt has been told with the help of the preserved correspondence between the three persons. In his letters Professor Wolniewicz appears as a passionate researcher, open to discussion, ready to share his research successes and difficulties with others.

Bogusław Wolniewicz, inspired by his formal ontology of situations, has put forward a question on semilattices with a unit (A question about joinsemilattices, Bulletin of the Section of Logic 19/3, 1990). The present paper is entirely devoted to this problem in the formulation given by Wolniewicz. First, the meaning of the question is analyzed and its lattice-theoretical and Boolean algebraic contents are exhibited. Second, set-theoretical and topological counterparts of the question are formulated and commented upon.