Логика

Вниманию читателя предлагается сборник работ известного логика, философа и методолога науки В.А. Смирнова (1931-1996), который был приурочен к 70-летию со дня рождения ученого. Сборник состоит из двух книг: «Логика» и «Логика и методология науки», каждая из которых разбита на разделы. В первой книге разделы снабжены комментариями; во второй книге содержится специальный раздел, посвященный воспоминаниям о В.А. Смирнове. Издание завершается полной библиографией трудов ученого. Для логиков, методологов науки, философов и всех заинтересованных читателей.

Предлагаемая читателю книга посвящена представлению концепции существования в логике. Под логикой существования в работе понимается ряд исследований по применению математической логики к анализу и экспликации понятия существования. Целью настоящего исследования является логический анализ структуры утверждений существования. В книге рассмотрены теория дескрипций Б. Рассела, модальные концепции понятия существования, теория существования С. Лесневского. Представлена также общая теория логического существования — так называемая свободная от экзистенциальных предположений логика. Книга предназначена для студентов, аспирантов и всех интересующихся философией логики.

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

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

Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика конца XIX — начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом. Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств. Руководство написано очень сжато и лаконично и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов. Для более широкого круга читателей будут полезны комментарии-пояснения, расположенные в конце книги.

Вниманию читателя предлагается книга выдающегося советского философа, историка и методолога науки академика Б.М.Кедрова (1903-1985), в которой он не только дает принципиальное, общее освещение заявленной темы, но и старается проследить, как единство диалектики, логики и гносеологии проявляется в разных сферах познания человеком объективного мира. На материале из истории естествознания автор стремится показать, какое огромное значение имеет диалектико-материалистическая методология для отдельных наук. Книга освещает единство и соотношение диалектики с теорией познания материализма, способствует привлечению внимания к идеям, принципам и указаниям, оставленным в области философии В.И. Лениным. Рекомендуется философам, методологам науки, преподавателям, студентам и аспирантам гуманитарных факультетов вузов, а также всем, кто интересуется марксистско-ленинской философией.

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

В настоящей книге анализируются теоретико-познавательные, методологические и логические основания теории логического объекта; рассматриваются концепции логического объекта Г.Фреге, Э.Гуссерля, А.Мейнонга. Исходя из задачи обоснования логического вывода исследуется природа логического объекта, анализируется понятие логической истины. Обсуждается логическая проблема несуществующих объектов, критически оценивается аргументация Б.Рассела, рассматривается формализованная теория логических объектов Т.Парсона. Книга адресована философам, научным сотрудникам, специализирующимся на логике и ее приложениях, студентам соответствующих специальностей, всем заинтересованным читателям.

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

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

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

Настоящая книга, написанная выдающимся философом и логиком А.А.Зиновьевым, посвящена проблеме логического следования, которая, по мнению автора, является одной из центральных теоретических проблем современной логики. Проблема логического следования заключается, коротко говоря, в следующем: можно ли классическую логику высказываний непосредственно рассматривать как общую теорию вывода, дающую описание привычно ясных правил вывода; если нет, то можно ли для логического следования построить систему, аналогичную построениям в классической логике высказываний? При исследовании этой проблемы автор апеллирует к интуитивному пониманию правил вывода, к эмпирическим данным рассуждений и т.п. Рекомендуется философам, логикам, методологам науки, студентам и аспирантам соответствующих специальностей.

Настоящая книга представляет собой новую учебную версию введения в формальную логику. В ней систематически показывается своеобразная опытная природа этой науки. Освещается лишь традиционная формальная логика, так как только она реально имела и имеет базисное общекультурное значение. Предлагаемая версия учебного курса выполняет свою самостоятельную инновационную миссию в деле современного просвещения в вопросах формальной логики. Вместе с тем она дает концептуально-методический ключ к освоению эволюционной теории познания как веками искомой логики наиболее общего типа. Данная книга вместе с книгой автора «Эволюционная теория познания. Опыт систематического построения» (М.: URSS, 2004) дает первую систематическую версию учебного курса современной логики. Эта версия образует концептуальное ядро наиболее эффективной подачи тематик учебного курса «Философия науки», так как представляет строгие законы рационального человеческого мышления в разных фазах познавательных циклов, а также наиболее общие законы материализации рациональных знаний в технологических процессах и в их инженерно-техническом оформлении. Инновационный учебный курс адресуется студентам высших учебных заведений любого профиля, аспирантам, преподавателям, а также всем интересующимся вопросами логики, общеметодологическими вопросами фундаментального и прикладного познания, технического творчества.

