Ловетт

Что такое Ловетт

Ловетт — описание в Энциклопедическом словаре

Ловетт — (Lovett) Уильям (1800-77) — один из лидеров чартизма вВеликобритании. Сторонник умеренной тактики. К кон. 40-х гг. отошел отдвижения.

Значение слова «Ловетт» по БСЭ

Ловетт (Lovett)
Уильям (8.5.1800, близ Пензанса, — 8.8.1877, Лондон), деятель чартистского движения в Великобритании, мелкобуржуазный радикал. Был столяром-краснодеревщиком, книготорговцем, учителем. В 20-х гг. участвовал в кооперативном движении, увлекался идеями Р. Оуэна. Один из организаторов Лондонской ассоциации рабочих (основана в 1836), секретарь чартистского национального конвента 1839. Был сторонником умеренной тактики
(«моральной силы»). После тюремного заключения (1839-40) Л. поддержал ряд попыток буржуазных радикалов подчинить чартистское движение буржуазному руководству. К концу 40-х гг. фактически отошёл от чартизма.

Лиссауэра зона

Что такое Лиссауэра зона

Определение слова Лиссауэра зона по словарю медицинских терминов

Лиссауэра зона (Н. Lissauer. син. Лиссауэра краевой пояс) — место вхождения в спинной мозг аксонов клеток спинальных ганглиев. в Л. з. аксоны делятся на короткую нисходящую и длинную восходящую ветви.

Лабазный

Что такое Лабазный

Определение слова Лабазный по Ефремовой

Лабазный — 1. Соотносящийся по знач. с сущ.: лабаз (1*), связанный с ним.
2. Свойственный лабазу (1*), характерный для него.
3. Принадлежащий лабазу (1*).


1. Соотносящийся по знач. с сущ.: лабаз (2*), связанный с ним.
2. Свойственный лабазу (2*), характерный для него.

Определение слова Лабазный по словарю Ушакова

ЛАБАЗНЫЙ
лабазная, лабазное. 1. Прил. к лабаз. Лабазная торговля. 2. перен. Низкий, невежественный (устар.). Лабазная брань.

Ловчий

Что такое Ловчий

Определение слова Ловчий по Ефремовой

Ловчий — Тот, кто приучен к ловле, употребляется для ловли (о птицах, собаках).


1. Придворный чин того, кто заведовал у бояр, помещиков разными видами ловли: охотой, рыбной ловлей (на Руси XVI-XVII вв.).
2. Лицо, имевшее такой чин.


1. Приученный к ловле, употребляемый для ловли (о птицах, собаках).
2. Служащий ловушкой.

Определение слова Ловчий по Ожегову

Ловчий — Должностное лицо, ведающее дворцовой охотой


Ловчий Предназначенный, приученный к ловле, охоте


Ловчий Старший слуга, ведающий охотой и рыбной ловлей


Ловчий Устроенный для ловли зверей Spec

Определение слова Ловчий по словарю Ушакова

ЛОВЧИЙ
ловчая, ловчее. 1. Приученный к ловле, употребляемый для ловли. Ловчие птицы (соколы, кречеты). Ловчие собаки (охотничьи собаки). 2. Служащий ловушкой (спец.). Ловчие рвы (канавы, препятствующие доступу вредных ползающих насекомых к плодовым деревьям, посевам и т. п.).


ЛОВЧИЙ
ловчего, м. (истор.). Лицо, заведовавшее (у бояр, помещиков) разными видами ловли (охотой, рыбной ловлей), преимущ. же псовой охотой. || В древней Русипридворный чин.

Определение слова Ловчий по словарю Брокгауза и Ефрона

Ловчий — придворный чин с древнейших времен. Уже Владимир Мономах упоминает в своем "Поучении" о ловчем, соколином и ястребином наряде. Княжеские охотники являлись не только спутниками князей на охоте, но и властью. Князья для лова имели разных Л.: охотников, псарей, бобровников (см.), сокольников, подлазчиков, рыболовов, подледчиков, неводчиков. Для производства ловли они могли всюду разъезжать, кормиться на счет местных жителей и даже требовать их участия в охоте. Под 1289 г. в летописи читаем, что владимирский князь Мстислав Данилович определил брать "ловчее" с берестьян за их измену, т. е. сбор в пользу Л. Проф. Сергеевич ("Русс. Юрид. Древности", т. II) на основании этого места заключает, что в XIII в. только немногие места считались привилегированными, свободными от сбора "Л.", что эта привилегия отменялась за крамолу и что "ловчее" было неодинаково. Он приводит также некоторые акты XV-XVI вв., свидетельствующие о существовании пошлин в пользу Л. — вероятно, вместо натуральной повинности участия в охоте. Л. и сокольничие как заведующие звериными промыслами упоминаются в боярских книгах первые с 1509 г., а вторые с 1550 г., хотя уже в 1503 г. сокольничий М. С. Еропкин-Кляпик принимал участие в московском посольстве в Литву. Со времени появления сокольничего эта должность нередко соединялась в одном лице с должностью Л. В сокольничьи и Л. назначались люди неименитые, но некоторые из них, начав службу с Л., возвышались до думных дворян, окольничих и даже бояр. Таковы, напр., Нагие и Пушкины, достигшие боярства. Должность Л. соединялась и с некоторыми из ближайших высших и низших. Л. путьстаринный термин, означающий ведомство придворной охоты. См. гр. Толстой, "История финансовых учреждений в России" (СПб., 1848). В. Р—в. Ловчийстарший начальник и смотритель в псовой охоте, во всем ее составе и во всех отношениях, не исключая хозяйственного.

Значение слова «Ловчий» по БСЭ

Ловчий — 1) придворная должность, с 16 в. — чин в русском феодальном обществе, с 18 в. — егермейстер. Л. занимался организацией охоты. Различались Л.: охотники, сокольничьи, псари, бобровники, подледчики и др. Впервые упоминаются в «Поучении»
Владимира Мономаха (12 в.). 2) Слуги русских бояр и помещиков, занимавшиеся организацией их охоты.

