Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=паранепротиворечивая логика<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Шульга, Е. Н. (доктор философских наук ; старший научный сотрудник).
Всемирный конгресс по паранепротиворечивости в Индии [Текст] / Е. Н. Шульга // Вестник Российского философского общества. - 2014. - № 2 (70). - С. 65-66 . - ISSN 1606-6251

ГРНТИ	02.11.21
УДК	^a1

ББК 87
Рубрики: Философия--Индия
Общие вопросы философии--Индия
Кл.слова (ненормированные):
конгрессы -- логика -- паранепротиворечивая логика -- паранепротиворечивость -- философы
Аннотация: О конгрессе, посвященном паранепротиворечивой логике.

Доп.точки доступа:
Всемирный конгресс по паранепротиворечивости
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Попов, Владимир Михайлович (кандидат философских наук; доцент).
Об одной трехзначной паранормальной логике [Текст] / В. М. Попов // Вестник Московского университета. Сер. 7, Философия. - 2017. - № 6. - С. 46-51. - Библиогр.: с. 51 . - ISSN 0201-7385

УДК

^a16

ББК 87.42
Рубрики: Логика
Логические формы и законы
Кл.слова (ненормированные):
логика PNL -- логическая матрица M -- логическая матрица PNL -- паранепротиворечивая логика -- паранормальная логика -- параполная логика
Аннотация: Цель работы - введение в логико-философский дискурс простой табличной логики, которая достаточно богата дедуктивно, является подлогикой классической пропозициональной логики, паранепротиворечива и параполна. С этой целью здесь конструируется логика PNL, удовлетворяющая следующим условиям (1) - (4). (1) Логика PNL имеет трехзначную характеристическую матрицу с одним выделенным значением. (2) Логика PNL включает позитивный фрагмент интуиционистской пропозициональной логики. (3) Логика PNL включается в классическую пропозициональную логику. (4) Логика PNL паранормальна. Утверждение (1) служит основанием для того, чтобы оценить логику PNL как простую логику, утверждение (2) свидетельствует о том, что логика PNL достаточно богата дедуктивно, утверждение (3) равносильно утверждению о том, что PNL является подлогикой классической пропозициональной логики, а утверждение (4) фиксирует факт паранепротиворечивости и параполноты логики PNL.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Петрухин, Ярослав Игоревич (магистр).
Корреспондентский анализ для паранепротиворечивой слабой логики Клини [Текст] / Я. И. Петрухин, В. О. Шангин // Вестник Московского университета. Сер. 7, Философия. - 2017. - № 6. - С. 52-62. - Библиогр.: с. 60-62 . - ISSN 0201-7385

УДК

^a16

ББК 87.42
Рубрики: Логика
Логические формы и законы
Кл.слова (ненормированные):
Клини логика -- корреспондентский анализ -- логика LP -- логика PWK -- логика Клини -- неклассическая логика -- паранепротиворечивая логика -- паранепротиворечивая слабая логика -- слабая логика -- трехзначная логика
Аннотация: Предлагается корреспондентский анализ для трехзначной паранепротиворечивой слабой логики Клини PWK. Используя корреспондентский анализ Коя и Тамминги, основанный на логике парадокса Приста LP, показывается, что для такого анализа достаточна функционально более слабая, чем LP, логика PWK.

Доп.точки доступа:
Шангин, Василий Олегович (кандидат философских наук; ассистент)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Карпенко, И. А.
Логика многомировых моделей и интеллектуальная интуиция [Текст] / И. А. Карпенко // Философия науки. - 2023. - № 1. - С. 70-94. - Библиогр.: с. 90-94 (39 назв. ) . - ISSN 1560-7488

УДК

^a1

^a16

ББК 87 + 87.42
Рубрики: Философия
   Общие вопросы философии
   Логика
   Логические формы и законы
Кл.слова (ненормированные):
интеллектуальная интуиция -- интуиция -- логика многомировых моделей -- паранепротиворечивая логика -- теория множества миров
Аннотация: Рассматривается подход, основанный на паранепротиворечивых логиках, - такие логики могут считаться первыми соответствующими многомировым теориям.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

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

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)