@misc{_What,
 abstract={<p>
 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&#322;aw Wolniewicz) is discussed. I 
 argue that this is an example of a perfect solution of the problem.
 </p>},
 title={What is a good formalization?},
 keywords={formalization, ontology of situations, lattice of elementary situations, logical dimension, states of affairs},
}