Вопросы философии. — 1960. — № 1. — С. 82–90. В советской научной литературе гносеологическая сущность метода моделирования, взятого в общем виде, раскрыта с достаточной ясностью. В основе этого метода лежит единство законов природы и исторически сложившаяся познавательная способность абстрагировать сходное в различных объектах и устанавливать их соответствие. Благодаря этому...
М.: АН СССР, 1959. — 468 с. Данный выпуск «Логических исследований» состоит из двух частей. В первой части содержатся статьи по общим вопросам математической (символической) логики, ее истории и отдельным приложениям; во второй части помещены статьи, касающиеся разработки и практических применений математической логики в связи с задачами математики и техники. Э. Кольман. Значение...
М.: Издательство Академии наук СССР, 1962, - 365 с. Содержание: П. В. Таванец. Формальная логика и философия. Г. И. Рузавин и П. В. Таванец. Основные этапы развития формальной логики. Д. П. Горский. Формальная логика и язык. А. Л. Субботин. Смысл и ценность формализации в логике. А. А. Зиновьев. Двузначная и многозначная логика. П. В. Таванец. О семантическом определении...
М.: Издательство Академии наук СССР, Институт философии, 1963. – 152 с. Сборник статей посвященных проблемам логики, актуальный и в наши дни. Содержание: С. А. Яновская. О философских вопросах математической логики. В. В. Донченко, Некоторые вопросы, связанные с проблемой разрешения для исчисления строгой импликации Аккермана. Н. И. Стяжкин и Б. Р. Певзнер. Об одном методе...
Статья опубликована в сборнике: Философия и логика Львовско-Варшавской школы. М.: РОСПЭН, 1999. — С. 14-177
Настоящая работа посвящена почти целиком лишь одному вопросу: вопросу определения истины; сущность его заключается в том, чтобы — имея в виду тот или иной язык — сконструировать верное по существу и формально безукоризненное определение термина «истинное высказывание».
Труды научно-исследовательского семинара Логического центра Института философии РАН 1996. - М.,1997. - 205 с.
Смирнова Е.Д. К вопросу построения семантик формализованных и естественных языков.
Сидоренко Е.А. Семантика следования(для системы Е).
Карпенко А.С.,Шалак В.И. Минимальные модели для нечеткой алгебры типа 2.
Васюков В.Л. Метафора в прагматических матрицах.
Карпенко...
Комментарии