Главная » Просмотр файлов » Гильберт, Бернайс - Основания математики. Логические исчисления и формализация арифметики

Гильберт, Бернайс - Основания математики. Логические исчисления и формализация арифметики (947375), страница 28

Файл №947375 Гильберт, Бернайс - Основания математики. Логические исчисления и формализация арифметики (Гильберт Д. - Основания математики и прочие работы) 28 страницаГильберт, Бернайс - Основания математики. Логические исчисления и формализация арифметики (947375) страница 282013-09-15СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 28)

Рассмотрим пример, поясняющий применение этого правила в случае формульной переменной с аргументами. Пусть 9 (а, Ь) и Ф (а, Ь, с) — предикатные символы, и пусть нам дана формула А$(а, Ь) бсср(а, с) «А(с, Ь). Из этой формулы формула Ф (а, а, Ь) бс 8 (а, с) -ь Ф (а, с, д) может быть получена в результате следующей подстановки. Для формульной переменной А с двумя аргументами берем именную форму А (та, е) и будем подставлять вместо А (т, е) формулу Ф (а, ж, и).

Тогда вместо А (а, Ь) должно быть подставлено Ф (а, а, Ь), а вместо А (с, Ь) — Ф (а, с, Ь), что н дает в результате искомую формулу. К этим правилам подстановки мы добавляем наше старое правило, позволяющее брать в качестве исходной формулы любое тождественно истинное выражение логики высказываний (для краткости мы будем говорить тождественная формул а), а также схему ааключепия Формальное исчисление, порождаемое этими правилами, мы проиллюстрируем с помощью ряда замечаний и примеров.

В качестве непосредственного следствия нашего обобщенного правила подстановки получается, что рассуждение по правилу силлогивма мы теперь можем распространить на формулы, содержащие индивидные переменные. Так, из двух формул Я (а) — ь й)(а), 1й (а) -ь. 'су (а) мы можем вывести формулу Я (а) «- 1е (а), а из формул з((а, Ь)-ь3(а, Ь) и йо(а, Ь)-ыб(а, Ь) — формулу Я (а, Ь) — б (н, Ь). Тем же самым способом мы можем применить к выражениям с индивидными переменными и другие преобразования, порождаемые соответствующими правилами аамены. Рассмотрим следующий пример, в котором, в частности, применяется и правило подстановки Вместо индивидных переменных.

Для числового предиката < (а, Ь), «а м е н ь ш е Ь», выполняются следующие две аксиомы 1): Ц <(а, а), <(а, Ь) бс <(Ь, с) «- <(а, с). < (а, Ь) «- (< (Ь, а) «- < (а, а)). Теперь возьмем тождественную формулу (А -ь В) -+ (~  — ь ЧА) и подставим < (Ь, а) < (а, а) вместо А и ') Здесь и далее, где ато не будет вызывать недоразумений, а к с и о м о м и мы будем назызать Формулы, изображающие аксиомы.

Из них требуется вывести, что <(а, Ь)-»- 1 <(Ь, а). По нашим правилам этот вывод может быть осуществлен следующим образом. Подставим во вторую аксиому вместо с переменную ее < (а, Ь) А < (Ь, а) «- < (а, а). С помощью правила разъединения посылок преобразуем эту формулу в ВВЕДЕНИЕ ИНДИВИДНЫХ ПЕРЕМЕННЫХ 12"« 1гл.

1У ИСЧИСЛЕНИЕ ПРЕДИКАТОВ вместо В. Это даст нам (< (Ь, а) -~ < (а, а)) -«-( 1 < (а, а) -«. 1 < (Ъ, а)). Эта формула вместе с полученной ранее по правилу силлогизма дает <(а, Ь)-+.( 1<(а, а) — ~- 1<(Ь, а)). Затем по правилу перестановки посылок получается % <(а, а) — ~-(<(а, Ь) — ~- 1<(Ь, а)), а зта формула вместе с аксиомой 1 < (а, а) по схеме заключения дает искомую формулу <(а, Ь) -+ 1 <(Ь, а). Теперь ее можно применить к конкретным числам.

Пусть, например, доказано, что <(1'2, — „,). Тогда отсюда мы можем вывести формулу ч< ( —, )Г2), подставив сначала в полученную выше формулу у'2 вместо а и 3 — вместо Ь, что даст нам формулу (1/2, — ) < ( —, ~г'2) а аатем применив к ней и к формуле (~/2, — ) схему заключения, что в итоге даст В рассмотренном нами примере формального вывода проступают некоторые черты отличия нашего формального метода от обычных содержательных рассуждений.

Черты эти заключаются в следующем. Вместо всеобщих суждений о числах, которые справедливы для каждого отдельного числа, мы имеем адесь формулы с индивидными переменными; соответствующие формулы для конкретных чисел получаются из них в результате операции подстановки (в соответствии с правилом подстановки). Кроме того, мы отклоняемся здесь от обычной формы гипотетических суждений. В самом деле, пусть, например, В(а) и б (а) — два предиката, н пусть с«обозначает предмет, могущий служить субъектом (аргументом) этих предикатов. Тогда, если имеется предложение «еслн В (а), то б (а)» и если, кроме того, известно, что В (а) имеет место, по нравнлам содержательной логики мы можем отсюда непосредственно ааключнть об истинности б (с«). По нашему же методу мы сначала из формулы В (а) -+.

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

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

Сказанное позволяет содержательно объяснить то разлон1ение гипотетических умозаключений на два шага, которое происходит )ГЛ. )и ИСЧИСЛЕНИЕ ПРЕДИКАТОВ 128 » 2) сВЯЗАнные переменные и пРАВилА для кВАнтоРОВ 129 в рамках нашего формального метода.

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