Лихуды

Что такое Лихуды

Лихуды — описание в Энциклопедическом словаре

Лихуды — Иоанникий (1633-1717) и Софроний (1652-1730) — деятели русскогоПросвещения, братья, греки, учились в Италии. С 1685 в России,преподаватели Славяно-греко-латинской академии и других школ. Учебники,словарь, проповеди. Переводчики военных и исторических сочинений.

Определение слова Лихуды по словарю Брокгауза и Ефрона

Лихуды (братья. Иоанникий, умер в 1717 г., Софроний, умер в 1730 г.) — греки, родом из Кефалонии, потомки византийского княжеского рода царской крови. Получив образование в Греции, потом в Венеции и падуанском университете, они несколько лет состояли в Греции учителями и проповедниками. Когда русское правительство задумало завести в Москве высшую школу с именем академии, царь Феодор (1682) просил восточных патриархов о присылке в Москву православных и искусных учителей. Патриархи указали на Л., которые и прибыли в Россию в 1685 г. В следующем 1686 г. они открыли ученье в существовавших уже "заиконоспасских школах" (т. е. помещавшихся в Заиконоспасском монастыре) и в продолжение восьми лет преподавали грамматику, пиитику, риторику, логику, математику и физику, встречая большие препятствия со стороны бывших в то время в Москве ученых западноруссов. В 1688 г. Иоанникий Л. в звании русского посла отправился в Венецию, где пробыл около четырех лет. В 1694 г. по требованию иерусалимского патриарха Досифея, недовольного тем, что братья Л. вели преподавание в академии не только на греческом, но и на латинском яз., оба брата были устранены от преподавания в академии и определены для занятий к московской типографии. В 1697 г. указом Петра I им поручено было обучать 55 чел. итальянскому языку (из 55 учились лишь 10, остальные отговорились). Их продолжали обвинять то в ересях, то в каких-то политических интригах в Царьграде. в 1701 г. они были сосланы в костромской Ипатьевский монастырь. В 1706 г. новгородскому митрополиту Иову позволено было поручить им устройство в Новгороде славяно-греко-латинской школы по образцу московской. Из Новгорода они снова вызваны были в Москву, сперва Софроний — в 1709 г., потом Иоанникий — в 1716 г., для занятий в академии и для участия в исправлении Библии. После смерти Иоанникия Софроний около 1720 г. был назначен настоятелем Солотчинского монастыря в рязанской епархии. Монахи не любили настоятеля-гречина, получившего эту должность не по их выбору, а по назначению начальства, отказывались подчиняться его распоряжениям, несколько раз держали его под арестом в его келье, покушались даже на его жизнь. он бежал в Москву, где его жалобы не имели успеха вследствие подкупа судей монастырскими стряпчими, ненавидевшими Софрония за то, что он препятствовал расхищению ими монастырских имуществ. Труды Л. на пользу русского образования доселе еще не оценены в подробностях, так как еще не рассмотрены все составленные ими учебники (по грамматике, риторике, логике, физике, математике, психологии, богословию), по которым происходило преподавание в Заиконоспасской академии (они находятся в рукописях в разных библиотеках). Можно предположить, что для этих сочинений Л. более или менее воспользовались теми курсами, которые сами слушали в Падуе. из того, что доселе известно из курсов Л. (см. "Историю московской славяно-греко-латинской академии" С. Смирнова и статью г. Смеловского "Л. и направление теории словесности в их школе" в "Ж. М. Н. Пр.", ч. XLV) видно, что они не рабски следовали Аристотелю и лишь в умеренной степени вносили в свои курсы западный схоластический характер. Есть у них и собственные мысли, напр. в "риторике" деление красноречия на божественное, героическое и человеческое. Во всяком случае уровень научности в курсах Л. выше, чем в подобных сочинениях ученых киевской акд. их времени. у них меньше пристрастия к учениям дохристианских ученых и к схоластике, а в риторике, вопреки обычаю западному, они прямо держатся взглядов Августина. Их можно назвать родоначальниками общего образования в Великороссии. Из их учеников образовалось целое поколение первых собственно русских ученых, каковы Поликарпов, Феолог, Головин, Козма, Иов, Палладий Роговский и другие, отчасти бывшие профессорами академии и ее начальниками, отчасти трудившиеся по исправлению Библии и издавшие ряд ученых сочинений. — Когда Л. прибыли в Москву, там всех волновал вопрос о времени пресуществления св. даров на литургии. Представитель "латинского учения" Сильвестр Медведев, видевший в Л. соперников по ученому авторитету, огласил их еретиками и издал против них сочинение "Манна". Л. написали в ответ "Акос или врачевание от угрызений змиевых" (перевед. на русский язык их учениками, Поликарповым и Семеновым). Сильвестр издал второе сочинение против них — "Тетрадь на Лихудов". Л. отвечали книгой: "Диалоги грека учителя к некоему Иисуиту". Хотя полемика по спорному вопросу продолжалась и после, но названными двумя сочинениями Л. этот вопрос был бесповоротно решен в пользу православного греческого мнения. Вслед за тем против католичества написаны ими еще два сочинения: "Показание истины" (1689) и "Мечец духовный или разговор с иезуитом Руткою в Польской земле", а также сочинения против лютеран: "Иоанникия и Софрония обличение ересям Лютера и Кальвина", и против раскольников: "Коллурий от лютой страсти очеболения Капитоновского" и "Письмо к императору Петру I о ересях Кальвина и Лютера" (напечатано в журнале "Странник", 1861 г.). Кроме того известны еще "Философские ответы Софрония" и полный список библии с исправлениями, сделанными Софронием. Наконец, заслуживают упоминания и проповеднические сочинения Л.: Иоанникия — Речь патриарху, 1691 г.. Надгробное слово царице Наталье Кириловне 1694 г.. Похвальное слово царю Иоанну, 1696 г.. Похвальное слово царю Петру I по взятии Азова, 1697 г.. Похвальное слово ему же по возвращении из Голландии, 1698 г.. Поучение на 5-ю неделю великого поста, 1701 г. Софрония: Слово на день рождения Петра I. Слово о Софии, премудрости Божией, 1708. Похвальное слово св. Варлааму Хутынскому. Житие Варлаама. Триумф о мире с Швецией 1721 г.. "Слово похвалительное о преславном венчании имп. Екатерины Алексеевны" ("Русский Архив" 1863 г.). "Слово о предопределении", изд. Д. В. Цветаевым в "Памятниках протестантства в России" и в "Чтен. Моск. Общ. Истории" за 1883 и 1884 г. Преосв. Филарет, кажется, несправедливо набрасывает тень на нравственный характер Л., обвиняя их в корыстолюбии. Из дела по жалобе Софрония на солотчинских монахов, недавно найденного (см. "Описание дел Синодального Архива", т. VIII, 1891 г.), видно, что во время вторичного его заведования "греческою школою" в Москве он за эту службу не получал никакого жалованья, довольствуясь тем вознаграждением, какое получал за труды по исправлению Библии, всего в количестве 50 р. в год, тогда как его ученики в то же время получали вчетверо и впятеро более. Из соч. Л. в полном составе напечатан один "Мечец духовный" (в "Православном Собеседнике", 1866-1867 г.). См. Филарета черниговского, "Обзор русск. духовной литературы" (№ 238). "Чтения Моск. Общ. Ист. и Древн." (1879. описание сборника Ипатьевского монастыря, в котором, между прочим, и новые сведения о Л.). "Рязанские Губ. Ведомости" (1853). материалы для биографии Л., извлеч. из моск. архива м-ва юстиции Николаевым (М. 1881). "Братья Л." И. Я. Образцова, в "Ж. М. Н. Пр." (1867). Л. Н. Майков, о соч. Л., находящихся в синодал. библ. и Pумянцевском музее (в "Летописи Занятий Археографич. Комиссии", т. VII). письма Л. (1706-1713) — в "Материалах для истории училищ в России" И. К. Куприанова ("Журнал для воспитания" Чумикова, 1857). о побеге с Москвы Л. в 1702 г. (в "Чтениях Моск. Общ. Ист. и Др." 1867 г.). О последних годах жизни Софрония в Солотчинском монастыре, по данным синодального архива, см. статью проф. Н. И. Барсова: "Черты русской истории, быта и нравов начала XVII столетия", в "Историческом Вестнике" 1892 г. Н. Б-в.

