URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Зиновьев А.А. Очерки комплексной логики
Id: 1137
 

Очерки комплексной логики

URSS. 2000. 560 с. Твердый переплет. ISBN 5-8360-0125-1. Букинист. .
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

В книге известного логика, философа и писателя А.А.Зиновьева изложена разработанная автором логическая теория, названная комплексной логикой. Эта логика специально ориентирована на применение в области методологии науки. С этой целью осуществляется радикальное расширение ее сферы за счет логической экспликации языковых выражений, которые фигурируют в языке опытных наук. Это, в частности, терминология, относящаяся к пространству, времени, изменениям, эмпирическим связям.

Книга рассчитана на читателей, интересующихся проблемами современной


 Оглавление

Предисловие

I Комплексная логика (введение)

1 Исходные предпосылки
 § 1.Раздвоение логики
 § 2.Исследователь
 § 3.Термины и высказывания
 § 4.Логические операторы
 § 5.Правила логики
 § 6.Онтологические утверждения в логике
 § 7.Универсальность логики
 § 8.Логические исчисления
2 Частная теория терминов и высказываний
 § 1.Предмет частной теории терминов и высказываний
 § 2.Индивиды
 § 3.Классы (множества)
 § 4.Отношения классов
 § 5.Скопления
 § 6.Состояния, события
 § 7.Существование
 § 8.Кванторы и существование
 § 9.Модальные предикаты
 § 10.Возможность
 § 11.Случайность
 § 12.Фатализм
 § 13.Модальные операторы
 § 14.Актуальное, экзистенциальное, потенциальное
 § 15.Измерение возможности
 § 16.Отношения
 § 17.Сравнение
 § 18.Отношение порядка
 § 19.Отношение "между"
 § 20.Существование отношений
 § 21.Упорядоченный ряд
 § 22.Соприкосновение
 § 23.Непрерывность и прерывность эмпирического ряда
 § 24.Начало и конец ряда
 § 25.Интервал
 § 26.Протяженность
 § 27.Абстрактные ряды
 § 28.Конечные и бесконечные ряды
 § 29.Структура
 § 30.Существование структуры
 § 31.Протяженность и порядок структур
 § 32.Соответствие
 § 33.Соответствие классов
 § 34.Функция
 § 35.Упорядоченные состояния
 § 36.Условные высказывания с отношением порядка
 § 37.Функциональная зависимость
 § 38.Связи
 § 39.Упорядочивание классов
 § 40.Эпистемическая логика
 § 41.О понятии веры
 § 42.О понятии предпочтения
 § 43.О логике оценок
 § 44.О логике норм и вопросов

II Очерк многозначной логики

1 Двузначная логика
 § 1.Двузначная логика
 § 2.Двузначная пропозициональная логика
 § 3.Классическое пропозициональное исчисление
 § 4.Двузначная концепция логики
2 Возникновение многозначной логики
 § 1.Понятие многозначной логики
 § 2.Трехзначная логика Лукасевича
 § 3.Другие системы Лукасевича
 § 4.Многозначная логика Поста
 § 5.Возникновение многозначной концепции логики
3 Аппарат многозначной логики
 § 1.Аппарат многозначной логики
 § 2.Гипотезы многозначности
 § 3.Функции
 § 4.Функциональная полнота
 § 5.Тавтологии
 § 6.Аксиоматизация
 § 7.Логика предикатов
4 Двузначная и многозначная логика
 § 1.Принципы двузначности и многозначности
 § 2.Двузначные и многозначные функции
 § 3.Отрицание
 § 4.Двузначные и многозначные формулы
 § 5.Двузначные и многозначные тавтологии
 § 6.Основные законы логики
 § 7.Непротиворечивость
 § 8.Построение многозначной логики средствами двузначной
 § 9.Сравнение аксиоматизаций
 § 10.Двузначные и многозначные кванторы
 § 11.Переходы
 § 12.Двузначные формулы в многозначной логике
 § 13.Привилегированность двузначной логики
 § 14.Множественность и единство логики
