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

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

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

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

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

2) Ом. с. 123 — 124 л 130 — 138. Здесь Я и В суть предикаты с одним аргументом, и упомянутые четыре суждения в нашей символике формулируются следующим обрааом: тх(Я(х) — ьВ(х)) («всякий объект, обладающий свойством Я, обладает также и свойством В»); тх (Я (х) -«- )В (х)) («никакой обьект, обладающий свойством Я, не может обладать свойством В»); Зх (Я (х) дс В (х)) («существует объект, который одновременно обладает и свойством Я и свойством В»); Эх (Я (х) дс 7 В (х)) («существует объект, который обладает свойством Я, ко не обладает свойством В»).

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

Это отклонение от аристотелевского толкования всеобщего суждения, которое само по себе возражений не выаывает, делается нами из соображений простоты. И хотя вследствие сказанного в качестве субъекта всеобщего суждения можно допускать и такие понятия, под которые не подпадает ни один объект из инднвидной области, все же оказывается целесообразным пусгпую индивидную область ив рассмотрения исключить 2). г) Относительно допустимости пустых нвднвндкых областей см. Работу» Я с ь к о в с л н й (Я. 7»вйонвй(). Оа 1Ь« га1вв о( »эрро»К1оп ш 1оппа! !оз(с.— 81эс)1а 1офса (Ъ7агвввгга), 1934, )Ч 1, р.

1 — 32, а также болев по»данс работы: К у в й н (%. г'. 1)ошв). 1)о»ЛШ!са11оп авб «Ь« вшр1у с(ошаш.— Х. ЯушЬо!(с Ьо81«„1954,'19, р. 177 н след.; Ш н а й д в р (Н. Н. ЯсЬВ«йвг). Явгваоысв .1 »Ь. Р;вб)с»1' О.'!'.)ев ~~1Ь !«»пм у впб 1Ьв у«1181»у ш »Ь. Ешргу 1пб(»1 баа!-1)ошаш.— Рог»ад. Мв»Ь., 1958, 17, дз 3, р. 85 — 96. Ом. также бнблиографию в упомянутом сочин«пни Куайна. 1 г) выводимость 145 )гл. тт ИСЧИСЛЕНИЕ ПРЕДИКАТОВ Это связано, в частности, с тем, что иэ формул (а) и (Ь): 'эхА (х) -Р А (а), А (а) -и ЗхА (х) с помощью правила силлогизма может быть выведена формула 1г хА (х) -е- ЗхА (х) . Однако на самом деле эта формула не согласуется с трактовкой грхА(х) и ЗхА(х) как конъюнкции и дизъюнкции, распространенных на всю индивидпую область.

Действительно, нульчленная конъюнкция в духе исчисления высказываний должна была бы 11 считаться истинной, а нульчленная диэъюнкция — ложнои ). Поэтому для случая пустой индивидной области формула )УхА (х) -ь ЗхА (х) была бы импликацией с истинной посылкой и ложным заключением и, следовательно, ложной. й 3. Выводимость 1. Некоторые производные правила. Переходя теперь к исследованию формальных выводов, мы начнем с составления специального списка производных правил. Установление производных правил служит для целей краткого н обозримого представления формальных выводов. Во всяком таком правиле формулируется итог какого-нибудь часто повторяющегося процесса, состоящего из ряда применений ранее упоминавшихся правил (осноеных праеил), и вывод этого правила есть не что иное, как указание соответствующего процесса. Несколько правил подобного рода для исчисления еыслазыеаний мы уже приводили в конце предыдущей главы.

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

Еще раэ коротко перечислим эти правила: 1. Наши первоначальные правила замены 1 — 4 ). г 2. Правила соединения, разъединения и перестановки посылок '). 3. Правило контрапоэиции. 4. Правила эамены для эквивалентности, '] См. с, 87. г) См. с. 791 г) Относительно пп. 2 — Э см. с. Нб н далее. 5. Правила сокращения кратной посылки в импликации и присоединения произвольной посылки.

