(в логике и дедуктивных науках) — логико-методологическое требование, предъявляемое к аксиоматической теории и характеризующее достаточность для определенных целей ее выразительных и дедуктивных средств. Аксиоматическая система является полной, если все ее формулы, истинные при рассматриваемой интерпретации, доказуемы. Полная система содержит все возможные теоремы, не противоречащие интерпретации. Для уточнения семантического понимания П. может быть выдвинуто требование, чтобы либо само предложение, либо его отрицание было теоремой, т. е. чтобы предложение было или доказуемо, или опровержимо. А 1931 г. К. Гёдель показал, что достаточно богатые аксиоматические системы (включающие арифметику натуральных чисел) в принципе не могут быть полными: в них имеются предложения, которые не могут быть ни доказаны ни опровергнуты. Требование П. не является необходимым; неполные аксиоматические системы могут представлять и теоретический, и практический интерес.
Если Вы искали другое значение слова/фразы Полнота, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Полнота ищут определения этих слов:
Переменная — - а) П. величина, которая может принимать в процессе своего изменения различные значения; б) неопределенное имя предмета из некоторой области значений этой П., вместо которого могут подставляться имена предметов этой области. П. величина...
Порочный Круг — — логическая ошибка в определении понятий и в доказательстве, суть которой заключается в том, что некоторое понятие определяется с помощью другого понятия, которое в свою очередь определяется через первое, или некоторый тезис доказывается с...
Принцип Однозначности — - один из трех основных принципов теории отношения именования (обозначения). Согласно П.о. всякое выражение (имя) должно иметь только один денотат, т. е. обозначать только один предмет, класс предметов или свойство. П.о. исключает омонимию, т. е....
Полемика — - разновидность спора, отличающаяся тем, что основные усилия спорящих сторон направлены на утверждение своей точки зрения по обсуждаемому вопросу. Наряду с дискуссией, П. является одной из наиболее распространенных форм спора. С дискуссией ее...
Предметная Область — или: Универсум рассуждения, область теории, — множество объектов, рассматриваемых в пределах отдельного рассуждения, научной теории. П. о. включает прежде всего индивиды, т. е. элементарные объекты, изучаемые теорией, а также свойства, отношения...
Понятие — - общее имя, имеющее относительно ясное и устойчивое содержание и сравнительно четко очерченный объем. П. являются, напр., «дом», «квадрат», «молекула», «кислород», «атом», «любовь», «бесконечный ряд» и т. п. Отчетливой границы между теми...
Понимание — — универсальная операция мышления, связанная с усвоением нового содержания, включением его в систему устоявшихся идей и представлений. П. наделяет смыслом объекты социально-культурной и природной реальности и вводит их тем самым в привычный и...
Принцип Объемности — (экстенсиональности) (от лат. extentio — протяжение) — принцип теории множеств, суть которого в том, что два множества (класса), состоящие из одних и тех же элементов, равны (совпадают, являются равнообъемными). Применительно к логике П. о. можно...
Предпочтений Логика — - логика сравнительных оценок, выражаемых при помощи понятий «лучше», «хуже», «равноценно», называемых предпочтениями. Логическое исследование сравнительных оценок началось в конце 40-х годов этого века в связи с попытками установить формальные...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