5 Многозначная концепция логики
 § 1.Эмпирические основания логики
 § 2.Многозначность высказываний
 § 3.Значения истинности
 § 4.Основные и производные значения истинности
 § 5.Функция истинности
 § 6.Многозначные функции как виды связей
6 Приложения многозначной логики в логике
 § 1.Приложения многозначной логики
 § 2.Формальные приложения
 § 3.Смысловые приложения
 § 4.Парадокс изменения
 § 5.Многозначность высказываний и правила вывода
7 Универсальность логики
 § 1.Проблема неуниверсальности логики
 § 2.Законы логики
 § 3."Неуниверсальные" законы логики
 § 4.Логика и сферы мира
 Литература

III Логическое следование

 § 1.Одна особенность современной логики
 § 2.Классическая теория логического следования
 § 3.Льюисовское направление
 § 4.Новая постановка проблемы
 § 5.Смысл высказываний
 § 6.Значения истинности
 § 7.Вывод и значения истинности высказываний
 § 8.Структура посылок и следствий
 § 9.Логические знаки
 § 10.Различные формы логического следования
 § 11.Определение логических знаков
 § 12.Вырожденные случаи
 § 13.Теория логического следования
 § 14.Пример аксиоматизации теории логического следования
 § 15."Парадоксы" сильного следования
 Заключение
 Литература

IV Нетрадиционная теория вывода

 § 1.Классическая теория следования
 § 2.Критика классической теории логического следования
 § 3.Строгая импликация
 § 4.В чем суть проблемы
 § 5.Высказывания о следовании
 § 6.Основной принцип дедукции
 § 7.Логическое следование и значения истинности высказываний
 § 8.Логическое следование и смысл высказываний
 § 9.Определения логических операторов
 § 10.Экспликация интуиции
 § 11.Аксиоматизация
 § 12.Теория сильного логического следования
 § 13.Другие системы общей теории логического следования
 § 14.Вырожденное следование
 § 15.Теория предикации
 § 16.Классическая теория логического следования для высказываний с кванторами
 § 17.Теория кванторов
 § 18.Условные высказывания
 § 19.Теория терминов
 § 20.Субъектно-предикатные термины
 § 21.Смысловые отношения терминов и высказываний
 § 22.Многозначная логика и теория логического следования
 § 23.Интуиционистская логика

V Квазиследование и физическое следование

 § 1.Условные высказывания
 § 2.Квазиследование
 § 3.Дедуктивные свойства квазиследования
 § 4.Условия
 § 5.Физическое следование
 § 6.Значения истинности
 § 7.Дедуктивные свойства физического следования

VI Нетрадиционная теория кванторов

 Введение
 § 1.Значение индивидных переменных
 § 2.Парадоксы традиционной теории кванторов
 § 3.Две формы отрицания
 § 4.Квантификация предикатов
 § 5.Семантические правила
 § 6.Некоторые интуитивные соображения
 § 7.Исчисления теории кванторов
 § 8.Система Q1
 § 9.Система Q2
 § 10.Непротиворечивость
 § 11.Непарадоксальность
 § 12.Независимость
 § 13.Некоторые теоремные схемы и метатеоремы
 § 14.Системы Q3 и Q4
 § 15.Системы Qid
 § 16.Системы для неклассического случая
 § 17.Некоторые следствия в системах для неклассического случая
 § 18.Другой вариант систем для классического случая
 § 19.Косвенная семантическая интерпретация для классического случая
 § 20.Косвенная семантическая интерпретация
 § 21.Некоторые важные следствия
 § 22.Теория предикации
 § 23.Системы с оператором условности
 § 24.Другие возможные расширения теории кванторов
 § 25.Другие кванторы
 § 26.Парадоксы вырожденных кванторов и системы с зависимыми переменными
 § 27.Неявные кванторы
 § 28.Нестандартная семантика для систем теории кванторов
 § 29.Проблема полноты
 § 30.Полнота сильной теории кванторов для классического случая
 § 31.Полнота сильной теории кванторов для классического случая относительно нестандартной семантики
 § 32.Разрешимость сильной теории кванторов для классического случая
 § 33.О других системах

