КАЗАНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ им. А.Н.ТУПОЛЕВА

КАФЕДРА ФИЛОСОФИИ

РЕФЕРАТ

Фигуры и модусы силлогизма: отбор правильных модусов с помощью круговых схем Эйлера

Выполнил

студент гр.5110

Гилязов Р.Р.

Проверил старший

преподаватель

кафедры философии

Худушина А.Ф.

Казань 2003

Предисловие

В более чем двухтысячелетней истории логики настоящее время представляет один из наиболее интенсивных периодов ее развития очень быстро растут и объем новой информации, и количество новых результатов. Кроме того, если еще недавно логика была сферой интересов лишь сравнительно узкого круга специалистов, то сейчас она превратилась в дисциплину важную и нужную для многих, а в области современного образования - для всех.

Учение о силлогизме является исторически первым законченным фрагментом логической теории умозаключений. Оно систематически изложено Аристотелем в «Аналитиках» и под именем силлогистики существует до настоящего времени, обладая самостоятельной ценностью.

Простой категорический силлогизм.

Логика высказываний сводит сложные высказывания к простым (атомарным).

Она рассматривает сложные высказывания как функции от простых, но простые при этом уже не расчленяются.

Высказывания, имеющую структуру, выраженную формулой «S есть P» называют ут­вер­дительными, а имеющие структуру «S не есть P» - отрицательными. Это деление по качеству, где S-это субъект суждения, а P-предикат.

Кроме того, категорические высказывания делятся по количеству на единичные (Это S есть (или не есть) P), общие (Все S есть (или не есть) P) и частные (Некоторые S есть (или не есть) P). Слова «все» и «некоторые» называют кванторными словами.

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

Таким образом, классификация категорических высказываний по качеству и коли­честву содержит четыре типа:

-общеутвердительные (А)

-общеотрицательные (Е)

-частноутвердительные ( I)

-частноотрицательные ( O)

Буквы A, E, O, I для символических обозначений взяты из латинского слова affirmo - утверждаю - для двух утвердительных высказываний и из слова nego - отрицаю - для отрицательных.

Структура простого категорического силлогизма. Он называется простым именно потому, что состоит всего из двух посылок, особым образом связанных между собой, и заключения.

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

Меньший термином называется субъект заключения. Поэтому он обозначается буквой “S”.

Большим термином именуется предикат заключения (буква “P”).

Средний термин не входит в заключение, но входит в обе посылки, обеспечивая логическую связь между ними, выступая их посредствующим звеном и тем самым делая возможным само заключение. Обозначается буквой “M” (от лат.medius-средний).

Посылка, вкоторую входит больший термин, называется большей .

--> ЧИТАТЬ ПОЛНОСТЬЮ <--