Подход к семантике первопорядковой интенсиональной логикитезисы доклада