Автор работы: Пользователь скрыл имя, 18 Декабря 2011 в 15:03, реферат
Особый интерес к категорическим высказываниям объясняется прежде всего тем, что с исследования их логических связей началось развитие логики как науки. Кроме того высказывания этого типа широко используются в наших рассуждениях.
Категорическое высказывание – это высказывание, в котором утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса.
Введение……………………………………………………………………3
1. Состав простого категорического силлогизма………………………..6
2. Общие правила категорического силлогизма………………………....8
3. Аксиома силлогизма…………………………………………………...12
4. Фигуры и модусы категорического силлогизма……………………..14
5. Значение дедуктивного умозаключения в познании………………...20
6. Список литературы…………………………………………………….22
Московский
Государственный Университет
Курсовая работа
по дисциплине «Логика»
на
тему: «Простой категорический
силлогизм»
Выполнила:
Студентка гр.МЗ-061
Лецко Т.Е.
Проверила:
проф., д.ф.н.,
Казьмина
А.А.
Оглавление:
Введение…………………………………………………………
1. Состав простого категорического силлогизма………………………..6
2. Общие правила категорического силлогизма………………………....8
3. Аксиома
силлогизма………………………………………………….
4. Фигуры и модусы категорического силлогизма……………………..14
5. Значение дедуктивного умозаключения в познании………………...20
6. Список литературы…………………………………
Введение.
Особый интерес к категорическим высказываниям объясняется прежде всего тем, что с исследования их логических связей началось развитие логики как науки. Кроме того высказывания этого типа широко используются в наших рассуждениях.
Категорическое высказывание – это высказывание, в котором утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса.
Например в высказывании "Все динозавры вымерли" всем динозаврам (или, что то же самое, каждому из динозавров) приписывается признак "быть вымершими". В высказывании "некоторые динозавры летали" способность летать приписывается некоторым динозаврам. В высказывании все кометы не астероиды отрицается наличие признака быть астероидом у каждой из комет. В высказывании "некоторые животные не являются травоядными" отрицается травоядность некоторых животных.
Если отвлечься от количественной характеристики, содержащейся в категорическом высказывании и выражающейся словами "все" и "некоторые", то получится два варианта таких высказываний: утвердительный и отрицательный. Их структура:
"S есть P" и "S не есть P",
где буква S представляет имя того предмета, о котором идет речь в высказывании, а буква P – имя признака, присущего или не присущего этому предмету.
Предмет,
о котором говорится в
Простые высказывания типа "S есть P" называются атрибутивными: в них осуществляется атрибуция (приписывание) какого-то свойства предмету.
В категорическом высказывании не просто устанавливается связь предмета и признака, но и дается определенная характеристика субъекта высказывания. В высказываниях типа "Все S есть P" слово "все" означает "каждый из предметов соответствующего класса". В высказываниях типа "Некоторые S есть (не есть) P" слово "некоторые" употребляется в не исключающем смысле и означает "некоторые, а может быть все". В исключающем смысле слово "некоторые" означает "только некоторые", или "некоторые, но не все".
Таким
образом, возможны четыре вида категорических
высказываний:
"Все
S есть P"
"Некоторые S есть P" "Все S не есть P" "Некоторые S не есть P" |
–
общеутвердительное высказывание (обозначается
буквой A);
– частноутвердительное высказывание (обозначается буквой I); –
общеотрицательное – частнотрицательное высказывание (обозначается буквой O); |
Каждое из этих выражений является логической постоянной (логической операцией), позволяющей из двух имен получить высказывание. Аристотель истолковывал рассматриваемые четыре выражения именно как логические постоянные, не имеющие самостоятельного содержания и позволяющие из двух обладающих содержанием имен получать содержательные, являющиеся истинными или ложными, высказывания.
В традиционной логике предполагалось также, что имена, подставляемые вместо переменных, не должны быть единичными или пустыми. Иначе говоря, высказывания типа "Платон – человек", "Все золотые горы – это горы" не относятся к категорическим в традиционном смысле, поскольку "Платон" – единичное имя, а "золотые горы" – пустое имя.
А
теперь перейдем непосредственно к
предмету, рассматриваемому в данной работе.
1.Состав простого категорического силлогизма
Умозаключения, в которых вывод получается из нескольких посылок, называются опосредствованными. Широко распространенным видом опосредствованных умозаключений является простой категорический силлогизм, вывод в котором получается из двух категорических суждений. Таким образом, простой категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье – заключением.
В отличие от терминов суждений – субъекта (S) и предиката (P) – понятия, входящие в состав силлогизма, называются терминами силлогизма. Различают меньший, больший и средний термины.
Меньшим термином силлогизма называется понятие, которое в заключении является субъектом. Большим термином силлогизма называется понятие, которое в заключении является предикатом. Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и P (больший термин).
Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой, посылка, в которую входит больший термин, называется большей посылкой.
Для
удобства анализа силлогизма посылки
принято располагать в
Посылки различаются не их местом в силлогизме, а входящими в них терминами.
Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина. Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении. Средний термин обозначается латинской буквой М (от лат. medius – средний).
Средний термин связывает два крайних термина. Отношение крайних терминов (субъекта и предиката заключения) устанавливается благодаря их отношению к среднему термину. В самом деле, из большей посылки нам известно отношение большего термина к среднему, из меньшей посылки – отношение меньшего термина к среднему. Зная отношение крайних терминов к среднему, мы можем установить отношение между крайними терминами.
Таким образом, вывод из посылок оказывается возможным потому, что средний термин выполняет роль связующего звена между двумя крайними терминами силлогизма.
Итак, простой категорический силлогизм – это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.
Следует заметить, что из истинных посылок не всегда можно получить истинное заключение. Его истинность обусловлена правилами силлогизма. Этих правил семь: три из них относятся к терминам и четыре – к посылкам.
Pассмотрим сначала правила терминов.
1-е
правило: в силлогизме должно
быть только три термина.
2-е
правило: средний термин
3-е правило относится к крайним терминам: термин, не распределенный в посылке, не может быть распределен и в заключении.
Например, из посылок
"Государство (М) не будет существовать вечно (P+)", "Государство (М) – элемент надстройки (S-)" следует частное заключение:
"Некоторые элементы надстройки (S-) не будут существовать вечно (P+)".
Меньший термин (S) не распределен в посылке (как предикат утвердительного суждения), поэтому он не распределен и в заключении (как субъект частного суждения). Делать вывод с распределенным субъектом в форме общего суждения ("Ни один элемент надстройки не будет существовать вечно") это правило запрещает. Ошибка, связанная с нарушением правила распределенности крайних терминов, называется незаконным расширением меньшего (или большего) термина.
Рассмотрим правила посылок.
1-е
правило: хотя бы одна из
посылок должна быть
Например, из посылок "Студенты нашего института (М) не изучают высшую математику (P)", "Сотрудники НИИ (S) не являются студентами нашего института (М)" нельзя получить необходимого заключения, так как оба крайних термина (S и P) исключаются из среднего. Поэтому средний термин не может установить определенного отношения между крайними терминами. В заключении меньший термин (S) может полностью исключаться из него. В соответствии с этим возможны три случая: "Все сотрудники НИИ изучают высшую математику"; "Некоторые сотрудники НИИ изучают высшую математику"; "Ни один сотрудник НИИ не изучает высшую математику".
2-е
правило: если одна из посылок
– отрицательное суждение, то
и заключение должно быть
3-е
и 4-е правила посылок
3-е
правило: хотя бы одна из
посылок должна быть общим
суждением. Из двух частных
посылок заключение с