VII Логика классов (множеств)

 § 1.Классообразующий оператор
 § 2.Включение индивидов в класс
 § 3.Включение индивидов в класс и включение терминов по значению
 § 4.Термин "класс"
 § 5.Производные классы
 § 6.Включение класса в класс
 § 7.Классы классов
 § 8.О парадоксе класса нормальных классов
 § 9.Подкласс
 § 10.О системах логики классов
 § 11.Система SK1
 § 12.Система SK2
 § 13.Система SK3
 § 14.Пустые и универсальные классы
 § 15.Проблема полноты SKi
 § 16.Система SK4
 § 17.Соответствие и мощность классов
 § 18.О методе строгой индукции

VIII Основы комплексной логики

1 Общая теория терминов и высказываний
 § 1.Знаки
 § 2.Термины
 § 3.Два вида терминов
 § 4.Простые и сложные термины
 § 5.Сложные термины
 § 6.Вхождение терминов и высказываний в другие термины и высказывания
 § 7.Метатермины и метавысказывания
 § 8.Смысл терминов
 § 9.Термины из высказываний
 § 10.Определения
 § 11.Высказывания 
 § 12.Смысл высказываний
 § 13.Определения с высказываниями
 § 14.Определение предикатов
 § 15.Значения истинности высказываний
 § 16.Число значений истинности
 § 17.Координаты высказываний
 § 18.Значение истинности высказываний с операторами конъюнкции, дизъюнкции и отрицания
 § 19.Значения истинности других форм высказываний
 § 20.Тавтологии, противоречия, выполнимые высказывания
 § 21.Дедукция
 § 22.Логический вывод
 § 23.Общая теория дедукции
 § 24.Классический и неклассический случаи в теории вывода
 § 25.Правила вывода и значения истинности высказываний
 § 26.Тождество по смыслу и следование
 § 27.Общая теория терминов
 § 28.Координаты высказываний
 § 29.Следствия из определений
 § 30.Имплицитные определения
 § 31.Неполные определения
 § 32.Псевдоопределения
 § 33.Операционные определения
 § 34.Интуитивно очевидные утверждения
 § 35.Переменные
 § 36.Определения с переменными
 § 37.Многосмысленность языковых выражений
 § 38.Экспликация
 § 39.Непротиворечивость терминов
 § 40.Теория доказательства
 § 41.Полная (строгая) индукция
 § 42.Логическая непротиворечивость
 § 43.Классические и неклассические отношения между высказываниями
2 Логическая математика
 § 1.Числа в языке
 § 2.Числа как термины
 § 3.Базисная арифметика
 § 4.Сокращенная запись ЧБ
 § 5.Универсальность арифметики
 § 6.Расширенная арифметика (РА)
 § 7.Бесконечные числа
 § 8.Формальная арифметика с метаутверждениями
 § 9.Формальная арифметика и теория чисел
 § 10.Термины чисел
 § 11.Существование чисел
 § 12.Число как часть субъекта
 § 13.Величина
 § 14.Степени и диапазон истинности
 § 15.Измерение и определение
 § 16.Числа-кванторы
 § 17.Количество
 § 18.Стандартные классы чисел
 § 19.Мощность классов чисел
 § 20.Сравнение мощностей классов
 § 21.Другие определения
 § 22.Сводимость к логике
 § 23.Замечание о классе натуральных чисел
 § 24.Замечание об одном парадоксе с терминами чисел
 § 25.Решение проблемы Последней Теоремы Ферма
