Ч. 1 : Логика. - 1929. - 473 с.

«Энциклопедия философских наук» занимает особое место среди работ Гегеля. Здесь Гегель стремится в наиболее систематической и доступной форме изложить основное содержание своей философии. «Энциклопедия» состоит из трех частей: «Науки логики» (так называемой «Малой логики»), «Философии природы» и «философии духа».

Т. 1 : Наука логики. - 1974. - 452 с.

Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления высказываний и предикатов. Содержательное исчисление предикатов представляет наибольшие трудности, этот раздел занимает в книге значительное место. Формальное исчисление высказываний и предикатов не затрагивается. В параграфах 4 и 5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В 6-ом на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств.

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

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

  Текст у форматі PDF 13.45 Мб

В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики.

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

Кн. 6 : Зарубіжна філософія XX століття. - 1993. - 239 с.

У шостому томі «Читанки з історії філософії» подані твори західних філософів XX ст. з питань логіки й формалізації наукового пізнання; відношення логіки і предметного світу; «феноменальності» саморозкриття свідомості і людського буття; скінченності й минущості людського існування; сутності людини і цілісності людської духовності; єдності природи, людини і Бога в еволюції Всесвіту. Ці та інші питання досліджуються такими відомими західними мислителями, як Е. Гуссерль, М. Хайдеггер, Г. Маркузе, Б. Рассел, А. Камю, Ж. -П. Сартр, К. Юнг, К. Леві-Строс, П. Тейяр де Шарден та ін. Для студентів, гімназистів, ліцеїстів і всіх, хто цікавиться питаннями історії західної філософії та культури.

Теория числовых систем лежит в основе всех математических курсов, читаемых сейчас в высших учебных заведениях, и входит в программу курсов алгебры, математического анализа. вычислительной математики и пр. Каждый лектор при этом выбирает из обширного материала то, что ему кажется наиболее важным, излагает его со своей точки зрения, иллюстрируя на классическом материале нужные ему идеи и конструкции. Естественно, что никакой цельной картины при этом, как правило, не возникает. Этот пробел частично будет восполнен предлагаемым переводом книги Фефермана "Числовые системы". О содержании книги вполне можно судить по подробному оглавлению. Вначале автор излагает элементы математической логики, наивной теории множеств вплоть до возникновения парадоксов. Затем выбирается некоторая система аксиом теории множеств (она приводится полностью в добавлении I), лежащая в основе всего дальнейшего изложения. Аксиоматическое изложение обычно перегружается формальными выкладками, затрудняющими чтение. Автор, на мой взгляд, удачно избегает этого, вместе с тем сохраняя достаточную строгость, и всюду заботится о логической обоснованности каждого нового шага, каждого введения нового понятия, стараясь заблаговременно подготовить читателя к этому. Автор также показывает важность полученных результатов, мотивирует необходимость изучения возникающих вопросов и, наконец, не только знакомит читателя с некоторым кругом идей и методов, но и старается развивать у него определенные навыки творческого мышления, навыки в решении задач. Перечисленные методические достоинства наряду с несомненными научными позволяют рекомендовать книгу в качестве учебного пособия для физико-математических школ, для студентов младших курсов педагогических вузов и университетов. Без сомнения, она должна заинтересовать также учителей математики школ и преподавателей математики высших учебных заведений.

Данная книга является первым в России изданием, рассматривающая функциональное программирование в полном объеме, достаточном для понимания новичку и для использования книги в качестве справочного пособия теми, кто уже использует парадигму функционального программирования в своей практике. Изучение прикладных основ показано на примере языка Haskell, на сегодняшний день являющегося самым мощным и развитым инструментом функционального программирования. Издание можно использовать и в качестве учебника по функциональному программированию, и в качестве самостоятельного учебного пособия по смежным дисциплинам, в первую очередь по комбинаторной логике и λисчислению. Также книга будет интересна тем, кто всерьез занимается изучением новых компьютерных технологий, искусственного интеллекта и экспертных систем.

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

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

В Философском энциклопедическом словаре, включающем около 2000 статей, освещаются проблемы диалектического и исторического материализма, философские вопросы естествознания, социология, этика, эстетика, философские проблемы психологии, логики, атеизма, религии, дана панорама мирового развития философии. Большое число статей посвящено философам, социологам, психологам, повлиявшим на развитие философии и всей общественной мысли.

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