Автор работы: Пользователь скрыл имя, 06 Октября 2009 в 12:39, Не определен
силлогизм
Межрегиональная
Академия
Управления Персоналом
Факультет:
Дистанционного
обучения.
Экономика и управление бизнесом.
Группа: 21098БУБ Курс: 3
Студент: Паханцов
М.А.
Домашний
адрес: г. Днепропетровск ул. Гидропарковая
д. 9 кв. 113
Место
работы: КАБ «Славянский»
КОНТРОЛЬНОЕ
ЗАДАНИЕ
по разделу
учебного плана: Логика.
Тема: Фигуры
категорического силлогизма.
Преподаватель:
Бартун Николай Петрович__________________
г. Днепропетровск
1999 г.
Фигуры категорического силлогизма
Предисловие
В более чем двухтысячелетней истории логики настоящее время представляет один из наиболее интенсивных периодов ее развития очень быстро растут и объем новой информации, и количество новых результатов. Кроме того, если еще недавно логика была сферой интересов лишь сравнительно узкого круга специалистов, то сейчас она превратилась в дисциплину важную и нужную для многих, а в области современного образования - для всех.
Учение о силлогизме является исторически первым законченным фрагментом логической теории умозаключений. Оно систематически изложено Аристотелем в «Аналитиках» и под именем силлогистики существует до настоящего времени, обладая самостоятельной ценностью.
Категорические высказывания
Логика высказываний сводит сложные высказывания к простым (атомарным).
Она рассматривает сложные высказывания как функции от простых, но простые при этом уже не расчленяются.
Высказывания, имеющую структуру, выраженную формулой «S есть P» называют утвердительными, а имеющие структуру «S не есть P» - отрицательными. Это деление по качеству.
Кроме того, категорические высказывания делятся по количеству на единичные (Это S есть (или не есть) P), общие (Все S есть (или не есть) P) и частные (Некоторые S есть (или не есть) P). Слова «все» и «некоторые» называют кванторными словами.
При изучении умозаключений (силлогизмов) не делают различий между единичными и общими высказываниями, ибо в общих видах некоторый признак утверждается (или отрицается) относительно каждого элемента рассматриваемого множества предметов. Различие лишь в том, что множество, о котором идет речь в единичном высказывании состоит из одного элемента, а в общем - из более чем одного.
Таким образом, классификация категорических высказываний по качеству и количеству содержит четыре типа:
Буквы A, E, O, I для символических обозначений взяты из латинского слова affirmo - утверждаю - для двух утвердительных высказываний и из слова nego - отрицаю - для отрицательных.
Фигуры категорического силлогизма
Расмотрим (на примере) строение силлогизма.
Каждый человек (М) - смертен (Р)
Сократ (S) - человек(М)
~~~~~~~~~~~~~~~~~~~~~~~~
Сократ (S) - смертен (P)
Силлогизм состоит из трех категорических высказываний (две посылки и одно заключение, которое к стандартной записи пишется под чертой). Субъект заключения обозначается (обычно) буквой S, а предикат - P, но в силлогизме S называется меньшим термином, а P - большим; оба они называются крайними терминами. Термин, дважды повторяющийся в посылках, называется средним (лат. - terminus medius) и обозначается буквой M.
Посылки также имеют собственные названия: та, которая содержит термин P, называется большей посылкой, а содержащая термин S - меньшей посылкой.
Таким образом, категорический силлогизм - это такой дедуктивный вывод, в заключении которого связь между крайними терминами (S и P) устанавливается на основании их (зафиксированного в посылках) отношения к среднему термину (M).
В общем виде структуру силлогизма можно представить так:
R(X, Y) ^ Q(Y, Z) -> L(XZ),
где R, Q, L могут иметь значения A, E, I, O;
X, Y означает MP или PM,
Y,Z - MS
X,Z - SP
Конъюнкцию посылок в силлогизме можно рассматривать как антецендент, а заключение - как консеквент.
Приняв эти соображения, структуру приведенного примера следует записать так:
A(MP) ^ I(SM) -> I(SP).
Если рассматривать только относительное расположение трех терминов, то получится следующая общая структура нашего вывода, именуемая первой фигурой силлогизма:
M P
S M
----------
S P
1-я фигура
(1-я фигура)
Ясно, что кроме этой фигуры существуют еще три, ибо термин М может стоять в каждой посылке как на месте субъекта, так и на месте предиката:
P M M P
P M
S M M S M S
------ ------ ------
S P S P S P
2-я фигура 3-фигура 4-фигура
Таким образом, фигуры силлогизма, это такие его разновидности, которые отличаются друг от друга положением среднего термина.
Если принять во внимание количественную и качественную характеристики входящих в силлогизм посылок и заключения, то мы получим разновидности, называемые модусами. Модус записывается тремя буквами (из A, E, I, O) в такой последовательности - большая посылка, меньшая посылка, заключение.
Приведенный выше пример иллюстрирует модус AII.
Всех возможных модусов силлогизма (по четырем фигурам 256). Если взять самую общую схему силлогизма - R(X, Y) ^ Q(Y, Z) -> L(X,Z), то существует 4 способа выбора R, 4 способа Q и 4 способа выбора L; кроме, того 2 способа выбора порядка следования X, Y, и 2 способа порядка следования Y, Z. Таким образом имеется 4 * 4 * 4 * 2 * 2 = 256 различных модусов ( по 64 в каждой фигуре). Но далеко не все они будут правильными. Вопрос о правильности любого силлогизма может быть решен построением диаграмм Эйлера для каждой посылки с последующим их совмещением.
Модус некоторого силлогизма неправильный тогда и только тогда, когда какая-либо диаграмма соответствующая его посылкам, не совпадает ни с одной диаграммой, соответствующей его заключению.
Например рассмотрим модус:
E(MP) ^ A(SM) -> E(SP), т.е.
Ни одно V не суть P
Все S суть M
------------
ни одно S не суть P
Его посылка соответствует любая из двух диаграмм, изображенная на рис 1.
Рисунок 1
Рисунок 2
Рисунок 3
Очевидно что каждой из этих диаграмм может соответствовать заключение «Ни одно S не суть P». Поэтому этот силлогизм правильный, и, значит, при истинных посылках мы получим необходимо истинное заключение.
Диаграмма отношений между терминами в большей посылке A(MP) может быть такой, как это изображено на рисунке 2, а диаграмма меньшей посылки E(SM) изображена на рисунке 3.