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

(2001)

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

Другие произведения в категории:

№	Название	Год	Текст	Тип	Действия
1.	Раскрыть Вычислимость и логика Булос Дж., Джеффри Р.	1994		—
	В книге известных американских математиков излагаются разделы теории вычислимости. Связанные с логической проблематикой. Излагаются основные методы теории вычислимости, приводятся доказательства теорем о неразрешимости логики предикатов пеервого порядка, тьюрингова вычислимость, теоремы Геделя о неполноте, нестандартные модели и многое другое. Смотри категории знания: математическая логика, логика
2.	Раскрыть Логика как часть теории познания и научной методологии Войшвилло Е. К., Дегтярев М. Г.	1994		учебное пособие
	Двухтомное учебное пособие содержит систематическое изложение обширного курса логики, включающее логический анализ языка как знаковой системы, символическую логику (кн. 1), а также формы и приемы познания (понятия, суждение, определение, теории), силлогистику, правдоподобные рассуждения, научные объяснения и теорию аргументации Смотри категорию знания: логика
3.	Раскрыть Логико-философские труды В.А. Смирнова Смирнов В. А.	2001		сборник научных статей
	Сборник работ известного логика, философа и методолога науки В.А. Смирнова (1931-1996), приуроченный к 70-летию со дня рождения. Состоит из двух книг, разбитых на тематические разделы. Содержит раздел воспоминаний о В. А. Смирнове. Смотри категорию знания: логика
4.	Раскрыть Логические методы анализа научного знания Смирнов В. А.	2002		научная монография
	Книга посвящена анализу способов рассуждений и введения понятий в дедуктивных и эмпирических науках. Значительное внимание уделено анализу научных теорий, проблемам определимостии в теории, отношениям между теориями. Изучаются интенсиональные языки, их роль для описания научных процедур. Смотри категорию знания: логика
5.	Раскрыть Органон Аристотель	—		сборник научных статей
	Собрание, включающее в себя следующие трактаты «Категории», «Об истолковании», «Аналитики», «Топика», «О софистических опровержениях». В первом трактате анализируются типы сказывания, а именно такие категории (предикаменты) как сущность, количество, качество и др. Во втором трактате рассматриваются атрибутивные высказывания ассерторические и модальные. В 9 главе этого трактата... Смотри категорию знания: логика
6.	Раскрыть Основы логики Бочаров В. А., Маркин В. И.	1994		учебник
	Один из наиболее известных и квалифицированно написанных отечественных учебников по логике. Учебник представляет собой основное содержание курса лекций по логике, который авторы в течение ряда лет читали на философском факультете и факультете психологии МГУ имени М.В.Ломоносова. Смотри категорию знания: логика
7.	Раскрыть Понятие как форма мышления Войшвилло Е. К.	1989		научная монография
	Впервые исследуется специфика понятия как формы мышления с использованием аппарата современной символической логики, построена теория понятия. Показаны возможности применения средств современной символической логики для анализа структур понятий, отношений между ними и операций над понятиями. Часть I посвящена логическому анализу естественного языка, излагается язык логики... Смотри категорию знания: логика
8.	Раскрыть Проблемы математической логики	1970		сборник научных статей
	Сборник содержит работы, посвященные оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. Рассматриваются «ограниченные» машины Тьюринга, обощения конечных автоматов. Смотри категории знания: математическая логика, логика
9.	Раскрыть Система логики Милль Д. С.	1843		—
	Произведение оказало заметное влияние на развитии логики и философии науки. Теория именования, изложенная в нем, частично предвосхитила многие положения ставшей классической концепции Г.Фреге. При этом авторская классификация времен в свою очередь восходила к воззрениям представителей поздней схоластики (У.Оккам, Ж.Буридан). В «Системе логики» приобрело относительно... Смотри категорию знания: логика Раздел каталога: философские науки
10.	Раскрыть Формирование математической логики Стяжкин Н. И.	1967		научная монография
	В книге описываются узловые моменты становления наиболее заметных концепций в истории логики с древнейших времен до начала XX столетия. Особое внимание уделяется зарождению и развитию алгебраических методов в логике. Смотри категории знания: математическая логика, логика