6. Правило силлогизма. 7. Схемы (8) и (1) для конъюнкции и диэъюнкции'). 8. Правило объединения двух взаимно обратных импликаций в эквивалентность г). 9. Схема эквивалентности. Что касается способа записи формул, то мы введем здесь дополнительное соглашение о том, что внаки и -ь разделяют сильнее, чем бс, ')/ и кванторы. Приводимые ниже правила касаются действий с кванторами всеобщности и существования, а именно, в них будет идти речь о переходе от свободных переменных к связанным. При рассмотрении этих правил мы всякий раэ в качестве свободной переменной будем брать а, а в качестве связанной — х.

Особая роль этих переменных не вызывает никаких ограничений в дальнейших применениях. Действительно, в случае свободных переменных мы всегда можем произвести необходимое переименование применением правила подстановки, а для связанных переменных нами было специально введено правило их переименования.

С помощью приводимых далее выводов мы сможем более отчетливо раэобраться в существующем здесь положении вещей. Общая оговорка для всех этих правил, как и для схем (а) и (р), заключается в том, что переменная а в исходной формуле не встречается нигде, кроме мест, указанных в качестве аргумента, и что тв формулы, перед которыми будет проставляться квантор Чх или Эх — с заменой свободных переменных связанными,— переменной х не содержат. Это предварительное условие применимости упомянутых правил не всегда будет оговариваться специально. Первое правило иэ числа тех, которые мы должны здесь упомянуть, мы уже встречали при рааборв схемы (и). Оно формулируется следующим образом.

Правило (у): От формулы Я -+ () — 6(а)) лголсно перейти и формуле Я- (лб — 'Фх1э(х)), Это правило допускает, как легко видеть, обобщение на слу чай импликаций с более чем двуми посылками. Тем самым схема (и) обобщается на случай импликации с двумя или более посылками. С другой стороны, любое выражение 1) См.

с. 112, 115. г) Отнсснтельно пп. 8 н 9 см. с. Н8, 119. 10 д гиаьберт, и. Бериаае [гл. го 147 1 з) Выводимость исчнслвнив пгндиклтов 146 со свободными переменными может быть связано квантором всеобщности и в том случае, если перед этим выражением не стоит вообще ни одной посылки, т. е. имеет место следующее Правило (у): От Я (а) можно перейти к )ХхЯ (х). Это делается таким образом, что мы сначала присоединяем к формуле Я(а) посылку (С -ь С), затем к получившейся формуле (С вЂ” С) — Я (а) мы применяем схему (со) и получаем (С-ь С) -ь)ухЯ(х); эта формула вместе с тождественной формулой (С- С) по схем« заключения дает нам формулу чхЯ (х).

Если мы захотим, наоборот, перейти от формулы )ХхЯ (х) к Я (а), то для этого будет достаточно взять какую-нибудь не входящую в )ХхЯ (х) свободную переменную с, подставить в формулу (а) вместо именной формы А (с) атой формульной переменной формулу Я (с) «), так что получится )7хЯ (х) -«- Я (а), и затем применить схему заключения. П р а в и л о (6): ХХз формулы Я (а) — й)(а) можно получить формулы 7хЯ (х) — ь )Хх)В (х) и ЗхЯ (т) -+. Лхй (х). Первый переход осуществляется следующим образом. Из формулы (а) подстановкой Я (с) вместо А (с) мы получаем формулу кхЯ (х) -ь Я (а); вместе с исходной формулой по правилу силлогизма она дает нам ЧхЯ (х) — Е (а), «) В дальнейшем подстановка выестс нменной формы А (с) будет дяя нраткостн назыкаться подстановкой «вместо А (с)м а отсюда по схеме (сь) получается формула 1кхЯ (х) — ь 1охЗ (х).

Совершенно аналогичным обрааом мы можем получить и формулу ЗхЯ (х) -ь Зх)В(х); мы только должны будем вместо формулы (а) применить формулу (Ь), в которой теперь вместо А (с) должно быть подставлено )В(с), а вместо схемы (сс) мы должны будем применить схему (р). Из правила (6) мы можем легко получить еще одно правило! Правило (6): ХХз формулы Я (а) Ж (а) можно получить формулы 'зхЯ (х) Чхй (х) и ЛхЯ (х) Зхй) (х). С этой целью достаточно разложить заданную эквивалентность и обе искомые на импликации и применить к ним правило (6). 2. Вывод некоторых формул.

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

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

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

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