Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
July 04 2025 09:54:24   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
4.12.1 Професси... 35738
Учимся удалять!... 32610
Примеры, синони... 23908
Просмотр готовы... 23176
Декартовы коорд... 23067
FAST (методика ... 21921
содержание - се... 21260
Просмотр готовы... 20035
Работа с инстру... 15584
Сейчас на сайте
Гостей: 2
На сайте нет зарегистрированных пользователей

Пользователей: 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 >
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

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

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

Пароль



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

Забыли пароль?
Запросите новый здесь.
Случайные статьи
Глава 7. Использов...
3.2.2. Сетевое обо...
2. Моделирование и...
Глава третья. АВТ...
ДСМ-метод
Глава 4. Векторна...
Выводы
Претензии пользова...
Иерархические сети
4.3 Адресация пакетов
Группа 1 - информа...
Исчисление предик...
Что необходимо доб...
1. Продукции типа...
Маршруты-невидимки
Принцип 1. Как мож...
2.4.5 Построение д...
NAVSTAR
Определение связи
Компьютерные файлы
3.2 СТРУКТУРА ОБЛ...
9.3. Программа обу...
5.1. Что находится...
Благодарности
О легальности испо...
10.1.2.1 Open
Глава 9. Реальный GPS
9.1.1 Управление п...
Цена до 300 долларов
5.1 Архитектура со...
2.2.1 Сообщения и ...
2.6.1. Кодирование...
2.3.2.4 Телеграфны...
Как «исправить» fi...
Идея четвертая: Оп...
содержание - сетев...
Глава пятая
2.4.5 Построение д...
СИСТЕМНЫЕ ОПЕРАЦИИ...
Глава 1. GARMIN QUEST
Мини-чат
Вам необходимо залогиниться.

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