Благодаря атому правила формального вывода приобретают известную простоту и прозрачность. 3 2. Связанные переменные и правила для кванторов всеобщности и существования 1. Недостаточность свободных переменных. Бведвние индивидных переменных и связанное с ним обобщение правил подстановки представляют собой лишь начало формализации логики предикатов. Для полной формализации нам потребуются, кроме того, специальные символы и правила, с помощью которых можно будет изобразить логические формы всеобщего и частного суждений, а также основанные на этих формах способы умозаключений. Правда, для всеобщих суждений одно такое представление мы уже имеем.

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

Однако это представление оказывается недостаточным; действительно, выражение Я(а) или Я (а, Ь) соответствует, в духе содержательыого истолкования, всеобщему суждению лишь тогда, когда оно фигурирует в качестве отдельной формулы, н дело обстоит совсем иначе, если оно выступает как составная часть какой-либо другой формулы.

Так, например, формуле )Я (а) соответствует вовсе не отрицание всеобщего суждения, представ- ленного формулой Я (а), а утверждение о том, что отрицание Я имеет место для всякого предмета из области значений переменной а. Действительно, с помощью подстановки мы можем из )Я (а) получить )Я (а) для любого значеыия а перемеыной а. Эту мысль можно пояснить вще и следующим образом. Суждение, соответствующее формуле ~ Я (а), вследствие наличия в ыем переменной а должно быть всеобщим суждением и вследствие наличия отрицания оно должно быть общеотрнцательыым.

Однако отрицание общеутвердительыого суждения представляет собой не общеотрицательыое суждение, а частноотрицательное. Таким образом, мы пока еще не в состоянии выразить в нашем формализме отрицание всеобщего суждения. Более того, у ыас пока ыет никакого способа выразить даже общеутвердительпое суждение, стоящее в посылке гипотетического предложения. Так, например, суждение «если Я (а) справедливо для всех значений перемеыыой а, то имеет место и 3» мы ые можем формально выразить посредством импликации Я(а)-ь В. Б самом деле, нз этой импликации мы могли бы для любого значе-. ния а переменной а получить формулу Я (а)-ьВ, так что уже из произвольной формулы Я (а) формула 3 получалась бы по схеме заключения. Это показывает, что формула Я (а) -~3 соответствует вовсе ые высказыванию о том, что В имеет место в случае истинности Я для всех значений а.

Напротив, она соответствует высказываыию о том, что В имеет место в случае истинности Я для какого-нибудь произвольного значения переменной а. Таким образом, наши нынешние формальные выразительные средства ые дают возможности ыи образовывать отрицания всеобщих суждений, ки вводить суждения этого типа В посылки импликаций. С другой стороны, рассмотренный материал показывает, что представление частноутвердительыого (экзистенциального) суыедеыия в рамках имеющегося ыа данный момент формализма воз- 9 Д. Гииьберт, П. Вери«ге [гл.

ш 13О 1 »1 связАнные пеРеменные и пРАВилА для кВАнтОРОВ 131 ИСЧИСЛЕЕШЕ ПРЕДИКАТОВ можно и в тех сочетаниях, в которых всеобщее суждение оказывается непредставимым. Действительно, отрицание частноутвердительного суждения «для некоторых значений а имеет место Я (а)» или, в более точной экзистенциальной формулировке, «существует значение переменной а, для которого имеет место Я (а)» равнозначно общеотрицательному суждению, соответствующему формуле ) Я (а); а суждению с экзистенциальной посылкой «если существует значение а, для которого имеет место Я (а)» или, короче, «если Я (а) имеет место для некоторого значения а» соответствует формула Я(а) — д).

Тем не менее для экзистенциального суждения как такового мы пока никакой формализации не имеем. 2. Введение связанных переменных; кванторы всеобщности н существования; правило переименовании переменных; предотвращение неоднозначностей; обобщение понятия формулы и правила подстановки. Все сказанное приводит нас к необходимости ввести специальные символы для всеобщности и существования. В этом вопросе мы будем придерживаться (с незначительными отклонениями) символики, принятой в РР1пс1р1а Ма«Ьеша11са (уже в гл. 1 для иэображения всеобщих и частных суждений мы пользовались знаками 1»х — квантор всеобщности, Зх — к в а н т о р существ о в а н и я) ). Относительно этой символики следует заметить, что и квантор всеобщности, и квантор существования всегда относятся к вполне определенному выражению, которому они предшествуют: 'ФхЯ(х) (для всех х имеет место Я (х)), ЗхЯ(х) (существует х, для которого имеет место Я (х)).

Характеристики

Тип файла
DJVU-файл
Размер
5,03 Mb
Тип материала
Предмет
Учебное заведение
Неизвестно

Список файлов книги

Свежие статьи
Популярно сейчас
Почему делать на заказ в разы дороже, чем купить готовую учебную работу на СтудИзбе? Наши учебные работы продаются каждый год, тогда как большинство заказов выполняются с нуля. Найдите подходящий учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6418
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее