Всички Категории
Каталог
КНИГИ
Каталог
КНИГИ

Основания математической логики (1969)

  • Издателство: Мир

Основания математической логики (1969)

  • Издателство: Мир

Основи на математическата логика (преводна книга от английски на руски език от американския математик и логик Хаскъл Къри)

Хаскелл Б. Карри  (автор)

математическа логика  (етикет)

Издателство:   Мир
Език: Руски
Раздел: Математика

 

Твърда корица, 150 х 220 х 32 мм   |   568 стр.   |   741 гр.

(неизползвана книга в отлично състояние, наличност повече от 1 екземпляр)

Описание
Характеристики
Условия за пазаруване
Описание +

Оригинално заглавие:

McGRAW-HILL SERIES IN HIGHER MATHEMATICS E. H. SPANIER, Consulting Editor

FOUNDATIONS OF MATHEMATICAL LOGIC by HASKELL B. CURRY

Evan Pugh Research Professor in Mathematics The Pennsylvania State University McGRAW-HILL BOOK COMPANY, INC. New York • San Francisco • Toronto • London 1963

*

АННОТАЦИЯ

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

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

**

ПРЕДИСЛОВИЕ

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

Я не хочу сказать этим, что моя книга предназначена для начинающих или для людей, не обладающих подготовкой, которая считается нормальной для студентов старших курсов. Но те, кому не нужно объяснять самые элементарные сведения о логиче­ской символике и кому не нужна усиленная тренировка в переводе понятий обычного языка на язык этой символики и обратно, могут изучать эту книгу, не обращаясь к другим источникам. Цель книги — дать обстоятельное изложение той части математической логики, которая поистине фундаментальна, не в теоретическом или философском смысле, но с точки зрения изучающего эту науку, той части, которой нужно как следует овладеть не только будущим специалистам-логикам, но и всем математикам, философам и уче­ным, кому так или иначе приходится иметь дело с логикой по роду своей работы.

Часть математической логики, выбранная для рассмотрения, может быть охарактеризована как конструктивная теория исчис­ления предикатов первой ступени. То, что это исчисление зани­мает центральное место в современной математической логике, неоспоримо. И именно конструктивные аспекты этого исчисления особенно важны для его более глубокого изучения. Более того, становится все очевиднее, что математики должны ясно сознавать разницу между конструктивным и неконструктивным, и вряд ли есть лучший путь помочь им в этом, чем дать отдельную трактовку конструктивного. Сказанное и побудило меня пред­принять последовательное изложение этой фундаментальной области.

Характер изложения значительно отличается от обычного, в особенности от принятого в учебниках для начинающих. Тради­ционный подход к логическому исчислению состоит в рассмотре­нии его как некоторой формальной системы, причем единственной его особенностью по сравнению с другими формальными систе­мами является то, что это исчисление должно быть формализовано более строго, так как мы не можем считать "логику" данной, и то, что можно интерпретировать логическое исчисление в терми­нах высказываний обычной речи. Мы же придерживаемся точки зрения, согласно которой наши системы можно интерпретировать посредством некоей более ограниченной совокупности высказыва­ний, образующихся при оперировании с некоторой другой (не фиксированной) формальной системой. Происхождение этой точки зрения, поскольку я ее касаюсь, изложено в разделе 581. Эту точку зрения я разделяю с Лоренценом, который пришел к той же позиции независимо и на основе совершенно иной философии. Так как при изучении какой-либо формальной системы мы можем формулировать высказывания, истинность или ложность которых не может быть установлена средствами самой этой системы, избранный нами путь приводит к ситуациям, возникающим в тра­диционных теориях разве лишь в порядке исключения. При нашем способе изложения приходится параллельно иметь дело с мно­гими различными системами логического исчисления; например, для определения отрицания открываются различные возмож­ности.

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

Изложение предмета книги как такового начинается с гл. 5. Общий метод исследования состоит в том, чтобы получить форму­лировку, выражающую смысл, который мы хотим придать логи­ческим связкам, и затем вывести свойства, которые следуют из мотивированных таким образом предположений. Связки вводятся не все сразу; положительные связки — импликация, конъюнкция и дизъюнкция — вводятся в гл. 5, отрицание — в гл. 6, кван­торы — в гл. 7, модальные операции — в гл. 8. Наиболее полное и подробное изложение — в гл. 5; дело здесь не только в том, что рассматриваемая в ней основная связка — импликация (конъюнкция и дизъюнкция относительно тривиальны, и их свой­ства выявляются, так сказать, по ходу дела) — является в неко­тором смысле центральной связкой логики, но и потому, что в этой главе устанавливаются общие принципы исследования; в после­дующих главах мы просто распространяем на новые операции результаты, уже полученные для ранее рассмотренных. В то же время мы ограничиваемся весьма краткой трактовкой модально­стей; причины мы объясним во введении к гл. 8.

