Электронная библиотека учебников » Математика » Введение в логику и методологию дедуктивных наук - Тарский А.

Введение в логику и методологию дедуктивных наук - Тарский А.

 
Название: Введение в логику и методологию дедуктивных наук
Автор: Тарский А.
Категория: Математика
Тип: Книга
Дата: 06.01.2009 18:28:19
Скачано: 246
Оценка:
Описание: Книга известного польского математика н логика А. Тарского, представляющая собой популярное введение в математиче-скую логику и методологию дедуктивных наук, заслуживает внимания советского читателя. Вышедшая в 1936 Г. на-полы ском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известные немецким книгоиздательством Шпрингера не в Германии, а в Вене, Правда, это не помогло издательству; часть издания, которую оно не успело распространить до «аншлюса», так и осталась лежать на его складах... по соображениям расового порядка. В 1941 г. просмотренное и дополненное издание книги вышло на английском языке в Нью-Йорке. С этого издания и выполнен русский перевод. Книга называлась первоначально «Введение в математическую логику и методологию математики», Это заглавие больше соответствует содержание, так как книга представляет собой введение в дисциплину, основные результаты которой получены по. преимуществу специалистами-математиками в последние десятилетия XX века. Несмотря на весьма специальный характер аппарата, математической логики и используемого в ней символического «языка» формул, автору удалось ввести читателя в круг рассматриваемых здесь проблем, не прибегая почти ни к какой специальной символике и пользуясь простым общедоступным языком. Объем затрагиваемых в книге вопросов при этом весьма значителен. Читатель найдет здесь и вопросы логики высказываний, и рассмотрение логической стороны понятий множества (класса), свойства, отношения, функции, операции, тождества и различия, и обсуждение принципов образования понятий (в том числе так называемого принципа абстракции) и способов их определения, равно как и способов образования предложений и вывода одних предложений из других. Особый раздел книги посвящен принципам построения дедуктивных теорий — так называемому аксиоматическому методу и связанным с ним проблемам непротиворечивости и полноты.
Файл: 5.02 МБ
Скачать