 Популярные статьи | |
| Сейчас на сайте |  Гостей: 5
На сайте нет зарегистрированных пользователей
Пользователей: 9,955
новичок: Logyattella
|
|
| Что сделал Аристотель? |
Четвертая фигура: 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 , |
|
| Комментарии |
| Добавить комментарий |
|
Пожалуйста залогиньтесь для добавления комментария.
|
| Рейтинги |
|
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
|
|
| Гость |
Вы не зарегистрированны? Нажмите здесь для регистрации.
Забыли пароль? Запросите новый здесь.
|
| Мини-чат | Вам необходимо залогиниться.
Нет присланных сообщений.
|
|
