ВЫБОР ТЕОРИИВЫВОД данных из ЭВМ

ВЫВОД

Найдено 7 определений термина ВЫВОД

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] [зарубежный] Время: [советское] [современное]

ВЫВОД

рассуждение, в ходе которого из исходных суждений получается новое суждение, логически вытекающее из исходных.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Глоссарий философских терминов проекта Distance

ВЫВОД

в логике, рассуждение, в ходе к-рого из к.-л. исходных суждений (высказываний), посылок или предпосылок В. получается заключение - суждение, логически вытекающее из посылок. См. Дедукция, Индукция.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Советский философский словарь

ВЫВОД

в логике рассуждение, в ходе которого из определенных исходных суждений, высказываний, посылок или предпосылок получается заключение (вывод) - суждение, вытекающее из посылок. См. также Дедукция, Индукция.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский энциклопедический словарь

ВЫВОД

В логике: рассуждение, в процессе крого из опред. исходных высказываний, суждений, посылок или предпосылок делается умозаключение. Комплекс логич. рассуждений, в к-ром В., завершающий одно, становится посылкой (основанием) для др., называют логич. цепью. См. также Дедукция, Доказательство, Индукция. Е.В.Гутов

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: История и философия науки. Энциклопедический словарь

ВЫВОД

логическая операция, с помощью которой мы переходим от одного положения, считающегося истинным, к другому положению, которое данная система координат тоже делает истинным. «Правила вывода» позволяют в рамках дедукции установить истину того или иного положения на основании одного или многих исходных положений. Понятие вывода менее строгое, чем понятие дедукции (идущей от общего к частному) или индукции (идущей от частного к общему).

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философский словарь

ВЫВОД

