ЛОГИКА КОМБИНАТОРНАЯ


ЛОГИКА КОМБИНАТОРНАЯ
одно из направлений логики, занимающихся ее основаниями, т.е. такими осн. понятиями и методами, к-рые при построении формальных логич. систем или исчислений предполагаются обычно не нуждающимися в пояснениях (содержательно понятными) и не анализируются. Особое внимание уделяется при этом понятиям переменной, функции, множества, различению типов переменных (предметные, предикатные, пропозициональные и др.), правилу подстановки, логич. антиномиям.
В системах математической логики (призванных формализовать логич. выводы) правила вывода, хотя и формулируются содержательно, но, по идее, должны быть вполне доступны для одноактного автоматич. выполнения. Нек-рые из них, вроде известного modus ponens, позволяющего из выведенных уже формул А и (A ? B) вывести формулу В, представляются непосредственно удовлетво-ряющими этому требованию. В др. случаях, прежде всего для правила подстановки (особенно на место предикатных переменных), формулировка правила настолько сложна (требует введения ряда новых терминов, проверки выполнения или невыполнения трудно формулируемых условий), что даже квалифицированному специалисту бывает нелегко решить вопрос о ее корректности. Выполнить такое правило поэтому во многих случаях отнюдь не просто. В Л. к. правило подстановки сводится к цепочке правил, не более сложных, чем modus ponens. Анализ выявляет трудности и в др. упомянутых выше понятиях, формализацией (или устранением) к-рых и занимается Л. к.
История Л. к. начинается с труда сов. математика М. И. Шейнфинкеля "О кирпичах матем. логики" [(М. Schonfinkel, Uber die Bausteine der mathematischen Logik, "Math. Ann.", 1924, Bd 92); краткое пояснение смысла исходных функций Шейнфинкеля имеется в статье С. А. Яновской "Основания математики и математическая логика" (см. сб. "Математика в СССР за тридцать лет 1917–1947", 1948, с. 31–33) ], положившего в основу логики нек-рые три индивидуальные функции С, S, U (рассматриваемые как особые предметы, отличные от значений функций) и одну операцию: приложения функции к аргументу (к-рым может быть и функция), обозначаемую только тем, что знак аргумента ставится непосредственно за знаком функции. Функции от n аргументов (n-местные функции) сводятся Шейнфинкелем к функциям от одного аргумента (к одноместным функциям). Задание же последних не предполагает у него (в отличие от того, как это принято в т.н. классич. математике) предварит, задания множеств значений аргументов и значений функции. Понятие функции оказывается, т.о., независимым от понятия множества, с к-рым связаны большие трудности (см. Парадокс). Шейнфинкель полагал, что введенных им функций С, S, U достаточно для представления любых выражений математич. логики (в т.ч. и содержащих кванторы "все" и "существует") в виде слов в алфавите, состоящем только из трех латинских букв С, S, U и скобок. Выражения логики должны были сводиться, т.о., к комбинациям (с повторениями) из букв С, S, U (и скобок), откуда и название "Л. к." (предложенное в 1930 X. Кёрри). Употребление же переменных должно было быть вообще исключено из логики.
Чтобы показать на простом примере, как это делается, рассмотрим комбинатор А такой, что Аху=х+у, и комбинатор С такой, что Cfxy=fyx; [приложение комбинатора А к аргументам х, у дает х+у; приложение комбинатора С к f(х, у) дает f(y, x) – в более обычных обозначениях ]. Сумму у +х в таком случае можно выразить как С Аху. Тождество х+у = у+х выражается при этом в виде Аху=САху. И если (как это делается обычно в математике) трактовать тождественное равенство f(х1, хп) = g(x1,..., хп) как другое выражение для того, что f=g (т.е. считать, что функции f и g, относящие обе одни и те же объекты к одним и тем же значениям аргументов, отождествляются нами), то другим выражением для тождества х+у=у+х будет А=CA – формула, не содержащая переменных.
Как показало дальнейшее развитие идей Шейнфинкеля, их осуществление – в применении к той части Л. к., к-рая призвана была заменить уже и оперирование с кванторами, – оказалось отнюдь не столь простым, как это представлялось их автору, и потребовало дальнейших исследований. Среди последних выделяются прежде всего работы Кёрри. Первые работы Кёрри по Л. к. появились в 1929–30. В них он пользовался системой исходных функций ("комбинаторов"), отличной от введенной Шейнфинкелем, а также разработал технику вывода для Л. к., к-рой не было у Шейнфинкеля. Непротиворечивость той части системы Л. к., в к-рой еще нет аналога для кванторов (т.н. "чистой" Л. к.), также была доказана в этих работах Кёрри. В это же время Чёрчем было разработано его исчисление ?-конверсии, в к-ром были получены первые в истории науки доказательства неразрешимости нек-рых массовых проблем (см. Алгоритм, Разрешения проблемы). В диссертации "Математическая логика без переменных" (J. В. Rosser, A mathematical logic without variables, 1935) амер. математик Россер показал эквивалентность Л. к. и исчисления ?-конверсии. В том же 1935 Клини и Россер обнаружили противоречие в первоначальной системе Чёрча, к-рое, т.о., оказалось имеющим место и в применении к Л. к.: не к "чистой", а к "заключительной" (illative), включающей импликацию и аналоги для кванторов. Чтобы избежать этого противоречия, "заключительную" Л. к. приходится строить либо как неклассическую, либо как содержащую предметы разных (не сводимых друг к другу) категорий (что и было сделано Кёрри). В логику приходится, т.о., включать нек-рые сведения о предметах (о существовании разных категорий предметов и, следовательно, о нек-рых специфич. свойствах их), к-рые естественно относить уже к области онтологии или еще более конкретных наук, изучающих специфицированные предметы. В развитии Л. к., т.о., полностью подтверждаются принципы, ясные с т. зр. материалистич. диалектики: о неотделимости логики от онтологии, о роли противоречия в развитии науки, о способах "снятия" противоречия с помощью большей конкретизации исследуемых предметов и др.
Поскольку в Л. к. исходным является понятие функции, а не множества, естественно, встает задача построить теорию множеств, исходя из Л. к. Такие попытки предприняли Кёрри в 1934 (опубликовано только резюме его работы) и Коген (1955), в работе к-рого (она посвящена обоснованию средствами Л. к. системы аксиом Гёделя для теории множеств) нем. математик Титгемейер обнаружил, однако, противоречие, свидетельствующее о том, что попытка Когена не удалась. В 1952 Кёрри предложил использовать Л. к. при составлении программ для вычислит. машин.
Лит.: Curry H., An analysis of logical substitution, "Amer. J. Math.", 1929, v. 51, p. 363–84; его же, Grundlagen der kombinatorischen Logik, там же, 1930, v. 52, p. 509–36; 789–834; его же, Foundations of the theory of abstract sets from the standpoint of combinatory logic, "Bull. Amer. Math. Soc.", 1934, v. 40, No 9, p. 654; eго же, The logic of program composition, в кн.: Applications scientifiques de la logique mathematique. Actes du 2-е colloque international de logique mathematique, Paris, 22–30 aout 1952, P. – Louvain, 1954, p. 97–102; Кleene S. С. and Rosser J. В., The inconsistency of certain formal logics, "Annales Mathem.", 1935, v. 36, ser. 2, p. 630–36; Cogan E. J., A formalization of the theory of sets from the point of view of combinatory logic, "Z. math. Logik und Grundlagen Math.", 1955, Bd 1, H. 3, S. 198–240; Curry H. and Feys R., Combinatory logic, v. 1, Amst., 1958 (имеется библиогр.); Titgemeyer R., Uber einen Widerspruch in Cogans Darstellung der Mengenlehre, "Z. math. Logik und Grundl. Math.", 1961, Bd 7, H. 3.
С. Яновская. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


