РОССИЙСКИЙ УНИВЕРСИТЕТ ДРУЖБЫ НАРОДОВ
В.Б. П Е Т Р О В
ПРОГРАММЫ КУРСОВ ПО ЛОГИКЕ
для студентов отделения философии
факультета гуманитарных и социальных наук
МОСКВА
Издательство Российского Университета Дружбы Народов
1999
У Т В Е Р Ж Д Е Н О
РИС Ученого совета Российского
университета дружбы народов
Петров В.Б.
Программы курсов по логике для студентов отделения философии факультета
гуманитарных и социальных наук.
М.: Изд-во РУДН, 1999.-28 с.
Программа курса Логика рассчитана на 159 часов аудиторных занятий. Она
включает основные понятия логики, базовые
логические теории и обзор главных направлений развития современной логики.
Структура курса ориентирована как на методику чтения
лекций, так и на проведение семинарских занятий список литературы, рекомендованной
в рамках настоящей программы, содержит
соответствующие монографии по каждому разделу курса.
Программа нацелена на глубокое и всестороннее освещение логики как фундаментальной
для философского образования
теоретической дисциплины.
Программа курса Математическая логика рассчитана на 54 часа аудиторных
занятий.
Программа спецкурса индуктивная логика рассчитана на 51 час аудиторных
занятий.
Петров Василий Борисович - доцент кафедры онтологии и теории познания.
Основное направление научно-исследовательской
работы: логика и методология индукции. Подготовлено на кафедре онтологии
и теории познания. Ответственный редактор - профессор
В.М. Найдыш.
Издательство Российского университета дружбы народов 1998 г.
ЛОГИКА
(общий курс)
Предмет и значение логики
Краткий очерк истории логики
Логический анализ естественного языка
Логика высказываний
Логика предикатов
Силлогистика
Понятие
Индукция и правдоподобные рассуждения
Логические формы развития знания
Логические аспекты теории аргументации
Неклассическая логика
ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ
Философское понимание процесса познания. Чувственная и рациональная ступени
познания. Функции мышления в познании.
Мышление и язык. Мышление и рассуждение.
Предмет, методы и принципы науки логики. Понятие о логической форме мысли.
Основные логические формы мысли. Истинность
высказывания и формальная правильность рассуждения. Понятие логического
закона. Основные принципы правильного рассуждения:
принцип тождества, принцип непротиворечия, принцип исключенного третьего,
принцип достаточного основания.
Логика и философия. Логика и математика. Логика и другие науки. Значение
логики в развитии современной науки и техники.
КРАТКИЙ ОЧЕРК ИСТОРИИ ЛОГИКИ
Возникновение логики как науки и основные этапы ее развития. Логика в
античности: Аристотель и стоики. Средневековая логика.
Логика Нового времени ("Логика Пор-Рояля"). Разделение логики
на формальную и диалектическую. Кант и Гегель. Формирование
математической логики. Дж. Буль и Г. Фреге. Современный этап развития
логики. Логика традиционная и символическая, классическая и
неклассическая.
ЛОГИЧЕСКИЙ АНАЛИЗ ЯЗЫКА
Язык как информационная знаковая система. Функции языка. Понятие знака.
Общая характеристика и виды знаков: знаки-копии,
знаки-индексы, знаки-символы. Предметное и смысловое значение языковых
выражений. Семантический треугольник. Основные
семиотические аспекты языка: семантический, синтаксический и прагматический.
Естественные и искусственные языки. Язык-объект и
метаязык.
Основные виды языковых выражений. Предложения и части предложений. Дескриптивные
и логические термины: знаки предметов
(имена), знаки свойств и отношений (предикаторы), логические знаки (связки,
кванторы, операторы).
Предложение, его смысл и значение. Истинность и ложность предложений.
Имена, их смысл и значение. Имена единичные и общие, простые (собственные)
и сложные (описательные).
Принципы теории именования: принцип предметности, принцип однозначности,
принцип взаимозаменимости. Антиномии отношения
именования. Типы контекстов. Метод экстенсионала и интенсионала.
Виды предикаторов. Одноместные предикаторы как знаки свойств, многоместные
предикаторы как знаки отношений. Основные
логические характеристики двуместных отношений: рефлексивность, симметричность
и транзитивность.
Предметные функторы, одноместные и многоместные. Виды логических связок
и кванторов. Операторы определенной и
неопределенной дескрипции.
Принципы логического анализа языка. Понятие о формализованном языке как
средстве выявления логической формы языковых
выражений.
Язык классической логики предикатов первого порядка. Алфавит. Понятия
терма и формулы. Соглашения о силе связок. Основные
правила перевода выражений естественного языка на язык логики предикатов.
Функциональный анализ языка. Понятия функции и функтора. Область определения
и область значений функции. Декартово
произведение и декартова степень. Предметные и логические функции. Виды
логических функций: истинностно-истинностные и
предметно-истинностные функции.
Логические связки как знаки истинностно-истиностных функций, табличное
определение логических связок.
Предикаторы как знаки предметно-истинностных функций. Понятие предиката.
Употребление переменных в логике. Свободные и
связанные переменные.
Предметные функторы как знаки предметно-предметных функций. Кванторы как
знаки функций.
ЛОГИКА ВЫСКАЗЫВАНИЙ
Суждение, высказывание и предложение. Повествовательные, побудительные
и вопросительные предложения и их логический
смысл.
Простые и сложные высказывания. Образование сложных высказываний из простых.
Принцип экстенсиональности. Виды сложных
высказываний в зависимости от типа связок: соединительные, разделительные,
условные высказывания, высказывания с внешним
отрицанием.
Отношения между высказываниями по истинности. Совместимость по истинности,
совместимость по ложности, несовместимость
по истинности, несовместимость по ложности. Логическая независимость.
Логическое следование. Отношения подчинения,
эквивалентности, контрарности, субконтрарности, контрадикторности.
Язык логики высказываний. Алфавит и понятие формулы. Построение таблиц
истинности для формул логики высказываний.
Тождественно-истинные, тождественно-ложные и выполнимые формулы. Основные
законы логики высказываний. Табличный способ
установления отношений между высказываниями.
Функциональная полнота системы связок. Метатеорема о функциональной полноте
системы связок (конъюнкция, дизъюнкция,
негация) и ее следствия.
Метод аналитических таблиц. Понятия таблицы, конфигурации, отмеченной
формулы; замыкания множества, конфигурации и
таблицы. Правила удаления логических связок из отмеченных формул.
Понятие о методе семантических таблиц.
Исчисление высказываний. Понятие о логических исчислениях и формальных
теориях. Аксиоматическое построение исчисления
высказываний. Аксиомы, схемы аксиом, правила вывода, понятия формального
вывода и формального доказательства. Основные
свойства отношения выводимости.
Метатеорема дедукции. Связь между отношением формальной выводимости и
отношением логического следования.
Интерпретации исчисления высказываний. Понятия о непротиворечивости, полноте,
разрешимости исчисления высказываний,
независимости аксиом и правил вывода. Метатеорема о семантической непротиворечивости
исчисления высказываний. Метатеорема о
семантической полноте исчисления высказываний. Метатеорема о синтаксической
полноте исчисления высказываний. Метатеорема о
синтаксической непротиворечивости исчисления высказываний.
Понятие о конъюнктивных и дизъюнктивных нормальных формах. Совершенные
конъюнктивные и дизъюнктивные нормальные
формы.
Натуральное построение исчисления высказываний. Правила введения и удаления
логических связок (правила вывода). Прямые и
непрямые правила вывода. Понятия формального вывода, доказательства и
теоремы. Основные эвристики поиска вывода.
Натуральное исчисление высказываний и основные виды умозаключений из сложных
высказываний. Условно-категорические
умозаключения: модус поненс и модус толленс. Условные умозаключения: экспортация,
импортация, транзитивность, контрапозиция.
Разделительно-категоричес-кие умозаключения: modus ponendo tollens и modus
tollendo ponens. Условно-разделительные
умозаключения: простые и сложные дилеммы, конструктивные и деструктивные
дилеммы.
ЛОГИКА ПРЕДИКАТОВ
Семантика языка логики предикатов. Предметная область, интерпретирующая
функция (функция приписывания значений
постоянным дескриптивным символам) и функция приписывания значений индивидным
переменным. Правила приписывания значений
термам и формулам. Понятия выполнимости и общезначимости формул. Понятие
модели. Связь кванторов общности и существования с
конъюнкцией и дизъюнкцией. Отношение логического следования в логике предикатов.
Аксиоматическое построение исчисления предикатов. Аксиомы и правила вывода.
Понятия вывода и доказательства. Теорема
дедукции. Метатеорема о семантической непротиворечивости исчисления предикатов.
Метатеорема о синтаксической
непротиворечивости исчисления предикатов. Полнота исчисления предикатов,
проблема разрешения.
Натуральное построение исчисления предикатов. Правила введения и удаления
кванторов. Понятие ограниченной переменной.
Понятия вывода, завершенного вывода и доказательства. Дополнительные эвристики
поиска вывода. Основные теоремы логики
предикатов.
Метод аналитических таблиц для логики предикатов. Правила удаления кванторов
из отмеченных формул. Понятие о семантических
таблицах для логики предикатов.
Расширения исчисления предикатов. Исчисление предикатов с равенством.
Аксиоматическое и натуральное построение исчисления
предикатов с равенством. Основные свойства равенства: рефлексивность,
симметричность и транзитивность.
СИЛЛОГИСТИКА
Состав простого высказывания: субъект, предикат, связка. Виды простых
высказываний: атрибутивные высказывания, высказывания
об отношениях, высказывания о существовании. Единичные и множественные
высказывания.
Виды атрибутивных высказываний: общеутвердительные, общеотрицательные,
частноутвердительные, частноотрицательные,
единичноутвердительные, единичноотрицательные высказывания. Исключающие
и выделяющие суждения. Классификация высказываний
о двуместных отношениях.
Интерпретация терминов в атрибутивных высказываниях. Алфавит силлогистики
и силлогистическая формула. Позитивная и
негативная силлогистики. Традиционная силлогистика. Семантика традиционной
силлогистики. Модельные схемы. Распределенность
терминов.
Законы силлогистики и непосредственные умозаключения (следования). Логический
квадрат. Превращение, обращение,
противопоставление субъекту, противопоставление предикату, противопоставление
субъекту и предикату. Отрицание простых и сложных
высказываний.
Простой позитивный категорический силлогизм. Состав силлогизма. Фигуры
и модусы силлогизма. Правильные и неправильные
модусы. Проверка правильности силлогизмов с помощью модельных схем и общих
правил. Правила фигур. Доказательство правил фигур
силлогизма с помощью общих правил.
Негативная традиционная силлогистика. Перевод выражений силлогистики на
язык логики предикатов. Переводы Лейбница, Больцано
и Кэролла. Нетрадиционные интерпретации силлогистики. Понятие об аксиоматических
силлогистических системах.
Энтимемы. Восстановление энтимем до полного силлогизма. Корректные и некорректные
энтимемы. Полисиллогизмы. Сориты.
Эпихейремы.
ПОНЯТИЕ
Понятие как форма мысли. Языковые формы выражения понятий. Термины и понятия.
Понятия и имена. Роль понятий в познании.
Логическая характеристика понятия. Содержание понятия. Признаки, виды
признаков: простые и сложные, положительные и
отрицательные, родовые и видовые. Предикаты как логическая форма выражения
содержания понятия.
Объем понятия. Классы (множества) и подклассы (подмножества). Элементы
класса. Отношение принадлежности элемента классу
и включение класса в класс. Операции с классами: пересечение, дополнение,
объединение, вычитание. Связь между операциями над
содержаниями и над объемами понятий.
Закон обратного отношения между объемами и содержаниями понятий. Логический
и фактический объем понятий. Логическое и
фактическое содержание понятий. Универсальность закона обратного отношения.
Обобщение и ограничение понятий. Пределы
обобщения и ограничения понятий. Основные логические приемы обобщения
и ограничения понятий.
Виды понятий. Логически пустые и фактически пустые понятия. Логически
непустые и фактически непустые понятия. Единичные и
общие понятия. Понятия с универсальным объемом. Конкретные и абстрактные
понятия. Положительные и отрицательные понятия.
Безотносительные, относительные и соотносительные понятия. Собирательные
и несобирательные понятия. Классификационные,
сравнительные и количественные понятия и их роль в науке. Логические проблемы
измерений.
Отношения между понятиями. Сравнимые и несравнимые понятия. Виды сравнимых
понятий: совместимые и несовместимые
понятия. Виды совместимости: равнозначность, частичное совпадение (пересечение),
подчинение. Виды несовместимости:
соподчинение, противоречие, противоположность. Круги Эйлера и диаграммы
Венна как средства анализа отношений между понятиями.
Определение (дефиниция). Остенсивные и вербальные определения. Номинальные
и реальные определения, явные и неявные
определения.
Структура и виды явных определений (атрибутивные, генетические, операциональные).
Дефиниендум и дефиниенс.
Неявные определения: контекстуальные, через абстракцию, индуктивные, аксиоматические,
рекурсивные.
Приемы, сходные с определением: описание, характеристика, сравнение, разъяснение
посредством примера.
Правила определений (ясность, отсутствие круга, соразмерность, непротиворечивость).
Ошибки в определениях.
Значение определений в науке и практическом рассуждении. методические
требования к определению.
Деление понятий. Структура деления: делимое понятие, основание деления,
члены деления. Виды деления: таксономическое и
мереологическое. Виды таксономического деления: дихотомическое и по видоизменению
признака.
Правила деления: непустота членов деления, непересечение объемов членов
деления, одно основание для деления,
последовательность деления, равенство объема делимого понятия и совокупности
объемов членов деления, отсутствие членов деления с
пустым объемом. Возможные ошибки при делении: неполнота деления, смешение
оснований деления, сбивчивое деление,
перекрещивающееся деление.
Классификация. Естественная и искусственная классификация. Значение деления
и классификации в науке и практике.
ИНДУКЦИЯ И ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ
Традиционное и современное понимание индукции. Индукция как логика и индукция
как метод. Методологический и логический
эмпиризм. Критика индукции К. Поппером.
Индукция как рассуждение от частного к общему. Обобщающая индукция. Полная
и неполная индукция. Популярная и научная
индукция. Статистическая индукция. Приемы, повышающие правдоподобие заключения
при неполной и статистической индукции.
Проблематичность индуктивных заключений.
Аналогия как вид правдоподобных рассуждений. Аналогия свойств и аналогия
отношений. Научная и популярная аналогия.
Основные приемы, повышающие степень правдоподобия умозаключений по аналогии.
Аналогия как метод познания. Аналогия и
моделирование. Виды моделей.
Методы установления причинных связей Бэкона-Милля. Понятия причины и следствия
(действия), необходимого условия,
достаточного условия, необходимого и достаточного условия.
Метод сходства как метод нахождения достаточного условия. Возможности
применения этого метода в науке.
Метод различия как метод нахождения необходимого условия, применение этого
метода в науке. Наиболее сильные и наиболее
слабые необходимые условия и достаточные условия.
Объединенный метод сходства и различия как метод обнаружения необходимого
и достаточного условия.
Метод сопутствующих изменений как способ нахождения количественных соотношений
характеристик причины (условия) и
следствия (обусловленного явления).
Метод остатков. Эвристическое значение методов установления причинных
связей.
Критика причинности Д. Юмом. Распространение этой критики на индукцию.
Проблема обоснования индукции и проблема ее
оправдания. Глобальное и локальное оправдание. Основные условия для индукции.
Методологическое значение индуктивной логики. Понятия индуктивной и дедуктивной
систематизации.
ЛОГИЧЕСКИЕ ФОРМЫ РАЗВИТИЯ ЗНАНИЯ
Научная проблема. Понятие научной проблемы. Вопрос как логическая форма
постановки проблемы. Структура и виды вопросов.
Критерий правильности вопросов. Корректные и некорректные вопросы. Тривиально
некорректные и нетривиально некорректные вопросы.
Логические предпосылки вопросов. Виды ответов: полные и неполные ответы,
ответы по существу и не по существу.
Гипотеза как форма развития знания. Гипотезы общие и частные, описательные
и объяснительные. Гипотетико - дедуктивный и
гипотетико-индуктивный методы.
Научная теория. Формирование научных теорий. Научное описание и объяснение.
Анализ, синтез, абстрагирование, идеализация как
методы формирования научных понятий.
ЛОГИЧЕСКИЕ ОСНОВЫ ТЕОРИИ АРГУМЕНТАЦИИ
Доказательство и убеждение. Типология убеждений. Структура доказательства:
тезис, аргументы, демонстрация. Виды
доказательства: прямое и косвенное. Понятия опровержения и критики. Опровержение
тезиса. Критика и опровержение аргументов.
Критический анализ демонстрации. Ошибки при доказательстве и опровержении.
Потеря тезиса, подмена тезиса, предвосхищение
основания, круг в доказательстве.
Спор. Участники спора: пропонент и оппонент. Виды спора: спор для установления
истины, спор для убеждения, спор для победы.
Виды уловок в споре: допустимые и недопустимые уловки.
Допустимые уловки: сокрытие тезиса, оттягивание возражения, условное принятие
аргументов оппонента.
Уловки логического характера: софизмы. Уловки социально-психологического
характера: приманка, принижение оппонента,
самовосхваление, проницательность, аргумент к здравому смыслу, аргумент
к выгоде, аргумент к верности, досказывание мысли
оппонента, навешивание ярлыков, симуляция непонимания, мнимая невнимательность,
выбор терминологии, демагогия,
многозначительная недосказанность.
Уловки организационно-процедурного характера: порядок постановки вопросов,
их откладывание и навязывание.
Нейтрализация и разоблачение уловок. Стратегия и тактика спора. Основные
и резервные аргументы.
НЕКЛАССИЧЕСКАЯ ЛОГИКА
Многозначная логика. Источники многозначности. Предшественники многозначной
логики. Введение в логику третьего
истинностного значения. Система трехзначной логики Лукасевича ?3, ее отличие
от двузначной. Содержательная интерпретация ?3.
Импликация Лукасевича.
Трехзначные логики Клини и Бочвара. Сильные и слабые, внутренние и внешние
логические связки. Нормальные многозначные
логики. Многозначная логика Поста и ее трехзначный случай. Некоторые современные
тенденции развития многозначной логики. Логика
как теория истинностных значений. Действие принципов исключенного третьего
и непротиворечия в многозначной логике.
Модальная логика. Модальности и их виды. Алетические модальности: необхолдимость,
возможность, случайность и
невозможность. Логическая и физическая необходимость. Основные принципы
алетической модальной логики. Модальные системы
Льюиса. Строгая импликация. Нормальные модальные системы: минимальная
модальная логика K, система Т (Фейса-Вригта), система B
(Брауэра), системы Льюиса S4 и S5. Правило Геделя.
Аксиоматическое построение пропозициональных фрагментов нормальных систем.
Понятия формулы, вывода и доказательства.
Семантика нормальных модальных систем. Понятие возможного мира и отношение
достижимости между мирами. Свойства отношения
достижимости в различных модальных системах: рефлексивность, симметричность
и транзитивность. Семантическое доказательство
непротиворечивости нормальных модальных систем.
Аналитические таблицы для систем S4 и S5. Правила исключения модальных
знаков из отмеченных формул. Понятие об
алетической модальной логике предикатов.
Деонтическая логика. Деонтические модальности: разрешено, запрещено, обязательно,
деонтические исчисления высказываний.
Основные теоремы деонтических исчислений. Формализация понятия принуждения.
Парадоксы деонтического следования. Редукция
деонтических исчислений к алетическим и смешанные алетически-деонтические
исчисления. Семантика деонтических исчислений.
Временная логика. Временные операторы и их связь с алетическими модальностями.
Система минимальной временной логики Кt и
ее расширения. Основные логические свойства времени. Философский смысл
и методологическое значение модальной логики.
Релевантная логика. Парадоксы логического следования и материальной импликации.
Виды парадоксов. Источники парадоксов с
семантической точки зрения. Понятие релевантного следования для формул
классической логики. Информативность законов логики.
Семантика обобщенных описаний состояния. Критерии релевантного следования
на основе нормальных форм. Спектр отношений
логического следования.
Синтаксический анализ источников парадоксов. Системы с характеристиками
зависимости формул вывода от допущений.
Натуральное построение систем релевантной логики Е и R, понятие формулы,
вывода и доказательства. Соотношение систем
классической логики, S4 и некоторых релевантных. Следование и модальности.
Модальности в Е.
Аксиоматическое построение систем Е и R. Теорема дедукции для Е. Семантика
возможных миров для Е. Методологическое
значение релевантной логики.
Л И Т Е Р А Т У Р А
Основная
Бочаров В.А., Маркин В.И. Основы логики. -М.,1997
Войшвилло Е.К. Понятие как форма мышления. -М.,1989
Войшвилло Е.К. Символическая логика: классическая и релевантная. -М.,1989
Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной
методологии. -М.,1994
Ивлев Ю.В. Логика. -М.,1997
Ивлев Ю.В. Модальная логика. -М.,1991
Кайберг Г. Вероятность и индуктивная логика. -М.,1978
Карнап Р. Значение и необходимость. -М.,1959
Карнап Р. Философские основания физики. -М.,1971
Карпенко А.С. Пропозициональная многозначная логика. -М., 1986
Костюк В.Н. Элементы модальной логики. -Киев,1978
Мендельсон Э. Введение в математическую логику. -М.,1984
Поварнин С.И. Искусство спора. -М.,1992
Смирнова Е.Д. Основы логической семантики. -М.,1990
Дополнительная
Алексеев А.П. Аргументация. Познание. Общение. -М.,1991
Аристотель Соч. в 4-х т. Т. 2. -М.,1978
Арно А., Николь П. Логика, или искусство мыслить. -М.,1991
Арутюнова Н.Д. Типы языковых значений. -М.,1988
Баженов Л.Б. Строение и функции естественнонаучной теории. -М.,1978
Белнап Н., Стил Т. Логика вопросов и ответов. -М.,1981
Берка К. Измерения. -М.,1987
Бессонов А.В. Теория объектов в логике. -Новосибирск,1987
Блинов А.Л., Петров В.В. Элементы логики действий. -М.,1991
Брюшинкин В.Н. Логика, мышление, информация. -Л.,1988
Бочаров В.А. Аристотель и традиционная логика. -М.,1984
Васильев Н.А. Воображаемая логика. -М.,1989
Войшвилло Е.К. Предмет и значение логики. -М.,1960
Войшвилло Е.К. Философско-методологические аспекты релевантной логики.
-М.,1988
Фон Вригт Г.-Х. Логические исследования. -М.,1986
Горский Д.П. Определение. -М.,1984
Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. -М.,1991
Гейтинг А. Интуиционизм. -М.,1975
Джини К. Логика в статистике. -М.,1973
Ершов Ю.А., Палютин Е.А. Математическая логика. -М.,1987
Ивин А.А. Логика норм. -М.,1973
Ивин А.А. Основания логики оценок. -М.,1970
Индуктивная логика и формирование научного знания. -М.,1987
Исследования по логике научного познания. -М.,1990
Исследования по неклассическим логикам и формальным системам. -М.,1983
Ишмуратов А.Т. Логические теории временных контекстов. -Киев, 1981
Ишмуратов А.Т. Логический анализ практических рассуждений. -Киев, 1987
Карпенко А.С. Фатализм и случайность будущего. -М.,1990
Клини С.К. Математическая логика. -М.,1973
Концептуализация и смысл. -Новосибирск,1990
Лакатос И. Доказательства и опровержения. -М.,1967
Логика и компьютер. -М.,1990
Логика и компьютер. Выпуск 4. -М., 1998
Логика: наука и искусство. -М.,1993
Логико-семантический анализ структур знания. -Новосибирск, 1989
Логические исследования. -М.,1983
Логические исследования. Выпуск. -М.,1993
Логический подход к искусственному интеллекту. -М.,1990
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной
логики. -М.,1959
Маркин В.И. Силлогистические теории в современной логике. -М.,1991
Методология развития научного знания. -М.,1982
Методы логического анализа. -М.,1977
Меськов В.С. Очерки по логике квантовой механики. -М.,1986
Модальные и интенсиональные логики и их применение к проблемам методологии
науки. -М.,1984
Новиков П.С. Элементы математической логики. -М.,1973
Попов П.С. История логики Нового времени. -М.,1960
Поппер К. Логика и рост научного знания. -М.,1983
Рузавин Г.И. Научная теория: логико-методологический анализ. -М.,1978
Семантика модальных и интенсиональных логик. -М.,1981
Синтаксические и семантические исследования неэкстенсиональных логик.
-М.,1989
Сидоренко Е.А. Логическое следование и условные высказывания. -М.,1983
Смирнов В.А. Формальный вывод и логические исчисления. -М.,1972
Смирнов В.А. Логические методы анализа научного знания. -М.,1987
Смирнова Е.Д. Логическая семантика и философские основания логики. -М.,1986
Смирнова Е.Д. Формализованные языки и проблемы логической семантики. -М.,1982
Современная логика и методология науки. -М.,1987
Стяжкин Н.И. Формирование математической логики. -М.,1967
Фейс Р. Модальная логика. -М.,1974
Хинтикка Я. Логико-эпистемологические исследования. -М.,1980
Философия, логика, язык. -М.,1987
Целищев В.В. Логическая истина и эмпиризм. -Новосибирск,1974
Черч А. Введение в математическую логику. -М.,1960
