Большая Советская Энциклопедия (ЛО) - Большая Советская Энциклопедия "БСЭ" - Страница 27

  Лит.: Энгельс Ф., Анти-Дюринг, Маркс К. и Энгельс Ф., Соч., 2 изд., т. 20; его же, Людвиг Фейербах и конец классической немецкой философии, там же, т. 21; Ленин В. И., Философские тетради, Полн. собр. соч., 5 изд., т. 29; Ильенков Э. В., Логическое и историческое, в сборнике: Вопросы диалектического материализма, М., 1960; Грушин Б. А., Очерки логики исторического исследования, М., 1961.

  А. Г. Спиркин.

Логи'ческое исчисле'ние, исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики. Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и., используемых для указанной цели, служат исчисление высказываний и исчисление предикатов, различные их ослабления (см. Интуиционистская логика, Положительная логика, Минимальная логика), а также расширения, полученные добавлением к ним модальных операторов (возможности, необходимости, см. Модальная логика) или предиката равенства. При построении на основе Л. и. какой-либо теории к «чистому» Л. и. присоединяют различные предметные, предикатные и (или) функциональные константы и постулаты (аксиомы и, быть может, правила вывода), характеризующие эти константы. Простейшим и наиболее важным примером получающегося в результате «прикладного» Л. и. служит уже упомянутое исчисление предикатов с равенством (квалифицируемое как Л. и. в зависимости от того, относят ли равенство к «чисто логическим» или «математическим» предикатам), являющееся составной частью всех более развитых и богатых аксиоматических математических теорий. Из числа последних особенно важную роль играют логико-арифметические исчисления, интерпретацией которых служит натуральный ряд чисел с определёнными на нём отношениями (равенство, «больше», «меньше») и операциями (сложение, умножение и др.; см. Арифметика, Математическая индукция) и различные системы аксиоматической теории множеств. Исследование таких логико-математических исчислений есть важнейшая задача обоснования логики и математики (см. Аксиоматический метод). (В то же время их теория с некоторой точки зрения, разделяемой, например, представителями конструктивного направления в математике и логике, более «элементарна», нежели теория «чисто» Л. и., поскольку понятия последних являются продуктом более высоких абстракций.)

  Кроме указанного выше, термин «Л. и.» допускает также несколько расширительных толкований. Так, помимо Л. и., основанных на «двузначной» логике (в которой допускаются лишь два «истинностных значения» высказываний: «истина» и «ложь»), значительное распространение получили различные системы многозначной логики. К Л. и. причисляются и всевозможные модификации типов теории, введённой Б. Расселом, т. е. исчисления с несколькими «сортами» (типами, уровнями, ступенями) переменных: индивиды, предикаты, предикаты от предикатов и т. д. Все упомянутые до сих пор Л. и. принято называть по имени Д. Гильберта «системами гильбертовского типа». Однако понятие «Л. и.» шире: под это наименование подпадают и различные модификации введённых немецким логиком Г. Генценом секвенций исчисленияи натурального исчисления. «Л. и.» называются также фрагменты логики, строящиеся не аксиоматически, а на основе содержательного («табличного») определения логических операций (см. также Алгебра логики).

  Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Карри Х. Б., Основания математической логики, пер. с англ., М., 1969; Шанин Н. А., О конструктивном понимании математических суждений, «Тр. Математического института АН СССР», 1958, т. 52.

  Ю. А. Гастев.

Логи'ческое сле'дствие, суждение (предложение, высказывание, формула), логически вытекающее (или, иначе, логически следующее) из посылок умозаключения (или из посылок вывода, состоящего из ряда умозаключений), т. е. выводимое из посылок на основе правил и законов логики.

Логи'ческое ударе'ние, средство смыслового выделения какой-либо значимой единицы высказывания. Накладываясь на обязательное словесное ударение, Л. у. обычно усиливает фонетические характеристики слова, подчёркивая информацию, новую или спорную для одного из собеседников. Например, во фразе «Твоя сестра пришла» Л. у. может выделить любое из трёх слов. Это достигается и средствами графики (выделяющие шрифты), лексики (слова «именно», «как раз» и т. п.), синтаксиса (порядок слов, выделительные обороты). Л. у. относится к средствам актуального членения предложения.

Логи'шин, посёлок городского типа в Пинском районе Брестской области БССР, в 28 км от железнодорожной станции Пинск (на линии Брест — Лунинец). Молочный, известковый заводы.

...Логия (от греч. lógos — слово, учение), часть сложных слов, означающая: учение, знание, наука, например геология, биология, социология.

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

Логогра'фы (греч., единственнок число logográphos, от lógos — слово, прозаическое произведение и grápho — пишу), 1) авторы первых сочинений древнегреческой исторической прозы. Первые Л. появились в Ионии в середине 6 в. до н. э. Различают два поколения Л.: старшее (6—1-я половина 5 вв. до н. э.; Кадм Милетский, Гекатей Милетский, Харон, Скилак и др.) и младшее (2-я половина 5 в. до н. э.; Ксанф, Ферекид, Гелланик и др.). Опираясь на мифы, предания, Л. пытались восстановить легендарную историю греческих полисов, «варварских» стран, генеалогию аристократических родов (это видно из дошедших фрагментов сочинений Гекатея, Харона, Ксанфа). Некоторые сочинения Л., основанные на личных впечатлениях от путешествий, содержат ценные этнографические и географические сведения (сочинения Гекатея, Скилака). Младшие Л. на основе городских хроник, списков должностных лиц и т. д. пытались установить хронологическую последовательность событий раннегреческой истории. Наиболее известна «Аттида» Гелланика — летопись событий из истории Афин и древних греческих полисов.

  Л. считали, что в основе эпической традиции лежат реальные события, и пытались выявить их, идя по пути наивно-рационалистического толкования мифов, устранения из них несообразностей, сверхъестественного элемента. От сочинений Л. сохранились лишь скудные фрагменты. Изд. отрывков трудов Л.: Müller С., Fragmenta historicorum Graecorum, v. 1—5, P., 1846—70; Jacoby F., Die Fragmente der griechis chen Historiker, v. 2—3 Leiden, 1961—64.

  Лит.: Pearson L., Early Jonian historians, Oxf., 1939.

  2) В Афинах (с конца 5 в. до н. э.) составители речей для выступления тяжущихся сторон в суде. Готовили речи, сообразуясь с индивидуальностью «заказчика». Самым знаменитым Л. был Лисий.

Лого'йск, посёлок городского типа, центр Логойского района Минской области БССР. Расположен на р. Гайна (правый приток р. Березина), в 31 км от ж.-д. станции Смолевичи (на линии Минск — Орша). Маслодельный, хлебный заводы.