Жанр: Словарь
ФИЛОСОФСКИЙ Энциклопедический словарь (в архиве 3 файла)
... ученик Филон
из Мегары
предложили параллельные уточнения отношения логич. следования посредством
понятия
импликации. Диодор толковал импликацию как модальную (необходимую) условную
связь, а Филон
- как материальную.
Логич. идеи мегарской школы восприняли стоики. Хрисипп принял критерий Филона
для
импликации и принцип двузначности как онтологич. предпосылку Л. Идею дедукции
стоики
формулировали более чётко, чем мегарики: высказывание логически следует из
посылок, если оно
является консеквентом всегда истинной импликации, имеющей в качестве
антецендента конъюнкцию
этих посылок. Это исторически первая формулировка т. н. теоремы дедукции, дающей
общий метод
формального доказательства средствами логики. Аргументы, основанные только на
правильной
форме дедукции и не исключающие ложность посылок, стоики наз. формальными. Если
же
привлекалась содержат. истинность посылок, аргументы наз. истинными. Наконец,
если посылки и
заключения в истинных аргументах относились соответственно как причины и
следствия, аргументы
наз. доказывающими. Последние предполагали понятие о естеств. законах, к-рые
стоики считали
аналитическими, отрицая возможность их обоснования посредством аналогии и
индукции. Стоич.
учение о доказательстве выходило за пределы собственно Л.- в область теории
познания, и здесь
дедукти-визм стоиков встретил филос. противника в лице радикального эмпиризма
школы Эпикура,
к-рая в споре со стоиками защищала опыт, аналогию и индукцию. Эпикурейцы
положили начало
индуктивной Л., указав, в частности, на роль противоречащего примера в проблеме
обоснования
индукции, и сформулировали ряд правил индуктивного обобщения (Филодем из
Гадары).
На смену логич. мысли ранней античности пришла антич. схоластика, сочетавшая
аристотелизм со
стоицизмом и заменившая искусство свободного исследования искусством экзегезы
(истолкования
авторитетных текстов), популярной и в "языч." школе поздних перипатетиков, и в
христ. школах
неоплатоников. Из нововведений эллино-римских логиков заслуживают внимания:
логич. квадрат
(quadrata formula) Апулея из Медавры, реформированный позднее Боэцием;
полисиллогизмы и
силлогизмы отношений, введённые Га леном; дихотомич. деление понятий и учение о
видах и родах,
встречающиеся у Порфирия; зачатки истории Л. у Секста Эмпирика и Диогена
Лаэртия; наконец,
ставшая с тех пор общепринятой латинизированная логич. терминология, восходящая
к соч.
Цицерона и лат. переводам из аристотелевского "Органона", выполненных Боэцием. В
этот период
Л. входит в число семи свободных иск-в, к-рые Марциан Капелла наз. энциклопедией
гуманитарного
образования.
Логич. мысль раннего европ. средневековья беднее эллино-римской. Самостоят.
значение Л.
сохраняет лишь в странах арабоязычной культуры (аль-Фараби, Ибн Сина, Ибн Рушд),
где
философия остаётся относительно независимой от теологии. В Европе же
складывается в основном
схоластич. Л.- церковно-школьная дисциплина, приспособившая элементы
перипатетич. Л. к
нуждам христ. вероучения. Только после того, как все произв. Аристотеля
канонизируются церк.
ортодоксией, возникает оригинальная (несхоластич.) ср.-
ЛОГИКА 317
век. Л., известная под назв. logica modernorum. Контуры её намечены
"Диалектикой" Абеляра, но
окончательно она оформляется к кон. 13 - сер. 14 вв. в соч. У. Шервуда, Петра
Испанского, Иоанна
Дунса Скота, В. Бурлея (Бёрли), У. Оккама, Ж. Буридана, Альберта Саксонского и
др. Именно здесь
логич. и фактич. истинность строго разделяются и Л. понимается как формальная
дисциплина о
принципах всякого знания (modi scientiarum omnium), предметом к-рой являются не
эмпирич., а
абстрактные объекты - универсалии. Учение о дедукции основывается на явном
различении
материальной и формальной, или тавтологичной, импликаций: для первой имеется
контрпример, для
второй - нет. Поэтому материальная импликация выражает фактическое, а формальная
- логич.
следование, с к-рым естественно связывается понятие о логич. законах. У ср.-век.
логиков этой эпохи
встречается и первая попытка аксиоматизации Л. высказываний, включая
модальности. При этом Л.
высказываний, как и у стоиков, признаётся более общей теорией дедукции, чем
силлогистика. В этот
же период, хотя и вне связи с общим течением модернизации логич. мысли,
зарождается идея
"машинизации" процессов дедукции (Р. Луллий, "Великое искусство" - "Ars magna",
1480).
Эпоха Возрождения для дедуктивной Л. была эпохой кризиса. Её воспринимали как
опору мыслит.
привычек схоластики, как Л. "искусственного мышления", освящающую схематизм
умозаключений,
в к-рых посылки устанавливаются авторитетом веры, а не знания. Руководствуясь
общим лозунгом
эпохи: "вместо абстракций - опыт", дедуктивной Л. стали противопоставлять Л.
"естественного
мышления" (П. Раме), под к-рой обычно подразумевались интуиция и воображение.
Леонардо да
Винчи и Ф. Бэкон возрождают антич. идею индукции и индуктивного метода, выступая
с резкой
критикой силлогизма. Лишь немногие, подобно падуанцу Я. Дзабарелле ("Логич.
труды" - "Opera
logica", 1578), отстаивают формальную дедукцию как основу науч. метода вообще.
В нач. 17 в. положение Л. меняется. Г. Галилей вводит в науч. обиход понятие о
гипотетикодедуктивном
методе: он восстанавливает права абстракции, обосновывает
потребность в
абстракциях, к-рые "восполняли" бы данные опытных наблюдений, и указывает на
необходимость
введения этих абстракций в систему логич. дедукции в качестве гипотез, или
постулатов (аксиом), с
последующим сравнением результатов дедукции с результатами наблюдений. Т. Гоббс
истолковывает
аристотелевскую силлогистику как основанное на соглашениях исчисление
истинностных
функций - суждений именования, заменяя, по примеру стоиков, атрибутивные связи
пропозицивнальными. П. Гассен-ди пишет историю Л., а картезианцы А. Арно и Н.
Ни-коль -
"Логику, или Искусство мыслить" ("La logique ou L'art de penser", 1662), т. н.
логику Пор-Рояля, в крой
Л. представлена как рабочий инструмент всех др. наук и практики, поскольку
она принуждает к
строгим формулировкам мысли. Сам Декарт реабилитирует дедукцию (из аксиом) как
"верный путь"
к познанию, подчиняя её более точному методу всеобщей науки о "порядке и мере" -
mathesis
universalis, простейшими примерами к-рой он считал алгебру и геометрию. В том же
духе работали
И. Юнг ("Гамбургская логика" - "Logica Hamburgiensis", 1638), В. Паскаль ("О
геометрич. разуме"
- "De l'esprit geometrique"), А. Гейлинкс ("Логика..." - "Logica...", ?662), Дж.
Сак-кери ("Наглядная
логика" - "Logica demonstrative", 1697) и в особенности Г. Лейбниц, к-рый идею
ma-thesis
universalis доводит до идеи calculus rationa-tor - универсального искусств.
языка, формализующего
рассуждения подобно тому, как в алгебре формализованы вычисления. Этим путём
Лейбниц
надеялся
318 ЛОГИКА
расширить границы демонстративного познания, к-рые до тех пор, по его мнению,
почти совпадали с
границами математики. Он отмечал важность тождеств. истин ("бессодержат.
предложений") Л. для
мышления, а в универсальном языке видел возможность "общей Л.", частными
случаями к-рой
считал силлогистику и Л. евклидовских "Начал". Лейбниц не осуществил своего
замысла, но он дал
арифметизацию силлогистики, разрешив тем самым совершенно новый для Л. вопрос -
о её
непротиворечивости относительно арифметики.
Программа Лейбница не вызвала всеобщего признания, хотя её поддержали Дж. Валлис
("Логическое
учение" - "Institutio logicae", 1729), Г. Плуке ("Филос. и теоретич.
описания" - "Expositiones
pliilo-sophiae theoreticae", 1782), И. Ламберт ("Новый органон" - "Neues
Organon", 1764). Благодаря
их трудам внутри филос. Л., не связанной с точными методами анализа рассуждений
и носящей
преим. описат. характер, сложились реальные предпосылки для развития математич.
Л. Однако это
развитие до сер. 19 в. было приостановлено авторитетами Канта и Гегеля,
считавших, что
формальная Л.- это не алгебра, с помощью к-рой можно обнаруживать скрытые
истины, что она не
нуждается ни в каких новых изобретениях, а потому оценивших математич.
направление как не
имеющее существ. применения.
Между тем запросы развивающегося естествознания оживили почти забытое
индуктивное
направление в Л,- т. н. Л. науки. Инициаторами этого направления стали Дж.
Гершель (1830), У.
Уэвелл (1840), Дж. С. Милль (1843). Последний, по примеру Ф. Бэкона, сделал
индукцию отправной
точкой критики дедукции, приписав всякому умозаключению (в основе) индуктивный
характер и
противопоставив силлогизму свои методы анализа причинных связей (т. н. каноны
Бэкона - Милля).
Критика эта, однако, не повлияла на то направление логич. мысли, к-рое
наследовало идеи Лейбница.
Напротив, скорее как ответ на эту критику (и, в частности, на критику идей У.
Гамильтона о логич.
уравнениях) почти одновременно появились обобщённая силлогистика О. де Моргана
(1847), включившая
Л. отношений и понятие о вероятностном выводе, и "Математич. анализ
логики" ("The
mathematical analysis of logic", 1847) Дж. Буля, в к-ром автор переводит
силлогизм на язык алгебры, а
совершенство дедуктивного метода Л. рассматривает как свидетельство истинности
её принципов.
Позднее Буль ("Исследование законов мысли" - "An investigation of the laws of
thought...", 1854), С.
Джевонс ("Чистая логика" - "Pure logic", 1864), Ч. Пирс ("Об алгебре логики" -
"On the algebra of
logic", 1880), Дж. Венн ("Сим-волич. логика" - "Symbolic logic", 1881), П. С.
Порец-кий ("О
способах решения логич. равенств...", 1884) и Э. Шредер ("Лекции по алгебре
логики" - "Vorlesungen
uber die Algebra der Logik", 1890-1905) окончательно опровергли тезис о
неалгебраич.
характере форм мысли, создав теорию "законов мысли" как вид нечисловой алгебры.
Эта
реформация в Л. коснулась не только силлогистики (логики классов). В 1877 X.
Мак-Колл впервые
после схоластов обращается к теории критериев логич. следования и к Л.
высказываний, а Г. Фреге
("Исчисление понятий" - "Begriffsschrift", 1879) создаёт первое исчисление
высказываний в строго
аксиоматич. форме. Он обобщает тра-диц. понятие предиката до понятия
пропозициональной
функции, существенно расширяющего возможности отображения смысловой структуры
фраз
естеств. языка в формализме субъектно-нредикатного типа и одновременно
сближающего этот
формализм с функциональным языком математики. Опираясь на идеи предшественников,
Фреге
предложил реконструкцию традиц. теории дедукции на основе искусств. языка
(исчисления),
обеспечивающего полное выявление логич. структуры мысли, всех элементарных шагов
рассуждения,
требуемых исчерпывающим доказательством, и полного перечня осн. принципов:
определений,
постулатов, аксиом, положенных в основу дедукции. Фреге использует созданный им
язык Л. для
формализации арифметики. Ту же задачу, но на основе более простого языка,
осуществляют Дж.
Пеано и его школа ("Формуляр математики" - "Formulaire de mathematique", t. 1-2,
1895-97).
Очевидным успехом движения за математизацию Л. явилось его признание на 2-м
Филос. конгрессе
в Женеве (1904), хотя в обществ. мнении оно утвердилось не сразу. Гл. идейным
противником
применения мате-матич. методов к системе логич. понятий был психологизм в
логике, к-рый
воспринимал математизацию Л. как своего рода возрождение схоластики, менее всего
способное
поставить логические исследования на научный фундамент. Однако именно в этом
своём пункте
психологизм оказался антиисторичен. Борьба за математизацию Л. привела к мощному
развитию
этой науки.
После "Principle Mathematica" (1910-13) Б. Рассела и А. Уайтхеда - трёхтомного
труда,
систематизировавшего дедуктивно-аксиоматич. построение классич. Л. (см.
Логицизм), создаётся
многозначная Л. (Я. Лу-касевич, Э. Пост, 1921), аксиоматизируются модальная (К.
Льюис, 1918) и
интуиционистская Л. (В. Гливенко, 1928; А. Гейтинг, 1930). Но главные
исследования переносятся в
область теории доказательств: уточняются правила и способы построения исчислений
и изучаются
их осн. свойства - независимость постулатов (П. Бер-найс, 1918; К. Гёдель,
1930),
непротиворечивость (Пост, 1920; Д. Гильберт и В. Аккерман, 1928; Ж. Эр-бран,
1930) и полнота
(Пост, 1920; Гёдель, 1930), появляются классические работы по логической
семантике (А. Тарский,
1931) и теории моделей (Л. Лёвен-хейм, 1915; Т. Скулем, 1919; Гёдель, 1930;
А.И.Мальцев, 1936).
Начиная с 1930-х гг. закладываются основы изучения "машинного мышления" (теория
алгоритмов
- Гёдель, Эрбран, С. Клини, А. Тьюринг, А. Чёрч, Пост, А. А. Марков, А. Н.
Колмогоров и другие).
И хотя выясняется ограниченность этого мышления, проявляющаяся, напр., в
алгоритмич.
неразрешимости ряда логич. проблем (Гёдель, 1931; П. С. Новиков, 1952), в
невыразимости всех
содержат, истин в к.-л. едином формальном языке (Гёдель, 1931), а тем самым и
невыполнимость
лейбницевской идеи создания каталога всех истин вместе с их формальными
доказательствами, всё
же растёт сирое на применение Л. в вычислит. математике, кибернетике, технике
(первоначально в
форме алгеб-раич. теории релейно-контактных схем, а затем в форме более общей
теории анализа и
синтеза конечных автоматов, теории алгоритмов и пр.), а также в гуманитарных
науках: психологии,
лингвистике, экономике. Совр. Л.- это не только инструмент точной мысли, но и
"мысль" первого
точного инструмента, электронного автомата, непосредственно в роли партнёра
включённого
человеком в сферу решения интеллектуальных задач но обработке (хранению,
анализу, вычислению,
моделированию, классификации) и передаче информации в любой, области знания и
практики.
• Аристотель, Соч., т. 2, М., 1978; Лукасевич Я., Аристотелевская силлогистика с
т. зр. совр. формальной Л., пер. с англ.,
М., 1959; M и л л ь Д ж. С., Система Л. силлогистической и индуктивной, пер. с
англ., М., 19142; Гильберт Д.,Аккерман
В., Основы теоретич. Л., пер. с нем., М., 1947; Тарский А., Введение в Л. и
методологию дедуктивных наук, пер. с англ.,
М., 1948; Чёрч А., Введение в ма-тематич. Л., пер. с англ., т. 1, М., 1960;
Попов П. С., История Л. нового времени, М.,
1960; Маковельский А. О., История Л., М., 1967; С т я ж к и н Н. И.,
Формирование ма-тематич. Л., М., 1967;
Математич. теория логич. вывода. Сб. переводов, М., 1967; Карри X. Б., Основания
математич. Л., пер. с англ., М., 1969;
Марков А. А.,О логике конструктивной математики, М., 1972; Н о в и к о в П. С.,
Элементы математич. Л., M., 19732; К л
и н н С. К., Математич. Л., пер, с англ., М., 1973; ? ей с Р., Модальная Л.,
пер. с англ., М., 1974; Попов П. С., С т я ж к и
н Н. И., Развитие логич.
идей от античности до эпохи Возрождения, М., 1974; Философия в совр. мире.
Философия и Л., М., 1974; Ш е н ф и л д
Д ж. Р., Математич. Л., пер. с англ., М., 1975; Т а к е у т и Г., Теория
доказательств, пер. с англ., М., 1978; Драгалин А.
Г., Математич. интуиционизм. Введение в теорию доказательств, ?., 1979; Крайзель
Г., Исследования по теории
доказательств, пер. с англ., М., 1981; В е г k а К., К г е i s е г L., Logik -
Texte. Kommentierte Auswahl zur Geschichte der
modernen Logik, B., 1971; Risse W., Bibliographie logica, Bd 1-4, Hildesheim -
N. Y., 1965 - 79. M. M. Новосёлов.
ЛОГИКА ВЫСКАЗЫВАНИЙ, логика суждений, пропозициональная логика, раздел совр.
логики,
лежащий в основе большинства её разделов в традиц. их изложении. Осн. объект Л.
в. -
высказывание, являющееся абстракцией от понятия предложения естеств. языка, в
связи с чем Л. в.
наз. иногда логикой предложений. Высказывание - это предложение, рассматриваемое
в отвлечении
от его внутр. (субъектно-предикатной) структуры - исключительно с т. зр. его
возможных истинностных
значений: обычно истины (обозначаемой через "и") или лжи ("л"). Т. о.,
высказывание -
это предложение, о к-ром имеет смысл говорить, что оно истинно или ложно. Из
элементарных
высказывании, относительно к-рых вопрос о присвоении им одного из значений "и"
или "л"
считается заранее решённым, с помощью логических операций (играющих роль союзов
и
аналогичных им конструкций естеств. языка) строятся сложные высказывания
(аналоги сложносочинённых
и сложноподчинённых предложений), значения истинности к-рых
однозначно
определяются истинностными значениями исходных высказываний и определением
данной логич.
операции. В соответствии с "естественной" интерпретацией высказываний и
свойствами логич.
операций, посредством к-рых они построены, нек-рые из полученных т. о. формул Л.
в. оказываются
тождественно-истинными (т. е. истинными при всех распределениях истинностных
значений исходных
элементарных формул); их наз. также тавтологиями. Такие формулы выражают
логические
законы; их выявление - одна из осн. задач Л. в. Фиксировав нек-рые из них в
качестве аксиом с
помощью подходящих правил вывода, получают описание Л. в. в виде исчисления
высказываний.
• Столл Р.Р., Множества. Логика. Аксиоматич. теории, пер. с англ., М., 1968.
ЛОГИКА ДИАЛЕКТИЧЕСКАЯ, см. в ст. Диалектика.
ЛОГИКА КЛАССОВ, раздел логики, в к-ром рассматриваются классы (множества)
предметов,
задаваемые характеристическими свойствами этих предметов (элементов классов). В
совр. логике Л.
к. может пониматься как "алгебра множеств", т. е. интерпретироваться (см.
Интерпретация) как
совокупность закономерностей, к-рым удовлетворяют т. н. теоретико-множеств.
операции:
объединение (сумма), пересечение (произведение) и дополнение множеств, или же
как изоморфная
этой алгебре (см. Изоморфизм и гомоморфизм) логика одноместных предикатов, в
свою очередь
понимаемая как частный случай логики предикатов или как расширение логики
высказываний.
Изоморфизм упомянутых интерпретаций Л. к. обеспечивается взаимнооднозначным
сопоставлением
объектов, рассматриваемых в этих интерпретациях: множествам (классам)
сопоставляются
высказывания о принадлежности к.-л. предмета данному множеству, объединению
множеств -
конъюнкция соответствующих высказываний, пересечению - их дизъюнкция, а
дополнению -
отрицание. Рассматривая модель (реализацию, интерпретацию) Л. к. на предметной
области,
состоящей из одного-единственного элемента, вопрос об истинности или ложности
к.-л. формулы Л.
к. можно свести к вопросу относительно соответствующей формулы логики
высказываний, подобно
к-рой Л. к. оказывается, т. о., разрешимой. Поэтому в совр. логике Л. к,
ЛОГИКА 319
трактуют как одноместный фрагмент логики предикатов, изоморфный логике
высказываний.
* см. к ст. Логика.
ЛОГИКА НАУКИ, в спец. смысле дисциплина, применяющая понятия и технич. аппарат
совр.
формальной логики к анализу систем науч. знания. Термин "Л. н." часто
употребляется также для
обозначения законов развития науки (логика науч. развития), правил и процедур
науч. исследования
(логика исследования), учения о психологич. и методологич. предпосылках науч.
открытий (логика
науч. открытия).
Л. н. как спец. дисциплина начала развиваться в сер. 19 в. и окончательно
оформилась в 1-й четв. 20
в. под влиянием идей Фреге, Рассела и Витгенштейна. В 30-х гг. интенсивно Л. н.
занимались
участники Венского кружка, а также др. философы, естествоиспытатели и математики
(К. Поппер, В.
Дубислав, X. Рей-хенбах и др.). Т. к. в подавляющем большинстве они стояли на
позициях
неопозитивизма, то на протяжении многих лет было широко распространено мнение,
что Л. н.
является специфически позитивистским подходом к филос. и методологич. анализу
науч. знания. Однако
в действительности неопозитивистская интерпретация Л. н. представляет собой
частный
вариант её филос. истолкования, в значит. степени преодоленный уже к кон. 50-х -
нач. 60-х гг. За
рубежом исследования по Л. н. ведутся преим. в рамках аналитич. философии,
критич. рационализма
и феноменологии, распространяясь не только на естествознание, но и на область
обществ. наук,
этики и теории познания.
В разработке совр. Л. н. активное участие принимают философы и логики, стоящие
на позициях диалектич.
материализма. В их работах центр. место занимают логич. анализ систем
науч. знания,
исследования по индуктивной логике, логич. структуре теоретич. и эмпирич. знания
естеств. и
обществ. наук.
Круг осн. проблем Л. н. охватывает: 1) изучение логич. структур науч. теорий; 2)
изучение
построения искусств. (формализованных) языков науки; 3) исследование различных
видов
дедуктивных (см. Дедукция) и индуктивных (см. Индукция) выводов, применяемых в
естеств.,
социальных и технич. науках; 4) анализ формальных структур исходных и
производных науч.
понятий и определений; 5) рассмотрение и совершенствование логич. структуры
исследоват.
процедур и опе-раций и разработка логич. критериев их эвристич. эффективности;
6) исследование
логико-гносеологич. и логико-методологич. содержания процессов абстрагирования,
объяснения,
предвидения, экстраполяции и редукции науч. теорий, наиболее часто применяемых
во всех сферах
науч. деятельности.
Важным средством логич. анализа систем науч. знания является применение методов
формализации.
Преимущество метода формализации заключается в том, что он позволяет выявить
логич. связи и
отношения и точно фиксирует правила, гарантирующие получение достоверных знаний
из исходных
посылок данной теории, выступающих после определ. логич. обработки в качестве
аксиом
рассматриваемого формализма. В случае дедуктивных теорий речь идёт о правилах
необходимого
следования. Дедуктивное построение теории чаще всего встречается в математике,
теоретич. физике,
теоретич. биологии и в нек-рых др. науч. дисциплинах. Правила индуктивных теорий
характеризуют
различные формы вероятностного следования. Индуктивные теории характерны для
большинства
эмпирич. наук, в к-рых возникают ситуации неопределённости, связанные с
неполнотой информации
о связях, свойствах и отношениях исследуемых объектов.
Создание формализованных систем позволяет исследовать ряд важнейших логич.
свойств содержат.
тео320
ЛОГИКА
рий, отображённых в данном формализме. К ним прежде всего относятся
непротиворечивость,
полнота и независимость исходных постулатов данной теории.
Обнаружение общности логич. структур различных в содержат. смысле науч. теорий
открывает
большие возможности для перенесения идей и методов одной теории в область
другой, для
обоснования возможности сведения одной теории к другой и выявления их общих
понятийных и
методологич. предпосылок. Это важно для унификации и упрощения систем науч.
знания, особенно в
условиях быстрого возникновения и развития новых науч. дисциплин.
Особое место в Л. н. занимают проблемы, связанные с эмпирич. обоснованием и
проверкой естеств.-
науч. и социальных теорий и гипотез. Интенсивные исследования в этой области
показали
несостоятельность раннего неопозитивистского принципа полной верифицируемости
(см.
Верификация), так же как и критерия фальсифицируемости (см. Фальсификация).
Затруднения,
возникшие в неопозитивистской Л. н., привлекли внимание мн. логиков и философов
к проблеме
связи и взаимодействия логич. структур со структурами предметноэкспериментальной
практич.
деятельности, что обусловило целый ряд новых подходов к Л. н. Этим в значит.
степени объясняется
наметившийся среди зарубежных логиков интерес к принципам теории познания
диалектич.
материализма.
Особый интерес приобретают исследования по логич. семантике, посвящённые
изучению смыслов и
значений теоретич. и эмпирич. терминов в языках различ. наук. Обнаружение того,
что теоретич.
предикаты, с помощью к-рых выражаются понятия и формулируются законы определ.
науч. теорий,
не сводятся исчерпывающим образом к предикатам наблюдения, фиксирующим
результаты
непосредств. науч. наблюдений и экспериментов, выдвинуло целый ряд сложных
проблем.
Важнейшими среди них являются проблемы логич. анализа словарей разл. наук,
правил перевода
языка теории на язык наблюдений, исследования взаимодействия и соотношения
естеств. и искусств.
языков и т. д. В связи с этим особую важность приобретают работы по изучению
семантики таких
терминов, как "система", "структура", "модель", "измерение", "вероятность",
"факт", "теория" и т.
д. Многозначность и различные способы их употребления, обнаружившиеся в связи с
быстрым
развитием кибернетики, структурной лингвистики, теории систем и т. п., делают
логикометодологич.
анализ необходимой предпосылкой эвристич. использования подобных
понятий.
Последний период (с кон. 50-х гг.) был переломным для развития Л. н. не только
вследствие
осознания принципиальной ограниченности её неопозитивистской интерпретации, но
также и в силу
того, что в этот период были сделаны наиболее значит. шаги для распространения
идей и методов
логич. анализа на область социальных наук.
• Проблемы логики науч. познания, М., 1964; Логика науч. исследования, М., 1965;
? ? п о в и ч М. В., О филос. анализе
языка науки, К., 1966; Копнин П. В., Логич. основы науки, К., 1968; Ракитов А.
И., Анатомия науч. знания. (Популярное
введение в логику и методологию науки), М., 1969; его ж е, Курс лекций по Л. н.,
М., 1971; его же, Филос. проблемы
науки, М., 1977; Логико-филос. анализ понятийного аппарата науки, К., 1977;
Логич. проблемы исследования науч.
познания. Семантич. анализ языка. Сб. ст., М., 1980; Smart H. R., The logic of
science, N. ?.- L., 1931; Northrop F. S. С.,
The logic of the sciences and the humanities, N. Y., 1948; Popper K. R., The
logic of scientific discovery, N. Y.-L., 1959;
Harre R., An introduction to the logic of the sciences, L. - N. Y., 1966; Durbin
P. R., Logic and scientific inquiry, Milwaukee,
1968; Agassi J., The logic of scientific inquiry "Synthese", 1974, v. 26, № 3-4,
p. 498-514; Hesse М. В., The structure of
scientific inference, Berk.- Los Ang., 1974; Trusted J., The logic of scientific
interference. An introduction, L.- Basingstoke,
1979. А. И. Pакиmoв.
ЛОГИКА ОТНОШЕНИЙ, раздел логики, посвящённый изучению отношений между
объектами
различной природы. Эти отношения выражаются сказуемыми и аналогичными им
словами
в
предложениях естеств. языков.
В зависимости от числа объектов, связанных данным отношением, говорят о
двуместных
(двучленных, бинарных
...Поділитися у соцмережах
