конструктивная логика


конструктивная логика
        КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio — построение) — совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные процессы (описываемые алгоритмами), при рассмотрении которых применяется абстракция потенциальной, но не актуальной бесконечности, что накладывает определенные ограничения на понимание логических связок и кванторов.
        Напр., дизъюнкция высказываний «А или В» считается обоснованной, если потенциально осуществим конструктивный процесс, позволяющий выбрать верный дизъюнктивный член этой дизъюнкции. Близко к пониманию дизъюнкции истолкование квантора существования: утверждение «Существует такой х, для которого справедливо условие А» считается обоснованным, если потенциально осуществим конструктивный процесс подбора конструктивного объекта х, подтверждающего условие А. Обоснование конъюнкции «А и В» состоит в обосновании обоих конъюнктивных членов, а утверждение «Для всякого х справедливо условие А» считается обоснованным, если мы в состоянии для всякого объекта рассматриваемого вида доказать, что он удовлетворяет условию А. Обоснование импликации «если А, то В» состоит в предъявлении алгоритма, по обоснованию утверждения А строящего обоснование В. Отрицание утверждения А обосновывается предъявлением алгоритма, приводящего к противоречию всякую попытку обоснования А.
        Только что указанное конструктивное истолкование логических связок и кванторов допускает различные уточнения. Отличие К.л. от классической логики проявляется в том, что в К. л. отсутствуют практически все варианты форм рассуждений «от противного» — ->-ip -> р, (-ip - -iq) -> (q - р) и др.; отсутствуют также варианты закона исключенного третьего — р v -ip, -ip v — i— ip. В К. л. связки не выражаются друг через друга, нет классической взаимовыразимости кванторов всеобщности и существования. Не признаются доказательства так называемых чистых теорем существования, которые на самом деле имеют вид -i-i3xA(x), а не ЭхА(х); они не дают конкретного х, подтверждающего справедливость А. Многими представителями конструктивизма (в отличие от приверженцев интуиционизма) принимается принцип конструктивного подбора (или принцип Маркова): Vx(A(x) v -A(x)) & -i-i3xA(x) -> ЗхА(х). Построены погружения классических логических систем в конструктивные, что позволяет рассматривать последние как конструктивные уточнения классически установленных фактов.
        Отличительной чертой многих систем К. л. и построенных на их основе теорий являются свойство дизъюнкции — если выводима некоторая дизъюнкция: то выводим и некоторый ее дизъюнктивный член; и близкое к нему экзистенциальное свойство: из доказательства существования конструктивного объекта с требуемыми свойствами можно извлечь конструкцию его построения. Среди семантических построений, отражающих конструктивное понимание логических связок, формуЛит.д., наиболее известными являются рекурсивная реализуемость по С.К. Клини и ее варианты, а также разработанная Н.А. Шаниным мажорантная семантика арифметических формул и ступенчатая система А.А. Маркова построения логических языков с одновременным определением их семантики.
        А.В. Чагров
        Лит.: Новиков П.С. Конструктивная математическая логика с точки зрения классической. М., 1977; Справочная книга по математической логике. Ч. I V. Теория доказательств и конструктивная математика. М., 1983; Марков А.А., Нагорный Н.М. Теория алгорифмов. М., 1984.

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.


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





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

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



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

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






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

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







    Locations of visitors to this page



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