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/nes/nes_news.php on line 48 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/nes/nes_news.php on line 49 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/nes/nes_news.php on line 51 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/nes/nes_news.php on line 52 ВЫВОД ЛОГИЧЕСКИЙ



ВЫВОД ЛОГИЧЕСКИЙ

—рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности) следующие требования: 1) правила перехода должны воспроизводить отношение следования логического (ту или иную его разновидность); 2) переходы в логическом выводе должны осуществляться на основе учета только синтаксических характеристик высказываний или систем высказываний.

В ряде случаев логический вывод определяется так, что на использование некоторых правил накладываются ограничения. Напр., в аксиоматических исчислениях, являющихся вариантами классической логики предикатов первого порядка и содержащих среди правил вывода только модус поненс  и правило обобщения, логический вывод часто определяется так, что на использование правила обобщения накладывается ограничение: любое применение правилам обобщения в таково, что переменная, по которой ироввдитея обобюение в этом применении правила обобщения, не входит ни в одну посылку, предшествующую в нижней формуле этого применения правила обобщения. Цель этого ограничения обеспечить ряд полезных с точки зрения логики свойств вывода (напр., выполнение для простых форм дедукции теоремы). Существуют определения логического вывода (как для аксиоматических, так и для исчислений других типов), которые (1) задают логический вывод не только из множества посылок, но допускают другие формы организации посылок (напр., списки или последовательности), (2) структурируют вывод не только линейно, но, напр., в форме дерева, (3) имеют явно выраженный индуктивный характер; при этом индуктивное определение  вывода может вестись как по одной переменной (напр., по длине вывода), так и по нескольким переменньм (напр., по длине логического вывода и по числу его посылок), (4) содержат формализацию зависимости между формулами в логическом выводе, и многие другие определения логического вывода, обусловленные иными способами формализации и аксиоматизации классических и неклассических систем логики. О некоторых из них см. в ст. Аналитических таблиц метод. Семиотика, Исчисление секвенций.

В. М. Попов

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




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

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



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

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






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

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







    Locations of visitors to this page



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