Лисфранка бугорок

Что такое Лисфранка бугорок

Определение слова Лисфранка бугорок по словарю медицинских терминов

Лисфранка бугорок (J. Lis franc) — см. Бугорок передней лестничной мышцы.

Логика Изменения

Что такое Логика Изменения

Определение слова Логика Изменения по Логическому словарю

Логика Изменения —  — раздел современной логики, занима­ющийся исследованием логических связей высказываний об из­менении и становлении материальных или идеальных объектов. Л.и. относится к логике неклассической. ее задачапостроение искусственных (формализованных) языков, способных сделать бо­лее ясными и точными рассуждения об изменении объекта — пе­реходе его от одного состояния к другому, о становлении объекта, его формировании. В Л. и. ничего не говорится о конкретных харак­теристиках изменения и становления. Она только предоставляет совершенный с точки зрения синтаксиса и семантики язык, по­зволяющий дать строгие утверждения об изменении объекта, вскрыть основания и следствия этих утверждений, выявить их воз­можные и невозможные комбинации. Использование искусствен­ного языка при обсуждении проблем изменения объекта не есть подмена этих онтологических проблем логическими, сведение эм­пирических свойств и зависимостей к логическим. Разработка Л. и. идет по двум направлениям: построение специ­альных Л. и. и истолкование определенных систем логики времени как логических описаний изменений. При первом подходе обычно дается «одномоментная» характеристика изменяющегося объекта, при втором изменение рассматривается как отношение между дву­мя последовательными состояниями объекта. К первому направлению относится, в частности, логика на­правленности. Язык логики направленности богаче, чем язык логики классической. он включает не только термины «существует» и «не существует», но также термины «возникает», «исчезает», «уже есть», «еще есть», «уже нет», «еще нет» и т. п. С помощью этих терминов формулируются законы логики направленности: >> существовать — это то же, что начинать исчезать, и то же, что переставать возникать. >> не существовать — то же, что начинать возникать, и то же, что прекращать исчезать. >> становлениепрекращение несуществования, а исчезнове­ние — возникновение несуществования. >> уже существует — значит существует или возникает и т. п. Логика направленности допускает четыре типа существования объектов: бытие, небытие, возникновение (становление) и ис­чезновение. Относительно всякого объекта верно, что он или су­ществует, или не существует, или возникает, или исчезает. Вместе с тем объект не может одновременно существовать и не существо­вать, существовать и возникать, не существовать и исчезать, возни­кать и исчезать и т. п. Иными словами, четыре типа существования исчерпывают все возможные способы существования и являются взаимно несовместимыми. Логика направленности позволяет вы­разить в логически непротиворечивой форме гегелевское утвер­ждение о противоречивости всякого движения и изменения. Ут­верждение «Предмет движется в данный момент в данном месте» эквивалентно утверждению «В рассматриваемый момент предмет находится и не находится в данном месте». Примером второго подхода может служить логика време­ни финского философа и логика Г. X. фон Вригта (р. 1916). Ее исходное выражение «A и в следующей ситуации В» может интер­претироваться как «Состояние А изменяется в состояние В» («А-мир переходит в B-мир»), что дает Л. и. В логике времени доказуе­мы такие теоремы: >> всякое состояние либо сохраняется, либо возникает, либо ис­чезает. >> при изменении состояние не может одновременно сохра­няться и исчезать, сохраняться и возникать, возникать и исчезать. >> изменение не может начинаться с логически противоречи­вых состояний и не может вести к таким состояниям и т. п. Примеры утверждений, доказуемых в различных системах Л. и., показывают, что она не является самостоятельной теорией из­менения и не может претендовать на то, чтобы быть таковой. Фор­мально-логический анализ изменения объекта преследует узкую цельотыскание средств, позволяющих отчетливо зафиксиро-   вать логические связи утверждений об изменении того или иного объекта. Вместе с тем Л. и. имеет важное философское значение, по­скольку тема изменения (становления) еще с античности стоит в центре острых философских дискуссий. Л. и. позволяет, кроме про­чего, прояснить отношение формальной логики к концепции внут­ренне противоречивой сущности становления.

