книга

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

Здесь можно купить книгу "В границах трехзначности " в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.

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

Форматы: 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

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