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