Министерство образования Республики Беларусь

УО «Белорусский государственный университет информатики и радиоэлектроники»

Институт информационных технологий

Специальность: Информационные системы и технологии в экономике

Контрольная работа по курсу «Логика»

Вариант № 17

Тема: «Простой категорический силлогизм»

Студент-заочник 1 курса

Группа № 082323

Павловская Анастасия Сергеевна

Г. Витебск, ул. Шрадера д.6, кВ.28

Тел. [phone]

Минск, 2010

План:

1. Определение силлогизма как дедуктивного опосредованного вывода.

2. Структура и общие правила силлогизма.

3. Аксиома силлогизма.

4. Список использованной литературы.

1. Определение силлогизма как дедуктивного опосредованного вывода

Простой категорический силлогизм (от греч. Sillogismos – выведениё, сосчитывание) - дедуктивное опосредованное умозаключение, состоящее из двух суждений, имеющих субъектно-предикатную форму, и заключения, также имеющего субъектно-предикатную форму. Cубьектно-предикатная форма свойственна всем простым категорическим суждениям. Поэтому простой категорический силлогизм можно определить как дедуктивное опосредованное умозаключение, состоящее из двух простых категорических суждений и заключения.

Рассмотрим дедуктивные умозаключения. Дедуктивные «умозаключения принимают формы силлогизма. Силлогизм есть такая форма умозаключения, в которой из двух суждений необходимо выте­кает третье, причём одно из двух данных суждений является общеутвердительным или общеотрицательным. Силлогизм, та­ким образом, представляет собой умозаключение от общего. Полученное суждение ни в коем случае не будет более общим, чем суждения, из которых оно выводится.

Например, нам даются два суждения:

Все растения суть организмы.

Сосны суть растения.

Из них следует, что «сосны суть организмы».

Этот пример показывает, что, если нам даются два суждения, из них необходимо получается новое суждение. Мы не входим в рассмотрение того, истинны ли эти суждения или нет, но раз только мы допустим их, то тотчас же необходимо следует новое суждение.

2. Структура и общие правила силлогизма

• Структура силлогизма

Данные суждения называются предпосыл­ками или посылками (praemissae), а новое суждение, которое получается из сопоставления посылок, называется заключением (conclusio). Те понятия, которые входят в заключение и предпо­сылки, называются терминами (termini). Подлежащее заключения («сосны») называется меньшим термином (terminus minor), сказуемое заключения («организмы») называется большим тер­мином (terminus major), а термин («растение»), который не входит в заключение, называется средним термином (terminus medius). Обозначение, терминов большими или меньшими находится  зависимости от того, какой объём им присущ в одном из типичных случаев силлогистического вывода, как в только что приведённом. Самый больший объём приходится на долю сказуемого («организмы»), самый меньший — на долю меньшего тер­мина, подлежащего заключения («сосны»), а средний — на долю среднего термина («растения»), который не входит в заключение.

Средний термин называется средним также потому, что он служит посредствующим связующим элементом между боль­шим и меньшим терминами. Средний термин служит для срав­нения большего термина с меньшим. Сами по себе эти термины не могут быть сравниваемы. Сравнение может происходить че­рез посредство среднего термина. Мы не могли бы связать тер­мин «сосны» с термином «организмы», если бы у нас не было термина «растения», который связывается, с одной стороны, с термином «организмы», с другой стороны, с термином «сосны» и, таким образом, служит связующим звеном между термином «сосны» и термином «организмы».

Простой категорический силлогизм есть вид умозаключения (более общо - форма мысли), в котором из двух исходных истинных простых категорических суждений (называемых посылками), связанных между собой определенным образом (по среднему термину), выводится новое по содержанию суждение (называемое выводом, следствием, заключением). В целом, данное умозаключение состоит из трех простых категорических суждений, два из которых — посылки, третье — вывод. Однако, выделяя в качестве элементов умозаключения лишь суждения (посылки и вывод), закономерную связь между ними уловить трудно. Эту связь значительно легче обнаружить, выделяя в категорическом умозаключении и входящие в посылки термины (понятия). Так как субъектно-предикатная запись суждений одинакова для всех видов суждений, то, чтобы отличить субъект или предикат вывода от субъектов и предикатов посылок, следует уточнить нашу символику.

В простом категорическом силлогизме символом "S", как и обычно, обозначается субъект вывода и соответствующее ему понятие в посылке. Это - меньший термин. Символом "Р" обозначается предикат вывода и соответствующее понятие в посылке. Это — больший термин. А то понятие, которое является общим для обеих посылок, т.е. имеется в обоих исходных суждениях, но отсутствует в самом заключении, обозначим символом "М". Это — средний термин категорического силлогизма. Используя эту символику, простой категорический силлогизм, например:

Все студенты - учащиеся

Некоторые спортсмены - студенты

Некоторые спортсмены - учащиеся

в формульном виде будет выглядеть так:

М --- Р

S --- М

S --- P

Общим в этом примере для посылок является понятие о студентах, это - средний термин. Он занимает место субъекта в первой посылке и место предиката во второй. Субъектом вывода является понятие о некотором конкретном (этом) человеке, предикатом вывода — понятие об учащихся.

Посылками в данном силлогизме могут выступать известные нам четыре вида простых категорических суждений: общеутвердительное, общеотрицательное, частноутвердительное и частноотрицательное. Сочетания этих суждений, могущих быть посылками умозаключения, подчиняются определенным требованиям логики, выступающими законами данной структурированной организации, законами данной формы мысли, т.е. законами простого категорического силлогизма. Эти требования формируют две группы правил для данного умозаключения: правила посылок и правила терминов.