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.
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.