Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Книги- результаты поиска

Вид поиска
Книги
Иностранная литература
Периодика
Статьи
Авторефераты и диссертации
Учебно-методические пособия
Выпускные квалификационные работы
Публикации сотрудников
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>K=релевантная логика<.>)
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 87/В 65
Автор(ы) : Войшвилло Е. К.
Заглавие : Символическая логика (классическая и релевантная) : философско-методологические аспекты: учеб. пособие
Выходные данные : М.: Высшая школа, 1989
Колич.характеристики :152 с
Примечания : Библиогр.: с. 147-148. - Допущено Гл. упр. преподавания обществ. наук Гос. ком. СССР по нар. образованию
ISBN, Цена 5-06-001417-7:
ББК : 87.4я73
Предметные рубрики: Философские науки
Логика
Ключевые слова (''Своб.индексиров.''): классическая логика--релевантная логика--логика высказываний--логика предикатов--формализованные языки
Содержание : Классическая и неклассическая логики. О знании формализованных языков ; Классическая логика (высказываний и предикатов) ; Язык классической логики предикатов первого порядка ; Классическая логика предикатов первого порядка (КЛП) ; Язык классической логики высказываний (ЯКЛВ) и классическая логика высказываний (КЛВ) ; Исчисления высказываний и предикатов ; Релевантная логика ; История, направления развития и методологическое значение релевантной логики ; Понятие релевантного логического следования для формул классической логики (следование первого порядка). Семантика обобщенных описаний состояний ; Натуральные варианты некоторых систем релевантной логики
Аннотация: В работе рассматриваются системы классической и релевантной логики и связанные с ними вопросы философско-методологического характера - понятие формализации рассуждений, значение логических исчислений, вопрос об информативности законов логики, развитие понятия логического следования от классической логики к релевантной и др.
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)