Медь (S) есть металл (М) - меньшая посылка.
Медь (S) электропроводная (Р) - заключение.
Понятия, входящие в состав силлогизма, называются терминами силлогизма. В приведенном примере терминами являются: Р (электропроводник) - большой термин, это предикат заключения; S (медь) - меньший термин, это субъект заключения; М (металл) - средний термин, служащий в посылках для связывания S и Р и отсутствующий в заключении.
Р - электропроводник
М - металл
S - медь
Посылка, содержащая предикат заключение (т.е. больший термин), называется большей посылкой. Посылка, содержащая субъект заключения (т.е. меньший термин), называется меньшей посылкой.
В основе вывода по категорическому силлогизму лежит аксиома силлогизма. "Все, что утверждается (отрицается) о роде (или классе), необходимо утверждается (отрицается) о виде (или о члене данного класса), принадлежащем к данном роде". Иными словами: то, что мы утверждаем о металле как о роде, мы утверждаем и о его виде - меди, а именно утверждаем его признак "быть электропроводником".
Фигуры и правила простого категорического силлогизма
Фигурами категорического силлогизма называются формы силлогизма, различаемые по положению среднего термина М в посылках. Различают четыре фигуры.
M I P P II M M III P P IV M
S M S M M S M S
S-P S-P S-P S-P
I фигура - большая посылка должна быть общей, меньшая - утвердительной.
II фигура - большая посылка общая и одна из посылок, а так же заключения отрицательные.
III фигура - меньшая посылка должна быть утвердительной, а заключение - частное.
IV фигура - общеутвердительных заключений не дает.
Модусы категорического силлогизма.
Модусами фигур категорического силлогизма называются разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и значений.
Правила категорического силлогизма.
Категорические силлогизмы в мышлении встречаются весьма часто. Для того чтобы получить истинное заключение, необходимо брать истинные посылки и соблюдать перечисленные ниже правила категорического силлогизма (так же как и особые правила фигур категорического силлогизма, перечисленные ранее).
Ответьте, является ли верным следующий силлогизм: "Всякий договор есть сделка. Данное правоотношение не является договором. Следовательно, оно не является сделкой".
Для решения данной задачи необходимо воспользоваться фигурами категорического силлогизма и правилами посылок.
Для данной задачи подходит следующая фигура:
M = сделка
P = правоотношение
PS
Исходя из правила посылок, если одна из посылок отрицательная, то и заключение должно быть отрицательным.
Всякий договор (S) – сделка (M)
Правоотношение (P) не является сделкой (M)
--------------------------------------------
Правоотношение (P) не является договором (S)
Силлогизм: "Всякий договор есть сделка. Данное правоотношение не является договором. Следовательно, оно не является сделкой" является верным, так как присутствует отрицательная посылка и в посылках средний термин разъединяет крайние термины.
Цель познания дедуктивных умозаключений – получение истинных знаний и полноценное использование их в практике. Знание дедуктивных умозаключений поможет предвидеть события и лучшим способом планировать деятельность, максимально предусматривать возможные последствия, выдвигать различные гипотезы, эффективнее обучать и самим обучаться, видеть "логику вещей", умело вести полемику.
Интересным, перспективным направлением является анализ уже созданных и разработка новых программ для ЭВМ. Широкое применение логических знаний необходимо и при разработке обучающих, игровых и системных программ для ЭВМ.
Конкретное применение знаний дедуктивных умозаключений потребуется для сотрудника милиции при работе по раскрытию преступлений, поможет четко выявить логическую структуру преступления.
Список литературы
Бойко А.П., "Краткий курс логики", М., 1995 год.
Гетманова А.Д., "Учебник по логике", М., Изд. "Владос", 1995 год.
Кирилов В.И., "Логика", М., Изд. "Высшая школа", 1987 год.
[1] От греческого слова logos - "мысль", "слово", "разум".
[2] Современная логика как наука о законах и формах человеческого мышления включает в себя две относительно самостоятельные науки: логику формальную и логику диалектическую.
[3] В.И. Кирилов, "Логика", М., Изд. "Высшая школа", 1987 год, С. 131.
[4] Предикаторы - слова и словосочетания, обозначающие свойства предметов или отношения между предметами.
[5] Силлогизм происходит от греческого syllogismos (сосчитывание, выведение следствия).