Лифсона среды

Что такое Лифсона среды

Определение слова Лифсона среды по словарю медицинских терминов

Лифсона среды (Е. Leifson, род. в 1902 г., амер. бактериолог) — плотные селективные питательные среды для бактерий кишечной группы, содержащие дезоксихолевокислый натрий и соли уксусной или лимонной кислоты.

Логика Предикатов

Что такое Логика Предикатов

Логика Предикатов — описание в Энциклопедическом словаре

Логика Предикатов — раздел логических теорий, в котором изучаютсяобщезначимые связи между высказываниями о свойствах и отношенияхпредметов. в основе логики предикатов лежит формализованный язык,отображающий субъективно-предикатную структуру высказываний. См. такжеИсчисление предикатов.

Определение слова Логика Предикатов по Логическому словарю

Логика Предикатов — или: Функциональная логика, теория квантификации, кванторная логика,  — основ­ной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Л. п. является расши­ренным вариантом логики высказываний. В Л. п. — в дополнение к средствам логики высказываний -вводятся логические операторы" («для всех») и $ («для некото­рых» или «существует»), называемые кванторами общности и существования соответственно. Для выявления субъектно-пре­дикатной структуры высказываний вводится бесконечный пере-   чень индивидных переменных: х, у, z, …, х1, у1, zl, …, представляющих различные объекты, и бесконечный перечень предикатных переменных: Р, Q, R, …, Р1, Q1, Л1, …, представляющих свойства и отношения объектов. Индивидные переменные принимают значения в произвольной (непустой) области. наряду с этими переменными могут вводиться инди­видные константы, или имена собственные. Запись ("х)Р (х) означает «Всякий х обладает свойством Р». ($х)Р(х) — «Некоторые х обладают свойством Р». ($x)Q(xy) — «Су­ществует х, находящийся в отношении Q с у» и т. п. Индивидная переменная, входящая в область действия квантора по этой пере­менной, называется связанной. переменная, не являющаяся связанной, называется свободной. Так, во всех трех приведен­ных формулах переменная х связана, в последней формуле пере­менная у свободна. Подлинной переменной является только сво­бодная переменная: вместо нее можно подставить одно из ее значений и получить осмысленное выражение. Связанные пере­менные называются фиктивными. Формула Л. п. называется общезначимой, если она истинна в каждой интерпретации. Тавтология логики высказываний явля­ется частным случаем общезначимой формулы. В Л. п., в отличие от логики высказываний, нет эффективного процесса, позволя­ющего для произвольно взятой формулы решить, является она общезначимой или нет. Для Л. п. доказан ряд важных теорем, характеризующих ее ос­новные свойства (см.: Непротиворечивость, Полнота, Разрешимость теории).

Определение «Логика Предикатов» по БСЭ