Избранный нами подход исходит в первую очередь из семанти­ческих соображений; в каждой новой главе рассматриваются некоторые новые аспекты. У такого расположения материала есть одна невыгодная сторона: когда доказательства теорем при­ходится распространять на случаи, которые не рассматривались при первоначальном доказательстве, легко упустить некоторые важные детали, считая, что доказательство проходит без измене­ний и для более общего случая. Случаи таких ошибок привести легко. Это — цена, которую приходится платить за выгоды семантического подхода. Но этот путь типичен для развития математики; мы постоянно распространяем результаты (часто с соответствующими модификациями) на ситуации, подобные, но не в точности совпадающие с теми, которые встречались перво­начально.

В последних четырех главах широко используются методы Генцена. Они играют важную роль в раскрытии того факта, что доказательство может быть представлено в некоторой стандартной форме, из чего в дальнейшем получаются важные необходимые условия для выводимости. Эти соображения важны, но они не исчерпывают возможностей рассматриваемого метода. Когда чита­тель проследит изложение на протяжении всей книги, ему станет ясно, что генценовские правила имеют естественную интерпрета­цию непосредственно в терминах той семантической ситуации, которую мы пытаемся формализовать. Правила Генцена стано­вятся, таким образом, инструментом семантического анализа. Основная теорема Генцена важна и в другом отношении: она показывает, что формулировка, полученная из рассмотрения семантической ситуации, соответствует этой ситуации. Иными словами, несправедливость теоремы Генцена свидетельствовала бы о том, что не были адекватно учтены некоторые свойства операций. Поэтому формулировки, для которых эта теорема несправедлива, должны рассматриваться с подозрением. Факты, рождающие это убеждение, не лежат на поверхности и не являют­ся очевидными с самого начала, но оно крепнет по мере изучения предмета.

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

Каждая из восьми глав книги разбита на разделы, от трех до пяти в каждой главе, обозначенные буквами от А до Е; кроме того, в каждой главе имеется дополнительный раздел 8. Как сви­детельствует его название, последний раздел довольно неформаль­но трактует некоторые вопросы, которые различным образом дополняют основной текст. Здесь содержится исторический и биб­лиографический комментарий и другие вспомогательные ссылки на литературу, обсуждение аспектов предмета, которые слишком специальны или, быть может, противоречивы, для того чтобы вклю­чать их в основной текст, и т. п. По поводу этого материала нужно иметь в виду два замечания. Первое — этот материал требует от читателя большей подготовки, чем та, которая предполагается для основного текста. Второе — этот материал скорее предназна­чен для постановки вопросов, нежели для сообщения определен­ной точки зрения. Последнее особенно относится к историче­ским комментариям: я старался полностью отразить материал, ко­торый я использовал при подготовке основного текста, но сверх того дал лишь ту информацию, которой фактически распо­лагал.

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

Мне приятно выразить благодарность моему секретарю Веро­нике П. Зерби, оказавшей мне значительную помощь при подготовке рукописи, моим ассистентам Джозайе Б. Элфорду, Франклину С. Бреннеману и Фредерику К. Зерби за большую и кропотливую работу, проделанную, в частности, при подго­товке библиографии. За финансовую поддержку, которая сделала возможной эту работу, я благодарен Национальному научному фонду США. Были учтены некоторые замечания студентов Уильяма Крэвена и Германа Дж. Бистерфельдта. Иллюстрации взяты из моей книги "Ьедопз Ае 1о^1цие а1§ёЬпцие" и использованы с разрешения издательства Готье-Виллар. На заключительных этапах подготовки я получил значительную помощь от моего коллеги — профессора Уго Рибейро и моего ученика Луиса Э. Санчеса.

Хаскелл Б. Карри

***
 
ОГЛАВЛЕНИЕ
 
От редактора перевода 5
 
Предисловие    .  . . 9
Объяснение соглашений 15
 
Глава 1. Введение 17
А. Природа математической логики 17
В. Логические антиномии 20
С. Природа   математики . 26
D. Математика и логика 39
S. Дополнительные вопросы 42
 
Глава 2. Формальные системы 56
А. Предварительные рассмотрения 56
В. Теории 79
С. Системы 86
D. Специальные формы систем 107
E. Алгорифмы 114
S. Дополнительные вопросы 130
 
Глава 3. Эпитеория 146
А. Природа эпитеорпи 146
В. Замена и монотонные отношения 157
С. Теория   определений 163
D. Переменные 171
S. Дополнительные  вопросы 184
 
Глава 4. Реляционная   логическая алгебра 191
А. Логические алгебры вообще 192
В. Структуры 198
С. Сколемовские   структуры 210
D. Классические  сколемовские  структуры 224
S. Дополнительные  вопросы 236
 
Глава  5. Теория импликации 245
А. Общие принципы ассерторической логической алгебры 247
В. Алгебры высказываний 259
С. Системы  ЬА и ЬС 271
D. Эквивалентность систем 295
Е. Ь-выводпмость 323
S. Дополнительные  вопросы 351
 
