Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
Май 19 2022 21:59:01   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
Учимся удалять!... 30204
4.12.1 Професси... 28224
Примеры, синони... 22513
Просмотр готовы... 20924
FAST (методика ... 20608
Декартовы коорд... 20370
содержание - се... 19452
Просмотр готовы... 17684
Работа с инстру... 13492
Сейчас на сайте
Гостей: 3
На сайте нет зарегистрированных пользователей

Пользователей: 9,955
новичок: Logyattella
Друзья сайта
Ramblers Top100
Рейтинг@Mail.ru

Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi
Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
Что сделал Аристотель?

Четвертая фигура: AAI , AEE , IAI , ЕАО , ЕIO , АЕО .
Проиллюстрируем процесс такого механического перехода на примере следующего сорита:
1. Те, кто нарушает свои обещания, не заслуживают доверия.
2. Любители выпить очень общительны.
3. Человек, выполняющий свои обещания, честен.
4. Ни один трезвенник не ростовщик.
5. Тому, кто очень общителен, всегда можно верить.
Если читатели попробуют «с ходу» сказать, какое заключение следует из этих посылок, то они тут же поймут, что сделать это практически невозможно. Поэтому будем двигаться постепенно, выполняя все необходимые в силлогистике шаги. Постепенность весьма важна, ибо она позволит впоследствии сделать из анализа этого процесса важные выводы для автоматизации вывода рассуждений. Прежде всего преобразуем все посылки сорита в нормальную форму.
1. Всякий, кто нарушает свои обещания, есть не заслуживающий доверия.
2. Всякий любитель выпить есть человек очень общительный.
3. Всякий, кто выполняет свои обещания, есть человек честный.
4. Всякий трезвенник не есть ростовщик.
5. Всякий общительный человек есть человек, заслуживающий доверия.
Обратим внимание на то, что переход к нормальной форме для посылок требует прежде всего уточнения того, что за универсум объединяет все имеющиеся посылки. Каков он для нашего сорита? О каких сущностях идет в посылках речь? По-видимому, общей сущностью для всех, о ком говорится в посылках сорита, является сущность с именем «люди», как это было и в предшествующем сорите. Заметим, что если мы не хотим оперировать с «отрицательными классами» сущностей, то надо провести дальнейшую нормализацию посылок, ибо в силлогистике Аристотеля должно неукоснительно выполняться правило, согласно которому при n посылках должен быть выделен в точности n+1 класс сущностей (в силлогизме соответственно три класса S , М и Р ). Посчитаем, сколько классов получилось в примере после перехода к нормальной форме представления: W 1 – «нарушающие свои обещания», W 2 – «не заслуживающие доверия», W 3 – «любители выпить», W 4 – «очень общительные люди», W 5 – «те, кто выполняют свои обещания», W 6 – «честные люди», W 7 – «трезвенники», W 8 – «ростовщики», W 9 – «заслуживающие доверия».
Итак, девять классов сущностей вместо полагающихся шести. Какие из классов можно исключить из рассмотрения? Анализируя семантику имен классов, можно прийти к тому, что имеют место соотношения: W 5 =

1 , W 7 =

3 и W 9 =

2 . Из этих утверждений некоторое сомнение вызывает лишь соотношение W 7 =

3 , так как класс тех, кто любит выпить, не есть чистое отрицание для класса тех, кто вообще не пьет. Более точно было бы вместо «трезвенники» говорить о людях, которые образуют класс с именем «не любители выпить». Но согласимся с тем, что есть. Из анализа полученной системы посылок видно, что надо либо оперировать с силлогистикой, в которой имеются «положительные» и «отрицательные» классы сущностей, либо провести необходимые преобразования, о которых мы говорили раньше, чтобы перейти к случаю традиционной силлогистики Аристотеля. Выберем второй путь.
Сохраним все высказывания, в которые не входят классы W 2 , W 5 и W 7 ,
Страница 3 из 5 < 1 2 3 4 5 >
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Случайные статьи
Как происходит опр...
Определение уникал...
5. Продукции типа...
5.14.2 Демонтирова...
Опции поддержки IPv6
6.2.4 Пространство...
Почему САПР не "эл...
Глава шестая
Преодолевая ионосферу
9.2.1.2 Функция ex...
3.1 Основные типы ...
4.10 УПРАЖНЕНИЯ
7.6 КОД ИДЕНТИФИКА...
Высокая точность
7.3.3. Концепции, ...
ГЛАВА 6. СТРУКТУРА...
9.4 ВЫВОДЫ
Настройки телефона...
Достоинства и недо...
Появление цифровой...
7.9 ЗАГРУЗКА СИСТЕ...
1.5 ПРЕДПОЛАГАЕМАЯ...
Как рассуждает ре...
Степень связи
Комплект Pocket Na...
10.1.2.6 Другие фу...
Своя игра
Представление
Продукционные сис...
Глава пятая. ВЫВО...
Оглавление
Глава 22. EM-401
Изображение связи
6.3 КОНТЕКСТ ПРОЦЕССА
Определение сущности
Светофоры
Идея первая: Место...
10.1.2.4 Стратегич...
Технические характ...
2.3.3.1 Переносчик...
Мини-чат
Вам необходимо залогиниться.

Нет присланных сообщений.
Copyright © 2009