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 ДЕДУКТИВНАЯ ЛОГИКА



ДЕДУКТИВНАЯ ЛОГИКА


ДЕДУКТИВНАЯ ЛОГИКА
    ДЕДУКТИВНАЯ ЛОГИКА — раздел логики, в котором изучаются способы рассуждения, гарантирующие истинность заключения при истинности посылок. Дедуктивная логика иногда отождествляется с формальной логикой. Вне пределов дедуктивной логики находятся т. н. правдоподобные рассуждения и индуктивные методы. В ней исследуются способы рассуждений со стандартными, типовыми высказываниями; эти способы оформляются в виде логических систем, или исчислений. Исторически первой системой дедуктивной логики была силлогистика Аристотеля. В свою очередь стоики первыми предприняли попытки построения дедуктивной логики в виде логики высказываний. Г. Фреге и Ч. Пирс расширили область этой логики — в качестве типовых высказываний стали рассматриваться высказывания об отношениях и были введены кванторы. Наиболее важной системой дедуктивной логики является классическая логика предикатов первого порядка. В рамках этой системы отношение логического следования может быть полностью формализовано, и способы рассуждений могут быть описаны чисто синтаксически (см. Логика предикатов). Были построены также второпорядковая логика предикатов и системы более высоких порядков. Однако, согласно теореме Геделя, отношение логического следования вторпорядковой логики предикатов в принципе неформализуемо. В настоящее время интенсивно изучаются системы дедуктивной логики, лежащие между первопорядковой и второпорядковой логиками, системы с обобщенными кванторами, с эпсилон-символом и др., а также системы с нефинитными правилами (типа правила бесконечной индукции).
    Стремление учесть в рассуждениях специфику познаваемых объектов, фактор роста и накопления знания, неопределенность понятия истинности высказываний, возможность мыслить противоречивые объекты и ситуации привели к построению различных систем т. н. (дедуктивных) неклассических логик: интуиционистской, модальной, многозначной, релевантной, паранепротиворечивой и др. Стали исследоваться логические системы с истинностными провалами и пресыщенными истинностными оценками. При этом широкое применение находят'различные семантические методы, напр., теория моделей, семантика возможных миров (см. Возможных миров семантика), операционная семантика и т. д., а также разнообразные синтаксические методы: аксиоматические исчисления, .натуральный вывод, исчисления секвенций, аналитические таблицы и др. В ряде неклассических систем дедуктивной логики учитываются и прагматические аспекты рассуждений.
    В дедуктивной логике исследуются способы не только рассуждений, но и введения понятий (напр., процедуры определения}, а также методы и процедуры поиска доказательств. В последнее время на базе неклассической дедуктивной логики интенсивно развиваются т. н. динамические логики и логики программирования, ориентированные на проблемы компьютерных наук. Кроме того, разрабатываются логики действий, норм, императивов и предпочтений, ориентированные не только на проблемы искусственного интеллекта, но и на применение в области этики и права (см. Деонтическая логика).
    Дедуктивная логика едина, а многообразие ее систем определяется тем, что по частям исследуются способы рассуждений, основанные на различных типах высказываний и применяемые в различных контекстах. В разных системах применяются различные формализованные языки, принимаются более или менее сильные абстракции и идеализации, учитываются или не учитываются различные характеристики знания. В дедуктивной логике исследуются также ее взаимоотношения с различными другими (недедуктивными) логическими системами и дается их семантико-эпистемологическое обоснование.
    П. И. Быстрое

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


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





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

  • "НАУКА ЛОГИКИ"
  • “НАУКА ЛОГИКИ”
  • “СИСТЕМА ЛОГИКИ СИЛЛОГИСТИЧЕСКОЙ И ИНДУКТИВНОЙ”
  • «НАУКА ЛОГИКИ»
  • АЛГЕБРА ЛОГИКИ
  • История как проблема логики
  • ЛОГИКА ВЫСКАЗЫВАНИЙ
  • ЛОГИКА ДЕДУКТИВНАЯ
  • ЛОГИКА ПРЕДИКАТОВ
  • ЛОГИКИ-СОФИСТЫ
  • МНОГОЗНАЧНЫЕ ЛОГИКИ
  • НАУКА ЛОГИКИ
  • НЕКЛАССИЧЕСКИЕ ЛОГИКИ
  • Наука логики
  • О природе логики
  • Система логики силлогистической и индуктивной
  • Способы совершения суицидальных действий
  • Сумма логики
  • Философия логики
  • алгебра логики
  • закон логики
  • логика (формальная логика)
  • логика высказываний
  • логика высказываний
  • логика дедуктивная
  • логика научного познания (логика науки)
  • логика предикатов
  • логика предикатов
  • неклассические логики
  • язык логики



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

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






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

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







    Locations of visitors to this page



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