рассуждение, в ходе к-рого из к.-л. мыслей, исходных в данном В., получается мысль, логически вытекающая из исходных. Всякий В. есть последовательность связанных друг с другом суждений. Связь эта осуществляется в форме умозаключений, с помощью к-рых из одних суждений, входящих в данный В., выводятся др. суждения. В частном случае В. может состоять из одного умозаключения. Исходные суждения данного В. наз. посылками В. (см. Посылка). Часто В. представляют в виде цепочки суждений, каждое из к-рых есть либо посылка, либо суждение, выражающее к.-л. закон логики, либо полученное из предшествующих в данном В. суждений с помощью к.-л. умозаключения (иначе наз. правилом В.). При этом каждое умозаключение должно удовлетворять необходимому условию, состоящему в том, что из истинных суждений оно должно порождать обязательно истинное суждение. Последнее суждение в цепочке В. – результат В. – наз. следствием из данных посылок, или заключением В. Всякий В. выражает отношение логич. следования. Он не предполагает, что посылки обязательно истинны, а только означает (если он правильный) наличие следующего условия: если посылки В. истинны, то истинно и заключение. Поэтому можно говорить о логич. последовательном В. независимо от информации об истинности или ложности посылок. Иначе обстоит дело с особым родом В., наз. доказательствами. Доказательство есть В., обосновывающий истинность заключения истинностью посылок. Посылки такого В. называются аргументами, или основаниями доказательства, а заключение В. – тезисом доказательства. Истинность аргументов доказательства должна быть в свою очередь обоснована, причем это обоснование должно быть независимо от истинности тезиса. В дедуктивных науч. теориях аргументы могут приниматься в качестве постулатов, т.е. суждений, непосредственно принятых (в пределах данной науч. теории) за доказанные. Если при обосновании к.-л. аргумента доказательства опираются на истинность тезиса этого же доказательства, то получается ошибка, называемая кругом в доказательстве; тезис в этом случае оказывается недоказанным. Поучительные примеры круга в доказательстве могут быть извлечены из истории попыток доказательства постулата Эвклида о параллельных. Этот постулат не представлялся математикам достаточно очевидным, и они упорно пытались вывести его из др. постулатов геометрии. Известно большое число таких мнимых доказательств постулата о параллельных, в к-рых в процессе рассуждения (обычно в неявной форме) использовалась к.-л. посылка, равносильная доказываемому постулату, т.е. такая, из к-рой (вместе с остальными постулатами геометрии Эвклида) выводится постулат о параллельных и к-рая в свою очередь выводится из этого постулата. Ошибка в таких доказательствах состояла, т.о., в том, что в них использовались недоказанные и не принятые явно за доказанные основания. Хотя всякое основание, используемое в доказательстве, должно быть в свою очередь доказано (суждения, принятые в дедуктивной науч. теории в качестве постулатов считаются доказанными в ней), известны, однако, случаи, когда в ходе доказательства используются как будто даже заведомо ложные суждения. Так обстоит дело, напр., в доказательствах от противного. Однако недоказанные суждения вводятся в доказательство лишь на время; в ходе доказательства они обязательно устраняются. Во мн. дедуктивных теориях такого рода посылки могут быть устранены с помощью т.н. теоремы о дедукции, согласно к-рой если в к.-л. доказательстве из суждения а выведено согласно правилам логики заключение в, то без использования суждения а может быть выведено условное заключение: "если верно а, то верно в". Так как процесс доказывания не может быть бесконечным, существуют такие основания, истинность к-рых (в пределах данной науки) уже не обосновывается с помощью доказательств. Нек-рые из таких оснований доказываются в к.-л. др. науке, другие непосредственно удостоверяются практикой. В дедуктивной теории основаниями, не обосновываемыми с помощью логич. доказательств, являются постулаты (иначе наз. аксиомами, см. Аксиома); их соответствие действительности подтверждается проверкой на практике всей построенной теории (о видах оснований и о роли практики в их проверке, см. Основание). В конечном счете вся совокупность доказательств науки – как правила В., так и основания доказательства – проверяются критерием материальной практики. Для того чтобы В. действительно обеспечивал получение логически вытекающего из посылок заключения, он должен быть правильным по своей форме. Форма В. (в частности, доказательства) правильна, если в нем не нарушено ни одно правило логики. Логика точно формулирует правила и законы, по к-рым в ходе рассуждения совершается переход от одних суждений к другим. Она также формулирует явно те из посылок в В., к-рые люди часто не указывают в своих рассуждениях (иногда даже и не подозревая о том, что эти посылки фактически предполагаются в их В.). В качестве примера возьмем В.: 1) Иванов никогда не выезжал из Москвы, 2) Петров никогда не был в Москве, 3) Иванов и Петров никогда не встречались. В этом В. подразумевается – и потому должна быть выявлена – следующая посылка: 4) Если на земном шаре существует такой район, что одно лицо никогда не выезжало за его пределы, а другое никогда в его пределах не было, то указанные лица никогда не встречались. Наш В. имеет следующий вид: из посылки 4) можно заключить, что 5) Если на земном шаре существует такой район, что Иванов никогда не выезжал из него, а Петров никогда в нем не был, то Иванов и Петров никогда не встречались. Из посылок 1) и 2) следует, что 6) На земном шаре существует такой район, что Иванов никогда не выезжал из него, а Петров никогда в нем не бывал. Наконец, из суждений 5) и 6) получается заключение 3). Каждый шаг в этом В. совершается с помощью правильных умозаключений (характеристика к-рых дается в теории умозаключений форм. логики). Чтобы полностью выявить логич. строение любого В., надо указать какие умозаключения применяются на каждом его шаге. (Напр., последний шаг рассмотренного В. представлял собой т.н. modus ponens условно-категорического силлогизма). Данный В. имеет вполне определ. содержание. Однако нек-рые части этого содержания отличаются тем, что они могут быть изменены без нарушения логич. правильности В. Так, если имена "Иванов" и "Петров" заменять именами любых др. людей, то логич. правомерность В. сохранится. Возможность в данных В. замещать друг другом мысли различного содержания (без нарушения правильности В.) свидетельствует об общности логич. формы этих В. (см. Логическая форма). Особую разновидность В. составляют В., к-рые при истинности посылок дают не достоверно истинное, а лишь вероятное заключение. Такие В. наз. вероятными (см. Вероятность, Вероятностная логика, Модальность). Термин "В." употребляется в логике также как синоним "умозаключения". В др. случаях В. называют результат умозаключения или доказательства, т.е. его заключение. Часто говорят о "В. из такого-то события (факта, явления)". Здесь "В." означают совокупность заключений, следующих (или представляющихся следующими) из суждений, выражающих обстоятельства данного события, причем с логич. т. зр. это следование (кажущееся или действительное) можно представлять в виде неск. различных цепочек рассуждений. См. также Доказательство, Вывод (в математической логике), Логический синтаксис, Круг в доказательстве, Формализация, Метод аксиоматический. Лит.: Энгельс Ф., Анти-Дюринг, М., 1957, с. 33–34, 317; его же, Диалектика природы, М., 1955, с. 178; Ленин В. И., Философские тетради, Соч., 4 изд., т. 38, с. 79, 168, 171, 172, 181–82, 209; Асмус В. Ф., Логика, М., 1947, с. 22–26, 147–54, 344–83; его же, Учение логики о доказательстве и опровержении, М., 1954; Бакрадзе К., Логика, Тб., 1951, с. 238–39, 435–49; Логика, [Под редакцией Д. П. Горского и П. В. Таванца], М., 1956, с. 227–65; Новиков П. С., Элементы математической логики, М., 1959; Гильберт Д. и Аккеpман В., Основы теоретической логики, пер. с нем., М., 1947 (см. гл. 1–3 и комментарии С. А. Яновской к указ. главам); Тapский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948, с. 163–206. Б. Бирюков. Москва.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

