книга

В границах трехзначности

Автор: Леонид Девяткин, Николай Преловский, Наталья Томова

Форматы: PDF

Издательство: Институт философии РАН

Год: 2015

Место издания: Москва

ISBN: 978-5-9540-0296-6

Страниц: 137

Артикул: 46243

Электронная книга

80 ₽

Купить и скачать

Читать фрагмент

Аннотация

Краткая аннотация книги "В границах трехзначности"

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

Содержание

Содержание книги "В границах трехзначности"

ПРЕДИСЛОВИЕ. МНОГООБРАЗИЕ ТРЕХЗНАЧНОСТИ
1. Изоморфы
2. Континуальность
3. Классификация
Литература
ГЛАВА 1. ТРЕХЗНАЧНЫЕ МАТРИЦЫ ДЛЯ КЛАССИЧЕСКОЙ ПРОПОЗИЦИОНАЛЬНОЙ ЛОГИКИ
1.1. Введение
1.2. Базовые определения
1.3. Классическая пропозициональная логика: трехзначные обобщения
1.4. Матрицы для произвольного пропозиционального языка и классическое отношение следования
1.5. Максимальные классы трехзначных классических функций
1.6. Минимальные классы классических функций
Литература
ГЛАВА 2. КОНТИНУАЛЬНОСТЬ НЕКОТОРЫХ СЛАБЫХ ТРЕХЗНАЧНЫХ ЛОГИК И ПРОБЛЕМА МОЩНОСТИ МНОЖЕСТВ ПРЕДПОЛНЫХ КЛАССОВ
2.1. Введение
2.2. Базовые определения
2.3. Континуальность множества замкнутых классов B3
2.4. Континуальность множества замкнутых классов H3
2.5. О мощности множества предполных классов для произвольного замкнутого класса функций
Литература
ГЛАВА 3. О РАСШИРЕНИИ КЛАССА ЕСТЕСТВЕННЫХ ТРЕХЗНАЧНЫХ ЛОГИК: НОВАЯ КЛАССИФИКАЦИЯ
3.1. Введение
3.2. Базовые определения
3.3. Определение естественной импликации: ослабление условия нормальности
3.4. Расширенный класс естественных импликаций
3.5. Расширенный класс естественных импликаций и базовые логики
3.6. Заключение
Литература
Приложение. Трехзначные естественные импликации: таблицы истинности
ИМЕННОЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

Отзывы

Все отзывы о книге В границах трехзначности

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Отрывок из книги В границах трехзначности

Г Л А В А 1 . Т Р Е Х З Н А Ч Н Ы Е МАТРИЦЫ Д Л Я К Л А С С И Ч Е С К О Й П Р О П О З И Ц И О Н А Л Ь Н О Й Л О Г И К И 1.1. В в е д е н и е Эта глава посвящена анализу связи между теоретико-доказательные свойствами логики с функциональными свой¬ствами ее матриц. В качестве примера мы выбрали классическую пропозициональную логику C2. Глава имеет следующую структуру. Сперва мы определим необходимые синтаксические и семантические понятия и укажем связи между ними. Затем мы приведем краткий обзор предшествующих результатов в исследуемой области, а т а к ж е сделаем ряд предварительных методологических замечаний. В четвертом п а р а г р а ф е будут сформулированы необходимые и достаточные условия, при ко¬торых трехзначная логическая матрица порождает классиче¬ское отношение следования. Используя свойство функциональ¬ной полноты операций классической логики в двузначном слу¬чае, мы перейдем от рассмотрения матриц д л я фиксированных языков к более абстрактному подходу, при котором результаты распространяются на произвольный пропозициональный я з ы к . Мы докажем, что трехзначная матрица является матрицей д л я C2, е.т.е. существует матричный гомоморфизм из этой матри¬цы в двузначную матрицу с функционально полным набором операций д л я того ж е языка. Пятый п а р а г р а ф посвящен мак¬симальным классам классических функций на { 1 ,1/ 2 , 0 } . Пока-34

С книгой "В границах трехзначности" читают

В границах трехзначности

Аннотация

Содержание

Отзывы

Краткая аннотация книги "В границах трехзначности"

Содержание

Все отзывы о книге В границах трехзначности

Отрывок из книги В границах трехзначности

С книгой "В границах трехзначности" читают

Бестселлеры нон-фикшн

Новинки книги нон-фикшн