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