Логика предикатов — раздел математической логики, изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате формализации Л. п. принимает вид различных исчислений. Простейшими логическими исчислениями являются исчисления высказываний. В более сложных исчислениях предикатов описываются логические законы, связывающие объекты исследования с отношениями между этими объектами.
В классическом исчислении предикатов употребляются следующие знаки: 1) т. н. предметные переменные — буквы х, у, z,…, которые содержательно рассматриваются как неопределённые имена объектов исследования теории. 2) предикатные переменные — знаковые комплексы вида Pm, Qn, Rl,… (m, n, l — натуральные числа), причём, например, Qn означает произвольное n-местное отношение между объектами. 3) знаки для логических связок: конъюнкции &, дизъюнкции V, импликации
, отрицания ¬, означающие соответственно «… и…», «… или…», «если…, то…», «неверно, что…». 4) знаки для Кванторов
(квантор всеобщности),
(квантор существования), означающие соответственно
«для всех…» и «существует… такое, что…». 5) запятая, скобки (для уточнения строения формул).
Если Qn есть n-местная предикатная переменная, a x1,…, xn — предметные переменные, то выражение Qn (x1,…, xn) есть, по определению, атомарная (элементарная) формула. Индекс n у предикатной переменной в атомарной формуле обычно опускается. Содержательно Q (x1,…, xn) означает высказывание, гласящее, что объекты x1,…, xn связаны отношением Q.
Формулами считаются атомарные формулы, а также выражения, получаемые из них посредством следующих операций образования новых формул из уже полученных:
1) если &phi. и &psi. — формулы, то (&phi. & &psi.), (&phi. V &psi.), (&phi. &psi.) и ¬ &phi. — также формулы.
2) если &phi. — формула и х — предметная переменная, то x&phi., x&phi. — формулы. Определением формулы заканчивается описание языка исчисления предикатов.
Вхождение предметной переменной х в формулу &phi. называется связанным, если х входит в часть &phi. вида x&psi. или x&psi. или стоит непосредственно после знака квантора. Несвязанные вхождения переменной в формулу называются свободными.
Если найдётся хоть одно свободное вхождение x в &phi., то говорят, что переменная x входит свободно в &phi. или является параметром &phi.. Интуитивно говоря, формула &phi. с параметрами выражает некоторое условие, которое превращается в конкретное высказывание, если (конкретизировав предварительно область объектов) приписать определённые значения входящим в формулу параметрам и предикатным буквам. Связанные же переменные не имеют самостоятельного значения и служат (вместе с соответствующими кванторами) для обозначения общих утверждений или утверждений существования.
Если &phi. — формула, а x и y — предметные переменные, то через &phi.(x|y) будет обозначаться результат замещения всех свободных вхождений x в &phi. на y (а если при этом y оказалось на месте x в части формулы вида y&psi. или y&psi., то следует дополнительно заменить все связанные вхождения y в эту часть на переменную, не входящую в &phi.. это делается для того, чтобы не допустить искажения смысла &phi. при замене x на y).
Пусть &phi., &psi., &eta. — произвольные формулы, а x и y — предметные переменные. Тогда формулы следующих видов принимаются в качестве аксиом классического исчисления предикатов:
1. (&phi.(&psi.&eta.)),
2. ((&phi.(&psi.&eta.))((&phi.&psi.)(&phi.&eta.))),
3. ((&phi.&&psi.)&phi.),
4. ((&phi.&&psi.)&psi.),
5. (&phi.(&psi.(&phi.&&psi.))),
6. ((&phi.&eta.)((&psi.&eta.)((&phi. V &psi.)&eta.))),
7. (&phi.(&phi. V &psi.)),
8. (&psi.(&phi. V &psi.)),
9. (¬&phi.)(&phi.&psi.)),
10. ((&phi.&psi.)((&phi.¬&psi.)¬&phi.))
11. (&phi. V ¬&phi.),
12. (x&phi.&phi.(x/y)),
13. (&phi.(x/y) x&phi.).
В исчислении предикатов употребляются след. три правила вывода. 1) Правило вывода заключений: из формул &phi. и (&phi.&psi.) выводится формула &psi.. Два кванторных правила вывода: 2) из формулы (&phi.&psi.), где
&psi. не содержит свободно x, можно вывести (&phi.x&psi.). 3) из формулы (&phi.&psi.), где &psi. не содержит свободно x, можно вывести (x&phi.&psi.).
В отличие от других формулировок исчисления (см., например, Логика, раздел Предмет и метод современной логики), здесь &phi., &psi. и &eta. не принадлежат языку рассматриваемого исчисления, а обозначают его произвольные формулы. поэтому каждая из записей 1-13 есть аксиомная схема,
«порождающая» при подстановке вместо греческой буквы некоторую конкретную аксиому. специальных правил подстановки при этой формулировке не надо.
Интуиционистское исчисление предикатов отличается от классического лишь тем, что закон исключенного третьего (аксиома 11) исключается из числа аксиом. Различие двух исчислений отражает различие в их истолкованиях. Истолкование логических связок &, &or.,
, ¬ в исчислениях предикатов таково же, как и в соответствующих исчислениях высказываний. Что касается истолкования кванторов, то в классическом исчислении предикатов кванторы трактуются с точки зрения актуальной бесконечности. Точнее, каждая формула получает значение
«истина» или «ложь», если определить модель исчисления предикатов, т. е. определить множество объектов, приписать каждой предикатной букве формулы некоторое отношение на этом множестве и приписать всем параметрам формулы некоторые объекты в качестве значений. Формула называется классически общезначимой, если она в любой модели принимает значение «истина».
Как показал К. Гёдель, в классическом исчислении предикатов выводимы все классически общезначимые формулы, и только они. Эта теорема Гёделя и представляет собой точное выражение идеи формализации логики: в классическом исчислении предикатов выводятся все логические законы, общие для всех моделей.
В интуиционистском же истолковании утверждение, что некоторая формула истинна, требует проведения некоторого математического построения. Например, xy&phi. истинно с интуиционистской точки зрения, только если имеется общий метод, позволяющий находить для каждого x соответствующее y.
Истинность x (&phi. V ¬&phi.) предполагает наличие метода для определения истинного члена дизъюнкции (&phi. V ¬&phi.) для каждого значения параметра x. Например, классически общезначимые формулы, выражающие закон исключенного третьего
(&phi. V ¬&phi.) или закон пронесения отрицания через всеобщность (¬x&phi.x¬&phi.), интуиционистски необщезначимы (теория моделей развивается, однако, и для интуиционистского исчисления предикатов).
Л. п. является обычным базисом для построения логических исчислений, предназначенных для описания тех или иных дисциплин (прикладных исчислений). С этой целью язык исчисления предикатов «конкретизируется»: к нему добавляют предикатные символы и знаки операций, выражающие специфические отношения и операции рассматриваемой дисциплины. Например, если мы стремимся описать истинные суждения арифметики натуральных чисел, то можно добавить операции сложения, умножения, отношение делимости и т.п. Затем, кроме аксиом и правил вывода исчисления прецикатов (логических постулатов), в исчисление вводятся аксиомы, выражающие специфические законы изучаемого предмета (прикладные, специфические аксиомы). Таким образом строится, например, Формальная арифметика.
Помимо классического и интуиционистского исчислений предикатов, имеются и др. логические системы, описывающие логические законы, выразимые иными логическими средствами или с иных методологических позиций. Сюда относятся исчисления модальной логики, вероятностной логики, индуктивной логики и др.
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957.
А. Г. Драгалин.

Ловрика

Что такое Ловрика

Определение слова Ловрика по словарю медицинских терминов

Ловрика — Вольнера реакция (A. A. Lovrick, совр. англ. иммунолог) — модификация реакции ПауляБуннеля при инфекционном мононуклеозе, отличающаяся тем, что эритроциты барана, используемые в реакции, предварительно обрабатывают ферментом папаином.

