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

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

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

                                                                Выполнил

                                                                         студент гр.5110

                                                                    Гилязов Р.Р.

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

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

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

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

Казань 2003

Предисловие

 

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

Структура простого категорического силлогизма. ............