Логика и логическая семантика.