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


ПОЛНОТА ДЕДУКТИВНАЯ
свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек-рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной модификации понятия П. д. (эти различные модификации обозначают различными терминами, прямо или косвенно указывающими на выбранный критерий, так что эпитет "дедуктивная" при характеристике родового понятия полноты, как правило, опускают, поскольку нет опасности смешения с др. понятиями, в частности с понятием полноты функциональной). Содержательным критериям П. д. может быть придана как положительная, так и отрицательная форма. В первом случае имеется в виду, что система полна, если ее постулаты (правила преобразования) дают все, что нужно для нек-рой цели. Если, напр., задано нек-рое свойство формул рассматриваемой системы (или к.-л. их интерпретация), то система наз. полной по отношению к данному свойству (или и н т е р п р е т а ц и и), если все формулы, обладающие данным свойством (или соответственно выражающие предложения, истинные при данной интерпретации), доказуемы в этой системе. Отрицательные формулировки критериев полноты указывают на нек-рый нежелательный результат, к-рый наступает, если к полной системе формул присоединить недоказуемую в этой системе формулу. Простейшим примером такого нежелательного результата может служить противоречивость расширенной таким путем системы.
Поскольку указанные критерии П. д. связаны с нек-рыми с е м а н т и ч е с к и м и понятиями (истинностью, интерпретациями и т.п.), получающиеся на их основе понятия также носят семантич. характер. Однако в ряде случаев такого рода критериям удается придать чисто с и н т а к с и ч е с к у ю (см. Синтаксис в логике) формулировку и, т.о., перейти от понятия семантич. полноты к т.н. формальной ("синтаксич.") полноте. Примером понятия формальной полноты может служить уже упомянутое свойство формальной системы, заключающееся в том, что присоединение к ней недоказуемой в ней формулы этой системы в качестве аксиомы (или – если первоначальная система строилась с помощью схем аксиом – в качестве схемы аксиом) нарушает ее (простую) непротиворечивость. Это, вообще говоря, более сильное по сравнению со свойством полноты о т н о с и т е л ь н о (тождественной) и с т и н -н о с т и (к-рую часто наз. полнотой в ш и р о к о м с м ы с л е) понятие наз. также полнотой в узком смысле, или абсолютной полнотой. [Если же в этом случае непротиворечивость понимается в смысле определения Э. Поста (1921; тогда же им была установлена П. д. исчисления высказываний), т.е. как недоказуемость ф-лы f (где f – пропозициональная переменная), то приходят к понятию полноты в с м ы с л е П о с т а.]
Понятие П. д. носит существенно различный характер для разных категорий формальных систем. Если, напр., понятие П. д. (в широком смысле) для исчисления высказываний может быть охарактеризовано как синтаксич. понятие в т.н. финитных терминах (см. Метатеория), то для предикатов исчисления соответствующее понятие полноты о т н о с и т е л ь н о п р о и з в о л ь н о й интерпретаци и пред- метной области оказывается уже существенно неконструктивным (не выражаемым в терминах финитизма), так что установление П. д. в широком смысле для исчисления предикатов (К. Гёдель, 1930) выходит за рамки метаматематики в гильбертовском смысле. (В узком смысле исчисление предикатов неполно.)
Для прикладных логико-матем. исчислений [т.е. для систем, содержащих предметные и (или) предикатные константы], напр. для формальной арифметики, вводится понятие т.н. п р о с т о й полноты: система наз. просто полной, если каждая ее замкнутая формула является формально разрешимой (т.е. доказуемой или опровержимой – см. Неразрешимая формула), и просто неполной в противном случае. Если такая система непротиворечива по отношению к к.-н. интерпретации, то ее простая полнота и полнота по отношению к данной интерпретации являются эквивалентными понятиями. Если любое непротиворечивое усиление (расширение) формальной системы (т.е. система с тем же алфавитом и правилами образования формул, в к-рой доказуема всякая формула исходной системы) (просто) неполно, то такая система наз. непополнимо й. Непополнимость аксиоматич. арифметики, доказанная К. Гёделем, – один из принципиальнейших результатов в области оснований математики, установивший пределы возможности как гильбертовской концепции формализации математики, так и метода формализации вообще (о его гносеологич. значении см. Метод аксиоматический, Метатеория, Формализация).
Наряду с упомянутыми понятиями П. д. и их многочисл. модификациями в математической логике большую роль играет понятие т.н. ? - п о л н о т ы (А. Тарский, 1933). Формальная система, среди термов к-рой имеются обозначения для натуральных чисел, наз. ?-полной, если для каждой ее формулы ?(x) со свободной переменной х из доказуемости всех формул ?(0), ?(1), ?(2), ... следует доказуемость формулы ?х?(х); в противном случае система наз. ?-неполной. Понятие ?-полноты существенно сильнее понятия (простой) полноты: существуют полные, но ?-неполные системы. Разумеется, присоединение к системе "нефинитного" правила бесконечной индукции в качестве постулированного правила вывода приводит к эквивалентности понятий полноты и ?-полноты.
Понятие формальной полноты для т.н. элементарных теорий, т.е. для теорий, основанных на исчислении предикатов первого порядка с равенством и включающих конечное число аксиом, совпадает с понятием категоричности (см. Категоричность системы аксиом): все модели полной элементарной теории изоморфны (см. Изоморфизм).
Различные варианты понятия полноты определяются также для отд. классов формул, в т.ч. специально для систем постулатов (нелогич. аксиом).
См. также Полнота, Предикатов исчисление.
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 29, 37, 42, 72 (есть библ.); Чёрч ?., Введение в математическую логику, пер. с англ., т. 1, М., 1960, §18, 32, 54, 55 (есть библ.); Новиков П. С., Элементы математической логики, М., 1959, гл. 2, § 10, гл. 3, § 7, гл. 4, §6, 17, 19; ?ренкель ?., Бар-Хиллел И., Основания теории множеств, пер. с англ., М., 1966, гл. 5, § 4 (есть библ.); Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947, гл. 1, § 13, гл. 3, § 10; Гудстейн Р. Л., Математическая логика, пер. с англ., М., 1961, гл. 1, 2, 4.
Ю. Гастев. Москва.

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


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





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

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



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

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






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

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







    Locations of visitors to this page



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