Со второй фигурой силлогизма злую шутку сыграла фундаментальная ошибка традиционной логики. По идее эта фигура, в которой средний термин является сказуемым и в большей и в меньшей посылке, больше всего приспособлена для сопоставления признаков, входящих в объем среднего термина, их идентификации как признаков раскрывающих объем термина и объединения в один класс.
А Все кашалоты суть хищники.
А Все пауки суть хищники
А Все пауки и кашалоты суть хищники. (раскрывают объем среднего термина)
Но в тисках правил составления силлогизмов такой конструкт в принципе невозможен. Мало того, что средний термин не сократился, так еще и налицо противоречие правилу номер 3. Почитаем Георгия Ивановича.
************
3) Средний термин должен быть взят по крайней мере в одной из посылок во всем объеме.
Для пояснения этого правила возьмем пример:
Все французы суть европейцы
Все парижане суть европейцы.
Из этих двух посылок нельзя сделать никакого заключения.
**************
Это полезное свойство 2 фигуры идентифицирования признаков раскрывающих объем среднего термина в традиционной логике никак не используется. Все что связано с классификацией уходит в индукцию, а силлогистика остается дедукции.
**************
Классификация.
Определение классификации. Мы в этом месте рассмотрим процесс классификации, потому что он служит вспомогательным средством для ИНДУКЦИИ; с другой стороны, как мы сейчас увидим, классификация возможна только благодаря индукции. Классификацией мы называем распределение вещей по классам согласно сходству между ними. Так, например, мы можем отнести «зарево», «кровь», «вишни» в один класс, потому что все они при всем различии имеют то общее, что они суть красного цвета. Классификация вещей, или распределение их по классам преследует свои определенные задачи, которые можно так формулировать: задача классификации заключается в том, чтобы распределить вещи на группы так, чтобы эти группы мыслились в порядке, который наиболее полезен для припоминания вещей и для определения свойств их.
***************
Ну а поскольку все что связано с индукцией в границах Традиционной логики годится исключительно на роль гипотез, не требует жесткой достоверности, индуктивные категоричные силлогизмы в принципе не разрабатывались. Вторая фигура используется в рамках ТЛ исключительно для получения отрицательных по качеству заключений. Если у нас средний термин - сказуемое и в большей, и в меньшей посылке, то выполнить условие №3 становится возможным только путем изменения качества среднего термина. Отрицательный термин всегда распределен. В любой, но обязательно только в одной из посылок необходимо ввести отрицание предиката. Если отрицание будет введено в обоих посылках, то это снова будет противоречить правилам. Конкретно правилу № 5.
*******
5) Из двух отрицательных суждений нельзя вывести никакого заключения.
********
Поэтому вторая фигура силлогизма, более всего приспособленная для индуктивного обобщения, используется в Традиционной логике исключительно для дедуктивного разобщения. Давайте почитаем чего же пишет о ней Георгий Иванович.
Что пишут о второй фигуре в учебниках Традиционной логики?
********
Cesare
Е Ни один справедливый человек не завистлив
А Всякий честолюбивый завистлив
Е Ни один честолюбивый человек не есть справедлив.
(См. рис. 27.)
Camestres
A Преступник действует из злого намерения
ЕN не действовал из злого намерения
ЕN не есть преступник.
Festino
Е Ни один благоразумный человек не суеверен
I Некоторые хорошо образованные люди суеверны
О Некот. хорошо образован. люди неблагоразумны.
Baroko
А Все истинно моральные действия совершаются
из правильных мотивов
О Некоторые действия, благодетельные для других, не совершаются из таких мотивов
О Некоторые благодетельные для других действия не суть истинно моральные.
***
2-я фигура. В этой фигуре одна из посылок должая быть отрицательною и большая посылка должна быть общею(una negans esto, nec major sit specialis). Посредством этой фигуры отвергаются ложные дедукции или ложные подчинения. Например, кто-нибудь утверждает относительно испытуемого газа, что он есть кислород. Нам стоит указать на какой-нибудь признак, который не присущ испытуемому газу, для того чтобы убедиться в том, что это не есть кислород. Тогда у нас получится следующий силлогизм:
А Кислород поддерживает горение
Е Этот газ не поддерживает горения
Е Этот газ не есть кислород.
Кто-нибудь утверждает, что данное лицо больно лихорадкой; утверждая это, он производит подчинение. Нам нужно отвергнуть это подчинение. Тогда ми составляем следующий силлогизм:
А Все больные лихорадкой испытывают жажду
Е Этот больной не испытывает жажды
Е Этот больной не болен лихорадкой.
Таким образом по второй фигуре отвергаются ложные подчинения и именно потому, что одна из посылок отрицательна. Юридические приговоры строятся по этой фигуре. Например:
А Этот смертельный удар нанесен человеком, обладающим огромной силой
Е Обвиняемый не есть человек, обладающий огромной силой
Е Обвиняемый не нанес смертельного удара.
********
Вот такая лекция от Георгия Ивановича, не знаю понятно или нет современному читателю, по мне так он очень доступно излагает.
Что нам понадобится для решения семантических судоку?
Из четырех правильных модусов второй фигуры использоваться будет только два: Camestres (АЕЕ) и Baroko (АОО). Георгий Иванович по умолчанию вообще использует только один, кстати. Вначале он приводит примеры всех правильных модусов, но при развернутой характеристике фигуры во второй части цитаты, использует только Camestres (АЕЕ). Я покажу на картинке с кашалотом все правильные модусы по второй фигуре и выделю красной ломаной линией Camestres (АЕЕ), а желтой ломаной линией Baroko (АОО), которые мы и будем в дальнейшем использовать.
Начинаем с Camestres (АЕЕ) - Выделен на иллюстрации красной ломаной линией.
А Все млекопитающие водные хищники суть водные животные.
Е Все коты суть НЕ водные животные.
Е Все коты суть НЕ млекопитающие водные хищники.
Camestres (АЕЕ), очень удобный для работы с семантическим судоку модус. Его мы обязательно будем в дальнейшем использовать. Если переставить большую и меньшую посылку местами то получится чезаре с обращенным заключением.
Cesare (ЕАЕ) - выделен на изображении коричневой ломаной линией.
Е Все коты суть НЕ водные животные.
А Все млекопитающие водные хищники суть водные животные.
Е Все млекопитающие водные хищники суть НЕ коты.
Модусы отражают друг друга при перемене посылок местами, С Camestres (АЕЕ) работать проще, поскольку в нем общее утверждение - большая посылка.
Теперь рассмотрю два оставшихся модуса с частным отрицанием в заключении.
Baroko (АОО) - выделен на изображении желтой ломаной линией.
А Все млекопитающие водные хищники суть водные млекопитающие.
О Некоторые млекопитающие суть НЕ водные млекопитающие.
О Некоторые млекопитающие суть НЕ млекопитающие водные хищники.
Тоже очень полезный модус и мы будем его в дальнейшем использовать для подтверждения достоверности содержания базовых признаков. А вот Festino (ЕIО) нам не понадобится в дальнейшем.
Festino (ЕIО) - выделен на изображении синей ломаной линией.
Е Все водные хищники (не млекопитающие) Суть НЕ млекопитающие водные хищники
I Некоторые хищники суть млекопитающие водные хищники.
О Некоторые хищники суть водные хищники.
Этот модус очень криво собирается, если не упоминать умолчания на позитивном спектре.
По итогу для решения семантических судоку мы в дальнейшем будем использовать два их 4 модусов второй фигуры: Camestres (АЕЕ), Baroko (АОО)
Связанные темы к этому уроку.
О первой фигуре я писал здесь.
О фундаментальной ошибке Традиционной логики я писал здесь.
Перекур в показах от роботов дзен у меня продолжается, поэтому, как и обещал, постараюсь опубликовать все сложные лекции как можно быстрее.
Спасибо за внимание, подписывайтесь, ставьте лайки.