3 Логическая физика
 § 1.Эмпирические индивиды
 § 2.Протяженность
 § 3.Изменение
 § 4.Переходное состояние
 § 5.Пространство и время
 § 6.Пространственно-временные отношения
 § 7.Время существования эмпирического индивида
 § 8.Существование пространства и времени
 § 9.Положение индивида в пространстве и времени
 § 10.Тот же самый индивид
 § 11.Изменение пространства и времени
 § 12.Необратимость времени
 § 13.Об отношении порождения
 § 14.Непрерывность пространства и времени
 § 15.Инвариантность пространства и времени
 § 16.Тождество и различие места и времени
 § 17.Предицирование изменений
 § 18.Перемещение
 § 19.Парадокс движения
 § 20.Процесс
 § 21.Минимальная протяженность
 § 22.О бесконечной протяженности
 § 23.Скорость
 § 24.Парадоксы Зенона
 § 25.Кванты пространства, времени или движения
 § 26.Относительность движения
 § 27.О существовании и перемещении скоплений
 § 28.Луч
 § 29.Мир в целом
 § 30.Эмпирическая геометрия
 § 31.Эмпирические связи
 § 32.Предикаты тенденций
 § 33.Парадоксы связей
 § 34.Условные предикаты
 § 35.Воздействие
 § 36.Причина
 § 37.Виды причинных связей
 § 38.Другие виды связей
4 Логическая методология науки
 Логика и методология науки
 § 1.Эмпирические и абстрактные объекты
 § 2.Эмпирические и точные науки
 § 3.Эвристические допущения
 § 4.Детерминизм и индетерминизм
 § 5.Эвристическая онтология
 § 6.Общие утверждения о Мире и физические допущения
 § 7.Эвристические правила
 § 8.Методы исследования
 § 9.Исследование эмпирических систем
 § 10.Модели
 § 11.Теории
 § 12.Методология частных наук
 § 13.О логической ситуации в микрофизике
 § 14.Дуализм волны и частицы
 § 15.Траектория
 § 16.Часть и составное
 § 17.О прогнозах
 § 18.Обобщения результатов науки
 Об авторе

 Предисловие

Моей первой научной работой была диссертация "Метод восхождения от абстрактного к конкретному" (1954), в которой я предпринял попытку представить диалектический метод как совокупность логических операций. Диссертация была встречена официальной советской философией крайне враждебно и оказалась фактически запретной для публикации и пользования без особого разрешения. Меня из сферы методологии науки вытолкнули в сферу логики, причем -- логики математической. После этого в течение многих лет (до 1976 года) моей основной профессией стала логика. Обстоятельства сложились так, что я за эти годы разработал свою логическую концепцию, радикально отличающуюся от всех тех, которые были известны в мировой логике, включая как классическую, так и неклассическую (в том числе -- интуиционистскую) математическую логику. Я назвал все эти концепции традиционными или стандартными. Свою концепцию я назвал нетрадиционной, нестандартной или комплексной логикой. Последнее название я выбрал не столько с целью подчеркнуть отличие моей концепции от других, сколько с целью обратить внимание на то, что должное решение важнейших проблем логики может быть достигнуто именно на пути их рассмотрения в комплексе, а не по отдельности, не изолированно друг от друга. В частности, нельзя должным образом осуществить логическую (формальную) обработку языка как орудия научного познания, игнорируя предметное значение языковых выражений, т.е. их онтологический аспект. Нельзя логически строго описать явления бытия, игнорируя языковые средства и методы их познания. Нельзя логически строго описать методы научного исследования, не привлекая языковые средства фиксирования знаний и оперирования ими. Короче говоря, три ветви старой философии -- формальная логика, гносеология и онтология -- должны быть слиты в нечто единое при систематическом построении логики в современных условиях в науке.

Основную задачу своей комплексной логики я постепенно осознал в том, чтобы преодолеть дефекты ставших традиционными логических концепций, включая классическую и интуиционистскую математическую логику, и, во-вторых, радикально расширить сферу внимания логики с ориентацией на методологию опытных наук.

Согласно моей концепции, предмет логики -- язык. Но не изучение языка (языков) таким, каким он является сам по себе, независимо от логики, а особого рода работа в сфере языка, заключающаяся в обработке определенного рода элементов языка, усовершенствование их и изобретение новых, а также разработка особых правил оперирования ими. Логика не открывает эти правила как существующие в языковой практике независимо от того, изучают их или нет, а изобретает их и вносит в языковую практику в качестве искусственных средств оперирования языком. Даже законы силлогистики не были открыты Аристотелем в готовом виде в практике языка, а изобретены им. Конечно, тут имеет место стихийное языковое творчество людей. Но лишь в самых примитивных и смутных формах. Логика должна выполнять эту работу на профессиональном уровне.