Глава 6. Отрицание 363
А. Природа отрицания 363
В. Ь-системы для отрицания 373
С. Другие формулировки отрицания 397
Б. Техника классического отрицания 409
S. Дополнительные вопросы 431
 
Глава  7.   Кванторы 439
А. Предварительные формулировки 440
В. Теория Ь*-систем 456
С. Другие формы теории кванторов 481
D. Классическая эпитеория 491
S. Дополнительные  вопросы , . . 500
 
Глава 8. Модальности 505
А. Уточнение понятия необходимости 505
В. Ь-теория необходимости 509
С. Т- и Н-формулировки теории необходимости .... 514
S. Дополнительные вопросы 516
 
Библиография 518
Указатель символов 548
Указатель  терминов 549
Именной  указатель 563

Характеристики +
В наличност:
Да
Етикети
математическа логика
Език
Руски
Автор (А-Я)
Хаскелл Б. Карри
Издателство (А-Я)
Мир
Етикет
математическа логика
Преводач
В. В. Донченко
Град
Москва
Година
1969
Страници
568
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
книга в отлично състояние
Националност
американска
Корица
твърда
Формат
среден
Размери (мм)
150 х 220 х 32
Тегло (грама)
742
Условия за пазаруване +

Моля, след направена поръчка, очаквайте обаждане по телефона за потвърждение!

 

  • 5.00 лв. - минимална стойност на покупка в сайта (не важи за покупка с лично предаване)
  • 5.00 лв. - доставка до офис на Еконт или Спиди, над 60 лв. - безплатна доставка.
  • 6.50 лв. - доставка до адрес с Еконт или Спиди, независимо от теглото и стойността на пратката.
  • 0 лв. - лично предаване за клиенти от София (виж по-долу)
  • 10% - отстъпка при покупка на стойност над 20 лв. , видима в процеса на пазаруване.

 

За клиенти с поне три покупки (закупили продуктите си с регистрация), може да се определи постоянна персонална отстъпка с код за отстъпка за бъдещо пазаруване, независимо от стойността на покупката.

За пазаруващите само с "Бърза поръчка", не се предлага код за постоянна отстъпка.

 

Поръчки направени до 17.00 ч. в делничен ден - за София и страната, обикновено се изпращат в същия ден и се доставят на следващия, или според графика на куриерската фирма. При пристигането на пратката в офиса на Еконт клиентите, направили поръчка с регистрация, получават имейл и SMS, а с "Бърза поръчка" - само SMS. 

След преглед на пратката в присъствието на куриера, се заплаща наложен платеж. Към книгите от всяка поръчка се издава фискален бон, а при заявено желание и опростена фактура, както на фирми, така и на физически лица.

Ако доставеното не отговаря на описаното състояние при поръчката, то клиента се освобождава от заплащане на пратката в двете посоки, след разговор по телефона с подателя.

Ако клиента след преглед прецени, че доставеното не му е необходимо, то той следва да го върне на подателя, като заплати пощенските разходи в двете посоки.

 

За София - лично предаване

 

Среща с предварителна уговорка на две места в кв. Орландовци:

1. За пристигащите с трамвай (№ 3, 4 или 18): трамвайна спирка "Католически гробищен парк" (виж на картата) около 7-9 мин от пл. Лъвов мост.

2. За пристигащите с автомобил: кв. Орландовци, ул. Железопътна 18, пред магазин Билла (виж на картата) 

Предимствата на този начин за получаване: възможност за внимателно разглеждане на книгите, получаване в същия ден и спестяване на пощенските разходи.

 

За чужбина (for abroad) 

 

Български пощи

 

Bulgarian Post / Български пощи /Neighboring countries - Greece, Republic of North Macedonia, Roumanie, Serbie, Turquie)

Bulgarian Post / Български пощи - All other European countries

Bulgarian Post / Български пощи - Outside European countries

 

ЦЕНИ ЗА ТЕГЛО НА ПРАТКИ С ПРЕДИМСТВО И ПРЕПОРЪКА - ЦЕНА (лева) 

PRICES FOR WEIGHT OF SHIPMENTS WITH ADVANTAGE AND RECOMMENDATION - PRICE (BGN)

EUR/BGN - 0.51 (1 EUR = 1.95583 BGN)

 

 

Тегло (грама)

Weight (gram)

Съседни държави

Neighboring countries

Европа

All other European countries

Извън Европа

Outside European countries
 

151 - 250

11.40

13.10

15.10

251 - 350

12.60

14.60

16.90

351 - 500

14.60

17.60

20.60

501 - 1000

14.50

24.60

29.60

1001 - 2000

20.10

37.60

41.60

2001 - 3000

36.60

46.60

51.60

3001 - 4000

43.60

55.60

63.60

4001 - 5000

51.60

61.60

74.60

 

Продукти от същата категория

Бърза поръчка Без формалности
Вашата поръчка е приета. Очаквайте обаждане!