arrow-downcheckdocdocxfbflowerjpgmailnoarticlesnoresultpdfsearchsoundtwvkxlsxlsxyoutubezip

Категория

Сборники
Учебники
Монографии
Журналы

Дисциплина

Логика
История философии
Онтология
Философия культуры
Философия науки
Философия образования
Философия политики и права
Философия религии
Философия сознания
Эпистемология
Эстетика
Этика

Традиции

Прагматизм
Аналитическая философия
Античность
Возрождение
Восточная философия
Немецкая классическая философия
Новое время
Русская философия
Спиритуализм
Средние века
Структурализм
Феноменология
Экзистенциализм
Социальные сети
Вступайте в наши группы

Скачать

Труды научно-исследовательского семинара логического центра Института философии РАН 1993

1994

Издательство:

ИФ РАН

ISBN 5-201-01857-2
Для цитирования:

Труды научно-исследовательского семинара логического центра Института философии РАН. 1993 / РАН. Ин-т философии; Ред. В.А.Смирнов. — М.: ИФ РАН, 1994. — 109 с.

Источник:

Предоставлено Институтом философии РАН

  • Аннотация

  • Содержание

Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.

Предисловие
Смирнов В.А. Дефинициальная эквивалентность систем силлогистики
Павлов С.А. Логика ложности FLA
Быстров П.И. Релевантные логические исчисления как системы выводов с индексированными формулами
Бочаров Б.А. Исчисление предикатов с универсалиями (III. Философские основания)
Сидоренко Е.А. Релевантная реляционная семантика с двумирными точками соотнесения
Фам Динь Hгьем Релевантная семантика расширенных программ
Дишкант Г.П. О логике физики
Карпенко А.С. Штрих Шеффера для простых чисел
Карпенко А.С., Павлов С.А. Матрицы для независимости аксиомы транзитивности в аксиоматизации классической импликации

Нашли ошибку на странице?
Выделите её и нажмите Ctrl + Enter