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