Зарегистрироваться

Логика: Произведения

Вычислимость и логика

Булос Дж., Джеффри Р. (1994)

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

Логика как часть теории познания и научной методологии

Войшвилло Е.К., Дегтярев М.Г. ; Учебное пособие (1994)

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

Категория: Логика

Система логики

Милль Д.С. (1843)

Произведение оказало заметное влияние на развитии логики и философии науки. Теория именования, изложенная в нем, частично предвосхитила многие положения ставшей классической концепции Г.Фреге. При этом авторская классификация времен в свою очередь восходила к воззрениям представителей поздней схоластики (У.Оккам, Ж.Буридан). В «Системе логики» приобрело относительно завершенный характер учение об индуктивных методах установления причинно-следственных связей. Был сформулирован ряд вопросов, связанных с проблемами обоснования математического и логического знания, с методологией социальных (гуманитарных, «нравственных») наук.

Категория: Логика

Раздел каталога: философские науки

Органон

Аристотель ; Сборник научных статей

Собрание, включающее в себя следующие трактаты «Категории», «Об истолковании», «Аналитики», «Топика», «О софистических опровержениях». В первом трактате анализируются типы сказывания, а именно такие категории (предикаменты) как сущность, количество, качество и др. Во втором трактате рассматриваются атрибутивные высказывания ассерторические и модальные. В 9 главе этого трактата анализируются высказывания о будущих случайных событиях и демонстрируется, что если им приписывать значения истинности в момент их произнесения, то это влечет за собой фаталистические выводы. Наиболее важным трактатом является трактат «Аналитики». В нем впервые формулируется самая первая логическая теория – силлогистика. Осуществляется подробнейший анализ как ассерторической, так и модальной силлогистики. Анализируется и строится теория определения, рассматриваются вопросы индукции, осуществляется детальный анализ аксиоматического метода построения теорий. В «Топике» и «О софистических опровержениях» рассматриваются вопросы, связанные с теорией аргументации.

Категория: Логика

Основы логики

Бочаров В.А., Маркин В.И. ; Учебник (1994)

Один из наиболее известных и квалифицированно написанных отечественных учебников по логике. Учебник представляет собой основное содержание курса лекций по логике, который авторы в течение ряда лет читали на философском факультете и факультете психологии МГУ имени М.В.Ломоносова.

Категория: Логика

Понятие как форма мышления

Войшвилло Е.К. ; Научная монография (1989)

Впервые исследуется специфика понятия как формы мышления с использованием аппарата современной символической логики, построена теория понятия. Показаны возможности применения средств современной символической логики для анализа структур понятий, отношений между ними и операций над понятиями. Часть I посвящена логическому анализу естественного языка, излагается язык логики предикатов и исчисление предикатов.

Категория: Логика

Проблемы математической логики

Сборник научных статей (1970)

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

Логические методы анализа научного знания

Смирнов В.А. ; Научная монография (2002)

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

Категория: Логика

Логико-философские труды В.А. Смирнова

Смирнов В.А. ; Сборник научных статей (2001)

Сборник работ известного логика, философа и методолога науки В.А. Смирнова (1931-1996), приуроченный к 70-летию со дня рождения. Состоит из двух книг, разбитых на тематические разделы. Содержит раздел воспоминаний о В. А. Смирнове.

Категория: Логика

Формирование математической логики

Стяжкин Н.И. ; Научная монография (1967)

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

Справочная книга по философской логике

(2001)

Второе издание популярного в научной философской и логической среде коллективного труда будет содержать, по окончании работы над ним, 18 томов (к 2010 году вышли в свет 14 книг). Издание содержит обширную и подробную информацию по всем основным разделам своевременной философской логики. Каждый том содержит несколько глав по родственным разделам логической науки, написанных наиболее авторитетными специалистами. Публикация справочной книги осуществляется издательством Springer.

Категория: Логика

Произведений нет