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

1. Обогащение классической сентенциальной логики операторами истинности и ложности
1.1. Понятия истинности и ложности
1.2. Классическая логика и ее интерпретация
1.3. Основные содержательные положения логики с операторами истинности и ложности
1.4. Формулировка классической сентенциальной логики с операторами истинности и ложности FL2
1.5. Аксиоматическая теория истины для классической сентенциальной логики
1.6. Семантические и несемантические формулировки законов противоречия и исключенного третьего
2. Обобщение классической логики на область предложений, не являющихся двузначными
2.1. Содержательные положения логики с операторами истинности и ложности в расширенной области
2.2. Формулировка логики ложности FL4
2.3. Теорема дедукции
2.4. Интерпретация языка логики FL4
2.5. Непротиворечивость логики FL4
2.6. Семантическая полнота логики FL4
3. Соотношения логики FL4 с четырехзначными логиками
3.1. Четырехзначная логика Белнапа
3.2. Логика тавтологических следований Efde и матрица Смайли
3.3. Логики истины фон Вригта
3.4. Комбинированные логики Смирнова
3.5. Мультиимпликативность логики FL4
4. Классификация формул с одной переменной
4.1. Расширение области определения операторов
4.2. 9 видов отрицаний
4.3. 9 видов операторов утверждения, неэлиминируемость оператора истинности
4.4. Виды противоречий
4.5. Виды тавтологий. Различные формулировки законов логики
4.6. Бивалентные и трехвалентные формулы
4.7. 15 областей универсума предложений
5. Алгебра ложности FA4
6. Сублогики логики FL4 и их соотношение с трехзначными логиками
6.1. Логика FL3N
6.1.1. Логика Клини
6.1.2. Логика Бочвара
6.1.3. Логика Лукасевича
6.1.4. Логики Гейтинга и Геделя
6.1.5. Логика Васильева
6.2. FL3B и паранепротиворечивые логики
6.2.1. Логика Д`Оттавиано - да Коста
6.2.2. Логика антиномий Асенхо
6.2.3. Логика парадоксов Приста
6.2.4. Логика Сетте
6.2.5. Логика Арруды VI
6.2.6. От двух выделенных значений к одному
7. Условия применимости классической и неклассических логик в рамках языков неклассических логик
7.1. Условия применимости классической логики
7.2. Условия применимости 3-хзначных логик
8. Обогащение языка логики FL2 кванторами
9. Символическая логика символьных выражений