2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Подскажите учебник по логике.
Сообщение21.12.2008, 19:56 
Учить нас этому, видимо, уже не будут, а разобраться хочется. Подскажите, пожалуйста, хороший современный учебник по математической логике. Хочется:
1. Хотя бы в общих чертах понять, что там происходит "до сотворения теории множеств".
2. Перестать плавать в понятиях "доказуемость", "истинность", и т.п.
3. Ну и вообще быть культурным человеком.

Добавлено спустя 5 минут 9 секунд:

Чувствую себя примерно вот так:
Изображение

 
 
 
 
Сообщение21.12.2008, 22:36 
Аватара пользователя
Есть такой учебник:
Гетманова А.Д. Учебник по логике, 1995.

 
 
 
 
Сообщение21.12.2008, 22:47 
Цитата:
Вашему вниманию предлагается один из лучших за последнее время учебников по логике, написанный доктором философских наук Александрой Денисовной Гетмановой. Книга рекомендована в качестве учебного пособия для студентов вузов.
Это точно оно? :roll:

 
 
 
 
Сообщение21.12.2008, 23:04 
Аватара пользователя
Оно.

 
 
 
 
Сообщение21.12.2008, 23:16 
http://www.bks-mgu.ru/fulltxt/A313.htm
Не, ну слушайте, эт не то. Я поближе к математике что-нибудь хотел.
AD в сообщении #169670 писал(а):
Хотя бы в общих чертах понять, что там происходит "до сотворения теории множеств".

 
 
 
 
Сообщение22.12.2008, 00:48 
Аватара пользователя
Аристотеля, что-ли?

 
 
 
 Re: Подскажите учебник по логике.
Сообщение22.12.2008, 00:53 
Аватара пользователя
AD писал(а):
Учить нас этому, видимо, уже не будут, а разобраться хочется. Подскажите, пожалуйста, хороший современный учебник по математической логике. Хочется:
1. Хотя бы в общих чертах понять, что там происходит "до сотворения теории множеств".
2. Перестать плавать в понятиях "доказуемость", "истинность", и т.п.
3. Ну и вообще быть культурным человеком.

Добавлено спустя 5 минут 9 секунд:

Чувствую себя примерно вот так:
Изображение


Клини С.К., "Математическая логика", 1973. Английское переиздание 2002 г.

 
 
 
 
Сообщение22.12.2008, 09:14 
И за что Гетмановой доктора дали?

Пока не набежали фанаты Ершова и Палютина, быстренько порекомендую вот это: Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic.

 
 
 
 
Сообщение22.12.2008, 15:14 
luitzen в сообщении #169881 писал(а):
Пока не набежали фанаты Ершова и Палютина, быстренько порекомендую вот это: Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic.
Достал, почитываю. Спасибо.

 
 
 [ Сообщений: 9 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group