ВЫВОД (в математической логике)

В. обычно называется рассуждение, в ходе к-рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек-рые из числа этих предложений не обосновываются в пределах данного В. и называются либо аксиомами, если их истинность принимается нами без доказательства, либо же посылками или гипотезами этого В., а истинность каждого из остальных предложений вытекает из истинности каких-то ранее сформулированных в данном В. предложений (часто В. также наз. не само рассуждение, а лишь его заключит. результат – последнее предложение в цепи связанных между собой предложений). Практика человеч. мышления показывает, что, обосновывая истинность нек-рого предложения А истинностью каких-то предложений В1,...,Вn, мы иногда пользуемся такими закономерностями, к-рые имеют настолько общий характер, что верны при любом содержании как предложений В1,...,Вn, так и предложения А, т.е. независимо от этого содержания, и зависят только от того, что принято называть логич. формой или структурой предложений В1,...,Вn, А. Такие закономерности носят название логических, а их формулировки называются логич. правилами. Если при обосновании предложений нек-рого В. используется только логич. закономерность, то такой В. носит название формального или логич. В. В зависимости от того, насколько подробно излагается тот или иной формальный В., он может быть либо более лаконичным, сводясь исключительно, или почти исключительно к одним только логически следующим друг "а друга предложениям, либо же, напротив, он может быть более или менее детальным и сопровождать появление нек-рых, или даже каждого нового предложения, точным указанием того, из каких именно предыдущих предложений получается это новое предложение. Т.о., всякий формальный В. состоит из последовательности предложений, логически связанных друг с другом, и может, кроме того, содержать т.н. анализ, в к-ром для нек-рых или для каждого предложения последовательности указывается, является ли оно гипотезой данного В. или аксиомой, а если нет, то из каких именно предыдущих предложений оно следует. Одним из возможных способов задания анализа нек-рого В. является расположение его предложений в виде "дерева". Пусть, напр., у нас имеется В., состоящий из пяти предложений ?1, ?2, А3, А4 и А5, из к-рых ?1, ?2, А3 являются гипотезами данного вывода, А4, получается (следует) из ?1 и ?2, а А5 получается из А4 и гипотезы А3. Тогда мы можем описать этот же анализ, следующим образом располагая предложения ?1, ?2, А3,А4,А5: ВЫВОД (в математической логике) С понятием формального В. тесно связано понятие выводимости. Предложение А называется выводимым из гипотез Г1, Г2,...,Гn, если существует хотя бы один формальный В., последним предложением к-рого было бы предложение А и гипотезами к-рого были бы предложения Г1,...,Гn Этим понятием определяется нек-рое отношение – отношение выводимости, в к-ром могут находиться, с одной стороны, совокупности предложений Г1,...,Гn (в качестве посылок), а с другой – отд. предложения А (в качестве заключений). Хотя формальные В., используемые математикой, ничем принципиально не отличаются от формальных В. вообще, тем не менее специфика изучаемого математикой содержания привела к тому, что именно в математике формальные В. получили наибольшее распространение и в настоящее время являются одной из легче всего замечаемых отличит. черт математики как науки. Математика не только использует формальный В. как инструмент, но и занимается исследованием проблем, связанных с использованием этого инструмента познания. При этом ставится задача создания, а также и исследования свойств и границ возможного применения различных формальных аппаратов, к-рые позволяли бы чисто формально, без учета содержания, преобразовывать предложения и к-рые при этом всегда давали бы в качестве результата истинные предложения, если только посылки были истинными. Теорией формального В. занимается математич. логика. Делая формальный вывод объектом математич. исследования, математич. логика преобразует это понятие следующим образом. Прежде всего уточняется используемое в нем понятие логич. следования. Это достигается явным указанием тех правил В., к-рые разрешается использовать для получения новых предложений из ранее полученных. Теперь в анализе нек-рого конкретного В. по отношению к каждому предложению, не являющемуся гипотезой или аксиомой этого В., должно быть указано не только то, из каких предыдущих предложений оно получается, но и по какому правилу В. Примером правила В. может служить, скажем, следующее: из предложения "Если А, то В" и предложения "А" следует (или выводится) предложение "В", где А и В могут быть предложениями произвольного вида. В общем случае всякое правило В. является утверждением типа: "Из предложений А1,...,Аn, имеющих каждое такой-то вид, следует (или выводится) предложение В такого-то вида". В этом случае А1,...,Аn называются посылками данного правила, а В – его заключением. Самым существенным здесь является то, что в правилах В. указывается лишь вид посылок и заключения – их структура – и никогда не упоминается их содержание. Вследствие этого, решая вопрос о том, следует ли нек-рое конкретное предложение В из нек-рых конкретных предложений А1,..., Аn по какому-то определ. правилу В., мы никак не можем использовать содержание этих предложений, то есть вынуждены обращаться с ними как с последовательностями символов, как с материальными объектами определенной структуры и не более того. Поэтому мы можем смотреть на формальный В. как на последовательность материальных объектов, игнорируя тот факт, что эти объекты являются предложениями, имеющими какое-то содержание. Этим, в частности, объясняется то, что пока занимаются теорией формального В., бесполезно строить предложения из отд. слов, из к-рых каждое в свою очередь составляется из целого ряда букв. Вместо этого появляется возможность ввести спец. символику, в к-рой слова или даже целые предложения обозначаются одним или несколькими символами. От этой символики требуется, чтобы с ее помощью можно было хорошо передавать логич. структуру предложений и совершенно безразлично, можно ли с ее помощью передавать их содержание, к-рое все равно не может быть использовано в формальном В. Так, напр., предложение "Если А, то В" удобнее записывать в виде "А ? В"; предложение, отрицающее то, что утверждается в предложении А, удобнее записывать в виде "ВЫВОД (в математической логике) А", и т.д. Математич. логика изучает формальный В. в рамках т.н. формальных систем, примеры к-рых рассмотрены ниже (др. употребит. названия – логистич. система, логич. исчисление формальное исчисление, логич. формализм и т.д.). Изучая различные формальные исчисления и используя формализованные в них понятия В. и выводимости, математич. логика решает такие проблемы, к-рые иными средствами невозможно было бы не только решить, но даже точно поставить. Это, разумеется, не значит, что нельзя пользоваться неформализованными понятиями В. и выводимости. Но доказывать с математич. строгостью теоремы об этих понятиях можно лишь в том случае, если смотреть на В. как на материальный объект. Значение полученных таким путем результатов целиком определяется тем, насколько полно и верно нам удалось отобразить свойства В. и выводимости при их формализации. Разработка т. зр., согласно к-рой формальные логич. операции совершаются над символами и последовательностями символов, т.е. над материальными объектами, позволила широко поставить проблему алгоритмизации логич. процессов (см. Алгоритм) и подготовить передачу машинам выполнение нек-рых логич. операций. Действительно, схема использования машины для решения логич. задач такова: нек-рая исходная информация, заданная в виде осмысленных предложений, кодируется, т.е. переводится на спец. язык, и передается машине; машина преобразует эти предложения, оперируя с ними как с материальными объектами, лишенными содержания; результат этих преобразований вновь истолковывается как предложения на нек-ром спец. языке, т е. как нечто осмысленное, и затем раскодируется, принимая привычную нам речевую форму. Среднее звено этого процесса как раз и есть практич. воплощение той т. зр., на к-рой стоит математич. логика, когда она рассматривает предложения как лишенные содержания наборы символов, а В. – как последовательности таких наборов. В качестве примера формальной системы рассмотрим одно из возможных построений т.н. исчисления высказываний, или, как его также иногда называют, "пропозиционального исчисления". Вначале зададим исходные символы, с помощью к-рых будут строиться все выражения системы (как говорят, зададим алфавит системы). Пусть ими будут: во-первых, бесконечный перечень символов: p q r s p1 q1 r1 s1 p2 q2... и т.д. (эти символы будем называть пропозициональными переменными), и, во-вторых, четыре символа [ ] ? ВЫВОД (в математической логике) (из к-рых два первых являются левой и правой скобками, а два последних называются соответственно знаками импликации и отрицания). Затем укажем правила, по к-рым из исходных символов можно будет последовательно строить все более сложные выражения данной системы, к-рые будут называться "формулами". Этими правилами построения являются следующие: 1) Всякая пропозициональная переменная есть формула. 2) Если А и В суть формулы, то [А?В] есть формула. 3) Если А есть формула, то ВЫВОД (в математической логике) А есть формула. Следующие три формулы будем называть "аксиомами" нашей системы: ВЫВОД (в математической логике) Наконец, возьмем в качестве правил В. следующие два правила: I) Если формула А´ получается из формулы А путем замены нек-рой пропозициональной переменной (всюду, где она встречается в А) на формулу С, то из А следует А´ (правило подстановки). II) Из формул вида [А?В] и формулы А следует формула В (правило модус поненс). Такое задание формальной системы, когда указывается ее алфавит, правила построения, правила В. и "аксиомы", является довольно типичным, хотя и не единственно возможным. Следует иметь в виду, что в данном случае с термином "аксиома" не связывается ничего, что соответствовало бы обычному представлению об аксиомах как о предложениях, истинность к-рых принимается без доказательства. В данном случае это просто формулы, выделенные из общей массы формул формальной системы и играющие особую роль при определении понятий "доказательство" и "теорема" (см. ниже). Задавая нек-рую формальную систему, используют какую-то часть содержательного разговорного языка, к-рая по отношению к задаваемой формальной системе называется метаязыком. Этот метаязык используется как при построении формальной системы, так и для того, чтобы высказать утверждения о формальной системе. Так, напр., предложениями метаязыка являются правила В. и правила построения, а такие встречающиеся в них обозначения, как, напр., [А?В], являются элементами не формальной системы, а ее метаязыка. Этот метаязык может оставаться неформализованным, как в рассматриваемом случае, но может быть и формализован и превращен в нек-рую формальную систему (метасистему по отношению к первой системе). Для этого в свою очередь потребовался бы нек-рый содержат. мета-метаязык и т.д. Определим теперь для этой системы понятия В. и выводимости: Последовательность формул А1,...,Аn называется В. формулы А из гипотез Г1,...,Гm, если формула А есть последняя формула последовательности А1,...,Аn и если каждая формула этой последовательности есть либо аксиома системы, либо одна из гипотез Г1,..., либо получается из каких-то предыдущих формул и последовательности по одному из правил В. системы. В. из пустого множества гипотез называется доказательством. Формула А, для к-рой существует хотя бы один В. из гипотез Г1,..., Гm, называется выводимой из Г1, Гт. Утверждение о выводимости А из гипотез Г1,..., Гт часто обозначают так: Г1,..., Гm, |– А. Т.о., знак "|–" является сокращением, используемым в содержат. метаязыке. Формула А, для к-рой существует доказательство (т.е. В. из пустого множества гипотез), называется доказуемой формулой или теоремой формальной системы (обозначение: |– А). В соответствии с привед. определениями последовательность из трех формул [p?q], r [[p?q]? r], r является В. формулы r из гипотез [p?q] и [[p?q]?r] по правилу модус поненс. Т.о., ВЫВОД (в математической логике) ВЫВОД (в математической логике) Т.о., |– [s?s] т.е. формула эта доказуема в формальной системе, или, что то же самое, является в ней теоремой. Иногда в качестве выводов формальной системы вместо вышеописанных последовательностей рассматривают какой-либо более ограниченный класс последовательностей. Обычно это мотивируется желанием формулировать без всяких ограничений т.н. дедукционную теорему ("Если Г1, Г2,..., Гn, А |– В, то Г1, Г2,..., Гn |– А?"). Эта теорема, являющаяся, разумеется, не "теоремой" формального исчисления, а содержат. теоремой метаязыка, имеет очень большое эвристич. значение, т.к. позволяет использовать в процессе выведения вспомогат. допущения, исключаемые затем с ее помощью из числа гипотез (подробнее см. ниже). В рассматриваемом случае желаемого результата можно добиться, потребовав, напр., в определении В., чтобы в тех случаях, когда подстановки в соответствии с правилами вывода 1) совершаются в формулы, не являющиеся аксиомами, они не совершались бы вместо переменных, входящих в к.-л. гипотезу. Примем это ограничение. Если различным образом менять определение В., то тем самым будет меняться и отношение выводимости в формальной системе. Это, однако, не должно вести к изменению понятия доказуемости (выводимости из пустого множества гипотез), т.е. множество теорем системы должно при этом оставаться неизменным, т.к. иначе мы получили бы уже другую формальную систему. Отношение выводимости "|–", к-рое мы определили в метаязыке через понятие В. рассматриваемой формальной системы, обладает целым рядом свойств, к-рые приводятся ниже. Формулировки свойств даны в сокращенной записи, в к-рой X и Y понимаются как произвольные формулы формальной системы, а G и H суть произвольные (в частности, может быть, и пустые) списки формул: (1) Х |– X (2) ВЫВОД (в математической логике) ВЫВОД (в математической логике)Х |– X (3) Если совокупность Н отличается от совокупности G только порядком входящих в нее формул, то: если G |– X, то и H |– X ВЫВОД (в математической логике) Утверждения (1) – (8) являются сокращенно записанными содержат. предложениями метаязыка и могут быть доказаны как математич. теоремы. Два из них, а именно (1) и (2), утверждают, что в данной системе существуют выводы определенного вида, а остальные дают достаточные условия существования некоторых выводов. В этих предложениях фигурирует понятие "выводимо", к-рое было введено для этой формальной системы и к-рое, разумеется, отлично от соответств. понятия содержат. логики человеч. мышления. Если, однако, считать формулы вида [А?В] сокращениями вместо обычных условных предложений "Если А, то В" и формулы вида ВЫВОД (в математической логике) А – обычными отрицаниями вида "не-A" и переистолковать утверждения (1) – (8) как утверждения об обычных предложениях и обычной выводимости, то все они окажутся естественными. Это может служить иллюстрацией того, в каком смысле построенный аппарат пропозицион. исчисления может считаться своего рода приближением к нек-рой части логики человеч. мышления. Связь между построенным нами пропозицион. исчислением и содержат. мышлением можно проиллюстрировать еще и на таком примере. В обычных содержат. рассуждениях часто используется прием, заключающийся во введении в В. тех или иных вспомогат. допущений. Следствия из этих допущений так или иначе используются в В., но сами допущения впоследствии исключаются, так что окончат., результат оказывается от них не зависящим. Примером рассуждения такого типа может служить всякое доказательство "от противного". Схема рассуждения "от противного" такова: Пусть нам требуется вывести предложение А от гипотез Г1, Г2,...,Гn. Вводим (временное) вспомогат. допущение не-А (противное тому, что требуется доказать) и затем тем или иным путем выводим из совокупности гипотез Г1, Г2,...,Гn, не-А следствие не-Гn. Так как из той же совокупности гипотез можно вывести и следствие Гn, то заключаем, что предположение не-А противоречит совокупности гипотез Г1, Г2,...,Гn: следовательно, из гипотез Г1, Г2, Гn следует А. Существенно, что, формулируя окончат. результат, можно не причислять временное допущение не-А к числу гипотез; заключение А зависит от гипотез Г1, Г2,...,Гn, но не зависит от не-А. Оказывается, что метод вспомогат. допущений находит отражение в пропозицион. исчислении, причем путь к этому открывается уже упоминавшейся дедукционной теоремой. Напр., доказательство "от противного" выглядит в пропозицион. исчислении след. образом. Требуется вывести предложение А из гипотез Г1, Г2,..., Гn, т.е. доказать, что Г1, Г2,..., Гn |– А. Присоединяем к гипотезам временное допущение ВЫВОД (в математической логике) А и доказываем, что Г1, Г2,..., Гn ВЫВОД (в математической логике) ? |– ВЫВОД (в математической логике) Гп. Затем по дедукционной теореме заключаем, что Г1, Г2,..., Гn |– ВЫВОД (в математической логике) A ? ВЫВОД (в математической логике) Гn, исключая, т.о., временное допущение ВЫВОД (в математической логике) А из числа гипотез. Дальше можно вести доказательство совершенно параллельно вышеописанному содержат, рассуждению и свести дело к непосредств. использованию закона противоречия, но сейчас удобнее продолжить его иначе. В пропозицион. исчислении имеется аксиома [[ ВЫВОД (в математической логике) p ? ВЫВОД (в математической логике) q] ? [q ? p ]]. Подставляя А вместо р и Гn вместо q, получаем из нее, что |– [[ ВЫВОД (в математической логике) ? ? ВЫВОД (в математической логике) Гn ] ? Х Х [ Гn ? ? ]]. Тогда n раз применяя свойство выводимости (4)* (при пустом G, получаем постепенно, что Г1, Г2,..., Гn |– [[ ВЫВОД (в математической логике) A ? Гn] ? [ Гn ? A ]]. Далее, по свойству (7)* получаем, что Г1, Г2,..., Гn |– Гn ? A, так как по (1)* имеет место Гn |– Гn и, следовательно, по (4)* – Г1, Г2,..., Гn |– Гn, то, еще раз применяя (7)*, получаем окончательно Г1, Г2,..., Гn |– А. Хотя введенное для пропозицион. исчисления понятие выводимости и отличается от понятия выводимости в обычном содержат. мышлении, оно все же есть понятие содержательное – в том смысле, что утверждение о выводимости нек-рой формулы из нек-рых гипотез есть утверждение о существовании материального объекта (последовательности формул) с определ. свойствами. В соответствии с этим знак |– является содержат. сокращением, а, напр., запись X ВЫВОД (в математической логике) X |– Y содержат. утверждением, к-рое можно расшифровать так: "Если в качестве гипотез взять любую формулу X и ее формальное отрицание ВЫВОД (в математической логике) X, то для всякой формулы существует В. формулы Y из гипотез X и ВЫВОД (в математической логике) X. Возможен, однако, и другой подход к изучению выводимости. Можно построить другую формальную систему, к-рая давала бы возможность формально получать свойства выводимости в первой системе. Это можно сделать, напр., так. Возьмем за основу уже построенное нами пропозицион. исчисление и несколько видоизменим его. Прежде всего добавим к алфавиту системы новую букву "|–", к-рую не будем относить к числу пропозицион. переменных. Добавим далее к п р а в и л а м п о с т р о е н и я новое правило: 4) Если G – произвольная совокупность формул (в частности – может быть и пустая) и А – произвольная формула, то G |– А есть предложение. Т.о., в новой формальной системе рассматриваются два вида выражений – "формулы" и "предложения", к-рые различаются тем, что в "предложениях" есть один знак "|–", а в "формулах" – нет. Содержательные сокращенные записи, напр. ранее доказанное для пропозицион. исчисления утверждение [ p ? q ] [[ p ? q ] ? r ] |– r, превращаются в новой формальной системе в простые последовательности символов, а содержат. сокращение "|–" – в бессодержат. символ. В качестве системы аксиом новой системы возьмем бесконечное множество предложений вида (1)* и (2)*, т.е. все предложения, к-рые могут быть получены из (1)* и (2)*, если вместо X и Y подставлять всевозможные формулы. Наконец, в качестве правил В. новой системы возьмем (3)* – (8)*, предварительно заменив всюду оборот "Если..., то"..., на оборот "Из... следует...". Построив новую формальную систему, можно тем самым частично формализовать метаязык ранее построенной системы, о возможности чего уже говорилось. А именно, формализовано понятие выводимости, относящееся к прежней системе. Для новой системы можно определить относящиеся к ней понятия В. и выводимости так же, как это раньше было сделано для пропозицион. исчисления, причем новое отношение выводимости не имеет ничего общего со знаком "|–", к-рый является теперь бессодержат. символом системы. В новой системе является, напр., доказательством следующая последовательность "предложений": ВЫВОД (в математической логике) Т.о., доказано, что в новом исчислении предложение [p ? q ], [[ p ? q ] ? ] |– r является теоремой. Для прежней системы было доказано нечто аналогичное, но в то время, как там это было содержат. утверждением, здесь это – бессодержат. набор символов. Однако новая система построена таким образом, что всякий раз, когда в прежнем исчислении доказуема нек-рая формула А, в новой системе доказуемо предложение – А, и наоборот, и каждый раз, когда в прежней системе формула А выводима из гипотез, в новой системе доказуемо предложение Г1,..., Гn |– А и наоборот. Это и дает возможность считать символ "|–" новой системы формализацией отношения выводимости прежней системы и использовать новую систему для изучения свойств выводимости в старой. Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Сhurсh ?., Introduction to mathematical logic, Princeton, 1956; Montague R. and Henkin L., On the definition of formal deduction, "J. Symbolic Logic", New Brunswick, 1956, v. 21, No 2, p. 129–36. В. Чернявский. Москва.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

Найдено схем по теме ВЫВОД — 0

Найдено научныех статей по теме ВЫВОД — 0

Найдено книг по теме ВЫВОД — 0

Найдено презентаций по теме ВЫВОД — 0

Найдено рефератов по теме ВЫВОД — 0