Логическое Исчисление

Что такое Логическое Исчисление

Логическое Исчисление — описание в Энциклопедическом словаре

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

Определение «Логическое Исчисление» по БСЭ

Логическое исчислениеИсчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики. Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и., используемых для указанной цели, служат исчисление высказываний и исчисление предикатов, различные их ослабления (см. Интуиционистская логика, Положительная логика, Минимальная логика), а также расширения, полученные добавлением к ним модальных операторов (возможности, необходимости, см. Модальная логика) или предиката равенства. При построении на основе Л. и. какой-либо теории к
«чистому» Л. и. присоединяют различные предметные, предикатные и (или) функциональные константы и постулаты (аксиомы и, быть может, правила вывода), характеризующие эти константы. Простейшим и наиболее важным примером получающегося в результате
«прикладного» Л. и. служит уже упомянутое исчисление предикатов с равенством (квалифицируемое как Л. и. в зависимости от того, относят ли равенство к «чисто логическим» или «математическим» предикатам), являющееся составной частью всех более развитых и богатых аксиоматических математических теорий. Из числа последних особенно важную роль играют логико-арифметические исчисления, интерпретацией которых служит натуральный ряд чисел с определёнными на нём отношениями (равенство, «больше», «меньше»)
и операциями (сложение, умножение и др.. см. Арифметика, Математическая индукция) и различные системы аксиоматической теории множеств. Исследование таких логико-математических исчислений есть важнейшая задача обоснования логики и математики (см. Аксиоматический метод). (В то же время их теория с некоторой точки зрения, разделяемой, например, представителями конструктивного направления в математике и логике, более «элементарна», нежели теория «чисто» Л. и., поскольку понятия последних являются продуктом более высоких абстракций.)
Кроме указанного выше, термин «Л. и.» допускает также несколько расширительных толкований. Так, помимо Л. и., основанных на «двузначной» логике (в которой допускаются лишь два «истинностных значения» высказываний: «истина» и «ложь»),
значительное распространение получили различные системы многозначной логики. К Л. и. причисляются и всевозможные модификации типов теории, введённой Б. Расселом, т. е. исчисления с несколькими
«сортами» (типами, уровнями, ступенями) переменных: индивиды, предикаты, предикаты от предикатов и т. д. Все упомянутые до сих пор Л. и. принято называть по имени Д. Гильберта «системами гильбертовского типа». Однако понятие
«Л. и.» шире: под это наименование подпадают и различные модификации введённых немецким логиком Г. Генценом секвенций исчисления и натурального исчисления. «Л. и.»
называются также фрагменты логики, строящиеся не аксиоматически, а на основе содержательного («табличного») определения логических операций (см. также Алгебра логики).
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957. Карри Х. Б., Основания математической логики, пер. с англ., М., 1969. Шанин Н. А., О конструктивном понимании математических суждений, «Тр. Математического института АН СССР»,
1958, т. 52.
Ю. А. Гастев.

Лоренца аппарат

Что такое Лоренца аппарат

Определение слова Лоренца аппарат по словарю медицинских терминов

Лоренца аппарат (A. Lorenz, 1854-1946, австрийский хирург-ортопед) — ортопедический аппарат, предназначенный для редрессации контрактур тазобедренного сустава путем винтового вытяжения под точно устанавливаемым углом. прикрепляется к столу, на который укладывается больной.

Логографы

Что такое Логографы

Логографы — описание в Энциклопедическом словаре

Логографы — (от греч. logos — словосочинение и …граф), 1) первыепредставители исторической прозы в древнегреческой литературе (6-5 вв. дон. э.). записывали устные предания о мифических и исторических событиях,описывали чужие земли и быт народов. 2) Составители судебных речей вАфинах (с кон. 5 в. до н. э.) от имени клиентов применительно к иххарактеру, образованности и т. п. — для личных выступлений сторон на суде.Виднейшим из логографов был Лисий.

Определение слова Логографы по словарю Брокгауза и Ефрона

