ЛОГАЭДЫ (от греч. logaoidikos - прозаически-стихотворный)

стихотворные размеры, образуемые сочетанием неодинаковых стоп (напр., дактилей и хореев), последовательность которых правильно повторяется из стиха в стих или из строфы в строфу. В метрическом стихосложении - основная форма античной песенной лирики; в силлабо-тоническом стихосложении малоупотребительны (см. Сапфическая строфа).

ЛОГВИНОВИЧ Георгий Владимирович (р. 1913)

ученый-гидродинамик, академик АН УССР (1967). С 1945 работал в ЦАГИ, в 1966-71 одновременно был директором Института гидромеханики АН УССР. Преподавал в Московском энергетическом институте (профессор с 1957), Московском физико-техническом институте (с 1975). Развил теорию глиссирования и погружения в жидкость, теорию подводных крыльев. Премия им. Н. Е. Жуковского (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 вв., отвергающее кантовский тезис о синтетическом характере математических истин; рассматривает математику как чисто аналитическую науку, все понятия которой можно определить в рамках дедуктивной логики без использования каких-либо положений нелогического характера. Основные представители - Г. Фреге, Б. Рассел, А. Уайтхед. Тезис о "сводимости математики к логике" оказался невыполнимым, вместе с тем логицизм способствовал развитию математической логики.

ЛОГИЧЕСКАЯ МАШИНА

механическое или электронное устройство для выполнения логарифмических операций: оценки и преобразования формул, доказательства теорем, преобразования информации и пр. Разработаны специализированные логические машины; в качестве логических машин применяются также универсальные ЭВМ (по соответствующим программам).

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ

операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Основные и наиболее распространенные логические операции, реализуемые в ЭВМ, - дизъюнкция, конъюнкция, отрицание; при составлении программ для ЭВМ более сложные логические операции обычно сводят к трем основным.

ЛОГИЧЕСКАЯ ОШИБКА

вызывается нарушением правил или законов логики; признак формальной несостоятельности содержащих ее определений, рассуждений, выводов и доказательств.

ЛОГИЧЕСКАЯ СЕМАНТИКА

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

ЛОГИЧЕСКИЙ ЗАКОН

название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в нее логических операций и по существу не связана с фактической истинностью "наполняющих" ее высказываний.

ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ

течение неопозитивизма, возникшее в 1920-х гг. (Венский кружок); пытался сочетать эмпиризм, основывающийся на принципе верификации, с методом логического анализа научного знания. Со 2-й пол. 30-х гг. стал известен под названием логического эмпиризма; с 60-х гг. не существует как самостоятельное течение. См. также Аналитическая философия.

ЛОГИЧЕСКИЙ СИНТАКСИС

в широком смысле - теория (возможно, аксиоматическая), рассматривающая основные принципы построения логарифмических исчислений и их формальную структуру (теоретический логический синтаксис); в узком смысле - запас выразительных средств для формулирования утверждений о формальных выражениях (языке) логического исчисления (элементарный логический синтаксис).

ЛОГИЧЕСКИЙ ЭЛЕМЕНТ простейшая структурная единица ЭВМ

выполняющая определенную логическую операцию над двоичными переменными. Реализуется обычно на электронных приборах (полупроводниковых диодах, транзисторах) и резисторах либо в виде интегральной микросхемы; имеет несколько входов для приема сигналов, соответствующих исходным переменным, и выход для выдачи сигнала, соответствующего результату операций.

ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ

исчисление, символы и правила которого могут быть интерпретированы в терминах логики.