@ARTICLE{Wójtowicz_Anna_What_2018, author={Wójtowicz, Anna}, number={No 3}, journal={Przegląd Filozoficzny. Nowa Seria}, pages={175-188}, howpublished={online}, year={2018}, publisher={Komitet Nauk Filozoficznych PAN}, publisher={Wydział Filozofii Uniwersytetu Warszawskiego}, abstract={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.}, type={Artykuły / Articles}, title={What is a good formalization?}, URL={http://czasopisma.pan.pl/Content/109483/PDF/P.Filoz.%203-18%2015-A.Wojtowicz.pdf}, doi={10.24425/pfns.2018.125460}, keywords={formalization, ontology of situations, lattice of elementary situations, logical dimension, states of affairs}, }