Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/academicru/academicru_news.php on line 46 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/academicru/academicru_news.php on line 47 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/academicru/academicru_news.php on line 49 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/academicru/academicru_news.php on line 50 интуиционистская логика



интуиционистская логика


интуиционистская логика
одна из наиболее важных ветвей логики неклассической, имеющая своей философской предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил. Только в 1930 г. голландский математик и логик А. Гейтинг - ученик создателя интуиционизма Л. Брауэра - дал аксиоматическую формулировку И. л., подчеркнув, что "интуиционизм развивается независимо от формализации, которая может идти только по следам математической конструкции". В И. л. не действует закон исключенного третьего, а также ряд других законов логики классической, позволяющих доказывать существование объектов, которые невозможно реализовать или вычислить. В числе таких законов - закон (снятия) двойного отрицания и закон приведения к абсурду.
Отбрасывание закона исключенного третьего не означает принятия отрицания этого закона; напротив, И. л. утверждает, что отрицание отрицания этого закона (его двойное отрицание) является верным. Отбрасывание не должно пониматься также как введение какого-то третьего истинностного значения, промежуточного между истиной и ложью.
В классической логике центральную роль играет понятие истины. На его основе определяются логические связки, позволяющие строить сложные высказывания. В И. л. смысл связок задается путем указания тех необходимых и достаточных условий, при которых может утверждаться сложное высказывание.
Если р и q - некоторые высказывания, то их конъюнкцию (р и q) можно утверждать, только если можно утверждать как р, так и q. Дизъюнкцию (р или q) можно утверждать тогда и только тогда, когда можно утверждать хотя бы одно из высказываний р и q. Математическое высказывание р можно утверждать только после проведения некоторого математического построения с определенными свойствами; соответственно отрицание р можно утверждать, если
и только если имеется построение, приводящее к противоречию предположение о том, что построение р выполнено. Понятие противоречия здесь принимается в качестве неопределяемого, практически противоречие всегда можно привести к форме 1 = 2. Импликацию (если р, то q) можно утверждать, только если имеется такое построение, которое, будучи объединено с построением р, автоматически дает построение q.
Интуиционистское понимание логических связок таково, что из доказательства истинности высказывания всегда можно извлечь способ построения объектов, существование которых утверждается.
И. л. является единственной из неклассических логик, в рамках которой производилась достаточно последовательная и глубокая разработка многих разделов математики. Эта логика позволяет тонко и точно исследовать трудный и важный вопрос о характере существования объектов, исследуемых в математике.
Идеи, касающиеся ограниченной приложимости законов исключенного третьего, снятия двойного отрицания, редукции к абсурду и связанных с ними способов математического доказательства, разрабатывались рус. математиками А. Н. Колмогоровым (1903-1985), В. И. Гливенко (1897-1910), А. А. Марковым (1903-1979), Н. А. Шаниным (р. 1919) и др. В результате критического переосмысления основных принципов И.л. возникла конструктивная логика, также считающая неправильным перенос ряда логических принципов, применимых в рассуждениях о конечных множествах, на область бесконечных множеств.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.


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





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

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



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

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






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

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







    Locations of visitors to this page



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