Логика естественных рассуждений, Дюк В.А., Кулик Б.А., 2001

Логика естественных рассуждений, Дюк В.А., Кулик Б.А., 2001.

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





Предисловие.

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

Оглавление.

Предисловие.
1. Суждение.
2. Основные понятия алгебры множеств.
3. Е-структуры: определение и основные свойства.
4. Коллизии в рассуждениях.
5. Инварианты Е-структур.
6. Экзистенциальные суждения.
7. Неполные рассуждения (формирование и проверка гипотез).
8. "Отрицания" в Е-структурах.
9. Индуктивный вывод.
Приложение А. С чем идет современная логика в XXI век?
Приложение Б. Частично упорядоченные множества с квазидополнениями.
Список литературы.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Логика естественных рассуждений, Дюк В.А., Кулик Б.А., 2001 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Хештеги: #Дюк :: #Кулик :: #2001 :: #логика :: #рассуждение