Современная логика в форме так называемой математической логики сделала значительный шаг вперед сравнительно с логикой прошлых веков в смысле техники логической работы (математические методы, формальные исчисления), но одновременно она ограничила сферу логических исследований. Последняя свелась к логике высказываний и предикатов, причем -- главным образом к техническим (математическим) проблемам. Кроме того, она породила ложную идею неуниверсальности законов логики, т.е. их относительности, зависимости от предметной области (например, идея особой логики микромира) и даже произвола в выборе логики. Она, далее, породила также ложную идею, будто результаты логики имеют непосредственные приложения вне сферы языка. Эта идея приобрела прочность предрассудка, фактически подменив законы логики математическим аппаратом, применяемым в вычислительных и информационных устройствах.

Наконец, ограничив сферу логики в смысле охвата проблем и сведя логические исследования к чисто техническим (математическим) задачам, математическая логика включила явно или неявно в решение чисто логических проблем внелогические предпосылки и допущения, так что получилась деформированная (смещенная) конструкция, затрудняющая, непомерно усложняющая и даже в принципе исключающая решение целого ряда логических задач. Это касается основных разделов математической логики.

Говоря о разработке логики с ориентацией на опытные науки, я имею в виду радикальное расширение ее сферы за счет логической обработки языковых выражений, фигурирующих в языке опытных наук. Это, например, терминология, относящаяся к пространству, времени, эмпирическим связям, изменениям и т.д. Она плохо определена или совсем не определена, многосмысленна, неустойчива, логически не связана в должные комплексы. Это служит основой для всякого рода псевдонаучных спекуляций вроде идей замедления и ускорения времени, обратного хода времени, различного хода времени в разных мирах, особой логики микромира. О том, что может тут сделать логика, читатель подробно узнает из раздела "Логическая физика" в этой книге. А сейчас я приведу простой пример. На вопрос о том, может ли физическое тело одновременно находиться в разных местах, обычно отвечают отрицательно. А на вопрос о том, почему это невозможно, отвечают: так устроен мир. Но дело здесь не в устройстве мира. Да и откуда взять гарантии, что наше утверждение будет верно на все время в прошлом и будущем и во всех местах пространства. Наша уверенность в том, что физическое тело не может одновременно находиться в разных местах, есть логическое следствие неявного определения выражения "разные места". В самом деле, в каком случае места (области пространства) считаются разными? Интуитивно предполагается, что два места x и y различны, если только они не имеют общих точек. Но реальные "точки" суть физические тела. Так что если определение выражения "разные места" записать явно (эксплицировать), то получим следующее. Два места x и y считаются (называются) различными местами, если и только если для любого физического тела a имеет силу утверждение: если a находится в одном из x и y, то в то же самое время оно не находится в другом из них. Из этого определения логически следует утверждение: физическое тело не может одновременно находиться в разных местах.

Результаты моих логических исследований я в свое время опубликовал в многочисленных книгах и статьях, включая следующие: Философские проблемы многозначной логики (1960); Логика высказываний и теория вывода (1962); Основы логической теории научных знаний (1967); Очерк многозначной логики (1968); Логическое следование (1970); Комплексная логика (1970); Логика науки (1971); Логическая физика (1972); Нетрадиционная теория кванторов (1973); Логика классов (множеств) (1973); Очерк эмпирической геометрии (1975); Полная индукция и Последняя теорема Ферма (1979).

Многие мои логические сочинения переводились с русского на западные языки. Основные из них суть следующие: Philosophical Problems of Many-Valued Logic (Dordrecht, 1963); \"Uber mehrwertige Logik (Berlin--Braunschweig--Basel, 1968); Komplexe Logik (Berlin--Braunschweig--Basel, 1970); Foundations of the Logical Theory of Scientific Knowledge (Dordrecht, 1973); Logik und Sprache der Physik (Berlin, 1975); Logische Sprachregeln (совместно с Х.Весселем) (Berlin--M\"unchen, 1975); Logical Phisics (Dordrecht--Boston, 1983); Non-Standard Logic and its Applications (Oxford, 1983); The Non-Traditional Theory of Quantifiers (Language, Logic and Method. Boston, 1983).

