теорию подводных крыльев. Премия им. Н. Е. Жуковского (1965). Ленинская
премия (1978).
  ЛОГЕЙОН - в древнегреческом театре эпохи эллинизма и Римской империи
продолговатая площадка перед сценой, где играли актеры,тогда как хор
по-прежнему оставался на орхестре.
  ЛОГИКА (греч. logike) - наука о способах доказательств и опровержений;
совокупность научных теорий, в каждой из которых рассматриваются
определенные способы доказательств и опровержений. Основателем логики
считается Аристотель. Различают индуктивную и дедуктивную логику, а в
последней - классическую, интуиционистскую, конструктивную, модальную и
др. Все эти теории объединяет стремление к каталогизации таких способов
рассуждений, которые от истинных суждений-посылок приводят к истинным
суждениям-следствиям; каталогизация осуществляется, как правило, в рамках
логических. исчислений. Особую роль в ускорении научно-технического
прогресса играют приложения логики в вычислительной математике, теории
автоматов, лингвистике, информатике и др. См. также Математическая логика.
  ЛОГИКА ВЫСКАЗЫВАНИЙ - раздел логики, в котором вопрос об истинности или
ложности высказываний рассматривается и решается на основе изучения
способа построения высказываний из т. н. элементарных (далее не
разлагаемых и не анализируемых) высказываний с помощью логических операций
конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации
("если..., то...") и др. Логику высказываний, задаваемую системой
постулатов (аксиом и правил вывода), называют исчислением высказываний.
  ЛОГИКА КЛАССОВ - логика объемов понятий, раздел логических теорий, в
котором изучаются операции над классами (множествами) и свойства этих
операций (законы логики классов).
  ЛОГИКА НАУКИ - наука, применяющая понятия и технический аппарат
современной логики к анализу систем научного знания. Сформировалась в 1-й
четв. 20 в. Разрабатывалась представителями неопозитивизма. В 60-х гг.
получила творческое развитие в рамках современной философии. Термин
"логика науки" употребляется также для обозначения законов развития науки
(логика научного развития), правил и процедур научного исследования
(логика исследования), учения о психологических и методологических
предпосылках научных открытий (логика научных открытий).
  ЛОГИКА ПРЕДИКАТОВ - раздел логических теорий, в котором изучаются
общезначимые связи между высказываниями о свойствах и отношениях
предметов; в основе логики предикатов лежит формализованный язык,
отображающий субъективно-предикатную структуру высказываний. См. также
Исчисление предикатов.
  ЛОГИНОВ Евгений Федорович (1907-70) - военачальник, маршал авиации (1967).
Во время Великой Отечественной войны был командиром авиадивизии,
командиром авиакорпуса дальнего действия. В 1954-59 заместитель главкома
ВВС и генерал-инспектор Главной инспекции Министерства обороны (1954-59).
Министр гражданской авиации СССР (1964-70).
  ЛОГИНОВ Михаил Николаевич (1903-1941) - российский конструктор
артиллерийского вооружения. Под его руководством создана 45-мм зенитная
морская пушка, 45-мм противотанковая пушка образца 1937 года, 76-мм
полуавтоматическая зенитная пушка образца 1938 года, 85-мм зенитная пушка
образца 1939 года, серия малокалиберной автоматической полевой и морской
зенитной артиллерии, в т. ч. 45, 37 и 25-мм автоматические зенитные пушки
и установки. Государственная премия СССР (1941, посмертно).
  ЛОГИЦИЗМ - направление в основаниях математики кон. 19 - нач. 20 вв.,
отвергающее кантовский тезис о синтетическом характере математических
истин; рассматривает математику как чисто аналитическую науку, все понятия
которой можно определить в рамках дедуктивной логики без использования
каких-либо положений нелогического характера. Основные представители - Г.
Фреге, Б. Рассел, А. Уайтхед. Тезис о "сводимости математики к логике"
оказался невыполнимым, вместе с тем логицизм способствовал развитию
математической логики.
  ЛОГИЧЕСКАЯ МАШИНА - механическое или электронное устройство для выполнения
логарифмических операций: оценки и преобразования формул, доказательства
теорем, преобразования информации и пр. Разработаны специализированные
логические машины; в качестве логических машин применяются также
универсальные ЭВМ (по соответствующим программам).
  ЛОГИЧЕСКАЯ ОПЕРАЦИЯ - операция над числами (обычно в двоичной системе
счисления), выполняемая по правилам алгебры логики. Основные и наиболее
распространенные логические операции, реализуемые в ЭВМ, - дизъюнкция,
конъюнкция, отрицание; при составлении программ для ЭВМ более сложные
логические операции обычно сводят к трем основным.
  ЛОГИЧЕСКАЯ ОШИБКА - вызывается нарушением правил или законов логики;
признак формальной несостоятельности содержащих ее определений,
рассуждений, выводов и доказательств.
  ЛОГИЧЕСКАЯ СЕМАНТИКА - теория, изучающая вопросы интерпретации
логарифмических исчислений: отношения между языком исчисления и
описываемой им реальностью - моделью теории, условия существования моделей
исчислений, их практической применимости и др. В более специальном смысле
- дедуктивная теория, описывающая свойства понятия истинности в
формализованных языках логики и математики.
  ЛОГИЧЕСКИЙ ЗАКОН - название законов, образующих основу логической
дедукции; схема логической связи высказываний, выражаемая общезначимой