Общее понятие об анализе рассуждений, особая роль терминов "все" и "некоторые" в логике. Типы суждений в силлогистике Аристотеля и их выражение в терминах E-структур. Понятие и методы построения экзистенциальных суждений, получение коллизии парадокса.
Аннотация к работе
По смыслу экзистенциальное суждение - это суждение, в котором утверждается или проверяется существование некоторого множества с определенным набором свойств (предикатов). В таких суждениях, выраженных на естественном языке, смысловой акцент переносится на первый термин (A), хотя на самом деле очевидно, что речь в них идет о том, что пересечение множеств, обозначенных терминами A есть B" можно в E-структурах представить как W®(A, B), а суждение "Некоторые Экзистенциальным называется суждение, в котором утверждается в посылках или доказывается в следствиях непустота пересечения двух или более множеств, обозначенных соответствующими базовыми терминами. Из этого определения становится понятной идея обобщения частных суждений Аристотелевской силлогистики: к таким суждениям относятся суждения, у которых на месте субъекта размещается некоторый новый термин, а число предикатов суждения может быть любым.
Список литературы
1. Кэрролл Л. История с узелками. - М.: Мир, 1973.
2. Кулик Б.А. Моделирование рассуждений на основе законов алгебры множеств // Труды V национальной конференции по искусственному интеллекту. Казань, 7-12 октября 2006 г. Т.1. С. 58-61.
3. Кулик Б.А. Основные принципы философии здравого смысла (познавательный аспект) // Новости искусственного интеллекта, 2006, No 3, с. 7-92.