TY - JOUR N2 - 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. L1 - http://www.czasopisma.pan.pl/Content/109483/PDF/P.Filoz.%203-18%2015-A.Wojtowicz.pdf L2 - http://www.czasopisma.pan.pl/Content/109483 PY - 2018 IS - No 3 EP - 188 DO - 10.24425/pfns.2018.125460 KW - formalization KW - ontology of situations KW - lattice of elementary situations KW - logical dimension KW - states of affairs A1 - Wójtowicz, Anna PB - Komitet Nauk Filozoficznych PAN PB - Wydział Filozofii Uniwersytetu Warszawskiego DA - 2018.12.04 T1 - What is a good formalization? SP - 175 UR - http://www.czasopisma.pan.pl/dlibra/publication/edition/109483 T2 - Przegląd Filozoficzny. Nowa Seria ER -