Вниманию читателей предлагается книга известного отечественного философа и историка науки Б.С.Грязнова (1929-1978), содержащая его главные труды. Автор предпринимает попытку создать целостный образ науки, рассматривает ее состав, строение и функционирование. Первый раздел монографии содержит результаты исследований Б.С.Грязнова в области гносеологии и логики науки. Второй раздел составляют работы, посвященные развитию науки и способам реконструкции этого развития в человеческом сознании. В третьем разделе наука представлена и изучается в системе культуры. Для специалистов в области гносеологии, методологии, истории науки, а также всех заинтересованных читателей.

Книга известного немецкого философа Иосифа Дицгена (1828-1888) посвящена проблемам логики и теории познания. Изложение построено автором в форме писем к сыну, публицисту Евгению Дицгену. В книге не только содержится своеобразный курс логики, но и показано, что так называемая демократически-пролетарская логика находит обоснование в выводах логики вообще. Автор также показывает, в какой мере мыслительная способность человека может дать гарантию успеха при познании абсолютной истины, и какое значение может иметь такое познание, приобретаемое с помощью мыслительной способности. Для философов, логиков, историков и методологов науки, а также всех читателей, интересующихся вопросами логики, мышления и познания.

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

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

В книгу вошли две работы польского философа и переводчика Кшиштофа Михальского, профессора Варшавского и Бостонского университетов, ректора Института человека в Вене, о Э. Гуссерле и М. Хайдеггере, которые отражают философскую мысль ведущих ученых XX века, ставших ныне классиками, и показывают мастерство интерпретации польским автором их главных идей, тем и понятий. Особый интерес представляет трактовка терминологии Гуссерля и Хайдеггера, во многом не совпадающая с русской, свидетельствуя о широком спектре способов и техник анализа философского текста, который своими истоками уходит в античность. Предлагаемые исследования, посвященные западноевропейской философии, вводят в круг польских представлений о кардинальных философских проблемах современности и могут служить путеводителем по творчеству Гуссерля и Хайдеггера. Язык Михальского, не избегая сложностей, доходчиво и вместе с тем убедительно демонстрирует объемность и гибкость логики в осмыслении и переосмыслении философского дискурса.

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

Монография является итогом многолетних исследований силлогистических теорий с точки зрения символической логики. Дается детальная классификация систем силлогистики в зависимости от выразительных возможностей их языков и принимаемых в них условий истинности категорических высказываний. Осуществляется формальная реконструкция ряда имеющихся в истории логики силлогистик — силлогистик Аристотеля, Л. Кэрролла, Б. Больцано, Дж. Венна, Н.А. Васильева, а также традиционной и фундаментальной силлогистики. Устанавливаются метатеоретические взаимосвязи между различными системами силлогистики, а также между силлогистиками и современными логическими теориями. Для нескольких систем силлогистики предлагаются адекватные интенсиональные семантики. Впервые ставится и исследуется проблема полноты множества логических констант в силлогистической теории.

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

Написанная на основе ранее неизвестных и не публиковавшихся материалов, эта книга — научная биография Н.А. Васильева, профессора Казанского университета, ученого-мыслителя, который считается родоначальником современной неклассической логики, и интересы которого простирались до поэзии, философии и психологии. Рассматривается путь ученого к «воображаемой логике» и органическая связь его логических изысканий с исследованиями по психологии, философии, этике. Показывается, как идеи, высказанные Н.А. Васильевым в начале XX века, были возрождены в 1960-х гг. и развиваются в настоящее время.

Пособие содержит основные темы курса «Логика», соответствующие общепринятой программе преподавания этой дисциплины. Благодаря простоте изложения и легкости стиля полезно не только как учебное пособие, но и как популяризирующее эту дисциплину издание. Много внимания уделяется философско-методологическим проблемам логики. Для студентов высших учебных заведений, а также для всех, изучающих логику и интересующихся логико-методологическими проблемами познания.

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