ЛогографыПервые греческие историки до Геродота названы у Фукидида (I, 21,1) логографами и поныне так называются историками литературы. Родиной Л. была Иония и островаместо расцвета ранней поэзии и науки. По духу повествования Л. примыкают к Гомеру и эпикам, на что указывает и характер их языка. Обычными темами их сочинений были так назыв. "основания городов" (κτίσεις), генеалогии, описания обычаев отдельных народов и географических достопримечательностей. Сочинения Л. были общедоступны. В большинстве случаев они писали, желая увековечить славу какого-нибудь рода или прославить родной город, иногда же просто для того, чтобы поделиться с публикой интересными рассказами или фактами. Большую роль в их исторических и географических рассказах играл сказочный элемент, который они умели еще отделять от исторического. Рассказы Л. имели преимущественно местный, а не общий характер. Л. черпали из обильного источника народной саги, выбирая сюжеты, не затронутые еще поэтами, и излагали то, что слышали вокруг себя: отсюда простота повествования. Язык Л. был тот же, что и у ионических писателей, — ионический разговорный диалект. Особенно обилен сочинениями Л. (до 30-ти имен) V в., но они все погибли, кроме незначительных отрывков. Древнейшим из Л. был Кадм милетский (жил в середине VI в.), которого некоторые считали первым по времени прозаиком. Ему приписывали хронику под заглав.: "Κτίσις Μιλήτον κα&#943. τήςδλης Ίωνίας", в 4 книгах. Более известен Акузилай, уроженец беотийского Аргоса, живший во 2-й половине VI в. С его именем известно произведение "Γενεαλογιά&#953.". Рассказ начинался с хаоса. затем говорилось о богах, о появлении первого человека — Форонея, о распространении человческих родов. Из современников персидских войн известны Скилак, автор путешествия по Индии (περίπλους), и особенно Гекатей милетский (см. в прилож.), записки которого имеют уже научный характер и служат переходом к позднейшей истории или, вернее, истор. географии. После Гекатея упоминаются: Харон лампсакский (Περσικ&#940., Έλληνικ&#940., Κτίσεις, Ώρο&#953. Λαμψακηνών), Евгеон самосский (Ώρο&#953. Σαμιακο&#943.), Дионисий милетский (Περσικ&#940.), Деиох, Евдем паросский, Демокл, Амелесагор, Феаген. Из младших Л., писавших незадолго до пелопоннесской войны, известны: Ксанф лидийский (Λυδιακ&#940., в 4 кн.), Ферекид афинский или леросский (не смешивать с философом и теологом — Ферекидом сиросским), автор соч. Ίστορί&#945., или Γενεαλογία&#953., или Αύτόχθονες (эти 3 заглавия смешиваются) в 10 кн. Особенной известностью пользовался Гелланик (см. прилож.). Антиох сиракузский, сообщивший Фукидиду много данных о сицилийских древностях, написал "Σικελίώτις συγγραφ&#942." в 9 кн. (до 424 г.) и соч. об Италии. Из остальных Л. более известны: Стезимброт фазосский, Гиппис (Κτίαις, Ίταλίας, Χρονικ&#940., Σικελικ&#940.), Главк (Περ&#953. τών άρχαίων ποιητών κα&#953. μουσικών), Дамаст (писавший о предках троянских героев, о народах и городах, о поэтах и философах), Геродор (писавший о Геракле и Аргонавтах). Позднее критические и научные произведения аттических и александрийских писателей вытеснили литературу Л., отчего мы так мало и знаем о ней. Ср. С. M &uuml. ller, "Fragmenta historicorum graecorum" (П., 1841-70). Sch &auml.fer, "Abriss d. Quellenkunde der griechischen und r&ouml. mischen Geschichte" (Лпц., 1882). Creuzer, "Die historische Kunst der Griechen" (Лпц., 1845). Ulrici, "Charakteristik der griechischen Historiographie" (Б., 1833). Lipsius, "Quaestiones logographicae" (Лпц., 1886). Neumann, "De Charone Lampsaceno" (Бреславль, 1880). Preller, "De Hellanico Lesbio historico" (1840). A. Croiset, "Histoire de la litt &eacute.rature grecque" (1890). W. Christ, "Geschichte der Griechischen Litteratur" (1890). H. О.

Значение слова «Логографы» по БСЭ

Логографы (греч., ед. ч. 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 в. до н. э.) составители речей для выступления тяжущихся сторон в суде. Готовили речи, сообразуясь с индивидуальностью «заказчика». Самым знаменитым Л. был Лисий.

Лорина-Эпштейна симптомы

Что такое Лорина-Эпштейна симптомы

Определение слова Лорина-Эпштейна симптомы по словарю медицинских терминов

Лорина-Эпштейна симптомы (М. Ю. Лорин-Эпштейн) — ранние признаки столбняка: 1) сокращение жевательных мышц, вызываемое поколачиванием по нижней челюсти при полуоткрытом рте. 2) появление болезненной ригидности мышц конечности при ее энергичном массаже.

Лакатос

Что такое Лакатос

Лакатос — описание в Энциклопедическом словаре

Лакатос — (Lakatos) Имре (1922-74) — английский математик, логик и философнауки. Родился в Венгрии. С 1958 в Великобритании. Исследовал процессразвития науки, разработал методологию научно-исследовательских программ.Критиковал неопозитивистскую концепцию науки.

