Приглашаем посетить сайт
Статьи на букву "Л" (часть 2, "ЛЕЙ"-"ЛОГ")
|
Статья большая, находится на отдельной странице. |
|
Статья большая, находится на отдельной странице. |
|
ЛЕНИНИЗМ - учение В. И. Ленина, гениального продолжателя революц. дела и учения К. Маркса и Ф. Энгельса, творчески развившего в новых историч. условиях все составные части марксизма - философию, политэкономию, науч. коммунизм; Л.- новый этап в развитии марксизма; Л. находит дальнейшее творч. развитие в теоретич. деятельности КПСС, всего мирового коммунистич. движения. Л.- это «...марксизм эпохи империализма и пролетарских революций, эпохи крушения колониализма и победы национально-освободительных движений, эпохи перехода человечества от капитализма к социализму и строительства коммунистического общества» (К 100летию со дня рождения В. И. Ленина. Тезисы ЦК КПСС, 1969, с. 5). см. Марксизм-ленинизм. |
|
Константин Николаевич [13(25).1.1831, Кудиново, ныне Малоярославецкого р-на Калужской обл.,-12(24).И.1891, Троице-Сергиев посад, ныне Загорск Моск. обл.], рус. писатель, публицист и лит. критик. Известность приобрёл статьями о практич. политике и на культурно-историч. темы (сб. статей «Восток, Россия и славянство», т. 1-2, 1885-86), а также лит.-критич. этюдами (о романах Л. Толстого, об И. С. Тургеневе и др.). Культурноисторич. взгляды Л., сложившиеся под влиянием Данилевского, характеризуются выделением трёх стадий циклич. развития- первичной «простоты», «цветущей сложности» и вторичного «упрощения» и «смешения», что служит у Л. дополнит. обоснованием идеала «красочной и многообразной» росс. действительности, противопоставленной зап. «всесмешению» и «всеблаженству». Мировоззрение Л. имело охранит, направленность. Предугадывая грядущие революц. потрясения и считая одной из гл. опасностей бурж. либерализм с его «омещаниванием» быта и культом всеобщего благополучия, Л. проповедовал в качестве организующего принципа гос. и обществ. жизни «византизм» - твердую монархич. власть, строгую церковность, сохранение крест. общины, жёсткое сословно-иерархич. деление общества. Путём союза России с Востоком (мусульм. странами, Индией, Тибетом, Китаем) и политич. экспансии на Бл. Востоке как средства превращения России в новый историч. центр христ. мира Л. надеялся затормозить процесс «либерализации» России и уберечь её от революции. Собр. соч., т. 1-9, М., 1912-13; Моя лит. судьба. Автобиография, в кн.: Лит. наследство, т. 22-24, М., 1935. Памяти К. Н. Л., в кн.: Лит. сб., СПБ, 1911; Преображенский П. Ф., А. Герцен и К. Л.,«Печать и революция», 1922, кн. 2; Бердяев H.A., К. Л., Париж, 1926; История философии в СССР, т. 3, М., 1968; К о l o g г i v o v I. v., Von Hellas zum Monchtum. Leben und Denken K. Leontjews, B., 1948; Gasparini E., Le prevision! di C. Leorit'ev, Venezia, 1957. |
|
Статья большая, находится на отдельной странице. |
|
ЛЕССИНГ (Lessing) Готхольд Эфраим (22.1.1729, Ка-менц, Саксония,- 15.2.1781, Брауншвейг), нем. философ-просветитель, писатель, критик. Сохраняя верность общим принципам просветит. рационализма, Л. соединил их с новыми, более глубокими взглядами на природу, историю, искусство, преодолев ограниченность воль-фианского рационализма в философии (см. Вольф), лютеранской ортодоксии, классицизма в поэтике. Как критик и эстетик Л. обосновывал принципы реалистич. художеств. образа - вслед за Шефтсбери и др. мыслителями 18 в., боровшимися с отвлечённостью аллегорич. и условных фигур искусства барокко и классицизма. В трактате «Лаокоон. О границах живописи и поэзии» (1766, рус. пер. 1957) Л. даёт замечат. анализ сущности и средств словесного и изобразит. искусств, положив начало интенсивным размышлениям о природе различных искусств («Критич. леса» Гердера, возражавшего Л., и др.). В новаторской «Гамбургской драматургии» (Bd 1-2, 1767-69, рус. пер. 1936), цикле критич. и эсте-тич. очерков, Л. доказывал соответствие драматургич. принципов Шекспира аристотелевскому определению трагедии. Несмотря на кажущуюся нормативность подобного хода мысли Л. шёл к углублённому постижению художеств. произведений в их «внутр. форме». Точно так же критика условных форм подводила к новой трактовке художеств. символа и к ориентации на пластич. образы античности, заново открытой И. И. Винкельманом (трактат Л. «Как представляли смерть древние» - «Wie die Alten den Tod gebildet», 1769). Наиболее значительными для Л.-мыслителя были последние годы его жизни. Не принимая филос. интуитивизма, как и свойственного движению «Бури и натиска» культа гения, чувства, чувственности, Л. публикует тезисы «Воспитание человеч. рода» («Die Erziehung des Menschengeschlechts», 1780, анонимно), в которых вплотную подходит к идее органич. развития и поступат. движения человечества к совершенству. Gesammelte Werke, hrsg. v. P. Rilla, Bd 1-10, В.- Weimar, 19682; в рус. пер.- Собр. соч., т. 1-10, СПБ, 19042; Избр. произв., М., 1953. Меринг Ф., Легенда о Л., в его кн.: Лит.-критич. статьи, т. 1, М.- Л., 1934; ? ? и д л е н д е p Г., Л., М., 1957; Л. и современность. Сб. ст., ?., 1981; Guthke K. S., Gotthold Ephraim Lessing, Stuttg., 19732 (библ.); S e i f e r t S., LessingBibliographie, B.-Weimar, 1973; Hildebrandt D., Lessing, Munch.-W., 1979. |
|
ЛИ - з а к о н (кит., букв.- принцип, закон, высший закон, закон природы, идеал, истина), термин кит. философии, одно из осн. понятий неоконфуцианства (записывается иным иероглифом, чем лиэтикет). В самом общем плане - определ. порядок, правила или система вещей, их мерило или стандарт. Впервые встречается у конфуцианца Мэн-Цзы в качестве принципа человеч. природы и у легиста Ханъ Фэя в значении особого закона вещей, в отличие от дао - обычного закона вещей. Сунские неоконфуцианцы (Чжан Цзай, Чжоу Дунъи, Чжу Си, бр. Чэн) видели в Л. высшее идеальное начало, в отличие от ци - материальной силы. Различия в интерпретации значения Л. и ци и их места в процессе образования Вселенной во многом определяют последующие направления кит. философии. Др.-кит. философия, т. 2, М., 1973, с. 235-57.
II э т и к е т (кит., букв.- приличие, сдержанность, культурность, этикет, церемония, обряд, ритуал), термин кит. философии, осн. понятие этики конфуцианства (пишется иным иероглифом, чем ли-закон). Не имеет однозначного эквивалента в европ. языках. Первоначально означал обувь, надеваемую при совершении религ. обрядов, отсюда два исходных значения: установленные предписания поведения (приличие) и ритуал (этикет). В понимании Конфуция Л.- руководящий принцип, призванный устанавливать гармонич. отношения между людьми. Л. тесно связано с жэнь - человечностью, гуманностью; человек, лишённый жэнь, не может обладать Л. и действовать в согласии с ним. Человек должен сдерживать себя с помощью Л., ибо только тогда не будет совершать неправильных поступков. Конфуций считал, что путь к совершенству начинается с поэзии, определяется Л. и завершается музыкой. Л. это также норма поведения в семье и государстве (отношения государя и подданных). Понятие Л. стало одним из определяющих принципов и норм поведения в Китае, вошло в нар. быт, культуру и массовое сознание вплоть до сер. 20 в. Др.-кит. философия, т. 1, М., 1972, с. 139-47, 153, 155; Алексеев В. М., Др.кит. лит-pa. Избр. труды, М., 1978; Fung ? u - l a n, A short history of Chinese philosophy, N. Y., 1958, 146-56, 178-79; Wing-tsit Chan, A source book in Chinese philosophy, Princcton, 1963; P o l i t e l l a J., Taoism and Confucianism, Iowa City, 1067, p. 106-09. |
|
Статья большая, находится на отдельной странице. |
|
ЛИБЕРТ (Liebert) Артур (10.11.1878, Берлин,-5.11. 1946, там же), нем. философнеокантианец. Будучи представителем марбургской школы неокантианства, Л. в дальнейшем пытался сочетать кантовский критицизм с неогегельянской диалектикой и развитой им концепцией «критич.» метафизики, противопоставляемой Л. «догматич.» метафизике («Дух и мир диалектики» - «Geist und Welt der Dialektik», 1929). Выступал с критикой совр. ему культуры, усматривая истоки «духовного кризиса современности» в переходе от нормативного мышления Канта и Гегеля к релятивизму и историзму, как они сказались, по Л., у Фейербаха, Ницше и Дильтея. В ряде работ 1930-40-х гг. защищал принципы бурж. либерализма. Das Problem der Geltung, Lpz., 19202; Wie ist kritische Philosophie uberhaupt moglich?, Lpz., 1923'; Die geistige Krisis der Gegenwart, В., 19253; Erkenntnistheorie, Bd 1-2, B., 1932; Die Krise des Idealismus, Z.- Lpz., 1936; Der universale Humanismus, Z., 1946. |
|
ЛИБИДО (лат. libido - влечение, желание, страсть, стремление), одно из основных понятий психоанализа, разработанного Фрейдом. Л. означает у Фрейда влечения сексуального характера, преим. бессознательные. В отличие от стремления к самосохранению, Л. способно к вытеснению и сложной трансформации. В процессе индивидуального развития Л., по Фрейду, локализуется в различных телесных зонах, определяя фазы психосексуального развития, в ходе крого меняется и объект влечения (от аутоэротизма квнеш. объекту). Столкнувшись с внеш. препятствием, Л. может возвращаться на пройденные этапы развития, приобретая форму патологич. регрессии; наряду с этим оно способно отклоняться от первонач. целей, выражаясь, напр., в процессах творчества (см. Сублимация). Юнг в полемике с Фрейдом осуществил пересмотр этого понятия, лишив Л. исключительно сексуального характера и рассматривая его как психич. энергию вообще. Понятое таким образом, Л. выступает у Юнга как метафизич. принцип психики. |
|
Статья большая, находится на отдельной странице. |
|
ЛИБМАН (Liebmann) OTTO (25.2.1840, Лёвенберг, Си-лезия,- 14.1.1912, Йена), нем. философ, представитель раннего неокантианства. В соч. «Кант и эпигоны» («Kant und die Epigonen», 1865) Л. призывал вернуться «назад к Канту». Отвергая понятие «вещи в себе», Л. строил свою философию на априоризме и феноменализме. Внеш. мир, согласно Л., есть лишь феномен (явление) внутри воспринимающего интеллекта, а потому подчинён законам последнего; всякая метафизич. система может претендовать только лишь на гипотетич. объяснение сущности мира. Центральной в идеалистич. системе Л. является идея имманентных закономерностей сознания, определяющих собою всю сферу человеч. познания. Кантианская гносеология перерастает у Л. в онтологию. Zur Analysis der Wirklichkeit, В., 1876; Gedanken und Thatsachen, Bd 1-2, Stras., 1882-1904. Zum 70. Geburtstag O. Liebmanns, «Kant-Studien», 1910, Bd 15. |
|
Статья большая, находится на отдельной странице. |
|
ЛИКЕЙ - лицей (греч. ), пригород в Афинах с гимнасией, посвящённой Аполлону, где преподавал Аристотель в последние годы своей жизни; название всей аристотелевской, или перипатетической школы. |
|
ЛИНГВИСТИЧЕСКАЯ ФИЛОСОФИЯ - лингвистич. анализа философия, философия обыденного языка, течение аналитической философии. Возникло в 1930-х гг. и получило развитие в Великобритании (Г. Райл, Дж. Уисдом, П. Стросон, Дж. Остин и др.). Известное влияние имеет также в США (М. Блэк, Н. Малкольм и др.), в Австралии и в сканд. странах. Идейными источниками Л. ф. являются философия «здравого смысла» Мура и взгляды позднего Витгенштейна. Будучи одной из школ неопозитивизма, Л. ф. отрицает мировоззренч. характер философии и считает традиц. филос. проблемы псевдопроблемами, возникающими в силу дезориентирующего влияния языка на мышление. В отличие от сторонников др. разновидности аналитич. философии - логического анализа философии, представители Л. ф. усматривают задачу «философааналитика» не в том, чтобы реформировать язык в соответствии с некоторой логич. нормой, а в детальном анализе фактич. употребления естеств. разговорного языка с тем, чтобы устранять недоразумения, возникающие вследствие его неправильного употребления. В частности, согласно Л. ф., такой анализ приводит к выявлению причин постановки филос. проблем, которые будто бы возникают в результате неправомерного расширения обыденного словоупотребления. Возражая против любых проявлений техницизма в философии, связанного с использованием спец. понятийного аппарата, и отстаивая «чистоту» употребления естеств. языка, Л. ф. выступает в качестве решит. противника сциентизма в философии, в частности сциентизма логич. позитивистов. Впервые идеи Л. ф. получили своё выражение в 1930-х гг. в т. И. кембриджской школе последователей позднего Витгенштейна, усматривавших задачу философии в терапевтич. «анализе» языка с целью извлечения постоянно возникающих при употреблении языка «недугов», которые будто бы и являются подлинным источником «метафизич.» (т. е. филос.) проблем. С кон. 1940-х гг. большое влияние приобретают представители т. н. оксфордской школы (Райл, Остин, Стросон и др.). Соглашаясь с Витгенштейном и кембриджскими аналитиками в том, что анализ призван выполнять негативную функцию элиминации метафизики, оксфордские аналитики в то же время полагают, что анализ может дать и позитивные результаты, связанные с выяснением деталей и оттенков употребления выражений языка. Они подчёркивают разнообразие языковых явлений, способов употребления языковых выражений, выступая против всяких тенденций к унификации языка. Несмотря на несостоятельность Л. ф. как филос. течения в целом, исследования представителей Л. ф. содержат некоторые позитивные результаты по анализу логич. структуры обыденного языка и изучению его семантич. возможностей. Геллнер 9., Слова и вещи, пер. с англ., М., 1962; Бегиашвили А. Ф., Совр. англ. Л. Ф., Тб. 1965; К о з л о-в а М. С., Философия и язык, М., 1972; Богомолов А. С., Англ. бурж. философия 20 в., М., 1973, гл. 7; Совр. бурж. философия, М., 1978, гл. 2, § 11; Б ? у т я н Г. А., Очерки по анализу филос. знания, Ер., 1979; Black M., Problems of analysis, Ithaca, 1954; The revolution in philosophy, ed. by G. Ryle, L., 1956; Charlesworth M. J., Philosophy and linguistic analysis, Pittsburgh, 1959; Tugendhat E., Vorlesungen zur Einfuhrung in die sprachanalytische Philosophie, Fr./M., 1976. |
|
Статья большая, находится на отдельной странице. |
|
Статья большая, находится на отдельной странице. |
|
ЛОГИКА ВЫСКАЗЫВАНИЙ - логика суждений, пропозициональная логика, раздел совр. логики, лежащий в основе большинства её разделов в традиц. их изложении. Осн. объект Л. в. - высказывание, являющееся абстракцией от понятия предложения естеств. языка, в связи с чем Л. в. наз. иногда логикой предложений. Высказывание - это предложение, рассматриваемое в отвлечении от его внутр. (субъектно-предикатной) структуры - исключительно с т. зр. его возможных истинностных значений: обычно истины (обозначаемой через «и») или лжи («л»). Т. о., высказывание - это предложение, о котором имеет смысл говорить, что оно истинно или ложно. Из элементарных высказывании, относительно которых вопрос о присвоении им одного из значений «и» или «л» считается заранее решённым, с помощью логических операций (играющих роль союзов и аналогичных им конструкций естеств. языка) строятся сложные высказывания (аналоги сложносочинённых и сложноподчинённых предложений), значения истинности которых однозначно определяются истинностными значениями исходных высказываний и определением данной логич. операции. В соответствии с «естественной» интерпретацией высказываний и свойствами логич. операций, посредством которых они построены, некоторые из полученных т. о. формул Л. в. оказываются тождественно-истинными (т. е. истинными при всех распределениях истинностных значений исходных элементарных формул); их наз. также тавтологиями. Такие формулы выражают логические законы; их выявление - одна из осн. задач Л. в. Фиксировав некоторые из них в качестве аксиом с помощью подходящих правил вывода, получают описание Л. в. в виде исчисления высказываний. Столл Р.Р., Множества. Логика. Аксиоматич. теории, пер. с англ., М., 1968. |
|
ЛОГИКА ДИАЛЕКТИЧЕСКАЯ - см. в ст. Диалектика. |
|
ЛОГИКА КЛАССОВ - раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться (см. Интерпретация) как совокупность закономерностей, которым удовлетворяют т. н. теоретико-множеств. операции: объединение (сумма), пересечение (произведение) и дополнение множеств, или же как изоморфная этой алгебре (см. Изоморфизм и гомоморфизм) логика одноместных предикатов, в свою очередь понимаемая как частный случай логики предикатов или как расширение логики высказываний. Изоморфизм упомянутых интерпретаций Л. к. обеспечивается взаимнооднозначным сопоставлением объектов, рассматриваемых в этих интерпретациях: множествам (классам) сопоставляются высказывания о принадлежности к.-л. предмета данному множеству, объединению множеств - конъюнкция соответствующих высказываний, пересечению - их дизъюнкция, а дополнению - отрицание. Рассматривая модель (реализацию, интерпретацию) Л. к. на предметной области, состоящей из одного-единственного элемента, вопрос об истинности или ложности к.-л. формулы Л. к. можно свести к вопросу относительно соответствующей формулы логики высказываний, подобно которой Л. к. оказывается, т. о., разрешимой. Поэтому в совр. логике Л. к, трактуют как одноместный фрагмент логики предикатов, изоморфный логике высказываний. см. к ст. Логика. |
|
Статья большая, находится на отдельной странице. |
|
ЛОГИКА ОТНОШЕНИЙ - раздел логики, посвящённый изучению отношений между объектами различной природы. Эти отношения выражаются сказуемыми и аналогичными им словами в предложениях естеств. языков. В зависимости от числа объектов, связанных данным отношением, говорят о двуместных (двучленных, бинарных), трёхместных (трёхчленных, тернарных), вообще n-местных (n-членных, nарных) отношениях, которые в терминах теории множеств определяются соответственно как классы упорядоченных пар, троек, ...n-ок предметов некоторой предметной области. Особенно важны бинарные отношения (если пара <х, y> принадлежит отношению R, то говорят, что ? находится в отношении R к у), посредством которых определяются такие, напр., важнейшие понятия логики и математики, как понятия функции и операции. Вводя для бинарных отношений теоретико-множеств. операции объединения (суммы), пересечения (произведения) и дополнения, получают «алгебру отношений» (синоним термина «Л. о.»), роль единицы в которой играют отношения эквивалентности (равенства, тождества), обладающие свойствами рефлексивности (для всех x верно xRx), симметричности (из xRy следует yRx) и транзитивности (из xRy и yRz следует xRz). Теория бинарных отношений допускает геометрич. интерпретацию в виде т. н. теории графов. На языке совр. математич. логики понятие отношения выражается посредством понятия многоместного предиката; поэтому Л. о. (исключая упомянутые выше алгебраич. и геометрич. её аспекты) потеряла самостоят. значение и является по существу составной частью логики предикатов. Шрейдер Ю. А., Равенство, сходство, порядок, М., 1971. |
|
ЛОГИКА ПРЕДИКАТОВ - функциональная логика, квантор пая логика, осн. раздел математич. логики, средствами которого строятся многие др. её разделы. Л. п., в отличие от логики высказываний, расширением которой она является, учитывает не только связи между предложениями (высказываниями), но и их субъектно-предикатную структуру: выделяются аналоги подлежащих в предложениях естеств. языков (т. н. термы) и аналоги сказуемых - предикаты. Для этой цели выразит. средства логики высказываний пополняются спец. символами для обозначения предикатов и термов, а дедуктивные средства - правилами образования и преобразования выражений, содержащих эти символы. В Л. п. вводят также спец. операторы - кванторы. Аксиоматич. построение Л. п. в виде исчисления предикатов включает аксиомы и правила вывода, позволяющие преобразовывать кванторные формулы и строить формальные доказательства (напр., система аксиом и правил вывода для исчисления высказываний пополняется схемами аксиом). Добавление к аппарату исчисления предикатов различных спец. постоянных и переменных термов с характеризующими полученную предметную область конкретными аксиомами и схемами аксиом приводит к различным видам прикладных исчислений предикатов, служащих формализациями различных логико-математич. теорий арифметики, алгебры, анализа, геометрии и др. разделов математики. Для Л. п. и теорий, построенных на её основе, доказан ряд важных метатеорем, характеризующих их осн. свойства (см. Метатеория, Независимость, Непротиворечивость, Полпота). Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (библ.); Ч ё ? ч А., Введение в математич. логику, пер. с англ., т. 1, М., 1960 (библ.); Мендельсон Э., Введение в математич. логику, пер. с англ., М., 1971; Новиков П. С., Элементы математич. логики, ?., 19732. |
|
ЛОГИСТИКА (греч. ), 1) этап в развитии математич. логики, связанный с работами школы Б. Рассела (см. Логицизм); 2) архаический (идущий от Лейбница) синоним термина «математич. логика»; 3) в антич. математике под Л. понимали совокупность известных в то время вычислит.(в арифметике) и измерит. (в геометрии) алгоритмов - в отличие от развиваемой путём содержат. рассуждений «теоретич. математики». Под логистич. методом понимают метод построения формальной логики путём построения логистич. систем (иначе - исчислений, формальных систем). Ч ё ? ч А., Введение в математич. логику, пер. с англ., т. 1. |
|
ЛОГИЦИЗМ - направление в логико-филос. основаниях математики, исходящее из выдвинутого Лейбницем тезиса о «сводимости математики к логике», согласно которому математика изучает т. н. аналитич. истины, т. е. утверждения, «истинные во всех возможных мирах». В систематич. виде доктрина Л. была изложена Фреге в «Осн. законах арифметики» («Grundgesetze der Arithmetik», Bd 1-2, 1893-1903), где основное для математики понятие натурального числа сводилось к объёмам понятий, а теоремы арифметики доказывались средствами некоторой логич. системы. Эта доктрина была развита затем Расселом, обнаружившим парадокс (противоречие) в системе Фреге и предложившим в совместном с Уайтхедом трёхтомном труде «Principia Mathematica» (1910-13) т. н. теорию типов, в которой этот (как и другие) парадокс устранялся с помощью спец. иерархии логич. понятий. Однако для построения классич. математики в «Principia Mathematica» пришлось включить аксиомы, не удовлетворяющие критериям аналитич. истинности и характеризующие конкретный «математич. мир» и описываемый им мир реальных вещей и событий. С др. стороны, Гёделъ показал (1931), что все системы типа «Principia Mathematica» и более сильные (т. е. во всяком случае все системы аксиоматич. арифметики и теории множеств) существенно неполны: их средствами нельзя доказать некоторые формулируемые в них содержательно-истинные утверждения. Т. о., осн. тезис Л. можно считать опровергнутым. Однако работы Рассела и его последователей (напр., У. Куайна) способствовали формированию и уточнению ряда важнейших логико-математич. и методологич. идей и развитию соответствующего формального математич. аппарата. Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, гл. 3; Френкель А.,Бар-Хиллел И., Основания теории множеств, пер. с англ., М., 1966, гл. 3. |
|
ЛОГИЧЕСКИЕ ОПЕРАЦИИ - логич. операторы, логич. связки, функции, преобразующие выражения логич. исчислений (формальных логич. систем); подразделяются на пропозициональные (сен-тенциональные) связки, с помощью которых образуются выражения логики высказываний, и кванторы, введение которых позволяет расширить логику высказываний до логики предикатов. Л. о. позволяют строить сложные высказывания из некоторых элементарных, подобно тому как союзы, союзные слова и обороты служат для построения сложных предложений из простых в естеств. языках. Напр., в классич. двузначной логике, в которой высказывания могут быть только либо истинными, либо ложными, Л. о. конъюнкции (обозначается - &) интерпретируется как союз «и» и его многочисл. синонимы и оттенки («а», «да», «но», «хотя», «между тем как», «а также», «кроме того» и т. д.); дизъюнкции - как один из смыслов («неразделительный») союза «или»; отрицание - как частица «не» и её языковые эквиваленты; импликации - примерно как обороты «если ..., то ...» и «из... следует...» или глагол «влечёт»; эквиваленции (ЛОГИЧЕСКИЕ ОПЕРАЦИИ) - как оборот «тогда и только тогда, когда» и его синонимы и т. п. Соответствие это не взаимно-однозначно и приблизительно; поэтому точные определения Л. о. задаются не «переводами» их на естеств. языки, а либо посредством т. н. истинностных таблиц (или таблиц истинности), указывающих, какое из двух ис-тинностных значений - «и» («истина») или «л» («ложь») - принимает результат применения данной Л. о. к некоторым исходным высказываниям при каждом конкретном распределении истинностных значений этих исходных высказываний, либо заданием надлежащих постулатов (логич. аксиом и правил вывода). Изоморфная (см. Изоморфизм и гомоморфизм) интерпретируемость классич. логики высказываний в терминах логики классов обусловливает существование теоретико-множеств. операций, аналогичных каждой из её Л. о. в том смысле, что они подчиняются одним и тем же взаимным соотношениям и образуют булевы алгебры (соответственно алгебру высказываний и алгебру множеств; см. Алгебра логики). Ч ё p ч А., Введение в математич. логику, пер. с англ., т. 1, М., 1960, §§ 05, 06, 15; С то л л Р.-Р., Множества. Логика. Аксиоматич. теории, пер. с, англ., М., 1968. |