Зиновьев А.А.
Основы логической теории научных знаний / А.А. Зиновьев ; вступ. ст. акад. В.А.Лекторского. - Изд.2-е.,испр. и доп. - М. : ЛКИ, 2010. - 261 с. - (Из наследия А.А. Зиновьева). - ISBN 978-5-382-01171-4.

Шифры: 16 - З-635

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

Экземпляры: Всего: 2, из них: чзнл-2

Зиновьев А.А.
Комплексная логика / А.А. Зиновьев ; вступ. ст. акад. В.А.Лекторского. - М. : ЛКИ, 2010. - 203 с. - (Из наследия А.А. Зиновьева). - Библиогр.: с. 199 (16 назв.). - ISBN 978-5-382-01172-1.

Шифры: 16 - З-635

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

Экземпляры: Всего: 2, из них: чзнл-2

Бирюков Б.В.
Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики / Б.В. Бирюков, В.Н. Тростников. - изд. 4-е . - М. : ЛИБРОКОМ, 2009. - 228 с. : ил. - Библиогр. в конце глав. - ISBN 978-5-397-00134-2.

Шифры: 16 - Б 649

Экземпляры: Всего: 3, из них: абнл-2, чзнл-1

Пуанкаре А. (1854-1912).
Математика и логика / А. Пуанкаре, Л. Кутюра ; перевод с французского П. Юшкевича, А. Долина. - Изд. 2-е. - Москва : ЛКИ, 2007. - 149 с. : ил. - (Из наследия мировой философской мысли. Философия науки). - ISBN 978-5-382-00019-0.

Шифры: 16 - П 88

Аннотация: Критическому разбору идей «логицизма» — направления, ставящего целью обосновать математику сведением ее исходных понятий к понятиям логики, — выдающийся французский математик и философ А.Пуанкаре посвятил работу «Математика и логика», печатавшуюся в XIII и XIV томах журнала «Revue de Methaphysique et de Morale» (русский перевод появился в 1915 году). В отличие от «логацистов» Пуанкаре не отмежевывается от философии и не скрывает связи своих идей с идеями философов, в частности с учением Канта об априорных синтетических суждениях математики. Но, как и «логицисты», Пуанкаре в своих рассуждениях по вопросу об интуиции в математике не отделяет ясно то, что в его аргументации вызвано его философскими предубеждениями, от того, что в ней определяется специально математическими обоснованиями и что имеет значение и ценность независимо от его философских позиций. Задачу этого разграничения Пуанкаре предоставляет своим читателям и критикам. Выступая против «логицизма», Пуанкаре имел в виду не только эвристическое понимание интуиции, но и логико-гносеологический предмет спора. В своей полемике с Л.Кутюра он разумеет под «интуицией» уже не «вдохновение», не «догадку», а прямые, не опирающиеся на логику интеллектуальные усмотрения. Книга рекомендуется не только философам, логикам, историкам и методологам науки, но и широкому кругу читателей, интересующихся проблемами логики и доказательства в науке

Экземпляры: Всего: 1, из них: чзнл-1