В эту книгу включены работы, которые дают достаточно полное представление о том, как формировалась комплексная логика, какова ее ориентация и основные результаты. Все эти работы были написаны до 1976 года. Обстоятельства моей жизни сложились так, что, начиная с 1976 года, я был лишен возможности для регулярной работы в области логики и даже возможности отредактировать сделанное мною при составлении этого сборника. Так что эти работы вошли в сборник в том виде, в каком они были закончены до 1976 года. При этом оказались неизбежными некоторые повторения, которые я не имел возможности устранить.

Попытку как-то систематизировать результаты моих логических исследований я предпринял еще в книге "Основы логической теории научных знаний". В этот сборник из нее вошел фрагмент "Квазиисследование и физическое следование". Вторая попытка имела место в книге "Логика науки". Из нее в сборник вошли фрагменты "Комплексная логика (введение)" и "Нетрадиционная теория вывода". И третьей попыткой была книга "Логическая физика". При подготовке издания ее на немецком и затем английском языках она была значительно исправлена и расширена. И в этом состоянии она вошла в данный сборник под названием "Основы комплексной логики". В нее вошла также работа, посвященная решению проблемы Последней теоремы Ферма, написанная в 1975 году и опубликованная по-английски в 1979 и в 1983 годы.

Из сочинений, посвященных разработке формального аппарата логики, в этот сборник вошли статьи "Очерк многозначной логики", "Логическое следование", "Нетрадиционная теория кванторов" и "Логика классов", помимо разделов в упомянутых работах. Систематическое изложение курса логики, который я читал в течение многих лет в Московском университете, было опубликовано лишь на немецком языке в книге "Logische Sprachregeln" (1975, совместно с H.Wessel). Включить это в данный сборник было невозможно, поскольку этот курс слишком велик по размерам, а текст его на русском языке у меня не сохранился в силу превратностей моей судьбы.

Мюнхен, 1998


 Об авторе

Зиновьев Александр Александрович -- всемирно известный логик, социолог, писатель, публицист. Родился в 1922 г. в д.Чухлома Костромской области, прошел всю Великую Отечественную войну в качестве боевого летчика. Окончил философский факультет МГУ им.М.В.Ломоносова в 1951 г., в 1954 г. защитил кандидатскую диссертацию "Логика "Капитала" Маркса", в 1964 -- докторскую диссертацию "Философские проблемы многозначной логики". С 1959 по 1976 гг. -- научный сотрудник Института философии АН СССР. Опубликовал ряд монографий по логике и методологии науки ("Философские основы многозначной логики", "Основы логической теории научных знаний", "Логическая физика") и более ста статей, многие из которых переведены на английский, немецкий, испанский, итальянский и другие языки. Разработал оригинальную концепцию логики и решил целый ряд ее важнейших проблем. За логические исследования был избран в Академию наук Финляндии. В 1978 г. после публикации в швейцарском издательстве "L'hage d'homme" романа "Зияющие высоты" был выслан из страны и 21 год жил в эмиграции в Мюнхене. А.А.Зиновьев создал теорию советского коммунизма, посвятив этому ряд социологических романов ("Желтый дом", "Светлое будущее" и др.), научных и научно-публицистических трудов ("Коммунизм как реальность", "Горбачевизм", "Русский эксперимент", "Смута" и др.). С конца 80-х гг. предметом его исследовательского интереса стала трансформация Запада в глобальное сверхобщество ("Глобальный человейник", "Западнизм" и др.). Социологическая теория А.А.Зиновьева обобщена в труде "На пути к сверхобществу" (2000 г.). Всего им написано около 50 книг. В 1999 г. А.А.Зиновьев вернулся в Москву, ведет активную педагогическую, научную, общественную работу.

 
© URSS 2016.

Информация о Продавце