Лоуэра бугорок [TUBERCULUM INTERVENOSUM

Что такое Лоуэра бугорок [TUBERCULUM INTERVENOSUM

Определение слова Лоуэра бугорок [TUBERCULUM INTERVENOSUM по словарю медицинских терминов

Лоуэра бугорок [tuberculum intervenosum (Loweri), BNA. R. Lower, 1631-1691, англ. вра ] — см. Межвенозный бугорок.

Лодомерия

Что такое Лодомерия

Лодомерия — описание в Энциклопедическом словаре

Лодомерия — название Галицко-Волынского княжества в официальных документах13-14 вв. на латинском языке. От названия стольного г. Владимира. В кон.18 — нач. 20 вв. в названии австрийской провинции Королевство Галиции иЛодомерии.

Лысенкова операция

Что такое Лысенкова операция

Определение слова Лысенкова операция по словарю медицинских терминов

Лысенкова операция (Н. К. Лысенков, 1865-1941, сов. анатом и хирург) — хирургическая операция при передних мозговых грыжах, заключающаяся в экстракраниальной резекции грыжевого мешка с последующей пластикой наружного отверстия костного канала трансплантатом из участка надглазничного края лобной кости.

Ложе Океана

Что такое Ложе Океана

Ложе Океана — описание в Энциклопедическом словаре

Ложе Океана — один из главных элементов рельефа и геологической структурыЗемли. Плошадь св. 185 млн. км2. Охватывает глубоководную часть днаМирового ок. в пределах земной коры океанического типа. Средняя глубинаок. 4 тыс. м, максимальная до 7 т. м. Важнейшие элементы рельефа ложаокеана — океанические котловины и разделяющие их подводные хребты,возвышенности и плато.

Определение «Ложе Океана» по БСЭ

Ложе океана — один из главных элементов рельефа и геологической структуры дна Мирового океана. Охватывает его абиссальную часть (см. Абиссаль) за вычетом срединноокеанических хребтов. Характеризуется развитием типичной океанической земной коры. Занимает наинизший гипсометрический уровень земной поверхности (средняя глубина 4 тыс.м, максимальная — до 7 тыс.м). Площадь свыше 185 млн.км2 (более 50% общей площади дна Мирового океана).
Крупнейшие элементы рельефа Л. о. и его тектонической структуры — океанические котловины и разделяющие их океанические поднятия различных типов. Котловины занимают большую площадь Л. о. и имеют средние глубины около 5 тыс.м. До 80% площади дна котловин занимает холмисто-абиссальный тип рельефа (относительные колебания глубин порядка 500-1000 м), остальная часть представляет собой плоские и наклонные Абиссальные равнины. Полагают, что холмисто-абиссальный рельеф — первичный тектонический и вулканогенный рельеф поверхности земной коры, плащеобразно перекрытый маломощными (до 1 км) осадками. Плоские абиссальные равнины занимают менее 10% поверхности Л. о. и расположены обычно на окраинах котловин, лежащих ближе к материку. Они образуются в результате полного погребения первичного холмистого рельефа благодаря усиленному притоку с материков осадочного материала. Наклонные равнины располагаются и у края котловин и постепенно переходят в равнины материкового подножия. Это также аккумулятивные образования, возникающие вследствие интенсивного поступления осадков с шельфа и материкового склона. Разновидность таких равнин в Тихом океане —
«шлейфы архипелагов», окаймляющие крупнейшие подводные вулканические цепи и сложенные вулканогенными продуктами. Среди плоских абиссальных равнин и абиссальных холмов в изобилии возвышаются отдельные подводные горы (судя по их морфологии — вулканы). Некоторые из них (Гайоты) имеют уплощённые вершины, свидетельствующие о том, что последние когда-то располагались у поверхности океана и в последующем испытали опускание. Вершины многих подводных гор в тропических водах увенчаны коралловыми постройками (см. Атолл).
Горный рельеф Л. о. представляет собой глыбовые или сводовые поднятия линейных и изометрических очертаний, нередко это хребты, осложнённые по гребню цепями вулканов. Поднятия изометрических очертаний называются также океаническими плато. Некоторые океанические плато имеют более выровненный рельеф, чем дно котловин. Это связано с большей скоростью накопления осадков на океаническом плато. Разновидностью поднятий Л. о. являются также краевые валы — возвышенности, вытянутые вдоль глубоководных желобов с их океанической стороны.
Важная роль в строении рельефа Л. о. принадлежит разломам. Наиболее грандиозна система субширотных океанических разломов в Северо-восточной котловине Тихого океана. В рельефе дна эти зоны разломов обычно представлены комплексами грабенов и горстовых поднятий, вытянутыми нередко на тысячи км.
Лит.: Шепард Ф. П., Морская геология, пер. с англ., Л., 1967. Леонтьев О. К., Дно океана, М., 1968. Удинцев Г. Б., Геоморфология и тектоника дна Тихого океана, М., 1972 (Тихий океан, [т. 5]): The Sea, v. 3, N. Y — L., 1963. v. 4, pt. 1-2, 1970.
О. К. Леонтьев.

Людвига ганглий

Что такое Людвига ганглий

Определение слова Людвига ганглий по словарю медицинских терминов

Людвига ганглий (К. F. W. Ludwig, 1816-1895, нем. физиолог) — совокупность парасимпатических нейронов, группами или одиночно расположенных в межпредсердной перегородке.

Ложкарить

Что такое Ложкарить

Определение слова Ложкарить по Ефремовой

Ложкарить — Заниматься изготовлением ложек (1*1).

Ла Балю

Что такое Ла Балю

Определение слова Ла Балю по словарю Брокгауза и Ефрона

Ла Балю (Жан La Balue, 1421—1491) — находился на службе у французского короля Людовика XI и возвысился до сана кардинала. Когда осенью 1468 г. Л. посоветовал королю свидание с Карлом Смелым в Перонне, на котором Людовик принужден был подчиниться всем требованиям Карла, король заподозрил. что кардинал действует в интересах Карла, велел арестовать его (1469) и держал в течение десяти лет в железной клетке в 8 кв. фт.

Ложные Вампиры

Что такое Ложные Вампиры

Ложные Вампиры — описание в Энциклопедическом словаре

Ложные Вампиры — семейство летучих мышей. Длина тела 6,5-14 см. 5 видов, вЦентр. и Юж. Африке, Юж. и Юго-Вост. Азии, Австралии. Питаются насекомыми,птицами, рыбами, другими летучими мышами. Кровь не сосут. ложнымивампирами называют также род летучих мышей из семейства американскихлистоносов. Австрийский ложный вампир — в Красной книге МеждународногоСоюза охраны природы и природных ресурсов.

Ла-Ротьер

Что такое Ла-Ротьер

Определение слова Ла-Ротьер по словарю Брокгауза и Ефрона

Ла-Ротьерселение во французском департаменте Об. В кампанию 1814 г., после сражения под Бриенном (см.), князь Шварценберг, по настоянию императора Александра, должен был согласиться на то, чтобы 1 февраля (20 янв.) атаковать Наполеона, занявшего позицию у Л., и для этого отдать в распоряжение Блюхера два корпуса из своей армии. Кроме того, для поддержки Блюхера были назначены 2 гренадерские и 2 кирасирские дивизии под начальством ген. Раевского, а баварцы, под командой барона Вреде, направлены на Сулен, в тыл Наполеону. Последний против 90 т. войск Блюхера имел под рукой всего 40 тыс., притом расположенных на весьма растянутой позиции, центром которой был Л. Тем не менее, французы продержались тут до вечера и только после охвата их левого фланга баварскими войсками отступили частью на Бриенн, частью на Роне, за р. Вуар. Вследствие крайнего утомления войск, союзники преследовали неприятеля весьма слабо и плодами победы не воспользовались. Потеря сражения была весьма чувствительна для Наполеона, так как Л. находится всего в 6 переходах от Парижа, путь к которому оставался теперь открытым для союзников.

Лозина

Что такое Лозина

Определение слова Лозина по Ефремовой

Лозина — Ивовый прут.

Определение слова Лозина по словарю Ушакова

ЛОЗИНА
лозины, мн. нет, ж. (обл.). Ивовый прут.