Символическая логика, философская логика, методология и философия науки.

Книга посвящена памяти выдающегося российского логика и философа В.А. Смирнова. Из содержания: (коллектив авторов). Алгебра логики для компьютера. Семантика частичных возможных миров, случайные тождества и дескрипции. О неполноте конструктивной теории моделей с неразрешимым равенством. Континуально-дедуктивный подход к выводу бинарных операций двузначной булевой логики. О независимой аксиоматизируемости расширений логики Р.Соловая. Классические проблемы дескриптивной теории множеств. Порядок ослабления классической логики в комбинированных исчислениях. Теория истинностных функций в логике предикатов. Использование задач Смаллиана для демонстрации применения программирования с ограничениями. От Кантора к Маркову: восхождение к конструктивности. Комбинированные дистрибутивные алгебры и определяемые ими иерархии логик. Логические и информационные инварианты стилей программирования. К секвенциальной формулировке исчисления с предикатом истинности. Первая стадия индексного метода и оценки выводимости формул логики предикатов первого порядка. Условия осмысленности для утверждений об утверждениях. Религиозные парадоксы и их логика. Онтологический и концептуальный аспекты логики. О лингвистической форме дескрипции. О текстовых генотипах в тибетских медицинских текстах. Феноменологическое обоснование суждения. Системная модель аргументации: представление графов в эквивалентной матричной форме. Историко-философская парадигма и хар-р логических иссл-й. К вопросу о теории аргументации. Философские истоки целевой логики. Негативная силлогистика аристотелевского типа. Об одном -`человеческом`- способе использования метода аналитических (семантических) таблиц. О формализме логики И. Канта. Роль допонятийных форм мышления в формировании логической культуры. Софистическая аргументация в интеллектуальной культуре Древней Греции. Отношения между формулами в классической и индуктивной логике. Логика в лекциях А.А.Маркова. Сравнительный анализ гносеологических взглядов Э.Гуссерля и Б.Рассела. Индивидные дескрипции в эпистемических контекстах. Семантические основания логики У.Бурлея. Физикализация топосов с помощью идей Уилера о топологических инвариантах человеческого познания. Проблема представления знаний: `некомпьютерные` контексты. О логике вычислений в квантовых компьютерах. Синергетика как конструирование сетей интеллектуального общения. Три лика объективности. Трагический гуманизм и метафизика абсурда А.Камю. Невозможная необходимость. Синергетическое мышление: между множественностью и единством. К вопросу о гносеологии субъективной реальности. Когнитивное моделирование на основании теста ролевых конструктов Дж. А. Келли. Компьютерные док-ва и красота мат-ки. Самоорганизующаяся Вселенная, причинность, телеономизм. Когнитивные подходы в разрешении конфликтов. Философия сознания и компьютерные науки. Методология аргументации - формирование паразитарных систем. Методология в историческом развитии: что дальше? Теория и проект. Идея процесса в физическом познании.

Отзывы покупателей