Аннотация:В книге дан анализ семантических антиномий и методов их устранения. Единым методом доказаны так называемые теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализу интенсиональных контекстов.