В книге известных американских математиков излагаются разделы теории вычислимости. Связанные с логической проблематикой. Излагаются основные методы теории вычислимости, приводятся доказательства теорем о неразрешимости логики предикатов пеервого порядка, тьюрингова вычислимость, теоремы Геделя о неполноте, нестандартные модели и многое другое.
Двухтомное учебное пособие содержит систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (кн. 1), а также формы и приемы познания (понятия, суждение, определение, теории), силлогистику, правдоподобные рассуждения, научные объяснения и теорию аргументации
Произведение оказало заметное влияние на развитии логики и философии науки. Теория именования, изложенная в нем, частично предвосхитила многие положения ставшей классической концепции Г.Фреге. При этом авторская классификация времен в свою очередь восходила к воззрениям представителей поздней схоластики (У.Оккам, Ж.Буридан). В «Системе логики» приобрело относительно завершенный характер учение об индуктивных методах установления причинно-следственных связей. Был сформулирован ряд вопросов, связанных с проблемами обоснования математического и логического знания, с методологией социальных (гуманитарных, «нравственных») наук.
Собрание, включающее в себя следующие трактаты «Категории», «Об истолковании», «Аналитики», «Топика», «О софистических опровержениях». В первом трактате анализируются типы сказывания, а именно такие категории (предикаменты) как сущность, количество, качество и др. Во втором трактате рассматриваются атрибутивные высказывания ассерторические и модальные. В 9 главе этого трактата анализируются высказывания о будущих случайных событиях и демонстрируется, что если им приписывать значения истинности в момент их произнесения, то это влечет за собой фаталистические выводы. Наиболее важным трактатом является трактат «Аналитики». В нем впервые формулируется самая первая логическая теория – силлогистика. Осуществляется подробнейший анализ как ассерторической, так и модальной силлогистики. Анализируется и строится теория определения, рассматриваются вопросы индукции, осуществляется детальный анализ аксиоматического метода построения теорий. В «Топике» и «О софистических опровержениях» рассматриваются вопросы, связанные с теорией аргументации.
Один из наиболее известных и квалифицированно написанных отечественных учебников по логике. Учебник представляет собой основное содержание курса лекций по логике, который авторы в течение ряда лет читали на философском факультете и факультете психологии МГУ имени М.В.Ломоносова.
Впервые исследуется специфика понятия как формы мышления с использованием аппарата современной символической логики, построена теория понятия. Показаны возможности применения средств современной символической логики для анализа структур понятий, отношений между ними и операций над понятиями. Часть I посвящена логическому анализу естественного языка, излагается язык логики предикатов и исчисление предикатов.
Сборник содержит работы, посвященные оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. Рассматриваются «ограниченные» машины Тьюринга, обощения конечных автоматов.
Книга посвящена анализу способов рассуждений и введения понятий в дедуктивных и эмпирических науках. Значительное внимание уделено анализу научных теорий, проблемам определимостии в теории, отношениям между теориями. Изучаются интенсиональные языки, их роль для описания научных процедур.
Сборник работ известного логика, философа и методолога науки В.А. Смирнова (1931-1996), приуроченный к 70-летию со дня рождения. Состоит из двух книг, разбитых на тематические разделы. Содержит раздел воспоминаний о В. А. Смирнове.
В книге описываются узловые моменты становления наиболее заметных концепций в истории логики с древнейших времен до начала XX столетия. Особое внимание уделяется зарождению и развитию алгебраических методов в логике.
Второе издание популярного в научной философской и логической среде коллективного труда будет содержать, по окончании работы над ним, 18 томов (к 2010 году вышли в свет 14 книг). Издание содержит обширную и подробную информацию по всем основным разделам своевременной философской логики. Каждый том содержит несколько глав по родственным разделам логической науки, написанных наиболее авторитетными специалистами. Публикация справочной книги осуществляется издательством Springer.