Предыдущая Следующая Каждое А есть либо В, либо С; Если А есть В, то А есть D; Если А есть С, то А есть D; Следовательно, А есть D. Пример: Всякий грешник является либо блудником, либо лихоимцем, либо сребролюбцем, либо славолюбцем; Если грешник блудник, то он u нечестивец; Если грешник лихоимец, то он u нечестивец; Если грешник сребролюбец, то он u нечестивец; Если грешник славолюбец, то он u нечестивец; Следовательно, всякий грешник - нечестивец. Простой mоdus tоllеns (деструктивный) представляет собой условно-разделительное умозаключение, меньшие посылки и вывод которого являются отрицательными суждениями. Если А есть В, то А есть D; Если А есть В, то А есть F; Но А не есть D, либо А не есть F; Следовательно, А не есть В. Пример: Если я хочу сдать экзамен, то мне нужно время, чтобы слушать лекции; Если я хочу сдать экзамен, то мне нужен учебник; Но у меня нет ни времени, ни учебника. Следовательно, я не смогу сдать экзамен. Сложный (конструктивный) mоdus роnеns представляет собой условно-разделительное умозаключение, посылки которого являются положительными условными и разделительными суждениями, вывод - разделительным суждением, а в меньшей посылке утверждается консеквент. Если А есть В, то С есть D; Если Е есть F, mо G есть Н; Но либо А есть В; либо Е есть F; Следовательно, или С есть D, или G есть Н. Пример: Если я опоздаю на занятие, то получу выговор от преподавателя; Если я не выучу урок, то получу плохую оценку; Но я либо опоздаю на занятия, либо не выучу урок; Следовательно, я получу либо выговор, либо плохую оценку. Сложный (деструктивный) mоdus tоllеns представляет собой условно-разделительное умозаключение, большая посылка которого (разделительное суждение) является отрицательным суждением, меньшие посылки являются положительными суждениями, а меньшая посылка и вывод отрицают антецедент. Если А есть В, то С есть D; Если Е есть F, mо G есть Н; С не есть D u G не есть Н; Следовательно, А не есть B u Е не есть F. Пример: Если я опоздаю на занятие, то получу выговор преподавателя; Если я не выучу урок, то получу плохую оценку; Но я не хочу получить ни выговор от преподавателя, ни плохую оценку; Следовательно, я выучу урок u не опоздаю на занятие. Альтернативы леммы назывались в средние века "рогатым аргументом," так как в том же модусе возможно и противоположное умозаключение: "Если будешь говоритъ справедливое, тебя возненавидят люди; а если несправедливое - боги." Полная форма умозаключения. Если оратор будет говорить справедливое, то его возненавидят люди; Если оратор будет говорить несправедливое, то его возненавидят боги; Но политические речи бывают справедливыми u несправедливыми; Следовательно, политические речи ненавистны либо богам, либо людям. Но: Если оратор говорит справедливое, то он угоден богам; Если оратор говорит несправедливое, то он угоден людям; Но политические речи бывают справедливыми или несправедливыми; Следовательно, политические речи угодны либо богам, либо людям. Аристотель говорит относительно этого аргумента следующее: "Когда за каждой из двух противоположных вещей следует и некоторое добро и некоторое зло, причем те и другие последствия взаимно противоположны, то это называстся ????????? (кривизна ног, выгнутых в противоположном направлении)." 4. Сложносокращенные умозаключения. Энтимема - умозаключение с опущенной посылкой или выводом, которые подразумеваются и истинность или степень правдоподобия которых представляются очевидными. Например: Сократ смертен, потому что он человек; - опущена большая посылка; Сократ смертен, потому что человек смертен; - опущена меньшая посылка; Человек смертен, а Сократ - человек; - опущен вывод. Предыдущая Следующая

---