Просмотров: 849
Категория: Словари и энциклопедии » Философия » Философская энциклопедия





Другие новости по теме:

  • "ЧТО ДЕЛАТЬ?"
  • “ИДЕИ К ФИЛОСОФИИ ПРИРОДЫ КАК ВВЕДЕНИЕ В ИЗУЧЕНИЕ ЭТОЙ НАУКИ”
  • “НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ”
  • “О НЕОБХОДИМОСТИ И ВОЗМОЖНОСТИ НОВЫХ НАЧАЛ ДЛЯ ФИЛОСОФИИ”
  • “ЧТО ТАКОЕ ФИЛОСОФИЯ?”
  • «НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ»
  • «СУМЕРКИ ИДОЛОВ, или Как философствуют молотом»
  • «ЧТО ДЕЛАТЬ»
  • «ЧТО ТАКОЕ ДРУЗЬЯ НАРОДА И КАК ОНИ ВОЮЮТ ПРОТИВ СОЦИАЛДЕМОКРАТОВ»
  • Богослужебные функции
  • Где это было?
  • ЕВРОПЕЙСКАЯ ФИЛОСОФИЯ ведет начало с греков, которые не только овладели с помощью уже существовавшего до них мышления новыми предметами
  • знание-как и знание-что
  • История как проблема логики
  • Как делать вещи при помощи слов
  • Конференция Для Священнослужителей Разных Вероисповеданий
  • НОВЫЙ ОРГАНОН, ИЛИ ИСТИННЫЕ УКАЗАНИЯ ДЛЯ ИСТОЛКОВАНИЯ ПРИРОДЫ
  • Новый органон, или Истинные указания для истолкования природы
  • Откуда пошел, как был организован и защищен мир
  • Резюме как жанр официально-делового стиля
  • СМИРЕНИЕ, покорность-добродетель, которая может возникнуть от сознания, что совершенство
  • Такие подростки, как правило, зависимы от своих родителей и для них характерны социальная и психологическая незрелость и социальная изоляция.
  • ТРОН Некоторые астрологи, более склонные к преувеличению, чем к точному соответствию и ясности, говорят о планете на троне, если она находится в знаке, которым управляет. В более древнем и более логичном варианте это планета, расположенная в той част
  • Фрейм как если бы
  • Фрейм как если бы
  • Функции иммунной системы (immunological functioning)
  • Функции языка
  • ЧЕЛОВЕК ДЛЯ СЕБЯ. ИССЛЕДОВАНИЕ ПСИХОЛОГИЧЕСКИХ ПРОБЛЕМ ЭТИКИ
  • Что значит быть летучей мышью?
  • ЧТО ТАКОЕ ФИЛОСОФИЯ?



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

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







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь